[論文レビュー] Lower Bounds for Pinning Lines by Balls

Otfried Cheong, Xavier Goaoc+1 more|ArXiv.org|Jun 16, 2009

Computational Geometry and Mesh Generation参考文献 22被引用数 3

ひとこと要約

本稿は、ℝᵈ における互いに重ならない合同な球に対する直線横断のヘルリー数に対するタイトな下界を確立し、2d−1 が共通の横断線を持たないが、2d−2 個以下の部分族は常に横断線を持つような単位球の族を形成するために必要な最小球数であることを証明している。構成は、横断線がこの閾値未満では保証されないことを示すために、球の安定的ピン留め構成を用いる。これはダンツァー（1957年）が提起した長年の未解決問題を解決するものである。

ABSTRACT

A line L is a transversal to a family F of convex objects in R^d if it intersects every member of F. In this paper we show that for every integer d>2 there exists a family of 2d-1 pairwise disjoint unit balls in R^d with the property that every subfamily of size 2d-2 admits a transversal, yet any line misses at least one member of the family. This answers a question of Danzer from 1957.

研究の動機と目的

• 1957年にダンツァーが提起した、ℝᵈ における共通の横断線を持たない互いに重ならない単位球の最小数に関する長年の未解決問題を解決すること。
• 高次元における互いに重ならない合同な球に対する直線横断のヘルリー数に対して、一致する下界を確立すること。
• ℝᵈ における直線横断のための最小ピン留め構成（サイズ 2d−1）の存在を示し、極値の場合にそれが必要かつ十分であることを示すこと。
• 2d−1 個未満の互いに重ならない単位球による直線の安定的ピン留めが存在しないことを示し、2d−1 がこのような構成の最小サイズであることを示すこと。
• 先行研究における 4d−1 の上界のタイトさを明確にするために、下界に達する極値例を構成すること。

提案手法

• ℝᵈ に 2d−1 個の互いに重ならない合同な球の安定的ピン留め構成を構築し、一意にピン留めされた直線 ℓ が存在し、その直線が変形しても横断線のまま保たれないことを示す。
• 横断線の安定性を解析しピン留めを検出するために、横断線に直交する超平面への球の射影（スクリーン）の概念を用いる。
• 横断線の空間とグラスマンニアンを用いた位相的議論により、2d−1 個未満の球では安定的ピン留めが得られないことを示す。
• 固定された直線を通り、3次元アフィン部分空間の集合に対してコンパクトネスの議論を適用し、このような極値構成の存在を保証する。
• わずかな変形を施して球の互いに重ならないことと閉じていることを保ちつつ、ピン留め性質を維持する。
• スクリーンの族が厳密な横断線を持たないことは、対応する球の配置がピン留めであることに同値であるという事実を用いる。幾何的および位相的性質を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ℝᵈ における互いに重ならない合同な球の最小数は何か？ そのような球の族は共通の直線横断線を持たないが、2d−2 個以下の部分族は常に横断線を持つ。
• RQ2 ℝᵈ における互いに重ならない球によって、2d−1 個未満の球で直線を安定的にピン留めすることは可能か？
• RQ3 直線横断に対する互いに重ならない合同な球のヘルリー数の上界 4d−1 はタイトか？ その対応する下界は何か？
• RQ4 サイズ 2d−1 の最小ピン留め構成の存在は、ℝᵈ における互いに重ならない単位球に対する直線横断のヘルリー数が正確に 2d−1 であることを示唆するか？
• RQ5 球による直線のピン留め機構は、高次元におけるより一般の凸集合へ一般化可能か？

主な発見

• 任意の d ≥ 3 に対して、ℝᵈ に共通の直線横断線を持たない、2d−1 個の互いに重ならない単位球の族が存在する。
• この族の任意の 2d−2 個以下の部分族は直線横断線を持つため、2d−1 が互いに重ならない単位球に対する直線横断のヘルリー数の下界であることが証明される。
• ℝᵈ に、互いに重ならない合同な球からなるサイズ 2d−1 の最小ピン留め構成が存在し、その中で一意にピン留めされる直線が存在し、その真部分族ではピン留めされない。
• ℝᵈ において 2d−1 個未満の互いに重ならない球による直線のピン留めはすべて不安定であり、横断線を保ったまま変形可能である。
• この構成により、先行研究における 4d−1 の上界が因子 2 の範囲内でタイトであることが確認され、真のヘルリー数は 2d−1 から 4d−1 の間にある。
• 本結果により、d ≥ 3 の次元において、ダンツァーの1957年の問題、すなわちこのような極値構成の存在に関する問題が解決される。