[論文レビュー] Ordinary lines in space

Frank de Zeeuw|arXiv (Cornell University)|Mar 26, 2018

Computational Geometry and Mesh Generation参考文献 6被引用数 3

ひとこと要約

この論文は、任意の平面に高々 αn 個の点が含まれる（α < 1）ℝ³ 内の有限点集合が、少なくとも cₐn² 個の通常線を生成することを証明しており、二次の下界を確立している。証明はケリーの手法にインspiredされた射影の議論を用い、平面における線のスパンに関するベックの定理と組み合わせることで、真正に三次元的な構成は平面の場合よりも顕著に多くの通常線を生成することを示している。

ABSTRACT

We prove that if a finite point set in real space does not have too many points on a plane, then it spans a quadratic number of ordinary lines. This answers the real case of a question of Basit, Dvir, Saraf, and Wolf. It shows that there is a significant difference in terms of ordinary lines between planar point sets, which may span a linear number of ordinary lines, and truly three-dimensional point sets. Our proof uses a projection argument of Kelly combined with a theorem of Beck on the number of spanned lines of a planar point set.

研究の動機と目的

• バシット、ドヴィア、サラフ、ウルフが提起した、3次元点集合における通常線の最小数に関する実数の場合の問題を解決すること。
• 平面的構成と真正に三次元的な構成との間で、通常線の数に顕著な定量的差が生じることを確立すること。
• どの平面にも高々 αn 個の点（α < 1）しか含まない場合、通常線の数が Ω(n²) であることを示すこと。これは、従来の線形下界の改善である。
• 下界の鋭さと、平面性パラメータ α への依存性を検討し、非平面的点が少ない構成に対する影響を議論すること。

提案手法

• 点集合が生成するすべての平面から外れる点からの一般射影を適用し、3次元構成を2次元平面に写像するが、共線性を保つ。
• 平面における線のスパンに関するベックの定理を用いる：どの直線にも高々 βn 個の点が含まれる場合、少なくとも γn² 本の線がスパンされる。
• 射影を介して、平面における線のスパン下界を3次元に戻して適用し、元の集合が Ω(n²) 本の線をスパンすることを保証する。
• 射影された線の数と、1つの平面に含まれる点数に関する場合分けを組み合わせることで、通常線に対する二次下界を導出する。
• 2本のねじれの位置にある直線上にそれぞれ n/2 個の点を配置する構成を用い、正確に n²/4 個の通常線が生成されることを示し、理論的下界のベンチマークとする。
• 任意の平面に高々 n−k 個の点しか含まれない構成に対しては、再帰的議論を適用し、平面的部分構成には定理1.2、残りの部分には定理1.3を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの平面にも高々 αn 個の点しか含まない有限点集合が、ℝ³ で生成できる通常線の最小数は何か？
• RQ2 平面的構成と比較して、3次元構成における通常線の数はどのように異なるのか？（既知の線形下界と比較）
• RQ3 平面性が有界な3次元点集合に対して、通常線の数に二次下界を確立できるか？また、最良の定数は何か？
• RQ4 この証明技法を複素数の場合 ℂ³ に拡張できるか？その際の主な障害は何か？

主な発見

• 任意の α < 1 に対して、cₐ > 0 が存在し、任意の ℝ³ 内の n 点集合が、どの平面にも高々 αn 個の点しか含まない場合、少なくとも cₐn² 個の通常線を生成する。
• 下界は n に関して二次的であり、平面的構成と真正に三次元的な構成との間で、通常線の数に本質的な差が生じることを示している。
• 既知の最良の構成（2本のねじれの直線上にそれぞれ n/2 個の点）は正確に n²/4 個の通常線を生成するため、理論的下界は定数の点でタイトではないことが示唆される。
• 任意の平面に高々 n−k 個の点しか含まれない場合、十分大きな n に対して、通常線の数は (k + 1/2)(n−k) − (k choose 2) 以上である。これは、既知の構成と低次の項を除いて一致する。
• この結果は、非平面的点が少ない構成でも依然として線形の数の通常線が生成されることを示唆しているが、定数は k に応じて増加する。
• 証明は ℂ³ 上では主に、シュヴィルツェル＝ギャリーの定理が成立しないことによって失敗する。複素数の場合への拡張を可能にする2つの予想が提示されている。