[論文レビュー] Incidences between points and non-coplanar circles

Micha Sharir, Adam Sheffer+1 more|arXiv (Cornell University)|Jul 31, 2012

Computational Geometry and Mesh Generation被引用数 2

ひとこと要約

この論文は、3次元空間におけるm個の点とn個の非同一平面上の円の間の接点数の上界を改善し、多項式分割と幾何的道具を用いて、どの球面や平面にもq個未満の円が含まれるという条件下で、O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11} + m + n) を達成した。さらに、この結果を応用して、R³内のm個の点が作る互いに相似な三角形の数をO(m^{15/7}) で抑えられた。

ABSTRACT

We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in R^3 without first improving it in the plane. Nevertheless, we show that if the set of circles is required to be truly three-dimensional in the sense that no sphere or plane contains more than $q$ of the circles, for some $q 0$. (iii) We use our results to obtain the improved bound $O(m^{15/7})$ for the number of mutually similar triangles determined by any set of $m$ points in R^3. Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry.

研究の動機と目的

• 3次元空間におけるm個の点とn個の円の間の接点数に対するより緊密な上界を確立すること。
• 同じ球面や平面に多くの円が含まれないような真に3次元的な配置の課題に取り組むこと。
• 円の分布に非退化条件を課したもとで、平面の場合の接点数の境界を3次元に拡張すること。
• 改善された接点数の境界を応用して、R³内のm個の点が作る互いに相似な三角形の数に対する新しい境界を導出すること。
• 多項式分割と幾何的道具を活用し、接点数幾何学および離散幾何学の分野で先行研究を上回る結果を得ること。

提案手法

• GuthとKatzの多項式分割技術を用い、定数次の分割多項式を用いて空間を細胞に分割する。
• どの球面や平面にもq個未満の円が含まれることを根拠に、各細胞内での接点数を制御する。
• 組合せ論的および代数的幾何学的手法を用いて、分割表面および細胞内での接点数を評価する。
• 得られた接点数の境界を用いて、互いに相似な三角形を形成する点の配置を分析する。
• 解析的幾何学的手法を用いて、R³における円と点集合の幾何的制約を扱う。
• O*(·)表記を用いて部分多項式要因を扱い、タイトな漸近的境界を維持する。

実験結果

リサーチクエスチョン

• RQ1 円が共通の平面や球面に制限されていない場合、R³における点と円の接点数の境界を改善できるか？
• RQ2 3次元空間におけるm個の点が作れる互いに相似な三角形の最大数は何か？
• RQ3 円の分布、特に少数の平面や球面に多く含まれる場合、接点数の境界にどのような影響を与えるか？
• RQ4 多項式分割は、高次元幾何的設定における接点数の境界をどれほど精緻化できるか？
• RQ5 3次元における改善された接点数の境界は、三角形の数え上げなどの関連する離散幾何学的問題において、より良い境界をもたらすか？

主な発見

• どの球面や平面にもq個未満の円が含まれるという条件下で、R³における点と円の接点数にO*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11} + m + n) の改善された境界を確立した。
• この境界は部分多項式要因を除いてタイトであり、3次元配置に適用した場合、古典的な平面境界を上回る。
• 多項式分割と円の分布に関する幾何的制約を組み合わせることで、この結果を達成した。
• 改善された接点数の境界により、任意のm個の点が定める互いに相似な三角形の数に対する新しい境界O(m^{15/7}) が得られた。
• 非同一平面上の円の配置は、平面の場合よりも強い接点数の境界を許容することが示されたが、平面境界は依然として制限要因のままである。
• 分析により、多項式分割法と幾何的制約を組み合わせることで、接点数幾何学において顕著な改善が得られることを確認した。