The universal quasigeodesic obstruction conjecture
Let be a non-hyperbolic finitely generated group with generating set , and let be its Cayley graph. A word is a -quasigeodesic when it satisfies the corresponding quasigeodesic inequalities. Universal quasigeodesic obstruction conjecture. There exists a universal constant such that, for every such and , and for all , the -quasigeodesics in do not form a context-free language. This is stronger than the paper's 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
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.