[論文レビュー] Bisector energy and few distinct distances

Ben Lund, Adam Sheffer+1 more|arXiv (Cornell University)|Nov 25, 2014

Digital Image Processing Techniques参考文献 12被引用数 4

ひとこと要約

この論文は、平面における少数の異なる距離をもつ点集合を研究するための新しい道具として、二等分線エネルギーを導入する。線や円に多くの点が含まれないという仮定の下で二等分線エネルギーの上限を示すことで、異なる垂直二等分線の数に関する改善された境界を得ており、$O(n/\sqrt{\log n})$ 個の異なる距離をもつ点集合は、$n^\alpha$ 個の点（$\alpha \leq 1/4$）を含む線または円を含むか、$\Omega(\sqrt{\log n})$ 個の点を含む多くの線を含むことが示され、エルドシュの長年の予想を前進させる。

ABSTRACT

We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound $Ω(M(n)n^2)$, which matches our upper bound when $M(n)$ is large. We use our upper bound on the bisector energy to obtain two rather different results: (i) If $P$ determines $O(n/\sqrt{\log n})$ distinct distances, then for any $0

研究の動機と目的

• 平面における少数の異なる距離をもつ点集合の構造に関するエルドシュの長年の予想に取り組むこと。特に、このような集合が $n^\alpha$ 個の点（$\alpha > 0$）を含む直線を含むべきかどうかを検討すること。
• 平面 $\mathbb{R}^2$ における点集合の幾何学的・組合せ的構造を研究するための新しい分析的道具「二等分線エネルギー」を提供すること。
• 直線または円に含まれる点の数と、点集合によって定まる異なる垂直二等分線の数との間の定量的トレードオフを確立すること。
• シュレーマーの結果（$O(n/\sqrt{\log n})$ 個の異なる距離は $\Omega(\sqrt{\log n})$ 個の同一直線上の点を含む）を改善し、線や円に多くの点が含まれない場合のより強い構造的代替条件を示すこと。
• 多項式分割と交差幾何の新しい応用を用いて、平面における垂直二等分線の拡張性を分析すること。

提案手法

• 二等分線エネルギーは、$a \neq b$、$c \neq d$ であるような四つ組 $(a,b,c,d)$ の数として定義され、$a,b$ の垂直二等分線と $c,d$ の垂直二等分線が一致する場合を数え、繰り返し現れる二等分線構造を捉える。
• 論文は、二等分線エネルギーに対する上界を証明する：$\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$、ここで $M(n)$ は任意の直線または円に含まれる点の最大数を表す。
• この上界をガス・カーツの定理（異なる距離に関する）と組み合わせることで、$O(n/\sqrt{\log n})$ 個の異なる距離をもつ点集合に対する構造的帰結を得ている。
• 解析には多項式分割と交差幾何が用いられ、特に点と多様体の間の交差数の上限を制御することで、二等分線エネルギーの成長を制御している。
• 代数的多様体の次元に関する帰納法が用いられ、エレクスとロースのフレームワークに基づく、$\mathbb{R}$ 上の多項式の拡張に関する境界が活用されている。
• ホルダーの不等式と細胞分解を用いた主要な不等式が導出され、分割された領域における交差数の上限が得られ、最終的なエネルギー上界に至る。

実験結果

リサーチクエスチョン

• RQ1 直線や円に $M(n)$ 個を超える点が含まれない場合、$\mathbb{R}^2$ 内の有限点集合の最大二等分線エネルギーはどの程度か？
• RQ2 点集合に多くの点が含まれる直線や円がない場合、異なる垂直二等分線の数はどのように増加するか？
• RQ3 直線や円に $n^\alpha$ 個の点が含まれない場合、$O(n/\sqrt{\log n})$ 個の異なる距離をもつ点集合にどのような構造的制約が生じるか？
• RQ4 少数の異なる距離をもつ点集合における同一直線上の点数の上限を、$\Omega(\sqrt{\log n})$ を超えて改善できるか？
• RQ5 高密度な直線や円が存在しない場合、多数の異なる垂直二等分線が存在するということが導かれるか？

主な発見

• 直線や円に $M(n)$ 個を超える点が含まれない任意の $n$ 点集合 $\mathcal{P} \subset \mathbb{R}^2$ に対して、二等分線エネルギーは $\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$ で抑えられる。
• 上界が $M(n)$ が大きい場合にタイトであることを示す、一致する下界 $\mathcal{E}(\mathcal{P}) = \Omega(M(n)n^2)$ が確立された。
• 点集合が $O(n/\sqrt{\log n})$ 個の異なる距離をもつならば、任意の $0 < \alpha \leq 1/4$ に対して、$n^\alpha$ 個の点を含む直線または円が存在するか、または $\Omega(n^{8/5 - 12\alpha/5 - \varepsilon})$ 個の異なる直線が存在し、それぞれ $\Omega(\sqrt{\log n})$ 個の点を含む。
• 点集合 $\mathcal{P}$ が定める異なる垂直二等分線の数は $\Omega\left(\min\left\{M(n)^{-2/5}n^{8/5-\varepsilon}, M(n)^{-1}n^2\right\} ight)$ である。これはエレクス・ロースフレームワークにおける最初の高次元拡張結果である。
• 二等分線エネルギーの上界は多項式分割と交差幾何を用いて導出され、ガス・カーツの異なる距離に関する定理が主要な入力として用いられている。
• エネルギー上界の応用により、少数の異なる距離をもつ点集合は、高密度な直線・円の多様性を示すか、あるいは以前の知られていたよりもはるかに多くの密集した直線を含むことが示され、シュレーマーの結果を改善した。