Erdős Unit Distance Conjecture Update

Updated 3 July 2026

The Erdős Unit Distance Conjecture studies the maximal number of unit-separated point pairs in the Euclidean plane, originally predicted to grow nearly linearly in n.
Recent counterexamples have shown that this number can exceed n^(1+ε), with explicit constructions establishing growth as high as n^1.01526 for infinitely many n.
Advanced techniques including Minkowski lattices, integer programming, and algebraic number theory have been used to optimize certificates and quantify the new growth bounds.

The Erdős unit distance conjecture is a central problem in discrete and combinatorial geometry, concerning the maximal number of pairs of points separated by distance one among $n$ points in the Euclidean plane. Formulated by Paul Erdős in 1946, the conjecture predicted that this number, denoted $u(n)$ , is bounded by $n^{1+o(1)}$ as $n\to\infty$ , i.e., that it grows only very slightly faster than linearly for large $n$ . Recent developments, culminating in the 2026 explicit counterexample and quantitative refinements, have dramatically altered this landscape, demonstrating that $u(n)$ can exceed $n^{1+\varepsilon}$ for a fixed positive $\varepsilon$ , and thus falsifying Erdős's conjecture.

1. Formal Statement and Historical Context

Let $P\subset\mathbb{R}^2$ be a set of $n$ points. The unit distance function is

$u(n)$ 0

Erdős conjectured that for every $u(n)$ 1, there exists $u(n)$ 2 such that

$u(n)$ 3

for all $u(n)$ 4, or equivalently $u(n)$ 5 as $u(n)$ 6.

Prior to 2026, the best upper bound, due to Spencer, Szemerédi, and Trotter, was

$u(n)$ 7

which arises from incidence theory between points and algebraic curves, specifically unit circles (Aloisio, 25 Jan 2026, Pach et al., 21 Jul 2025). The best lower bounds were of the form $u(n)$ 8, obtained via lattice constructions.

In 2026, a counterexample produced by OpenAI and independently verified by a team including Alon, Bloom, Gowers, Litt, Sawin, Shankar, Tsimerman, Wang, and Matchett Wood showed that $u(n)$ 9 can exceed $n^{1+o(1)}$ 0 for fixed $n^{1+o(1)}$ 1 and all sufficiently large $n^{1+o(1)}$ 2 (Alon et al., 20 May 2026, Sawin, 20 May 2026). The construction is deeply arithmetic, using Minkowski lattices arising from the ring of integers of high-degree number fields with controlled root discriminant, together with a pigeonhole principle on split primes to build large “unit shells.” The initial exponent $n^{1+o(1)}$ 3 was extremely small (on the order of $n^{1+o(1)}$ 4), but any such $n^{1+o(1)}$ 5 is enough to refute the conjecture (Sawin, 20 May 2026).

Shortly thereafter, Will Sawin produced an explicit construction and quantitative lower bound, establishing that for a computable $n^{1+o(1)}$ 6,

$n^{1+o(1)}$ 7

for infinitely many (indeed, arbitrarily large) $n^{1+o(1)}$ 8, where currently $n^{1+o(1)}$ 9 can be taken as $n\to\infty$ 0 (Sawin, 20 May 2026), later increased to $n\to\infty$ 1 via computational optimization (Emmerich, 2 Jun 2026). This dramatic advance shattered the conjectural barrier $n\to\infty$ 2.

3. Explicit Construction and Certificate Methodology

Sawin's explicit lower bound and subsequent optimizations rely on selecting algebraic number fields $n\to\infty$ 3 (typically CM extensions of totally real fields) with properties:

Small relative root-discriminant $n\to\infty$ 4.
Many primes of small norm splitting with controlled local data. The construction then employs a “certificate” comprised of:
A finite set of odd primes $n\to\infty$ 5.
A selected set $n\to\infty$ 6 of rational primes.
Integer multiplicities $n\to\infty$ 7 for $n\to\infty$ 8.
A real parameter $n\to\infty$ 9 (encoded as a rational).

For any explicit choice of such data obeying number-theoretic and tower constraints (notably, the Golod–Shafarevich inequality), an explicit formula yields

$n$ 0

with $n$ 1 computable via explicit arithmetic expressions (Emmerich, 2 Jun 2026).

Recent computational approaches have optimized these certificates using integer programming and evolutionary search heuristics. The best current values support $n$ 2 for infinitely many $n$ 3 (Emmerich, 2 Jun 2026).

4. Structural and Algebraic Frameworks

