[論文レビュー] On the Average Complexity of the $k$-Level

Man-Kwun Chiu, Stefan Felsner+4 more|arXiv (Cornell University)|Nov 6, 2019

Computational Geometry and Mesh Generation参考文献 22被引用数 1

ひとこと要約

本稿は、球面上のランダムな大円配置におけるk-レベルの期待計算量に対する最初の非自明な上界を確立し、南極が一様にランダムに選ばれる場合、それがO((k+1)²)であることを示している。さらに、この結果をd次元球面へ一般化し、ランダムな大-(d−1)-円の配置において、期待k-レベルの計算量がΘ((k+1)^{d−1})であることを証明している。これらの結果は、球面距離とベータ関数の積分を用いた確率的解析によって得られ、ランダム点集合におけるk-セットや線分の配置におけるk-レベルの平均ケース計算量に応用される。

ABSTRACT

$ ewcommand{\LL}{\mathcal{L}} ewcommand{\SS}{\mathcal{S}}$Let \(\LL\) be an arrangement of \(n\) lines in the Euclidean plane. The \(k\)-level of \(\LL\) consists of all vertices \(v\) of the arrangement which have exactly \(k\) lines of \(\LL\) passing below \(v\). The complexity (the maximum size) of the \(k\)-level in a line arrangement has been widely studied. In 1998 Dey proved an upper bound of \(O(n\cdot (k+1)^{1/3})\). Due to the correspondence between lines in the plane and great-circles on the sphere, the asymptotic bounds carry over to arrangements of great-circles on the sphere, where the \(k\)-level denotes the vertices at distance \(k\) to a marked cell, the south pole. We prove an upper bound of \(O((k+1)^2)\) on the expected complexity of the \((\le k)\)-level in great-circle arrangements if the south pole is chosen uniformly at random among all cells. We also consider arrangements of great \((d-1)\)-spheres on the \(d\)-sphere \(\SS^d\) which are orthogonal to a set of random points on \(\SS^d\). In this model, we prove that the expected complexity of the \(k\)-level is of order \(\Theta((k+1)^{d-1})\). In both scenarios, our bounds are independent of $n$, showing that the distribution of arrangements under our sampling methods differs significantly from other methods studied in the literature, where the bounds do depend on $n$.

研究の動機と目的

• 南極が球面上の2次元球面S²上に一様にランダムに選ばれる場合、ランダムな大円配置におけるk-レベルの期待計算量を特定すること。
• S^d 上のランダムな大-(d−1)-円の配置へこの解析を一般化すること。
• 一様にランダムに選ばれた点から球面距離がちょうどk以下の頂点の期待数に対するタイトな漸近的境界を確立すること。
• 双対性を用いて、これらの結果をランダム点集合におけるk-セットやランダム線分配置におけるk-レベルの平均ケース計算量と結びつけること。
• 一様にランダムに選ばれた基準セルに対して、中央レベルの期待サイズが非線形を超える可能性があるかどうかを検討すること。これは、既知の最悪ケース構成に挑戦するものである。

提案手法

• S^d 上に独立的かつ一様にランダムに選ばれたn個の大-(d−1)-円からなる配置をモデル化すること。
• k-レベルを、一様にランダムに選ばれた点（南極）からの球面距離がちょうどk以下の頂点の集合として定義すること。
• 中心射影を用いて、球面配置と平面線分配置との関係を保ち、距離と計算量を定数倍の要因まで保存すること。
• 球面角の積分を用いて、ランダムな頂点が南極からの距離がちょうどkである確率q_kを導出すること。
• 角分布に由来する形の積分∫₀¹ t^k(1−t)^{n−k} dtを評価するためにEulerのベータ関数を適用すること。
• sin(φ)とφに関する不等式を用いてq_kの上界と下界を確立し、漸近的にΘ((k+1)^{d−1}/n^{d−1})のスケーリングを得ること。

実験結果

リサーチクエスチョン

• RQ1 基準点（南極）が一様にランダムに選ばれる場合、2次元球面S²上におけるランダムな大円配置におけるk-レベルの期待計算量は何か？
• RQ2 S^d 上のランダムな大-(d−1)-円配置において、k-レベルの期待計算量はkと次元dの関数としてどのようにスケーリングするか？
• RQ3 一様にランダムな基準点選択のもとで、中央レベルの既知の最悪ケースΩ(n log n)下界は回避可能か？
• RQ4 ランダムな球面配置におけるk-レベルの期待計算量と、平面上のランダム点集合におけるk-セットの期待数との間にどのような関係があるか？
• RQ5 凸形状上に一様にランダムに配置された点集合やランダムな順序型におけるk-セットの平均ケース計算量は、球面モデルの予測と一致するか？

主な発見

• S² 上のランダムな大円配置におけるk-レベルの期待計算量はO((k+1)²)であり、最悪ケースのO(n(k+1)^{1/3})の境界を改善している。
• S^d 上の大-(d−1)-円の配置において、k-レベルの期待計算量はΘ((k+1)^{d−1})である。これは次元とkに明確な依存関係を示している。
• 一様にランダムに選ばれた基準点からの距離がちょうどkであるランダムな頂点の確率は、nが十分に大きいときΘ((k+1)^{d−1}/n^{d−1})である。
• この解析により、ランダムな球面配置は最悪ケースの非線形中央レベル計算量を回避することが確認され、一様にランダムな基準点選択のもとでΩ(n log n)の下界が安定でないことが示唆された。
• 平面の双対性を用いることで、この結果はランダム点集合におけるk-セットやランダム線分配置におけるk-レベルの平均ケース計算量へ拡張され、平均ケースのk-レベル計算量が最悪ケースよりも著しく小さいことが示唆された。
• 本研究は、ランダムな球面モデルにおける凸包（0-レベル）の期待サイズが定数またはゆっくりと増加する可能性があることを示唆しており、これはディスク上の一様点集合におけるO(n^{1/3})の増加とは対照的である。