[論文レビュー] The geometry of homothetic covering and illumination

Károly Bezdek, M. Ali Khan|arXiv (Cornell University)|Feb 19, 2016

Point processes and geometric inequalities被引用数 13

ひとこと要約

この論文は、同位相似な被覆と照射の幾何学を概説し、長年の未解決問題である照射予想とその同値な被覆予想に焦点を当てる。被覆予想は、任意のd次元の凸体が2^d個のより小さい正の同位相似コピーで被覆可能であると述べている。著者らは、凸体の有限ε-ネットを用いて被覆条件を計算的に検証する、画期的なコンピュータ支援手法—Zongのプログラム—を提示し、高次元における予想の解決への可能性を示唆している。

ABSTRACT

At a first glance, the problem of illuminating the boundary of a convex body by external light sources and the problem of covering a convex body by its smaller positive homothetic copies appear to be quite different. They are in fact two sides of the same coin and give rise to one of the important longstanding open problems in discrete geometry, namely, the Illumination Conjecture. In this paper, we survey the activity in the areas of discrete geometry, computational geometry and geometric analysis motivated by this conjecture. Special care is taken to include the recent advances that are not covered by the existing surveys. We also include some of our recent results related to these problems and describe two new approaches -- one conventional and the other computer-assisted -- to make progress on the illumination problem. Some open problems and conjectures are also presented.

研究の動機と目的

• 照射予想およびその同値な被覆予想に関連する離散幾何学分野における最近の進展を調査すること。
• Zongのプログラムとして知られる、凸体の有限ε-ネットを用いて被覆予想を検証する新しいコンピュータ支援手法を提示すること。
• 高次元の凸体に対して、小規模で効果的なε-ネットを構築する際の計算的課題に取り組むこと。
• γm(K)パラメータを用いて被覆数をバインドし、予想の妥当性を有限個の代表的凸体上で検証する方法を検討すること。
• 未解決問題を特定し、高次元における予想の解決に向けた新しい計算的および幾何学的戦略を提案すること。

提案手法

• 原点から境界点への径路線と球帽被覆を用いて、d次元凸体空間（K^d）のε-ネットを構築する。
• ジョンの楕円体定理を用いて、任意の凸体Kを単位球とd倍の単位球の間で正規化し、均一なサンプリングを可能にする。
• Kと交差する径路線上の点の凸包として凸多面体Pを生成し、元の体とのバナッハ＝マザール距離がε未塔になるように保証する。
• m個のより小さいKの同位相似コピーの被覆効率を測るγm(K)パラメータを適用し、γ_{2^d}(K) < 1 であれば被覆予想がKに対して成立することを示す。
• 4段階の計算プログラムを実装する：(1) 標本体に対してγ_{2^d}をテストする、(2) εを決定する、(3) 小さな基数を持つε-ネットを構築する、(4) ネット全体でγ_{2^d} ≤ c_d < 1 であることを検証する。
• ウーが提案した代替γmパラメータを検討し、検証プロセスの計算的実行可能性と頑健性を向上させることを試みる。

実験結果

リサーチクエスチョン

• RQ1 任意のd次元凸体が2^d個のより小さい正の同位相似コピーで被覆可能であるという被覆予想は、d ≥ 3 に対して計算的に検証可能か？
• RQ2 任意の凸体に対してバナッハ＝マザール距離がε未塔になるように保証する、d次元凸体空間におけるε-ネットの最小サイズは何か？
• RQ3 γm(K)パラメータは、代表的凸体の有限集合上で被覆数を効率的にバインドし、予想の妥当性を検証するためにどのように利用可能か？
• RQ4 Zongのε-ネット構築法にどのような改善が必要か、計算複雑性を低減しつつ正確性を維持できるか？
• RQ5 ウーが提案した代替γmパラメータは、コンピュータ支援検証プロセスの頑健性と効率性を向上させられるか？

主な発見

• 被覆予想は平面（d=2）では成立することが知られているが、d ≥ 3 については未解決のままである。
• Zongのプログラムは、凸体の有限ε-ネットを用いた被覆予想の形式的検証フレームワークを提供する。
• Zongのε-ネットの基数は、d、ε、指数関数的項を含む式で上限が与えられ、計算コストの高さを示唆している：|ξ| ≤ ⌊7d / ln ε⌋^{c 14^d d^{2d+3} (ln ε)^{-d}}。
• 被覆予想が凸体Kに対して成立するための必要十分条件は、γ_{2^d}(K) < 1 であることであり、被覆問題とγmパラメータを結びつける。
• 任意のd次元凸多面体P（m個の頂点を持つ）に対して、γ_m(P) ≤ (d−1)/d が成り立つ。これは多面体に対する有用な上界を提供する。
• 提案されたコンピュータ支援手法は有望ではあるが、ε-ネットの指数的サイズと、γ_{2^d}(K)のための良い候補定数c_dの特定の難しさにより、課題に直面している。