[論文レビュー] Quantitative Tverberg, Helly, & Carathéodory theorems

Jesús A. De Loera, R. N. La Haye+2 more|arXiv (Cornell University)|Mar 20, 2015

Computational Geometry and Mesh Generation参考文献 42被引用数 14

ひとこと要約

本稿は、体積、直径、格子点数などの測定可能または可算可能なパラメータを組み込むことで、凸幾何学における古典的定理—Carathéodory、Helly、Tverbergの定理—の新しい定量的バージョンを導入する。これらの定理の間の関係を確立し、定量的Carathéodory結果が定量的Helly結果を、それがさらに定量的Tverberg結果を導くという階層的含意構造を示す。また、小さな球や多数の格子点を含む凸包のサイズに対する明示的な上限を提示する。

ABSTRACT

This paper presents sixteen quantitative versions of the classic Tverberg, Helly, & Caratheodory theorems in combinatorial convexity. Our results include measurable or enumerable information in the hypothesis and the conclusion. Typical measurements include the volume, the diameter, or the number of points in a lattice.

研究の動機と目的

• 体積、直径、または格子点数などの定量的測定を用いて、凸幾何学における古典的定理を拡張すること。
• 定量的Carathéodory、Helly、Tverbergの定理を、階層的含意構造によって統一すること。
• 離散的および連続的定量的バージョンのこれらの定理を導入し、凸体近似および離散的凸性への応用を示すこと。
• 離散的集合における定量的Helly数および点の深さの概念を定義・利用すること。
• Helly数が存在する限りTverberg数が存在することを証明し、定理間の基礎的リンクを確立すること。

提案手法

• 複数の集合から選ばれた点の凸包に小さな球が含まれるように保証するため、色分けされた定量的Steinitz型定理の使用。
• 凸体近似理論の応用により連続的定量的結果を導出し、多面体近似と体積・直径の上限を結びつける。
• 点の深さを、その点が凸包に含まれる強度の尺度として、有限集合に関する点の深さを定義する。
• すべての十分に大きな凸集合の共通部分に少なくとも $ k $ 個の格子点が存在することを保証する定量的Helly数 $\mathds{H}_S(k)$ の定義。
• 帰納法と半空間深さの議論を用いて、$ m $ 個の部分に分割された集合の凸包が共通の $ k $ 個の点を含む $ m $-Tverberg 分割を構成する。
• $ \mathbb{Z}^d $ 上の離 discrete 凸性および一般の凸性空間を用いて、ユークリッド凸集合を超えた結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 体積や直径などの連続的測定を用いて、Carathéodory、Helly、Tverbergの定理の定量的バージョンを定式化できるか？
• RQ2 小球や多数の格子点を含む凸包を保証するために、必要な最小の点数は何か？
• RQ3 離散的状況における定量的Helly数は、Tverberg分割の存在とどのように関係するか？
• RQ4 CarathéodoryからHellyへ、HellyからTverbergへという含意鎖が、定量的設定で形式化可能か？
• RQ5 複数の集合から有界な数の点を選んだとき、その凸包に保証できる球の半径のtightな上限は何か？

主な発見

• 連続的定量的Carathéodory定理が確立され、半径 $ r(d) \geq d^{-2d-2} $ が得られる。$ 2d $ 個の集合 $ X_i $ がすべて $ B_1(0) \subset \operatorname{conv}(X_i) $ を満たすならば、$ x_i \in X_i $ が存在して $ B_{r(d)}(0) \subset \operatorname{conv}\{x_1,\dots,x_{2d}\} $ が成り立つ。
• 離散的定量的Helly数 $ \mathds{H}_S(k) $ が定義され、$ S \subset \mathbb{R}^d $ に属する凸集合の $ \mathds{H}_S(k) $ 個の組がすべて、サイズが少なくとも $ k $ の共通部分を持つならば、全体の族に対しても同様の共通部分が存在する。
• 集合 $ A \subset S $ が $ \mathds{H}_S(k)(m-1)kd + k $ 個以上の点を持つとき、$ m $-Tverberg 分割が存在し、各部分の凸包が $ S $ に属する共通の $ k $ 個の点を含む。
• 点 $ p $ の集合 $ A $ に対する深さは、$ p $ を含む任意の閉半空間に含まれる点の最小数として定義され、深さが $ (m-1)kd + 1 $ 以上であれば、$ p $ をすべての凸包に含む $ m $ 個の互いに素な部分集合が存在する。
• 本稿では、Helly数が存在する限りTverberg数が存在することを証明し、構造的階層を示す：定量的Carathéodory $\Rightarrow$ 定量的Helly $\Rightarrow$ 定量的Tverberg。
• 既知の極値的構成に基づき、$ r(d) $ および必要な点数の上限が、$ d $ に関して多項式因子の意味で最適であることが示され、結果はtightである。