combinatorics / Combinatorial geometry; incidence geometry

The higher-dimensional Erdos distinct-distances conjecture

Theorem 1.1: for every integer d≥3d\ge3 there is cd>0c_d>0 such that every set of n≥2n\ge2 distinct points in Rd\mathbb R^d determines at least cdn2/dc_dn^{2/d} distinct distances, matching the integer grid up to the constant. No dependence of cdc_d on dd is made explicit, nothing is claimed for pinned distances (many distances from one point), and the planar problem, whose conjectured order is n/log⁡nn/\sqrt{\log n}, is untouched beyond reusing the Guth-Katz bound. Priority: Aksoy Yazici earlier claimed the same constant-factor bound in all dimensions d≥3d\ge3, but withdrew the manuscript because a step was wrong; it is not an opposite claim.

45Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 45/100Registry: unreviewed

The higher-dimensional Erdos distinct-distances conjecture

Prior state unknown→proved

Theorem 1.1: for every integer d≥3d\ge3 there is cd>0c_d>0 such that every set of n≥2n\ge2 distinct points in Rd\mathbb R^d determines at least cdn2/dc_dn^{2/d} distinct distances, matching the integer grid up to the constant. No dependence of cdc_d on dd is made explicit, nothing is claimed for pinned distances (many distances from one point), and the planar problem, whose conjectured order is n/log⁡nn/\sqrt{\log n}, is untouc…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every integer d≥3d\ge3 there is cd>0c_d>0 such that every set of n≥2n\ge2 distinct points in Rd\mathbb R^d determines at least cdn2/dc_dn^{2/d} distinct distances, matching the integer grid up to the constant. No dependence of cdc_d on dd is made explicit, nothing is claimed for pinned distances (many distances from one point), and the planar problem, whose conjectured order is n/log⁡nn/\sqrt{\log n}, is untouched beyond reusing the Guth-Katz bound. Priority: Aksoy Yazici earlier claimed the same constant-factor bound in all dimensions d≥3d\ge3, but withdrew the manuscript because a step was wrong; it is not an opposite claim.

Theorem 1.1: for every integer d≥3d\ge3 there is cd>0c_d>0 such that every set of n≥2n\ge2 distinct points in Rd\mathbb R^d determines at least cdn2/dc_dn^{2/d} distinct distances, matching the integer grid up to the constant. No dependence of cdc_d on dd is made explicit, nothing is claimed for pinned distances (many distances from one point), and the planar problem, whose conjectured order is n/log⁡nn/\sqrt{\log n}, is untouched beyond reusing the Guth-Katz bound. Priority: Aksoy Yazici earlier claimed the same constant-factor bound in all dimensions d≥3d\ge3, but withdrew the manuscript because a step was wrong; it is not an opposite claim.

Recorded attempts

Evidence graph

Connected research record

The higher-dimensional Erdos distinct-distances conjecture — Mathematical Frontier Network