The universal quasigeodesic obstruction conjecture

From papers

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.