Generic d-norm distinct distances lower bound

Conjecture 1.5 · arXiv:2508.08870

arXiv Conjecture high confidence— first stated 2025-11-07

Authors: Noga Alon, Rom Pinchasi

Status open high confidence

Conjecture 1.5 is explicitly stated as open in the source paper, including already for d=2. The paper itself proves only a weaker bound: Theorem 1.6 establishes that for all but a meagre set of d-norms, any d-dimensional set of n points determines at least (bd-o(1))n distinct distances with b ≥ 1/48, falling short of the conjectured (d-o(1))n. The precursor result of Alon, Bucć, and Sauermann (arXiv:2302.09058) gives the d=1 base case and the (1-o(1))n bound without the d-dimensional constraint. No post-publication resolution was found in the indexed literature through May 2026.

Reviewer notes. No follow-up found in web search. The conjecture is open per the authors themselves even for d=2; Theorem 1.6 in the same paper is the best known partial result, with constant factor b≥1/48 replacing the conjectured factor 1. Reference [1] (Alon, Bucć, Sauermann, arXiv:2302.09058) predates the source paper and is the prior work being strengthened, not a follow-up.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Conjecture. For every fixed $d$ the following holds for all $d$-norms $\|\cdot\|$ but a meagre set. For all $n>n_{0}(d)$, any set of $n$ points in $\mathbb{R}^{d}$ that do not all lie in an affine hyperplane determine at least $(d-o(1))n$ distinct distances with respect to $\|\cdot\|$, where the $o(1)$-term tends to $0$ as $n$ tends to infinity.

Context

The conjecture concerns distinct distances in typical $d$-dimensional norms; the space of $d$-norms is a Baire space under the Hausdorff metric on unit balls, so 'all but a meagre set' is a strong genericity condition. The paper notes this is open already for $d=2$, as the result in [1] only ensures $(1-o(1))n$ distinct distances; the paper proves a weaker version (Theorem 1.6) by combining Theorem 1.2 with the arguments of [1].

Source paper

Distinct Directions and Distinct Distances in $\mathbb{R}^d$
Noga Alon, Rom Pinchasi · 2025-11-07
https://arxiv.org/abs/2508.08870