[论文解读] 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’s program），通过凸体的有限ε-网计算验证覆盖条件，为在高维空间中解决该猜想提供了潜在路径。

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’s program），通过凸体的有限ε-网验证覆盖猜想。
• 解决在高维凸体中构造小而高效的ε-网所面临的计算挑战。
• 研究利用γm(K)参数界定覆盖数并验证猜想的可行性。
• 识别开放问题，并提出针对高维空间中解决该猜想的新计算与几何策略。

提出的方法

• 使用球帽覆盖和从原点到边界点的径向线，构建d维凸体空间（K^d）的ε-网。
• 利用约翰椭球定理将任意凸体K归一化为单位球与d倍单位球之间，以实现均匀采样。
• 通过径向线与K的交点生成凸多面体P，作为这些点的凸包，确保其与原体的巴拿赫-梅佐里距离≤ ε。
• 应用γm(K)参数衡量m个更小的K的相似副本的覆盖效率，当γ_{2^d}(K) < 1时，表示覆盖猜想对K成立。
• 实施四步计算程序：(1) 在样本体上测试γ_{2^d}，(2) 选择ε，(3) 构建小基数的ε-网，(4) 在整个ε-网上验证γ_{2^d} ≤ c_d < 1。
• 探索吴氏提出的替代γm参数，以提升验证过程的计算可处理性与鲁棒性。

实验结果

研究问题

• RQ1 能否在d ≥ 3时，通过计算方法验证覆盖猜想——即任意d维凸体可被2^d个更小的正相似副本覆盖？
• RQ2 在d维凸体空间中，确保任意体与ε-网中元素的巴拿赫-梅佐里距离≤ ε的最小ε-网大小是多少？
• RQ3 如何高效利用γm(K)参数界定覆盖数，并在有限个代表性凸体上验证猜想？
• RQ4 为降低计算复杂度同时保持精度，宗氏ε-网构造方法需进行哪些改进？
• RQ5 吴氏提出的替代γm参数能否提升计算机辅助验证过程的鲁棒性与效率？

主要发现

• 覆盖猜想在平面（d=2）中已被证明成立，但在d ≥ 3时仍未被证明。
• 宗氏程序为利用凸体的有限ε-网进行覆盖猜想的计算机辅助验证提供了正式框架。
• 宗氏ε-网的基数受包含d、ε和指数项的表达式有界，表明计算成本较高：|ξ| ≤ ⌊7d / ln ε⌋^{c 14^d d^{2d+3} (ln ε)^{-d}}。
• 当且仅当γ_{2^d}(K) < 1时，覆盖猜想对凸体K成立，这将覆盖问题与γm参数联系起来。
• 对任意d维凸多面体P（含m个顶点），有γ_m(P) ≤ (d−1)/d，为多面体提供了有用的上界。
• 所提出的计算机辅助方法前景广阔，但因ε-网的指数规模及难以找到γ_{2^d}(K)的优良候选常数c_d而面临挑战。