{"id":"arxiv/2606.03419","url":"https://arxiv.org/abs/2606.03419","tags":["math.OC","cs.AI","cs.CG","cs.NE","math.CO"],"score":0,"title":"Optimizing Explicit Unit-Distance Lower-Bound Certificates","domain":"math.OC","source":"arxiv","authors":["Michael T. M. Emmerich"],"reviews":0,"subject":"math.OC","summary":"The 2026 disproof of Erdős's unit-distance conjecture and Sawin's quantitative refinement show that the maximum number $u(n)$ of unit distances among $n$ planar points can exceed $n^{1+\\varepsilon}$ for a fixed positive $\\varepsilon$. Sawin's explicit bound gives more than $n^{1.014}$ unit distances for arbitrarily large $n$ and exposes integer parameters whose choice is not fully optimized. This report treats Sawin's parameter selection as a nonlinear integer optimization problem and develops an open-source Python optimization and verification pipeline for certificates involving prime sets…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}