Simon's conjecture on primitive groups with near-2n2^n growth

About 7 years old · traced to

Let GG be a primitive permutation group, and let fG(n)f_G(n) denote its growth function. Assume that there are polynomials p(n)p(n) and q(n)q(n) such that

2np(n)<fG(n)<2nq(n).\frac{2^n}{p(n)}<f_G(n)<\frac{2^n}{q(n)}.

Let S(2)S(2) be the local order referred to in the source, and let Aut⁡(S(2))\operatorname{Aut}(S(2)) denote its automorphism group.

Simon's near-2n2^n conjecture. Then GG is either Aut⁡(S(2))\operatorname{Aut}(S(2)), or the group of automorphisms and anti-automorphisms of S(2)S(2).

The source attributes this conjecture to Simon and presents it as a further step toward classifying exponential growth rates; no resolution is given in the supplied text.

References

Primary source

Samuel Braunfeld, “Monadic stability and growth rates of ω-categorical structures”, arXiv:1910.04380 (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.