Asymptotic rarity conjecture for non-simple tile labels

Let TT be a tile of a weakly robust periodic solution (WRPS) with temporal period τ\tau and spatial period σ\sigma. Set x=σ/gcd(τ,σ)x=\sigma/\gcd(\tau,\sigma), and let =p(T)s(T)\ell=p(T)-s(T). Assuming the lower-bound conjecture for tile ranks, let I{0,,σ1}I\subset\{0,\ldots,\sigma-1\} be the index set of size xx-\ell whose labels are the leftmost xx-\ell labels without a repeated state. Write the labels as AiA_i.

Asymptotic label conjecture. There exists an index jIj\notin I such that

P(AjAj+1{AiAi+1 for all iI})=o(1).\mathbb{P}\left(A_j\Rightarrow A_{j+1}\mathrel{\bigm|}\{A_i\Rightarrow A_{i+1}\text{ for all }i\in I\}\right)=o(1).

The conjecture is intended to provide the additional asymptotic estimate needed to prove the proposed generalization of the probability asymptotics when σ\sigma does not divide τ\tau. The supplied status evidence states that it remains open even in the cases discussed there.

Sources & referencesView supporting material

Primary source

Janko Gravner and Xiaochen Liu, “Weakly robust periodic solutions of one-dimensional cellular automata with random rules”, arXiv:2008.03815 (2020).

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.