You need to know: Euclidean plane , Euclidean distance
between points
and
.
Background: Let S be a finite set of points on the plane. Let be the set of distinct real numbers
such that
for some
and
. Let
be the number of elements in set
.
The Theorem: On 17th November 2010, Larry Guth and Nets Katz submitted to arxiv a paper in which they proved the existence of constant , such that
for every set S of
points on the plane.
Short context: In 1946, Erdős posed the question what is the smallest number of distinct distances that can be determined by N points in the plane. Erdös checked that if the points are arranged in a square grid, then the number of distinct distances is proportional to , and conjectured that this is optimal up to a constant factor. Many authors proved better and better lower bounds, with best before 2010 was
. The Theorem proves a much better lower bound, which almost matches the Erdős prediction.
Links: Free arxiv version of the original paper is here, journal version is here.