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

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θQ12Z\cos\theta\in\mathbb{Q}\setminus\frac12\mathbb{Z}, that RDPV(n,θ)exp(cn/(logn)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.

Sources & referencesView supporting material

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.