combinatorics / Combinatorial geometry; distinct distances

The weak pinned Erdős distance conjecture: some point determines n^(1-o(1)) distinct distances (Erdős Problem 604, first part)

Theorem 1.1: for every fixed s>0s>0, Fn(s)→0F_n(s)\to0, where Fn(s)F_n(s) is the largest fraction, over nn-point planar sets, of ordered distinct pairs (x,y)(x,y) such that at least nsn^s points of the set lie at distance ∥y−x∥\|y-x\| from xx. Corollary 1.2: for every fixed ε>0\varepsilon>0 the fraction of pins with fewer than n1−εn^{1-\varepsilon} distinct distances tends to 00 uniformly, so every large set has such a pin, and in fact all but o(n)o(n) points are. No explicit rate is given. Not shown: the stronger form ≫n/log⁡n\gg n/\sqrt{\log n} in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/log⁡n\sum_x|D_x|\gg n^2/\sqrt{\log n}, or any quantitative form of the no(1)n^{o(1)} loss.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsSep 23, 2026Significance 42/100Registry: lean checked

The weak pinned Erdős distance conjecture: some point determines n^(1-o(1)) distinct distances (Erdős Problem 604, first part)

Prior state unknown→proved

Theorem 1.1: for every fixed s>0s>0, Fn(s)→0F_n(s)\to0, where Fn(s)F_n(s) is the largest fraction, over nn-point planar sets, of ordered distinct pairs (x,y)(x,y) such that at least nsn^s points of the set lie at distance ∥y−x∥\|y-x\| from xx. Corollary 1.2: for every fixed ε>0\varepsilon>0 the fraction of pins with fewer than n1−εn^{1-\varepsilon} distinct distances tends to 00 uniformly, so every large set has such a pin, and in…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every fixed s>0s>0, Fn(s)→0F_n(s)\to0, where Fn(s)F_n(s) is the largest fraction, over nn-point planar sets, of ordered distinct pairs (x,y)(x,y) such that at least nsn^s points of the set lie at distance ∥y−x∥\|y-x\| from xx. Corollary 1.2: for every fixed ε>0\varepsilon>0 the fraction of pins with fewer than n1−εn^{1-\varepsilon} distinct distances tends to 00 uniformly, so every large set has such a pin, and in fact all but o(n)o(n) points are. No explicit rate is given. Not shown: the stronger form ≫n/log⁡n\gg n/\sqrt{\log n} in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/log⁡n\sum_x|D_x|\gg n^2/\sqrt{\log n}, or any quantitative form of the no(1)n^{o(1)} loss.

Theorem 1.1: for every fixed s>0s>0, Fn(s)→0F_n(s)\to0, where Fn(s)F_n(s) is the largest fraction, over nn-point planar sets, of ordered distinct pairs (x,y)(x,y) such that at least nsn^s points of the set lie at distance ∥y−x∥\|y-x\| from xx. Corollary 1.2: for every fixed ε>0\varepsilon>0 the fraction of pins with fewer than n1−εn^{1-\varepsilon} distinct distances tends to 00 uniformly, so every large set has such a pin, and in fact all but o(n)o(n) points are. No explicit rate is given. Not shown: the stronger form ≫n/log⁡n\gg n/\sqrt{\log n} in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/log⁡n\sum_x|D_x|\gg n^2/\sqrt{\log n}, or any quantitative form of the no(1)n^{o(1)} loss.

Recorded attempts

Evidence graph

Connected research record

The weak pinned Erdős distance conjecture: some point determines n^(1-o(1)) distinct distances (Erdős Problem 604, first part) — Mathematical Frontier Network