[論文レビュー] Small Strong Epsilon Nets

Pradeesha Ashok, Azmi, Umair+1 more|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Aug 14, 2012

Optics and Image Analysis被引用数 6

ひとこと要約

本稿では、軸に平行な長方形、半空間、および $\mathbb{R}^d$ 内の円板などの幾何的族に対して、小規模な強い $\epsilon$-ネットの構築と解析を紹介する。軸に平行なボックスに対して強い中心点の存在を確立し、$\epsilon_i^\mathcal{S}$ すなわち、$P$ の $i$ 個の部分集合が $\mathcal{S}$ に関して $\epsilon$-ネットを形成する最小の $\epsilon$ の値について、タイトな上界および下界を示している。具体的には、$i \geq 4$ のとき $\epsilon_i^\mathcal{R} \geq 1/i$ であり、$i \geq 2$ のとき $\epsilon_i^\mathcal{D} \geq 1/i$ である。主な貢献は、自然な幾何的族に対して、正確な境界を伴う小規模な強い $\epsilon$-ネットの体系的かつ包括的な研究である。

ABSTRACT

Let P be a set of n points in $\mathbb{R}^d$. A point x is said to be a centerpoint of P if x is contained in every convex object that contains more than $dn\over d+1$ points of P. We call a point x a strong centerpoint for a family of objects $\mathcal{C}$ if $x \in P$ is contained in every object $C \in \mathcal{C}$ that contains more than a constant fraction of points of P. A strong centerpoint does not exist even for halfspaces in $\mathbb{R}^2$. We prove that a strong centerpoint exists for axis-parallel boxes in $\mathbb{R}^d$ and give exact bounds. We then extend this to small strong $ε$-nets in the plane and prove upper and lower bounds for $ε_i^\mathcal{S}$ where $\mathcal{S}$ is the family of axis-parallel rectangles, halfspaces and disks. Here $ε_i^\mathcal{S}$ represents the smallest real number in $[0,1]$ such that there exists an $ε_i^\mathcal{S}$-net of size i with respect to $\mathcal{S}$.

研究の動機と目的

• 軸に平行な長方形、半空間、円板などの幾何的族に対して、点集合 $P$ の部分集合である強 $\epsilon$-ネットの存在と境界を調査すること。
• 家族 $\mathcal{S}$ の幾何的対象に対して、$i$ 個の点からなる $P$ の部分集合が強 $\epsilon$-ネットを形成する最小の $\epsilon$ 値 $\epsilon_i^\mathcal{S}$ を特定すること。
• 中心点の概念を拡張し、中心点が $P$ の点であることを要求することで、強い中心点という概念を導入すること。
• 特に $i \leq 3$ の小規模な $i$ に対して $\epsilon_i^\mathcal{S}$ のタイトな上界および下界を提供し、より大きな $i$ の漸近的挙動を調査すること。
• 幾何的および組合せ論的議論を用いて、小規模な $i$ に対する $\epsilon_i^\mathcal{S}$ の正確な値を解明する新しい境界を証明することで、未解決の問題を解決すること。

提案手法

• 任意の $n$ 点集合に対して、$\frac{2d-1}{2d}n$ 個を超える点を含むすべての軸に平行なボックスに $P$ の点が含まれることを示すことにより、$\mathbb{R}^d$ 内の軸に平行なボックスに対して強い中心点が存在することを証明する。
• 対称的な点配置と平面の分割を用いた幾何的構成により、特に円板と長方形に対して $\epsilon_i^\mathcal{S}$ の下界を導出する。
• $i=2$ および $i=3$ に対する既知の境界を用いて帰納法を適用し、$i \geq 2$ のとき $\epsilon_i^\mathcal{D} \geq \frac{1}{i}$ を証明する。ここで $\epsilon_2^\mathcal{D} \geq \frac{1}{2}$ であることに着目する。
• 円周上に $k$ 個の連続する点をカバーする $i$ 個の重複しない軸に平行な長方形を構成し、$i$ 個の点が高々 $ik$ 個の長方形をカバーできることを示すことにより、$i \geq 4$ のとき $\epsilon_i^\mathcal{R} \geq \frac{1}{i}$ を証明する。
• 双対性および幾何的被覆の議論を用いて、任意の $i$ 点集合 $Q$ に対して、$Q$ を避けるが $\frac{n}{i}$ 個の点を含む円または長方形が存在することを示し、$\epsilon_i^\mathcal{S} \geq \frac{1}{i}$ を示す。
• 弱 $\epsilon$-ネットとVC次元に関する既知の結果を活用し、低次元幾何的族において強いネットの必要性を文脈づけて説明する。

