The universal quasigeodesic obstruction conjecture

Less than 1 year old · traced to

Let GG be a non-hyperbolic finitely generated group with generating set SS, and let Γ(G,S)\Gamma(G,S) be its Cayley graph. A word is a (λ,ϵ)(\lambda,\epsilon)-quasigeodesic when it satisfies the corresponding quasigeodesic inequalities. Universal quasigeodesic obstruction conjecture. There exists a universal constant λ0\lambda_0 such that, for every such GG and SS, and for all λ>λ0\lambda>\lambda_0, the (λ0,0)(\lambda_0,0)-quasigeodesics in Γ(G,S)\Gamma(G,S) do not form a context-free language. This is stronger than the paper's QCF\mathbb{Q}\mathrm{CF} conjecture because it seeks a uniform threshold; the techniques developed establish no such universal constant, so the conjecture remains open.

References

Primary source

Arya Saranathan, “Quasigeodesic languages are not context-free in some non-hyperbolic groups”, arXiv:2601.12520 (2026).

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.