Actual diameter of arithmetic hyperbolic surfaces
Informal conjecture on the actual diameter · arXiv:2207.12684
Status open high confidence
Steiner proves that the almost-diameter of $\Gamma\backslash\mathbb{H}$ is at most $(2+o(1))\log 3V_\Gamma$ (Theorem 3), and remarks that this bound is sharp; the conjecture that the actual diameter is of the same order $(2+o(1))\log 3V_\Gamma$ remains speculation. A search of Steiner's subsequent publication list and the literature through May 2026 found no paper resolving this informal conjecture.
Reviewer notes. No follow-up paper resolving the conjecture was found. Steiner's own post-2022 work moves to Kloosterman sums and sup-norm problems, with no return to the diameter problem. The conjecture is informal (a speculation in the text) rather than a formal numbered conjecture, making it less likely to attract direct citation. The almost-diameter bound $(2+o(1))\log 3V_\Gamma$ is proved and sharp; whether the true diameter matches this order is open.
Context
Having proved in Theorem 3 that for almost every $z\in\mathbb{H}$ one has $\min_{\gamma\in\Gamma}d(\gamma z,w)\leq(2+o(1))\log 3V_\Gamma$, the authors remark that this almost-diameter bound is sharp and speculate that the true diameter of the hyperbolic surface $\Gamma\backslash\mathbb{H}$ is of the same order. They note that this would imply the co-compact arithmetic lattice $\Gamma$ is generated by its elements of Frobenius norm $O_\varepsilon(V_\Gamma^{1+\varepsilon})$, bringing it into line with Theorem 1.
Notes. PDF source — stated with hedged language ('one may speculate') but refers to a precise mathematical quantity and has a non-trivial stated implication.
Source paper
Small diameters and generators for arithmetic lattices in $\mathrm{SL}_2(\mathbb{R})$ and certain Ramanujan graphs
Raphael S. Steiner · 2022-07-26
https://arxiv.org/abs/2207.12684
PDF source