This post is about the recent paper of Sharir and Solymosi concerning distinct distances from three points.
Let and be two sets of points in the plane, and let denote the number of distinct distances that are determined by a point of and a point of . The case where the points of each set are on a distinct line was considered in this paper by Sharir, Solymosi, and myself, and a generalization to the case where the points are on two general constant-degree curves was recently derived by Pach and de Zeeuw. Instead of restricting the point sets to curves, we now consider the case where contains only a constant number of points (and ).
If contains a single point , then by putting the points of on a common circle around , we obtain .
Next, consider the case where contains two points . Let be the set of distinct distances between points of and points of . Consider the circles that are centered around and have a radius from , and the circles that are centered around that have a radius from . Since consists of all the distances between and , every point of must be contained in an intersection of two circles. Let be the distance between and and let be a set of distinct distances, all larger than and smaller than . In this case, the two sets of circles intersect in exactly points. We can arbitrarily choose of these intersection points to be the points . This implies that when it is possible to have .
To see that this bound is tight, assume for contradition that and notice that there are intersection points between the two sets of circles, which makes it impossible for the points of to be intersection points. A nice corollary of this is that for every set of points in the plane, there exists at most one point such that determines distinct distinct distances with the points of .
The case where contains three points is the first non-trivial case. As before, we can equivalently consider three families of circles, each centered around a different , and find an upper bound for the number of points that are contained in three circles.
While some version of this problem was mentioned in a paper by Erdös, Lovász, and Vesztergombi, the first breakthrough was obtained by Elekes, who constructed a configuarion where the three points are collinear and . In fact, this construction works for any constant number of collinear points. (The following figure is taken from the book “Research Problems in discrete Geometry” by Brass, Moser, and Pach.)
Many years later, Elekes and Szabó proved that if the three points are not collinear, then . This discovery made it started to seem likely that when are not collinear, then value of should be siginificantly larger, and perhaps even . The new paper of Sharir and Solymosi, improves the bound of Elekes and Szabó, and proves that if are not collinear, then ). As before, this yields a nice corollary: For every set of points in the plane, there exists a line such that every point determines distinct distances with the points of .
To derive this new bound, Sharir and Solymosi relied on the same framework as in their recent paper with me, and as in the recent paper of Pach and de Zeeuw. I am tempted to start referring to this framework as the partial Elekes-Sharir framework since it relies on some of the ideas of the Elekes-Sharir framework but ignores others. Just as in the Elekes-Sharir framework, the partial framework is based on double counting the size of a set of quadruples of some sort, and obtains a lower bound on by a simple use of the Cauchy–Schwarz inequality. However, while the Elekes-Sharir framework reduces the problem of obtaining an upper bound for to bounding the number of intersections of lines in , the partial framework reduces the problem to a planar point-curve incidence problem. (See my guide to the Elekes-Sharir framework here.)
Sharir and Solymosi’s use of the partial framework is somewhat unusual since the elements of are not quadruples of points, but rather quadruples of distances. However, since this post is not intended to be a technical one, I will not give more details and stop here.