Generic exponential lower-bound conjecture for the Diophantine parameter of random isometries

Less than 1 year old · traced to

Let RDPV(n,θ)R_{\mathrm{DPV}}(n,\theta) denote the parameter appearing in the Diophantine condition DPV(n,R)\mathrm{DPV}(n,R) for an angle θ∈[0,2π)\theta\in[0,2\pi). The paper proves, when cos⁡θ∈Q∖12Z\cos\theta\in\mathbb{Q}\setminus\frac12\mathbb{Z}, that RDPV(n,θ)≥exp⁡(cn/(log⁡n)2)R_{\mathrm{DPV}}(n,\theta)\geq\exp(cn/(\log n)^2) for all sufficiently large nn. Generic exponential lower-bound conjecture. For generic θ∈[0,2π)\theta\in[0,2\pi), there exists c>0c>0 such that for all sufficiently large nn,

RDPV(n,θ)≥exp⁡(cn).R_{\mathrm{DPV}}(n,\theta)\geq\exp(cn).

This conjecture would strengthen the exponential-type lower bound established in the stated rational-cosine case and is intended to capture the generic growth of the Diophantine parameter. The supplied text gives no resolution, so the conjecture remains open.

References

Primary source

Reuben Drogin and Felipe Hernández, “Local limit theorems for random isometries of the plane”, arXiv:2601.16295 (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.