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

Lineage and corrections

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

Companion manuscript: A power saving for planar unit distances evidence for this event

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

This event attributed to Unreleased internal OpenAI model

Lean statement: ComparatorChallenges/PinnedDistances.lean evidence for this event

Erdős, Some unsolved problems (1957), Problem 16 evidence for this event

Lean proof: OAI/Geometry/PinnedDistances/Main.lean evidence for this event

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

Erdős Problem 604 (erdosproblems.com) evidence for this event

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