[論文レビュー] On the use of Klein quadric for geometric incidence problems in two dimensions

Misha Rudnev, J. M. Selig|arXiv (Cornell University)|Dec 9, 2014

Computational Geometry and Mesh Generation参考文献 9被引用数 7

ひとこと要約

本稿では、射影3次元空間におけるクラインの二次曲面を用いた幾何的直接法を提示する。この手法により、ユークリッド平面、球面、双曲平面における合同な距離の数え上げといった2次元幾何的インシデント問題を、$ℝ^3$ 内の直線同士のインシデント定理に還元する。点の対 $(p, q)$ を、$p$ から $q$ への回転に基づくプレュッカー座標を用いて $ℝ\mathbb{P}^3$ 内の直線 $l_{pq}$ に写像することで、対称性に基づく枠組みを回避し、ガス・カーツのインシデント定理を適用して、最適な $O(N^3 \log N)$ の2次モーメントの上限を得る。この手法により、エルドシュの距離問題を最小限の追加コストで非ユークリッド的設定へと拡張する。

ABSTRACT

We discuss a unified approach to a class of geometric combinatorics incidence problems in $2D$, of the Erdös distance type. The goal is obtaining the second moment estimate, that is given a finite point set $S$ and a function $f$ on $S imes S$, an upper bound on the number of solutions of $$ f(p,p') = f(q,q') eq 0,\qquad (p,p',q,q')\in S imes S imes S imes S. \qquad(*) $$ E.g., $f$ is the Euclidean distance in the plane, sphere, or a sheet of the two-sheeted hyperboloid. Our tool is the Guth-Katz incidence theorem for lines in $\mathbb{RP}^3$, but we focus on how the original $2D$ problem is made amenable to it. This procedure was initiated by Elekes and Sharir, based on symmetry considerations. However, symmetry considerations can be bypassed or made implicit. The classical Plücker-Klein formalism for line geometry enables one to directly interpret a solution of $(*)$ as intersection of two lines in $\mathbb{RP}^3$. This allows for a very brief argument extending the Euclidean plane distance argument to the spherical and hyperbolic distances. We also find instances of the question $(*)$ without underlying symmetry group. The space of lines in the three-space, the Klein quadric $\mathcal K$, is four-dimensional. We start out with an injective map $\mathfrak F:\,S imes S o\mathcal K$, from a pair of points in $2D$ to a line in $3D$ and seek a combinatorial problem in the form $(*)$, which can be solved by applying the Guth-Katz theorem to the set of lines in question. We identify a few new such problems and generalise the existing ones.

研究の動機と目的

• 2次元幾何的インシデント問題（例：合同な距離の数え上げ）を、対称性に依存しない統一的なアプローチで扱う。
• クラインの二次曲面を用いて、ユークリッド平面、球面、双曲平面におけるインシデント問題を、$ℝ\mathbb{P}^3$ 内の直線同士のインシデント問題に還元する。
• 群の対称性や回転パラメータ化に依存せずに、プレュッカー＝クライン形式を介してガス・カーツのインシデント定理を直接適用可能であることを示す。
• この直接的な線幾何学的アプローチにより、解ける新たな2次元インシデント問題を同定する。
• 同一の枠組みを用いて、ユークリッド平面を超えた距離集合や合同な線分に関する既存の結果を一般化する。

提案手法

• 有限集合 $S \subset \mathbb{R}^2$ 内の無順序点対 $(p, q)$ を、$p$ から $q$ への回転に基づくプレュッカー座標を用いて、$ℝ\mathbb{P}^3$ 内の直線 $l_{pq}$ に写像する。
• 点 $p$ から $q$ への等長変換の集合を、変換の重心と回転角から導かれる座標を持つ $ℝ\mathbb{P}^3$ 内の直線として表現する。
• $ℝ\mathbb{P}^3$ 内の直線の空間としてクラインの二次曲面 $\mathcal{K}$ を用い、$f(p,q) = f(p',q')$ の解と $ℝ\mathbb{P}^3$ 内の直線の交点との間の直接的な幾何的対応を確立する。
• 標準的条件（$O(N)$ 本の直線が一点に集中せず、同一平面上にない、またはレギュラスに配置されていない）を仮定して、$ℝ\mathbb{P}^3$ 内の $N^2$ 本の直線 $​\{l_{pq}\}$ にガス・カーツのインシデント定理を適用する。
• $f(p,q) = f(p',q')$ が成り立つことと $l_{pq} \cap l_{p'q'} \neq \emptyset$ が同値であることから、インシデント数を直線の交点に還元する。
• 得られた $O(N^3 \log N)$ の交差する直線ペアの上限を用いて、コーシー・シュバルツの不等式を適用し、合同な線分の数に対する2次モーメントの推定値を導出する。

実験結果

リサーチクエスチョン

• RQ1 ガス・カーツのインシデント定理を、対称性群のパラメータ化に依存せずに、2次元インシデント問題に直接適用可能か？
• RQ2 プレュッカー＝クライン形式を用いて、ユークリッド幾何、球面幾何、双曲幾何のインシデント問題を一様に取り扱う方法は何か？
• RQ3 クラインの二次曲面を介して、$ℝ\mathbb{P}^3$ 内の直線に点対を写像することにより、どのような新たな2次元インシデント問題が解けるか？
• RQ4 対称性の考察を暗黙的または不要なものにするために、エレケス・シャリヤー枠組みはどの程度簡略化可能か？
• RQ5 ガス・カーツの定理が距離型問題における最適な2次モーメントの上限をもたらすために必要な最小限の幾何的条件は何か？

主な発見

• 本稿では、クラインの二次曲面を介して、$f(p,q) = f(p',q')$ の解と $ℝ\mathbb{P}^3$ 内の直線の交点との間に直接的な対応関係を確立し、明示的な対称性群の解析を回避する。
• この手法により、等長変換群が $ℝ\mathbb{P}^3$ 内の直線に写像される任意の2次元幾何において、合同な線分の数に対する $O(N^3 \log N)$ の上界が得られる。
• このアプローチにより、ガス・カーツのインシデント定理が非ユークリッド的設定、特に球面 $ℝ\mathbb{S}^2$ および双曲平面 $ℝ\mathbb{H}^2$ に対しても同様の上限をもたらすように一般化される。
• 2次モーメントの推定値により、$S \subset \mathbb{R}^2$、$ℝ\mathbb{S}^2$、$ℝ\mathbb{H}^2$ における相異なる距離の数に対する最適な $\Omega(N / \log N)$ の下界が得られる。
• この枠組みは、$ℝ\mathbb{RP}^3$ 内の直線インシデントに基づいて解ける、従来の距離問題を超えた新たな2次元インシデント問題を同定する。
• $SO(3)$ に対して $ℝ\mathbb{FP}^3$ 内の斉次座標とクライン代数表現を用いることで、等長変換と $ℝ\mathbb{RP}^3$ 内の直線との間の一対一対応が保証され、正確なインシデント数のカウントが可能になる。