[論文レビュー] Covering Large Balls with Convex Sets in Spherical Space

Károly Bezdek, Rolf Schneider|arXiv (Cornell University)|Oct 19, 2011

Point processes and geometric inequalities参考文献 7被引用数 8

ひとこと要約

この論文は、$\mathbb{S}^n$ 内の大きな球面球 $B$ を覆う球面的凸体の内接球半径の和について鋭い下界を確立し、その和が覆われた球の半径に等しいことを示している。主な結果は、プラANK問題を球面幾何に拡張したものであり、等号が成立するのは、共通のへりを共有する重なりのない月牙型（lunes）である場合に限ることを証明している。

ABSTRACT

If the n-dimensional unit sphere is covered by finitely many spherically convex bodies, then the sum of the inradii of these bodies is at least π. This bound is sharp, and the equality case is characterized.

研究の動機と目的

• プラANKの定理を球面空間に拡張し、球面幾何におけるプラANK問題の類似を確立すること。
• 球面球 $B$ の半径 $r(B) \geq \pi/2$ を覆う有限個の球面的凸体の内接球半径の総和の最小値を特定すること。
• 内接球半径の和に関する不等式の等号成立条件を同定し、月牙型が唯一の極値的構成であることを特定すること。
• 固定された内接球半径のもとで、球面的凸体の球面体積が月牙型であるときに最大値をとることを証明すること。
• 球面的凸体への平均幅の概念を一般化し、双対性を用いて体積の下界を導出すること。

提案手法

• 球面的凸体を $\mathbb{R}^{n+1}$ 内の閉凸錐と $\mathbb{S}^n$ の交差として定義し、全空間を除く。
• 内接球半径 $r(K)$ を $K$ に含まれる最大の球面球の半径として定義する。
• 球面ルベーグ測度 $\sigma$ を用い、不等式 $\sigma(K) \leq \frac{\sigma_n}{\pi} r(K)$ を用いて $\sigma(K)$ と $r(K)$ を関連づける。等号成立は $K$ が月牙型である場合に限る。
• 極体 $K^*$ を用いた双対性を適用し、単位ベクトルのうちその直交超平面が $K$ と交わるものの測度の半分として球面平均幅 $U(K)$ を定義する。
• 球面コーン上での球面積分に対する一般化されたリンハルト型不等式を証明し、フビニの定理と関数 $g(\varphi) = F(R\cos\varphi)$ の単調性を用いる。
• 積分不等式における等号成立条件を用いて、$K^*$ の最小平均幅が $K^*$ が線分である場合にのみ成立することを示し、これは $K$ が月牙型であることを意味する。

実験結果

リサーチクエスチョン

• RQ1 球面球 $B$ の半径 $r(B) \geq \pi/2$ を覆う球面的凸体の内接球半径の和の最小値は何か？
• RQ2 球面被覆における内接球半径の和に関する不等式の等号成立条件は何か？
• RQ3 球面的凸体の球面体積はその内接球半径とどのように関係するか？ また、体積が最大になるのはいつか？
• RQ4 プラANK問題の原理は球面幾何に拡張可能か？ もしそうなら、どのような条件下で成立するか？
• RQ5 双対性と平均幅は、極値的球面的凸体を特徴付けるために果たす役割は何か？

主な発見

• 球面球 $B$ の半径 $r(B) \geq \pi/2$ を覆う球面的凸体 $K_i$ の内接球半径の和は、$\sum_{i=1}^m r(K_i) \geq r(B)$ を満たし、等号成立は $K_i$ が互いに内部で重ならない月牙型で、共通のへりを共有する場合に限る。
• 特に $r(B) = \pi/2$ の場合、より強い不等式 $\sum_{i=1}^m r(K_i \cap B) \geq r(B)$ が成り立ち、等号成立は同じ月牙型構成のときである。
• 球面的凸体 $K$ の球面体積 $\sigma(K)$ は、$\sigma(K) \leq \frac{\sigma_n}{\pi} r(K)$ を満たし、等号成立は $K$ が月牙型である場合に限る。
• 月牙型の内接球半径は、その二つの定義超平面の内角の半分であり、内接球半径が $r$ のとき、球面体積は正確に $\frac{\sigma_n}{\pi} r$ に等しい。
• 極体 $K^*$ の最小球面平均幅 $U(K^*)$ は、$K^*$ が線分である場合にのみ達成され、これは $K$ が月牙型であることを意味する。
• 証明は、球面コーン上での精密な積分不等式に依拠しており、等号成立は頂点の球面像が完全に半球を埋め尽くす場合に限る。このことは、体が線分（したがって $K$ は月牙型）であることを示唆する。