[论文解读] Four classic problems

Gábor Tóth, Włodzimierz. Kuperberg|arXiv (Cornell University)|Feb 20, 2022

Point processes and geometric inequalities被引用 1

一句话总结

本文对离散几何与凸几何中的四个经典问题进行了全面综述：博苏克分割问题、塔斯基平板问题、克内泽尔-普伦问题（关于球心收缩）以及哈德维格-利维覆盖问题。它整合了数十年的研究成果，提供了更新的界限、历史背景，并揭示了这些相互关联问题之间的联系，特别关注欧氏空间、球面空间与双曲空间中的凸体、照明与覆盖问题。

ABSTRACT

In this work we survey four classic problems: Borsuk's partition problem, Tarski's plank problem, the Kneser--Poulsen problem on the monotonicity of the union of balls under a contraction of their centers, and the Hadwiger--Levi problem on covering convex bodies by their smaller positively homothetic copies.

研究动机与目标

• 综合并更新离散与凸几何中四个基础问题的现有知识状态。
• 阐明博苏克猜想、塔斯基平板问题、克内泽尔-普伦猜想与哈德维格-利维覆盖问题之间的关系及其共享的数学结构。
• 呈现最新进展，包括在划分与照明数中直径缩减的改进界限，尤其针对凸体与对称集。
• 突出开放问题与猜想，例如加权照明猜想，以及在球面空间中是否存在照明数超过 n+1 的凸体。
• 通过整合来自不同来源的结果，包括经典定理的新证明与推广，为研究人员提供统一参考。

提出的方法

• 系统性地回顾并综合超过100篇关键论文的研究成果，涵盖凸几何领域八十余年来的研究。
• 运用几何不等式与极值原理（如罗杰斯-谢普法不等式与体积界）推导覆盖数与照明数的上界。
• 应用球多面体与凸包构造方法，分析 R^n 中集合的直径缩减与划分问题。
• 将欧氏空间中的结果推广至球面与双曲几何，尤其针对照明与覆盖问题。
• 运用对称性与位似变换论证，包括中心对称与光滑凸体的作用，以建立界限并证明猜想。
• 引入照明与覆盖问题的加权与分数变体，通过对偶性与优化技术分析总权重下确界。

实验结果

研究问题

• RQ1 在三维空间中，直径为1的凸体的划分中，各部分直径的最佳已知上界是多少？
• RQ2 每个常宽为1的凸体是否都能被三个直径不超过 min{l(K), √3 − l(K)} 的集合覆盖？
• RQ3 在球面空间 S^n 中，是否存在一个凸体，其照明数超过 n+1？
• RQ4 覆盖一个凸体所需的较小位似副本的最小数量是多少？这与照明问题有何关联？
• RQ5 如纳绍迪所猜想，任意 n 维凸体的加权照明数是否均不超过 2n？

主要发现

• 对于三维空间中直径为1的凸体，其划分中各部分直径的最佳已知上界为 0.98，由马凯夫（1997）给出，该结果基于其可被相对面距离为1的菱形十二面体所包含。
• 对于常宽为1的凸体，用三个集合覆盖时，最小覆盖集直径的上界为 √3/2，下界为 √3 − 1；上界等号成立当且仅当为圆，下界等号成立当且仅当为勒劳瓦三角形。
• 球面空间 S^n 中任意凸多面体的照明数恰好为 n+1，而是否存在照明数更大的凸体仍是开放问题。
• 在 R^n 中，对于中心对称凸体，加权照明数 i*(K) 不超过 2n，加权覆盖数 h*(K) 同样有界于 2n，且仅当为平行多面体时取等。
• 在三维空间中，任意凸体的覆盖数 h(K) 最多为 14，该结果由普里马克（2021）改进，此前的界限为 16 和 20。
• 立方体在照明与覆盖问题中均为严格局部极大值：在附近非平行多面体中，可用 2^n − 1 个较小的位似副本覆盖，也可用 2^n − 1 个光源照明。