[論文レビュー] Radon partitions in convexity spaces

Boris Bukh|arXiv (Cornell University)|Sep 13, 2010

Computational Geometry and Mesh Generation参考文献 10被引用数 8

ひとこと要約

本稿は抽象凸性空間におけるラドン分割を調査し、エッホフの予想（ラドンの定理からツヴェルベルクの定理を組合せ論的に導くもの）が誤りであることを示しながらも、$ k $-番目のラドン数に対する多項式的境界が依然として成り立つことを示している。具体的には、任意の有限 $ r_2 $ を持つ凸性空間に対して、$ k $-番目のラドン数が $ r_k \leq c(r_2)k^2\log^2k $ を満たすことを証明しており、これはユークリッド空間を超えた組合せ凸幾何におけるツヴェルベルク型結果の顕著な定量的拡張を確立する。

ABSTRACT

Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O(k^2 log^2 k) points admits a Tverberg partition into k parts.

研究の動機と目的

• 抽象凸性空間において、エッホフの予想を通じてラドンの定理からツヴェルベルクの定理を純粋に組合せ論的に導けるかどうかを同定すること。
• エッホフの予想が成立しない場合を含め、有限 $ r_2 $ を持つ凸性空間における $ k $-番目のラドン数 $ r_k $ の定量的挙動を調査すること。
• ユークリッド空間を超えてツヴェルベルクの定理を一般化する非自明な $ r_k $ の上界を確立すること。
• 離散幾何学および計算幾何学への応用を動機として、有界な $ r_2 $ を持つ凸性空間における弱 $ \varepsilon $-ネットの存在を探索すること。

提案手法

• 点集合のナーブ複体を用いて、凸包の交差構造の組合せ論的性質を符号化する。
• 特に $ r $-良い族と $ (2r-3) $-一様超グラフ内のクリークを用いた、超グラフ上の極値組合せ論を適用し、互いに素な集合を抽出する。
• 点 $ p $ に関連する族 $ \mathcal{F}_p $ における帰納法と再帰的構成を用い、軸 (J1)–(J3) を満たす（$ r_2 = 3 $ の場合を反映）。
• 超グラフにおけるピーコンの原理と密度的議論を用い、十分に大きな集合がナーブ内に $ k $-個の互いに素な集合の $ k $-組を含むことを示す。
• ジャミソンおよびエッホフの不等式といった既知の $ r_k $ の境界を適用し、最終的な多項式的境界を導出する。
• 部分集合 $ I \subset [k] $ をインデックスとする族 $ \mathcal{F}_I $ の再帰的構成を用い、ナーブの性質 (N5) を活用して帰納ステップを閉じる。

実験結果

リサーチクエスチョン

• RQ1 抽象凸性空間において、純粋に組合せ論的議論によってラドンの定理からツヴェルベルクの定理を導けるか？
• RQ2 有限 $ r_2 $ を持つ凸性空間における $ k $-番目のラドン数 $ r_k $ の最良の上界は何か？
• RQ3 有界な $ r_2 $ を持つ凸性空間において、すべての $ \varepsilon > 0 $ に対してサイズ $ f(\varepsilon, r_2) $ の弱 $ \varepsilon $-ネットが存在するか？
• RQ4 点集合のナーブ複体の構造は、ツヴェルベルク分割の存在とどのように関係するか？
• RQ5 エッホフの予想が成立しない場合でも、$ r_k $ に対して $ k $ と $ r_2 $ の多項式的境界が存在するか？

主な発見

• エッホフの予想は誤りである：各 $ k \geq 3 $ に対して、$ r_2 = 4 $ だが $ r_k \geq 3(k-1) + 2 $ を満たす凸性空間が存在し、予想された境界 $ (k-1)(r_2 - 1) + 1 $ を破る。
• ある定数 $ c(r_2) $ が存在し、$ r_2 $ のみに依存して、$ r_k \leq c(r_2)k^2\log^2k $ が成り立つ。これは $ k $ における多項式的上界を提供する。
• $ r_2 = 3 $ を持つ凸性空間に対しては、$ r_k \leq 2(k-1) + 1 $ が成り立ち、これはユークリッド空間における既知のタイトな境界と一致する。
• 証明技法は、ナーブから導かれる $ (2r-3) $-一様超グラフ内にサイズ $ 2k $ のクリークを構成し、$ r $-良い性質を用いて $ k $ 個の互いに素な集合を抽出することに依拠している。
• 弱 $ \varepsilon $-ネットの存在は、$ \varepsilon > 1 - 1/(r_2 - 1) $ の場合に保証されるが、より小さい $ \varepsilon $ の場合の存在は未解決のままである。
• 本稿は、中心点定理とヘリの定理が有限 $ r_2 $ を持つ凸性空間においても有効であることを確立し、古典的結果をユークリッド幾何学を超えて拡張した。