[論文レビュー] 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$以上であることを証明している。GuthとKatzは、多項式法、多項式ハムサンドイッチ定理による細胞分割、および則線面理論——特に特徴多項式の利用——を新しく組み合わせることで、3次元空間における鋭い交差数の上限を得て、最終的に異なる距離問題の最良の下界を導いた。

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.

研究の動機と目的

• 平面上の$N$点集合が少なくとも$\gtrsim N/\sqrt{\log N}$個の異なる距離を生成することを示すErdòsの予想を解決すること。
• $\gtrsim N/\log N$という鋭い下界を証明し、以前の$\gtrsim N^{0.8641}$などの境界を改善すること。
• 平面的および回転面的制約が制御された状況下で、$\mathbb{R}^3$における直線の交差幾何を制御する一般の交差定理を確立し、これにより異なる距離の結果が導かれるようにすること。
• 細胞分割における多項式ハムサンドイッチ定理の応用と則線面解析を含む、点と直線の交差を3次元で制御するための新技術を開発・適用すること。

提案手法

• 異なる距離問題を3次元空間$\mathbb{R}^3$における点と直線の交差問題に変換するために、Elekes-Sharirフレームワークを適用する。
• 多項式ハムサンドイッチ定理を用いて細胞分割を構成し、空間を細胞に分割することで、高頻度の交差点を制御する。
• 細胞の壁上にある点については、低次の多項式の零点集合上に存在することを示し、代数幾何学的手法を適用可能にする。
• $k=2$の交差に対して、Salmonの特徴多項式を用いて、則線面上にある直線が単一則線面に含まれることを示す。
• 特に、非単一則線面は無限個の横断線をもつ3本のねじれ線を含むという幾何学的性質を活用し、交差数を制限する。
• 交差推定とオイラーのトータル関数を用いた組合せ論的議論を組み合わせることで、$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}$である——が、主結果を示唆している。
• $\sim S^4$本の直線と$\sim S^6 k^{-2}$個の点（$\geq k$本の直線が通る）を持つ直線集合$\mathfrak{L}_0$の構成により、交差境界が定数の意味で鋭いことが示された。
• 多項式ハムサンドイッチ定理を用いた細胞分割は、高頻度の交差点を内部点と壁上点に分離し、それぞれ別の解析を可能にした。
• $k=2$の場合、特徴多項式と則線面理論の適用により、直線を含む表面の制御された構造に問題を還元でき、正確な交差数の数え上げが可能になった。
• 例$\mathfrak{L}_0$は、$B \sim L^{1/2}$の下で、交差定理が最適であることを示しており、与えられた制約下での境界のタイトさを示している。