Limit relations between successive blocks of the transfinite complexity sequences

Let (aα)α<ξ(a_\alpha)_{\alpha<\xi}, (bα)α<ξ(b_\alpha)_{\alpha<\xi}, and (cα)α<ξ(c_\alpha)_{\alpha<\xi} be the transfinite sequences associated with the three complexity classes modulo 33. Block-limit conjecture. For all ordinals β<ξ\beta<\xi,

limnaωβ+n=cβ3,limnbωβ+n=aβ,limncωβ+n=bβ.\lim_{n\to\infty}a_{\omega\beta+n}=\frac{c_\beta}{3},\qquad \lim_{n\to\infty}b_{\omega\beta+n}=a_\beta,\qquad \lim_{n\to\infty}c_{\omega\beta+n}=b_\beta.

The source explicitly describes these conjectures as more doubtful and based on only a few cases. They are used to motivate the possible size of ξ\xi, including the observation that ωω\omega^\omega is the least solution of ωξ=ξ\omega\xi=\xi.

Sources & referencesView supporting material

Primary source

J. Arias de Reyna, “Complexity of natural numbers”, arXiv:2111.03345 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.