[論文レビュー] Quantitative $(p,q)$ theorems in combinatorial geometry

David Rolnick, Pablo Soberón|arXiv (Cornell University)|Apr 7, 2015

Computational Geometry and Mesh Generation参考文献 27被引用数 9

ひとこと要約

本稿は、体積、表面積、離散的点数など、凸集合のサイズを測る関数を用いて、組合せ幾何学における定量的 $(p,q)$ 定理を確立する。もし族に属する任意の $p$ 個の集合が、関数値が大きい $q$ 個の部分集合を共有するならば、全体の族は有界な横断集合または大きな共通部分集合を持つことが示され、その明示的な境界は関数と次元に依存する。

ABSTRACT

We show quantitative versions of classic results in discrete geometry, where the size of a convex set is determined by some non-negative function. We give versions of this kind for the selection theorem of Bárány, the existence of weak epsilon-nets for convex sets and the $(p,q)$ theorem of Alon and Kleitman. These methods can be applied to functions such as the volume, surface area or number of points of a discrete set. We also give general quantitative versions of the colorful Helly theorem for continuous functions.

研究の動機と目的

• 凸集合のサイズを連続的または離散的な関数で測る定量的設定への古典的 $(p,q)$ 定理の拡張。
• 関数に基づく交差条件の下で、横断点または共通部分集合のサイズに対する有効な境界を求める課題に対処する。
• 体積、格子点、表面積に関する既存の定量的 Helly 型定理を統一的かつ一般化したフレームワークへの統合。
• 連続的および離散的測度に適用可能な、関数が定量的 $(p,q)$ 定理を支持するための一般基準の確立。
• 連続関数に対する定量的 Helly 定理のカラフル版を、誤差パラメータ $\varepsilon$ に明示的な依存関係を含めて確立する。

提案手法

• 関数 $f: \mathcal{C}_d \to \mathbb{R}^+ \cup \{\infty\}$ の一般クラスを定義し、Helly 定理と浮遊体構成を許容する。
• 関数 $f$ に対して浮遊体 $K(f, \varepsilon)$ の概念を導入し、$f$ が少なくとも $1 - \varepsilon$ 以上である最大の部分集合を捉える。
• 浮遊体構成を用いて、問題を有限部分族の条件に還元し、Helly 数 $H(f,d,\varepsilon)$ を利用する。
• 色分けと極値的半空間の議論を適用し、カラフル Helly 定理を証明する：もし任意のカラフルな $h$-組が $f$-サイズを 1 以上持てば、ある色クラスは $f$-サイズが $1 - \delta(\varepsilon)$ 以上である。
• 関数 $f(K) = \text{vol}(K)$ が必要な条件を満たすことを証明し、色クラス数の境界 $\Theta(\varepsilon^{-(d-1)/2})$ を得る。
• 整数格子を含む、有限 Helly 数を持つ離散集合 $S$ に対して、$f(K) = |K \cap S|$ のような離散関数に対しても、この手法を適応する。

実験結果

リサーチクエスチョン

• RQ1 関数 $f$ がどのような条件下で、$\mathbb{R}^d$ 内の凸集合に対して定量的 $(p,q)$ 定理を満たすか？
• RQ2 古典的 $(p,q)$ 定理は、交差サイズが体積または点数で測られる場合に、大きな共通部分集合または横断集合を保証するように強化可能か？
• RQ3 体積のような連続関数に対して、カラフル Helly 定理を証明可能か？その色クラス数は単色 Helly 数と一致するか？
• RQ4 体積的カラフル Helly 定理において、必要な色クラス数が誤差パラメータ $\varepsilon$ にどのように依存するか？
• RQ5 分数的またはカラフル Helly 定理は、同じ関数に対して、それらの単色版と比較してより多くの族を必要とするか？

主な発見

• 本稿は、Helly 定理を許容し、浮遊体を持つ任意の関数 $f$ に対して、定量的 $(p,q)$ 定理が成り立つ一般枠組みを確立した。これには、体積、表面積、離散的点数が含まれる。
• 体積関数に対しては、カラフル Helly 定理における色クラス数は $\Theta(\varepsilon^{-(d-1)/2})$ であり、単色 Helly 数と一致する。
• 体積的カラフル Helly 定理は、ある色クラスが体積で少なくとも $1 - c\varepsilon^{2/(d+1)}$ 以上であることを保証する。ここで $c$ は次元 $d$ のみに依存する定数である。
• 離散的 $(p,q)$ 定理は、有限 Helly 数を持つ任意の離散集合 $S$ に対して成り立ち、任意の $c(k,d)$ 個の集合が $S$ の $k$ 個の点を持つならば、全体の族も $S$ の $k$ 個の点を持つ。
• この手法により、$\varepsilon$ と次元 $d$ に明示的な依存関係を持つ体積的 Helly 定理の新しい証明が得られた。
• 結果は、Doignon の定理や既存の定量的 Helly 定理を、より広い関数のクラスへ一般化し、離散的および連続的設定を統一した。