[論文レビュー] Hadwiger and Helly-type theorems for disjoint unit spheres

Otfried Cheong, Xavier Goaoc+2 more|ArXiv.org|Feb 7, 2007

Mathematics and Applications参考文献 10被引用数 5

ひとこと要約

本稿では、ℝᵈ における互いに交わらない単位球の線型横断に関するヘリーライクな定理を、『対ごとに膨張可能な族』という概念を導入することで確立する。もし固定された順序において、任意のサイズ 2d の部分族が順序を尊重する横断線をもつならば、全体の族に対しても同様の横断線が存在することを証明する。さらに、n ≥ 4d−1 個の互いに交わらない単位球に対して、任意のサイズ 4d−1 の部分族が横断線をもてば、全体の族に対しても横断線が存在することを示し、長年のダンツァーの予想（単位球のヘリーナンバーに関して）を解決する。

ABSTRACT

We prove Helly-type theorems for line transversals to disjoint unit balls in $\R^{d}$. In particular, we show that a family of $n \geq 2d$ disjoint unit balls in $\R^d$ has a line transversal if, for some ordering $\prec$ of the balls, any subfamily of 2d balls admits a line transversal consistent with $\prec$. We also prove that a family of $n \geq 4d-1$ disjoint unit balls in $\R^d$ admits a line transversal if any subfamily of size $4d-1$ admits a transversal.

研究の動機と目的

• ℝᵈ における互いに交わらない単位球の線型横断に関するヘリーライクな定理の存在を、ダンツァーの予想を解決することを目的とする。
• 特定次元（例：d=3）に限った線型横断に関する先行結果を、任意の次元へ一般化することを目的とする。
• 互いに交わらない単位球を一般化する「対ごとに膨張可能な族」としての球の族を導入し、アフィン部分空間による断面においても重要な位相的・幾何的性質を保つ性質を分析することを目的とする。
• 部分族のサイズに関するヘリーライクおよびハドウィガー型定理のタイトな境界を、線型横断に関して確立することにより、従来の結果を改善することを目的とする。

提案手法

• 球の『対ごとに膨張可能な族』という概念を導入し、条件 γ² > 2(r₁² + r₂²) を満たすことで、任意の二つの球が超平面で分離可能であり、高次元への埋め込みに適していることを保証する。
• 位相的ヘリーテオレムを用い、対ごとに膨張可能な球の族に対する順序を尊重する線型横断線の集合が収縮可能であることを示し、これによりヘリーライクな議論を適用可能にする。
• ピンニング数の概念を適用し、球の族が 2d−1 個の球によってピンニングされている場合、すべてのサイズ 2d−1 の部分族に横断線が存在するならば、全体に対しても横断線が存在することを示す。
• 対ごとに膨張可能な族がアフィン部分空間との交わりに関して閉じていることを利用し、帰納的および次元の一般化を可能にする。
• 有界ピンニング数の議論を用い、族が横断線を失うにつれて、順序を尊重する横断線の集合が一つの直線に収縮することを示し、連結性を保証することで帰納的証明を可能にする。
• 方向のコーンや横断線集合の凸性といった幾何学的・位相的道具を用い、対ごとに膨張可能な族に対して、順序を尊重する横断線の集合が連結であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ℝᵈ における互いに交わらない単位球の線型横断に対して、ヘリーライクな定理が成立するか。具体的には、任意のサイズ 4d−1 の部分族が横断線をもてば、全体の族に対しても横断線が存在するか。
• RQ2 線型横断のためのヘリーナンバーは、d に依存せずに有界に抑えられるか。また、d とともに厳密に増加するか。
• RQ3 ℝᵈ における互いに交わらない単位球のピンニング数は 2d−1 に等しいか。また、この境界値がヘリーナンバーの下界として機能するか。
• RQ4 どのような凸体のクラスに対して、順序を尊重する線型横断線の集合が連結または収縮可能となり、ヘリーライクな定理の適用が可能になるか。
• RQ5 対ごとに膨張可能な族に関する結果を、一般の凸体や非合同な球へ拡張可能か。

主な発見

• ℝᵈ における n ≥ 2d 個の互いに交わらない単位球の族は、固定された順序において任意のサイズ 2d の部分族が順序を尊重する横断線をもてば、全体に対しても線型横断線が存在する。これは、境界値 2d をもつハドウィガー型定理の証明である。
• ℝᵈ における n ≥ 4d−1 個の互いに交わらない単位球の族は、任意のサイズ 4d−1 の部分族が横断線をもてば、全体に対しても線型横断線が存在する。これは、境界値 4d−1 をもつヘリーライクな定理の確立である。
• ℝᵈ における互いに交わらない単位球の線型横断に対するヘリーナンバーは 4d−1 以下であり、この境界値はタイトである。これにより、このクラスにおけるダンツァーの予想が解決された。
• 対ごとに膨張可能な族のクラスは、アフィン部分空間との交わりに関して閉じており、3次元から ℝᵈ への結果の次元一般化を可能にする。
• 対ごとに膨張可能な族に対する順序を尊重する線型横断線の集合は連結かつ収縮可能であり、これは位相的ヘリーテオレムの適用に不可欠である。
• ℝᵈ における互いに交わらない単位球のピンニング数は 2d−1 以下であり、これはタイトである。これは、ℝ³ における円筒を用いた構成により、この境界値に達することが示された。