[論文レビュー] An improved bound on the number of point-surface incidences in three dimensions

Joshua Zahl|arXiv (Cornell University)|May 2, 2011

Computational Geometry and Mesh Generation参考文献 18被引用数 48

ひとこと要約

本稿は、非退化条件のもとで、3次元空間における $ m $ 個の点と $ n $ 個の有界次数の滑らかな代数的曲面の間の点-曲面インシデント数に対する上界を改善する。2段階にわたる離散多項式ハンガリーサンドイッチ定理の応用と、Turán型定理の組み合わせにより、$ O(m^{rac{2k}{3k-1}}n^{rac{3k-3}{3k-1}} + m + n) $ の上界を確立し、特に球面の場合には $ O((mn)^{3/4} + m + n) $ に簡略化される。これは、ゆっくり増加する関数因子を含む既存の結果をわずかに改善する。

ABSTRACT

We show that $m$ points and $n$ smooth algebraic surfaces of bounded degree in $\RR^3$ satisfying suitable nondegeneracy conditions can have at most $O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}}+m+n)$ incidences, provided that any collection of $k$ points has at most $O(1)$ surfaces passing through all of them, for some $k\geq 3$. In the case where the surfaces are spheres and no three spheres meet in a common circle, this implies there are $O((mn)^{3/4} + m +n)$ point-sphere incidences. This is a slight improvement over the previous bound of $O((mn)^{3/4} \beta(m,n)+ m +n)$ for $\beta(m,n)$ an (explicit) very slowly growing function. We obtain this bound by using the discrete polynomial ham sandwich theorem to cut $\RR^3$ into open cells adapted to the set of points, and within each cell of the decomposition we apply a Turan-type theorem to obtain crude control on the number of sphere-point incidences. We then perform a second polynomial ham sandwich decomposition on the irreducible components of the variety defined by the first decomposition. As an application, we obtain a new bound on the maximum number of unit distances amongst $m$ points in $\RR^3$.

研究の動機と目的

• 3次元空間における点と代数的曲面の間のインシデント数に対するよりタイトな上界を確立すること。
• 特に単位距離の文脈において、ゆっくり増加する関数因子を含む既存の上界の制限を解消すること。
• 3つ以上の球面が共通の円を共有しないなどの非退化条件のもとで、点-球面インシデントの分析を精緻化すること。
• 多項式ハンガリーサンドイッチ定理を含む離散幾何学の高度な道具を応用し、より良いインシデント上界を達成すること。

提案手法

• $\mathbb{R}^3$ を開な細胞に分割するため、離散多項式ハンガリーサンドイッチ定理を用いる。各細胞には制御可能な数の点が含まれる。
• 各細胞内でTurán型定理を適用し、局所的な点-球面インシデント数を上界で制御する。
• 最初の分解によって定義される代数的集合の既約成分に対して、2度目の多項式ハンガリーサンドイッチ分解を施し、細胞構造をさらに精緻化する。
• 任意の $ k \geq 3 $ 個の点が $ O(1) $ 個の曲面に共通して存在するという非退化条件を活用し、グローバルなインシデント数を制御する。
• 各細胞および成分からの上界を組み合わせ、改善された指数を有するグローバルなインシデント上界を導出する。
• 得られたインシデント上界を応用し、$\mathbb{R}^3$ 内の $ m $ 個の点における最大単位距離数の新たな上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 非退化条件のもとで、$\mathbb{R}^3$ 内の $ m $ 個の点と $ n $ 個の有界次数の滑らかな代数的曲面の間のインシデント数に対する最適な上界は何か？
• RQ2 幾何的分割技法を用いることで、過去の上界に含まれるゆっくり増加する関数 $ \beta(m,n) $ 依存性を排除または改善できるか？
• RQ3 3つの球面が共通の円を共有しないという条件下での、$\mathbb{R}^3$ 内の球面に対するインシデント上界は、既存の結果と比べてどのように異なるか？
• RQ4 多項式ハンガリーサンドイッチ定理を2段階にわたって適用することで、3次元配置におけるインシデント上界をどの程度まで精緻化できるか？

主な発見

• 任意の $ k \geq 3 $ 個の点が $ O(1) $ 個の曲面に共通するという条件下で、$\mathbb{R}^3$ 内の $ m $ 個の点と $ n $ 個の有界次数の滑らかな代数的曲面の間のインシデント数に対して、新たな上界 $ O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}} + m + n) $ を確立した。
• 球面の特別な場合、3つ以上の球面が共通の円を共有しない条件下では、上界が $ O((mn)^{3/4} + m + n) $ に簡略化され、以前の $ O((mn)^{3/4} \beta(m,n) + m + n) $ の上界をわずかに改善した。
• 2段階にわたる離散多項式ハンガリーサンドイッチ定理の適用により、$ \beta(m,n) $ 要素を排除することで改善が達成された。
• 空間を細胞に分割し、その後で既約成分上で分解を精緻化することで、局所的およびグローバルなインシデント数の制御が可能になった。
• インシデント上界は、$\mathbb{R}^3$ 内の $ m $ 個の点における最大単位距離数の新たな上界を導くことができ、インシデント幾何学を超えた応用性を示した。
• この結果は、多項式ハンガリーサンドイッチ法が非退化制約を伴うインシデント問題において、繰り返し適用可能であり、よりタイトな上界を達成できることを示している。