[论文解读] 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

一句话总结

该论文建立了覆盖大球面球体的球面凸体的内接球半径之和的严格下界，表明该和至少等于被覆盖球体的半径。关键结果将平面的plank问题推广至球面几何，证明当且仅当覆盖集合为共享公共脊线的非重叠圆弧时等号成立。

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.

研究动机与目标

• 建立plank问题的球面类比，将Bang定理推广至球面空间。
• 确定有限个球面凸体覆盖半径 $r(B) \geq \pi/2$ 的球面球体时所需的最小总内接球半径。
• 刻画内接球半径之和不等式中的等号成立情形，识别出圆弧为唯一极值配置。
• 证明在固定内接球半径下，球面凸体的球面体积在且仅在该体为圆弧时达到最大。
• 将平均宽度的概念推广至球面凸体，并利用对偶性推导体积界。

提出的方法

• 将球面凸体定义为 $\mathbb{S}^n$ 与 $\mathbb{R}^{n+1}$ 中闭凸锥的交集，排除全空间。
• 将内接球半径 $r(K)$ 定义为包含于 $K$ 的最大球面球体的半径。
• 使用球面Lebesgue测度 $\sigma$，并通过不等式 $\sigma(K) \leq \frac{\sigma_n}{\pi} r(K)$ 将 $\sigma(K)$ 与内接球半径关联，等号成立当且仅当 $K$ 为圆弧。
• 通过极体 $K^*$ 应用对偶性，并将球面平均宽度 $U(K)$ 定义为满足其正交超平面与 $K$ 相交的单位向量测度的一半。
• 证明关于球面帽上球面积分的广义Linhart型不等式，利用Fubini定理及函数 $g(\varphi) = F(R\cos\varphi)$ 的单调性。
• 利用积分不等式中的等号条件，证明 $K^*$ 的最小平均宽度出现在 $K^*$ 为线段时，从而推出 $K$ 为圆弧。

实验结果

研究问题

• RQ1 覆盖半径 $r(B) \geq \pi/2$ 的球面球体所需的球面凸体的内接球半径之和的最小值是多少？
• RQ2 球面覆盖中内接球半径之和不等式的等号在何时成立？
• RQ3 球面凸体的球面体积与其内接球半径有何关系？在何种情况下该体积达到最大？
• RQ4 plank问题的原理能否推广至球面几何？若能，其条件为何？
• RQ5 对偶性与平均宽度在刻画极值球面凸体中起何作用？

主要发现

• 覆盖半径 $r(B) \geq \pi/2$ 的球面球体 $B$ 的球面凸体 $K_i$ 的内接球半径之和满足 $\sum_{i=1}^m r(K_i) \geq r(B)$，且等号成立当且仅当覆盖体为两两内部不相交、共享公共脊线的圆弧。
• 当 $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$ 为圆弧。
• 圆弧的内接球半径为其两片定义超平面之间内角的一半，其球面体积恰好为 $\frac{\sigma_n}{\pi} r$（当内接球半径为 $r$ 时）。
• 极体 $K^*$ 的最小球面平均宽度 $U(K^*)$ 在且仅在 $K^*$ 为线段时达到，这对应于 $K$ 为圆弧。
• 证明依赖于球面帽上积分不等式的精细形式，等号仅在顶点的球面像填满整个上半球时成立，这意味着该体为线段（从而 $K$ 为圆弧）。