[論文レビュー] A generalization of Tverberg's Theorem

Micha A. Perles, Moriah Sigron|arXiv (Cornell University)|Oct 25, 2007

Matrix Theory and Algorithms参考文献 5被引用数 12

ひとこと要約

本稿は、Reayの予想である$T(d,r,k) = T(d,r)$が、$k \geq \lfloor (d+3)/2 \rfloor$のとき、$d < \frac{rk}{r-k} - 1$のとき、および特定の値$d=3,r=4,k=2$と$d=5,r=3,k=2$のときのいくつかのケースにおいて成り立つことを証明している。証明は、原点から発する$d+1$本の放射線に各々$r-1$個の点を配置し、それらをわずかに摺り合わせることで、$n = T(d,r)-1$のとき、任意の$r$分割において$k$個の部分が互いに交わらない凸包を持つことを示す幾何的構成に基づいている。主な貢献は、広いパrameter範囲において予想を確立したことであり、Tverberg型分割が、弱い交差条件のもとでも元来想定されたほどきつい制約を受ける可能性を支持している。

ABSTRACT

The well know theorem of Tverberg states that if n &gt; (d+1)(r-1) then one can partition any set of n points in R^d to r disjoint subsets whose convex hulls have a common point. The numbers T(d,r) = (d + 1)(r - 1) + 1 are known as Tverberg numbers. Reay asks the following question: if we add an additional parameter k (1 &lt; k &lt; r+1) what is the minimal number of points we need in order to guarantee that there exists an r partition of them such that any k of the r convex hulls intersect. This minimal number is denoted by T(d,r,k). Reay conjectured that T(d,r,k) = T(d,r) for all d,r and k. In this article we prove that this is true for the following cases: when k &gt; [ (d+3)/2 ]-1 or when d &lt; rk/(r-k)-1 and for the specific values d = 3; r = 4; k = 2 and d = 5; r = 3; k = 2.

研究の動機と目的

• Reayの予想が、すべての$2 \leq k \leq r$およびすべての$d,r$に対して$T(d,r,k) = T(d,r)$であるかどうかを調査すること。これは、$r$分割における$k$-重交差凸包に必要な最小点数が、古典的なTverberg数に等しいかどうかを意味する。
• 全$r$重交差の要件を$k$-重交差に弱めた場合に、Tverberg数$T(d,r)$が依然としてタイトであるかどうかを特定すること。
• 具体的な反例（$T(d,r)-1$個の点からなる集合）を構成し、$r$個の部分に分割しても$k$-重交差凸包が得られないことを示し、特定のケースで予想を証明すること。
• 原点から発する放射線と摺り合わせを用いた極値構成の幾何的構造を調査し、$k$-重Tverberg分割に必要な$T(d,r)$個の点の必要性を示すこと。

提案手法

• 原点から発する$d+1$本の放射線に各々$r-1$個の点を配置することで、$(d+1)(r-1)$個の点からなる集合$X$を構成し、空間を正に張る。
• アフィン依存性と凸幾何を用いて、$n = T(d,r)-1$のとき、$X$の任意の$r$分割において、$k$個の部分が互いに交わらない凸包を持つことを示し、$T(d,r,k) \geq T(d,r)$を導く。
• 特定の放射線上の点に、適切に選んだベクトル$\vec{u}, \vec{u}^\prime, \vec{u}^{\prime\prime}$を用いて摺り合わせを施し、色分けされたクラス（例：赤、青、黄）の凸包を制御的に分離する。
• 命題5.0.3を用いて、摺り合わせが悪い分割における凸包の非交差性を正式に保証し、構成の有効性を確保する。
• 放射線の順序と色分け（例：赤-青、黄-青）を分析し、凸包を分離する可能性のある有限個の超平面に分類することで、有限検証が可能であることを示す。
• Hellyの定理を用いて問題を簡略化する：$k \geq d+1$のとき、$k$-重交差は全$r$重交差を含むため、$T(d,r,k) = T(d,r)$は自明に成り立つ。

実験結果

リサーチクエスチョン

• RQ1 Reayの予想$T(d,r,k) = T(d,r)$は、すべての$2 \leq k \leq r$およびすべての$d,r$に対して成り立つか？
• RQ2 全$r$重交差の要件を$k$-重交差に弱めた場合でも、Tverberg数$T(d,r)$が保持されるのか？
• RQ3 どの範囲の$d$, $r$, $k$に対して、$T(d,r)-1$個の点からなる集合を構成し、$r$分割によっても$k$-重交差凸包が得られないようにできるか？
• RQ4 原点から発する$d+1$本の放射線に各々$r-1$個の点を配置し、摺り合わせを用いてすべての$k$-組で凸包が交差しないようにできる極値集合を構築できるか？
• RQ5 $k=2$および大きな$d$に対して、特に$T(d,3,2)$について、予想を証明できるか。また、$T(d,3,2) < 2d+3$は大きな$d$に対して成り立つか？

主な発見

• 予想$T(d,r,k) = T(d,r)$は、$k \geq \lfloor (d+3)/2 \rfloor$のとき成り立ち、この範囲でReayの予想が証明された。
• $d < \frac{rk}{r-k} - 1$のときも予想は成り立つ。これは$r=3,k=2$のとき$d<5$のケースをカバーし、他のパラメータの組み合わせへと拡張可能である。
• 特定のケース$d=3,r=4,k=2$では$T(3,4,2) = T(3,4) = 13$であり、非自明な三重組に対して予想が確認された。
• $d=5,r=3,k=2$のケースでも$T(5,3,2) = T(5,3) = 13$であり、さらに予想の妥当性が裏付けられた。
• $d+1$本の放射線に各々$r-1$個の点を配置し、その後に制御された摺り合わせを施すこの構成は、すべての証明済みケースで$T(d,r,k) = T(d,r)$を成功裏に示している。
• $k=2$のとき、問題はRadon型分割に帰着され、よりよく理解されている。$T(d,3,2) < 2d+3$が大きな$d$に対して成り立つ可能性があるが、これは未解決のままである。