[論文レビュー] Distinct distances between points and lines

Micha Sharir, Shakhar Smorodinsky+2 more|arXiv (Cornell University)|Dec 28, 2015

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

ひとこと要約

本稿は、平面および3次元空間におけるm個の点とn本の直線間の異なる距離の数に対する新たな下界を、高度な接続幾何学および直線、円、球の間の接する関係の境界を用いて確立する。ℝ²では、m¹/² ≤ n ≤ m²の条件下で、異なる点-直線距離の数はΩ(m¹/⁵n³/⁵)であると証明する。ℝ³では、特定の幾何的制約のもとで、任意のε > 0に対してΩ(min{m¹/⁴n¹/⁴⁻ᴱ, n})である。

ABSTRACT

We show that for $m$ points and $n$ lines in the real plane, the number of distinct distances between the points and the lines is $Ω(m^{1/5}n^{3/5})$, as long as $m^{1/2}\le n\le m^2$. We also prove that for any $m$ points in the plane, not all on a line, the number of distances between these points and the lines that they span is $Ω(m^{4/3})$. The problem of bounding the number of distinct point-line distances can be reduced to the problem of bounding the number of tangent pairs among a finite set of lines and a finite set of circles in the plane, and we believe that this latter question is of independent interest. In the same vein, we show that $n$ circles in the plane determine at most $O(n^{3/2})$ points where two or more circles are tangent, improving the previously best known bound of $O(n^{3/2}\log n)$. Finally, we study three-dimensional versions of the distinct point-line distances problem, namely, distinct point-line distances and distinct point-plane distances. The problems studied in this paper are all new, and the bounds that we derive for them, albeit most likely not tight, are non-trivial to prove. We hope that our work will motivate further studies of these and related problems.

研究の動機と目的

• 平面におけるm個の点とn本の直線間の異なる距離の数に対する非自明な下界を確立すること。
• 三次元空間への分析の拡張を行い、幾何的配置の制約のもとで境界を導出すること。
• 点-直線距離問題を、円と直線の間の接するペアを数える問題に還元し、独立に重要な問題とする。
• 平面上のn個の円の間の接点の数に関する既存の境界を改善し、O(n³/² log n)からO(n³/²)に向上させること。

提案手法

• 異なる点-直線距離問題を、平面上の直線と円の間の接するペアの数を数える問題に還元する。
• 特にSzemerédi-Trotterの定理およびその拡張を用いて、繰り返し距離を制限するための接続幾何学的手法を適用する。
• ℝ³における球と直線の接続関係を表現するため、4次元のパラメータ空間を用いる。
• Foxら（2012）による最近の接続境界を応用し、球と直線の間の接するペアの数を制御する。
• 3次元解析における退化を避けるために、4×4の円錐/円柱/放物面の構成を禁止する条件を課す。
• 矛盾と自由度解析を用いて漸近的下界を導出し、密接な接続構造が存在しないことを利用する。

実験結果

リサーチクエスチョン

• RQ1 mとnの適切な制約のもとで、平面におけるm個の点とn本の直線間の異なる距離の最小数は何か？
• RQ2 ℝ³における点-直線距離の数はℝ²におけるものと比べてどのように異なるのか。意味のある境界を導くために必要な幾何的制約は何か？
• RQ3 平面上のn個の円の間の接するペアの数を、O(n³/² log n)よりもきめ細かく束縛できるか？
• RQ4 異なる点-直線距離と、3次元空間における球と直線の接続構造との関係は何か？
• RQ5 点-直線距離問題は、円や球といった幾何的対象の間の接続問題に、どの程度まで還元可能か？

主な発見

• m¹/² ≤ n ≤ m²の条件下で、ℝ²におけるm個の点とn本の直線に対して、異なる点-直線距離の数はΩ(m¹/⁵n³/⁵)である。これは、この形の非自明な下界として初めての結果である。
• すべての点が一直線上にないm個の点に対して、それらが定める直線への異なる距離の数はΩ(m⁴/³)である。これは、点集合が定める直線の場合のより強い境界である。
• 平面上のn個の円の間の接するペアの数は、最大でO(n³/²)である。これは、従来のO(n³/² log n)の境界を改善したものである。
• ℝ³では、4×4の円錐/円柱/放物面の構成がないという条件下で、任意のε > 0に対して、異なる点-直線距離の数はΩ(min{m¹/⁴n¹/⁴⁻ᴱ, n})である。
• 証明手法により、3次元の点-直線距離問題がℝ⁴における点と放物面の接続問題に還元され、現代の接続定理の適用が可能になる。
• 結果から、点-直線距離問題は本質的に接続および接続構造に依存しており、これらの構造は高次元幾何的埋め込みを用いて解析可能であることが示唆される。