The qualitative barrier of $n$ 4 was historically explained combinatorially via point-circle incidence bounds, but this fails to distinguish the actual Euclidean metric structure from more general topological settings ("pseudo-circles"). Recent work, both before and after the counterexample, has focused on algebraic rigidity and the presence of rigid substructures in “dense” unit-distance graphs (Pach et al., 21 Jul 2025, Aloisio, 25 Jan 2026). Specifically, if a unit-distance graph exceeds a critical density, it must contain rigid bipartite subgraphs (usually $n$ 5 or higher), whose Euclidean embedding varieties collapse dimensionally—this “algebraic collapse” rules out the existence of highly amorphous extremal structures that would support $n$ 6 scaling for $n$ 7 in the plane.

Symbolic elimination and Cayley–Menger variety computations formalize the impossibility of large flexible clusters for Euclidean distances, leading to new (though non-explicit) improvements over the combinatorial $n$ 8 bound (Aloisio, 25 Jan 2026).

5. Optimization, Asymptotics, and Open Directions

Optimization of Certificates

The explicit-certificate approach is now formulated as an integer nonlinear programming problem, where one seeks choices of $n$ 9 maximizing $u(n)$ 0 subject to number-theoretic feasibility. Methods used include:

Deterministic greedy heuristics based on prime-scoring and “budget” constraints.
Tailored integer evolution strategies (mutation, repair, discrete recombination) that search the space of parameters efficiently (Emmerich, 2 Jun 2026).

These pipelines have produced improved certificates, all passing rigorous arithmetic validation, and showing incremental but concrete increases in $u(n)$ 1.

<table> <tr> <th>Certificate/Method</th> <th>Achieved Exponent $u(n)$ 2</th> <th>Key Features</th> </tr> <tr> <td>Sawin (2026)</td> <td\>0.0141</td> <td>Published explicit parameter set</td> </tr> <tr> <td>Greedy Optimization</td> <td\>0.01517</td> <td>Score-based deterministic selection</td> </tr> <tr> <td>Integer ES</td> <td\>0.01526</td> <td>Stochastic, mutation/repair strategy</td> </tr> <tr> <td>Integer ES + Discrete Recomb.</td> <td\>0.01526</td> <td>Two-parent recombination; current best</td> </tr> </table>

Asymptotic Prospects

While the concrete optimized exponents remain small ( $u(n)$ 3 in the best instance), the limit of the procedure—using only class group lower bounds—reaches an exponent of $u(n)$ 4, meaning the method may not construct sets surpassing $u(n)$ 5 unit distances without fundamentally novel ideas (Emmerich, 2 Jun 2026).

The density of values of $u(n)$ 6 for which such constructions exist is also of interest: current certificates guarantee infinitely many $u(n)$ 7 (arising from layers of the relevant field tower) but not all $u(n)$ 8.

6. Connections to Incidence Geometry, Rigidity Theory, and Distribution

The upper-bound landscape is evolving. While the $u(n)$ 9 bound still holds generically, rigidity-induced scaling laws and analysis of unit-distance configuration varieties suggest sub- $n^{1+\varepsilon}$ 0 bounds specifically for Euclidean settings (as opposed to the more general topological or combinatorial models) (Aloisio, 25 Jan 2026). This links the unit distance problem to rigidity theory, Cayley–Menger varieties, and algebraic geometry.

Separately, when sets are equipped with strong “uniform distribution” properties or equidistribution in the torus, the conjectural bound $n^{1+\varepsilon}$ 1 becomes provable under additional hypotheses (Gafni et al., 2022).

Well-distributed sets, or those with small diameter relative to distance, also admit improved upper bounds for distance incidences, notably for small distances or in higher dimensions (Iosevich, 2017).

7. Future Prospects and Outstanding Problems

The primary open directions concern:

Further optimization of certificate exponents, potentially by exploiting deeper analytic number theory (class group estimates, alternative field constructions).
Establishing explicit positive $n^{1+\varepsilon}$ 2 for upper bounds in a fully algebraic-geometric framework, potentially quantifying the “rigidity-induced” decrement below $n^{1+\varepsilon}$ 3.
Extending explicit constructions to denser sets of $n^{1+\varepsilon}$ 4 and better arithmetic densities.
Understanding the ultimate potential and limitations of number-theoretic versus geometric/rigid-analytic constructions.
Bridging the gap between explicit lower bound constructions and “generic” (non-adversarial) sets, possibly through analyses based on uniform distribution or energy minimization.

The 2026 disproof and following research reframe the Erdős unit distance conjecture, establishing that $n^{1+\varepsilon}$ 5 can be substantially superlinear for infinite families of $n^{1+\varepsilon}$ 6 and inviting a new synthesis of combinatorial, algebraic, and analytic tools in discrete geometry (Emmerich, 2 Jun 2026, Sawin, 20 May 2026, Aloisio, 25 Jan 2026, Pach et al., 21 Jul 2025).