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>0, Fn(s)→0, where Fn(s) is the largest fraction, over n-point planar sets, of ordered distinct pairs (x,y) such that at least ns points of the set lie at distance ∥y−x∥ from x. Corollary 1.2: for every fixed ε>0 the fraction of pins with fewer than n1−ε 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 ≫n/logn in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/logn, or any quantitative form of the no(1) loss.
Theorem 1.1: for every fixed s>0, Fn(s)→0, where Fn(s) is the largest fraction, over n-point planar sets, of ordered distinct pairs (x,y) such that at least ns points of the set lie at distance ∥y−x∥ from x. Corollary 1.2: for every fixed ε>0 the fraction of pins with fewer than n1−ε distinct distances tends to 0 uniformly, so every large set has such a pin, and in…
Theorem 1.1: for every fixed s>0, Fn(s)→0, where Fn(s) is the largest fraction, over n-point planar sets, of ordered distinct pairs (x,y) such that at least ns points of the set lie at distance ∥y−x∥ from x. Corollary 1.2: for every fixed ε>0 the fraction of pins with fewer than n1−ε 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 ≫n/logn in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/logn, or any quantitative form of the no(1) loss.
Theorem 1.1: for every fixed s>0, Fn(s)→0, where Fn(s) is the largest fraction, over n-point planar sets, of ordered distinct pairs (x,y) such that at least ns points of the set lie at distance ∥y−x∥ from x. Corollary 1.2: for every fixed ε>0 the fraction of pins with fewer than n1−ε 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 ≫n/logn in Erdős's question, the averaged conjecture ∑x∣Dx∣≫n2/logn, or any quantitative form of the no(1) loss.
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