[论文解读] Illumination complexes, {\Delta}-zonotopes, and the polyhedral curtain theorem

Rade T. Živaljević|arXiv (Cornell University)|Jul 19, 2013

Point processes and geometric inequalities参考文献 11被引用 3

一句话总结

本文引入光照复形与∆-多面体作为配置空间，证明了一项新的公平分割定理——多面幕定理，该定理表明在ℝᵈ中，d个连续测度可被一个∆-幕（由单形生成的锥形多面超曲面）同时平分。该结果通过组合与几何方法，结合配置空间和布劳威尔-乌拉姆定理等拓扑工具，推广了三明治定理与分割项链定理。

ABSTRACT

Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A particularly nice example arises if Q is a {\Delta}-zonotope (generalized rhombic dodecahedron), known also as the dual of the difference body {\Delta} - {\Delta} of a simplex {\Delta}, or the dual of the convex hull of the root system A_n. We demonstrate that the illumination complexes and their relatives can be used as 'configuration spaces', leading to new 'fair division theorems'. Among the central new results is the 'polyhedral curtain theorem' (Theorem 3) which is a relative of both the 'ham sandwich theorem' and the 'splitting necklaces theorem'.

研究动机与目标

• 开发一类新的配置空间——光照复形与∆-多面体，用于研究几何测度论中的公平分割问题。
• 通过引入多面幕定理，作为超平面平分的组合替代方案，推广三明治定理与分割项链定理。
• 建立一个拓扑框架，利用与球面同胚的配置空间，证明具有预设组合结构的公平分割的存在性。
• 将理论扩展至多项式样条与曲线公平分割，表明∆-生成的样条可在ℝ²中通过抛物面嵌入实现对多个测度的平分。

提出的方法

• 通过根据扇形结构F与参与方标签S，沿边界粘合凸体Q（例如六边形或∆-多面体）的副本，构建配置空间A(Q, F, S)。
• 在配置空间A(R∆, F∆, [2]) ≅ ∂(♦d) ≅ Sd−1上应用布劳威尔-乌拉姆定理，证明∆-幕存在，从而实现公平分割。
• 采用极限与紧致性论证，将有限划分的结果推广至连续测度，表明∆-幕可逼近超平面平分。
• 使用Veronese型嵌入W: ℝ² → ℝ³，定义为(x, y) ↦ (x, y, x² + y²)，将平面测度提升至抛物面，从而实现可构造圆形样条以实现测度平分。
• 将∆-生成样条定义为源自ℝ³中单形∆的面方向的分段圆弧曲线，其控制幕的斜率与组合结构。
• 利用单形互补面的连通分解，定义(d−2)维多面球面Sd−2θ，其生成∆-幕的锥形结构。

实验结果

研究问题

• RQ1 能否存在一个单一的多面超曲面（即∆-幕），在ℝᵈ中同时平分d个连续测度，类似于三明治定理？
• RQ2 如何利用光照复形与∆-多面体对公平分割的配置空间进行建模？
• RQ3 在多面幕的斜率与拓扑结构上，ℝᵈ中单形∆的组合结构能在多大程度上被用于预设控制？
• RQ4 多面幕定理能否推广至曲线公平分割，例如ℝ²中的圆形样条？
• RQ5 多面幕定理与多维分割项链定理之间存在何种关系？

主要发现

• 多面幕定理（定理3）表明：对于ℝᵈ中的任意d个连续测度，存在一个∆-幕H = x + cone(Sd−2θ)，使得每个测度被等分，即对所有j = 1, ..., d，有µj(H+) = µj(H−)。
• 对于两方公平分割六边形Q的配置空间A(Q, F, [2])同胚于2-球面S²，为布劳威尔-乌拉姆论证提供了拓扑基础。
• 该定理由布劳威尔-乌拉姆定理在配置空间A(R∆, F∆, [2]) ≅ Sd−1上的应用证明，该空间编码了所有可能的分割与分配。
• 具有预设组合结构（例如来自单形的锥方向）的公平分割的存在性，由配置空间的拓扑结构保证。
• 对于多项式样条，本文表明ℝ²中∆-生成的圆形样条可同时平分三个可测集，样条的数目与形状由四面体∆⊂ℝ³的面结构控制。
• 命题24中的极限论证表明，∆-幕定理可推出更一般的定理21（q-划分情形），通过从大单形逼近锥结构实现。