[论文解读] On the Erdos distinct distance problem in the plane

Larry Guth, Nets Hawk Katz|arXiv (Cornell University)|Nov 17, 2010

Computational Geometry and Mesh Generation参考文献 12被引用 103

一句话总结

该论文解决了Erdòs长期以来的猜想，证明了平面上任意$N$个点集确定的互异距离数至少为$cN/\log N$。通过新颖地结合多项式方法、多项式中分定理的细胞分解，以及（特别是利用flecnode多项式）的可纹曲面理论，Guth与Katz在三维空间中建立了紧致的关联界，最终得出互异距离问题的最优下界。

ABSTRACT

In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.

研究动机与目标

• 解决Erdòs的猜想：平面上任意$N$点集确定的互异距离数至少为$\gtrsim N/\sqrt{\log N}$。
• 证明互异距离数的紧下界为$\gtrsim N/\log N$，优于先前的$\gtrsim N^{0.8641}$等界。
• 在$\mathbb{R}^3$中建立关于直线的一般关联定理，其约束条件为平面与正则曲面的集中度，该定理蕴含了互异距离的结果。
• 发展并应用新方法——利用多项式中分定理进行细胞分解，以及可纹曲面分析——以控制三维空间中的点-线关联。

提出的方法

• 应用Elekes-Sharir框架，将互异距离问题转化为$\mathbb{R}^3$中的点-线关联问题。
• 利用多项式中分定理进行细胞分解，将空间划分为若干细胞，以控制高关联点。
• 对于位于细胞壁上的点，证明其位于低次多项式的零点集中，从而可应用代数几何技术。
• 对于$k=2$的关联情形，应用Salmon的flecnode多项式，证明位于可纹曲面上的直线必包含于单向可纹曲面中。
• 利用可纹曲面的几何结构，特别是非单向可纹曲面包含三条歪斜直线且具有无穷多条横截线的性质，来控制交点数量。
• 将关联估计与涉及欧拉函数的组合论证相结合，推导出$k$-丰富点数的最终界。

实验结果

研究问题

• RQ1 平面上$N$个点集确定的互异距离数的最优下界是什么？
• RQ2 在平面与正则曲面集中度受控的约束下，$\mathbb{R}^3$中直线的关联几何是否可被控制，以获得紧致界？
• RQ3 多项式方法如何扩展以处理$k=2$的关联情形，此时标准的临界点或平坦性论证会失效？
• RQ4 可纹曲面理论在多大程度上可用于控制低重数关联的直线构型？
• RQ5 互异距离数的界$\gtrsim N/\log N$是否紧致？能否通过显式构造实现该界？

主要发现

• 该论文建立了平面上$N$个点集确定的互异距离数的紧下界$\gtrsim N/\log N$。
• $\mathbb{R}^3$中的关联定理——即$N^2$条直线，若任意平面或正则曲面中直线数$\lesssim N$，则至少包含$k$条直线的点数为$\lesssim N^3 k^{-2}$——蕴含了主结果。
• 构造了一组直线$\mathfrak{L}_0$，其包含$\sim S^4$条直线，且至少包含$k$条直线的点数为$\sim S^6 k^{-2}$，表明关联界在常数因子范围内是紧致的。
• 利用多项式中分定理进行细胞分解，有效将高关联点分为内部与壁面两类，从而实现分别分析。
• 对于$k=2$的情形，应用flecnode多项式与可纹曲面理论，将问题简化为具有受控直线含量的曲面，从而实现精确的关联计数。
• 示例$\mathfrak{L}_0$表明，当$B \sim L^{1/2}$时，关联定理是紧致的，说明在给定约束下界是紧致的。