実験結果

リサーチクエスチョン

• RQ1 軸に平行なボックスに対して、入力集合 $P$ の点である必要がある強い中心点は、$\mathbb{R}^d$ 内に存在するか？
• RQ2 長方形、半空間、または円板であるような $\mathcal{S}$ に対して、$P$ の $i$ 点部分集合が、$\epsilon n$ 個を超える点を含むすべての $\mathcal{S}$ の対象と交差する最小の $\epsilon$ は何か？
• RQ3 特に $i=1,2,3$ の小規模な $i$ に対して、$\epsilon_i^\mathcal{S}$ のタイトな下界および上界を確立できるか？ また、既知の弱 $\epsilon$-ネットの境界と比較するとどうなるか？
• RQ4 $i \geq 4$ のとき $\epsilon_i^\mathcal{R} \geq \frac{1}{i}$ であるか？ また、円周上に $k$ 点のグループをカバーする重複しない長方形の構成によってこの境界が達成可能か？
• RQ5 円板の場合、$i \geq 2$ のとき $\epsilon_i^\mathcal{S}$ の正確な値は何か？ また、$\epsilon_i^\mathcal{D} \geq \frac{1}{i}$ の境界が等号で成り立つか？

主な発見

• 軸に平行なボックスに対して、$\mathbb{R}^d$ 内に強い中心点が存在する。すべての点を $\frac{2d-1}{2d}n$ 個を超える点を含むボックスは、$P$ の点を含み、この境界はタイトである。
• 平面 $\mathbb{R}^2$ 内の軸に平行な長方形に対して、$\epsilon_1^\mathcal{R} = \frac{3}{4}$ であり、$\frac{3}{4}n$ 個を超える点を含むすべての長方形は、$n$ 個の点のうちの1つを含む必要がある。
• 平面 $\mathbb{R}^2$ 内の半空間に対して、$\epsilon_1^\mathcal{H} = 1$ であり、$P$ の点がすべての $n$ 個を超える点を含む半空間に含まれるとは限らないため、強い中心点は存在しない。
• 平面 $\mathbb{R}^2$ 内の円板に対して、$\epsilon_1^\mathcal{D} = \frac{3}{4}$ であり、$\frac{3}{4}n$ 個を超える点を含むすべての円板は、$n$ 個の点のうちの1つを含む必要がある。
• $i=2$ のとき、$\epsilon_2^\mathcal{R} \geq \frac{5}{9}$ および $\epsilon_2^\mathcal{H} \geq \frac{3}{5}$ であり、上界はそれぞれ $\frac{5}{8}$ および $\frac{2}{3}$ である。これは2点で、$\frac{5}{9}n$ や $\frac{3}{5}n$ 個を超える点を含むすべての長方形や半空間をカバーできることを示している。
• $i=3$ のとき、$\epsilon_3^\mathcal{R} \geq \frac{2}{5}$ および $\epsilon_3^\mathcal{H} \geq \frac{1}{2}$ であり、上界はそれぞれ $\frac{9}{16}$ および $\frac{1}{2}$ である。これは3点で、$\epsilon \geq \frac{2}{5}$ の強 $\epsilon$-ネットを長方形に対して構築できることを示している。