[论文解读] Convex Equipartitions of volume and surface area

Boris Aronov, Alfredo Hubard|arXiv (Cornell University)|Oct 22, 2010

Point processes and geometric inequalities参考文献 15被引用 12

一句话总结

本文证明了在 ℝᵈ 中，任意凸体均可被划分为 pᵏ 个体积相等且表面积相等的凸部分，其中 p 为素数，k ≥ 1 为整数，方法基于等变拓扑与最优传输理论。核心贡献在于提出一个关于凸体上 d−1 个连续泛函的一般等分定理，将 Nandakumar-Ramana Rao 猜想推广至素数幂划分的情形。

ABSTRACT

We show that, for any prime power p^k and any convex body K (i.e., a compact convex set with interior) in Rd, there exists a partition of K into p^k convex sets with equal volume and equal surface area. We derive this result from a more general one for absolutely continuous measures and continuous functionals on the space of convex bodies. This result was independently found by Roman Karasev generalizing work of Gromov and Memarian who proved it for the standard measure on the sphere and p=2. Our proof uses basics from the theory of optimal transport and equivariant topology. The topological ingredient is a Borsuk-Ulam type statement on configuration space with the standard action of the symmetric group. This result was discovered in increasing generality by Fuks, Vaseliev and Karasev. We include a detailed proof and discuss how it relates to Gromov's proof for the case p=2.

研究动机与目标

• 为解决 Nandakumar-Ramana Rao 关于将凸体划分为等面积且等周长部分的猜想，即针对素数幂个部分的凸等分问题。
• 将等分结果推广至凸体上任意连续泛函，而不仅限于体积与表面积。
• 建立一个基于等变映射与配置空间的拓扑框架，以保证此类划分的存在性。
• 提供一个自包含的证明，针对与 Borsuk-Ulam 定理相关的关键拓扑引理，避免使用高级代数拓扑工具。

提出的方法

• 利用最优传输理论，通过幂图（power diagrams）将一个绝对连续测度映射为支撑在 n 个点上的离散测度。
• 应用 Lefschetz-Poincaré 对偶性与相对同调理论，证明配置空间中 n 元组点的循环具有非平凡性。
• 构造一个从配置空间 Fₙ(ℝᵈ) 到 ℝⁿ⁻¹ 的连续、Σₙ-等变映射，该映射基于径向函数与幂图构造。
• 利用 Borsuk-Ulam 型定理（定理 5）保证该映射的像与 ℝⁿ⁻¹ 中的对角线相交，从而确保所有部分的泛函值相等。
• 证明幂图的胞腔为凸集，且关于配置与半径连续依赖，从而保证所得部分为凸集。
• 应用定向丛理论与 Künneth 公式，验证相关同调类的可定向性，从而确认循环的非平凡性。

实验结果

研究问题

• RQ1 对于任意 ℝᵈ 中的凸体 K 与素数 p，是否总存在一种将其划分为 pᵏ 个凸子集的方式，使得每个子集具有相等的 d 维体积与相等的 (d−1) 维表面积？
• RQ2 能否通过划分为 pᵏ 个凸部分，同时对凸体上的 d−1 个连续泛函 G₁,…,G_{d−1} 实现等分？
• RQ3 何种拓扑条件可保证此类等分的存在性？其与等变映射及配置空间的关系为何？
• RQ4 最优传输框架结合幂图如何促进凸等分的构造？
• RQ5 该结果能否推广至非凸或非光滑区域，或其它几何泛函？

主要发现

• 对于任意 ℝᵈ 中的凸体 K ⊂ ℝᵈ 及素数 p，存在一种将 K 划分为 pᵏ 个凸子集的方式，使得每个子集具有相等的 d 维体积与相等的 (d−1) 维表面积。
• 该结果可推广至空间中任意 d−1 个连续泛函 G₁,…,G_{d−1}，确保所有 pᵏ 个部分的泛函值相等。
• 此类划分的存在性由配置空间 Fₙ(ℝᵈ)/Σₙ 中某个相对同调类的非平凡性所保证，属于拓扑障碍理论的论证。
• 证明依赖于对定向丛与 Künneth 公式的详细分析，确认当 n = pᵏ 时，相关循环具有非平凡性。
• 该构造具有连续性与等变性，确保在输入数据发生小扰动时仍保持鲁棒性。
• 该结果证实了 Nandakumar 与 Ramana Rao 关于素数幂划分的猜想，并将 Ham Sandwich 定理推广至高阶等分情形。