Abstract:Define the length of a finite presentation of a group G as the sum of lengths of all relators plus the number of generators. How large can the kth Betti number bk(G)= rank Hk(G) be providing that G has length ≤N and bk(G) is finite? We prove that for every k≥3 the maximum bk(N) of the kth Betti numbers of all such groups is an extremely rapidly growing function of N. It grows faster that all functions previously encountered in mathematics (outside of logic) including non-computable functions (at least those that are known to us). More formally, bk grows as the third busy beaver function that measures the maximal productivity of Turing machines with ≤N states that use the oracle for the halting problem of Turing machines using the oracle for the halting problem of usual Turing machines.We also describe the fastest possible growth of a sequence of finite Betti numbers of a finitely presented group. In particular, it cannot grow as fast as the third busy beaver function but can grow faster than the second busy beaver function that measures the maximal productivity of Turing machines using an oracle for the halting problem for usual Turing machines. We describe a natural problem about Betti numbers of finitely presented groups such that its answer is expressed by a function that grows as the fifth busy beaver function.Also, we outline a construction of a finitely presented group all of whose homology groups are either Z or trivial such that its Betti numbers form a random binary sequence.

Hardness of busy beaver value BB(15)

Problems in number theory from busy beaver competition

Skelet #17 and the fifth Busy Beaver number

Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)

A Busy Beaver Problem for Infinite-Time Turing Machines

Generating candidate busy beaver machines (or how to build the zany zoo)

What makes math problems hard for reinforcement learning: a case study

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

Betti numbers of finitely presented groups and very rapidly growing functions

Using binary string to prove the Collatz conjecture

Squares with three digits

On the intimate association between even binary palindromic words and the Collatz-Hailstone iterations

Counting numbers that are divisible by the product of their digits

The (Symbolic and Numeric) Computational Challenges of Counting 0-1 Balanced Matrices

Specifying and Verifying the Convergence Stairs of the Collatz Program

Waring's problem with restricted digits

New Computing Model of $GN_eTM$ Turing Machine On Solving Even Goldbach Conjecture

A Collatz Conjecture Proof

Note on a Fibonacci Parity Sequence

Thue--Morse along the sequence of cubes

A Proof for the Collatz Conjecture