{"id":"arxiv/2610.14037","url":"https://arxiv.org/abs/2610.14037","tags":["math.MG","math.CO"],"score":0,"title":"Sharp Antipode-Neighbor Bounds in Every Dimension","domain":"math.MG","source":"arxiv","authors":["Samuel Korsky"],"reviews":0,"subject":"math.MG","summary":"Let $P\\subset\\mathbb R^d$ be finite with $\\operatorname{diam}(P)\\le1$. For $0<\\varepsilon<1$, let $\\mathcal N_\\varepsilon(P)$ denote the number of ordered pairs at distance at most $\\varepsilon$, including the diagonal, and let $\\mathcal A_\\varepsilon(P)$ denote the number of ordered pairs at distance at least $1-\\varepsilon$. We prove the sharp bound \\[ \\mathcal N_\\varepsilon(P)\\gtrsim_d \\varepsilon^{(d-1)/2}\\mathcal A_\\varepsilon(P) \\] conjectured by Steinerberger (2025). More generally, the same inequality holds for finite positive Borel measures. The main input is a uniform $L^2$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-02","reactions":{}}