[論文レビュー] Sets with few distinct distances do not have heavy lines

Orit E. Raz, Oliver Roche‐Newton+1 more|arXiv (Cornell University)|Oct 7, 2014

Computational Geometry and Mesh Generation参考文献 16被引用数 5

ひとこと要約

本稿は、平面内の $ n $ 個の点からなる集合 $ P $ が高々 $ n/5 $ 種類のユークリッド距離を定めるならば、そのような集合に含まれる点のうち、1本の直線に存在する点の数は $ O^*(n^{43/52}) \approx O(n^{0.827}) $ を超ええないことを証明している。この結果は、先行研究の境界を改善し、軸平行長方形の符号付き面積（矩形距離）に対しても同様の直線内点数の上限が成り立つことを示しており、凸関数を用いた新しい組合せ幾何学的技法と和積推定法を用いている。

ABSTRACT

Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{ m polylog}(n))$ points of $P$. We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.

研究の動機と目的

• ユークリッド距離の種類が少ないという条件下で、1本の直線に存在する点数の強い上界を確立すること。
• ユークリッド距離に加え、矩形距離（軸平行長方形の符号付き面積）に対しても同様の直線内点数の上限を示すこと。
• 直線や円に対して、それぞれ $ O(n^{7/8}) $ や $ O(n^{5/6}) $ の境界が得られていた先行研究を改善し、同様の距離制約下でより良い境界を得ること。
• 構造的集合における繰り返し差の数を制御するため、凸関数を用いた新しいインシデント境界と和集合推定法を開発・適用すること。

提案手法

• 凸関数によって定義される曲線に対する新しいインシデント境界を用い、曲線 $ y = -f(x+b) + s $ の形をとる曲線が互いに高々1点で交わることを示し、これによりインシデント定理の適用が可能になる。
• 補題7を適用し、$ a - b $ として少なくとも $ t $ 種類の表現を持つ実数 $ x $ の数を、和集合 $ f(A) + C $ のサイズと $ B $ のサイズを用いて上限付ける。
• ホルダーの不等式とエネルギー推定を用い、差集合のサイズと高階エネルギー関数との関係を確立し、それらを和集合の成長と結びつける。
• 45°回転を用いた重要な変換を導入し、矩形距離をミンコフスキー平面における距離の二乗に結びつけることで、幾何的解釈を可能にする。
• コロナリー8を用い、$ |f(A) + C| $、$ |A| $、$ |C| $、$ |F| $ を用いて、三階エネルギー $ E_3(A) $ と混合エネルギー $ E(A,F) $ を上限付ける。対数因子を含む。
• これらの道具を統合し、$ |f(U) + V| $ の下界を $ |U| $、$ |U-U| $、$ |V| $、および $ \log|U| $ の関数として導出し、これが主結果の導出に不可欠である。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド距離が $ O(n) $ 種類の集合 $ n $ 個の点が、$ \Omega(n^{7/8}) $ 個の点を含む直線を持つことは可能か？
• RQ2 集合 $ P $ が $ D(P) \leq n/5 $ を満たすとき、1本の直線に存在できる点の最大数は何か？
• RQ3 ユークリッド距離の代わりに矩形距離（符号付き面積）を用いた場合、直線のインシデント境界はどのように変化するか？
• RQ4 凸関数を用いた和積型推定法を、構造的点集合における繰り返し差の数の制御に応用できるか？
• RQ5 ミンコフスキー平面は、矩形距離とユークリッド幾何学との関係を理解する上で果たす役割は何か？

主な発見

• 平面に存在する $ n $ 個の点からなる集合 $ P $ が高々 $ n/5 $ 種類のユークリッド距離を定めるならば、その集合に含まれる点のうち、1本の直線に存在する点の数は $ O^*(n^{43/52}) \approx O(n^{0.827}) $ を超ええない。
• この境界は、$ D(P) \leq n/5 $ の条件下で、直線に関する先行研究の最良境界 $ O(n^{7/8}) $ よりも改善されている。
• 矩形距離（軸平行長方形の符号付き面積）に対しても、集合が単一の水平または垂直線に含まれていない限り、同様に $ O^*(n^{43/52}) $ の直線内点数の上限が成り立つ。
• 証明は、凸関数によって定義される曲線のインシデント境界に依拠しており、それらが高々1点で交わることを示し、これにより強力な $ O^* $ 型の境界が得られる。
• 主な技術的貢献として、コロナリー8が挙げられ、三階エネルギー $ E_3(A) $ と混合エネルギー $ E(A,F) $ が $ |f(A)+C| $、$ |A| $、$ |C| $、$ |F| $ を用いて上限付ける。対数因子を含む。
• 本稿では、エネルギーとホルダーの不等式を用いて、$ |f(U)+V| $ の下界を $ |U| $、$ |U-U| $、$ |V| $、および $ \log|U| $ の関数として確立しており、これが主結果の導出に不可欠である。