{"id":"arxiv/2606.29062","url":"https://arxiv.org/abs/2606.29062","tags":["math.NT"],"score":0,"title":"A Resolution of Erdős Problem 731 under Dyadic Regularity","domain":"math.NT","source":"arxiv","authors":["Eric Li"],"reviews":0,"subject":"math.NT","summary":"We resolve Erdős Problem 731 under the explicit dyadic-regularity formalization of \"reasonable.\" Let $A(n)$ be the least positive integer not dividing $\\binom{2n}{n}$. On dyadic intervals $X\\le n F_X\\exp(z))\\ll \\exp(-2z)$. Consequently $\\log A(n)=\\sqrt{(\\log 2)\\log n}+\\frac{1}{4}\\log\\log n+O_{\\mathrm{dens}}(1)$. We also prove dyadic nonconcentration: no scalar center on a large dyadic block, and hence no dyadically regular deterministic scale $f$, can satisfy $A(n)/f(n)\\to 1$ in natural density. The proof retains the exact least-common-multiple divisibility condition and replaces heuristic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-27","reactions":{}}