[论文解读] Equipartition of several measures

Роман Карасев|arXiv (Cornell University)|Nov 22, 2010

Point processes and geometric inequalities参考文献 17被引用 21

一句话总结

该论文证明了在 $ q $ 为素数幂的条件下，$ \mathbb{R}^d $ 中任意 $ d $ 个绝对连续的概率测度均可通过凸划分同时被分割为 $ q $ 个体积相等的部分。证明基于基于 Gromov 对 Borsuk–Ulam 定理的推广以及 Vasil’ev 关于配置空间上同调的引理的拓扑方法，将测度等分与项链分割问题的结果推广至高维空间和多测度情形。

ABSTRACT

We prove several results of the following type: any $d$ measures in $\mathbb R^d$ can be partitioned simultaneously into $k$ equal parts by a convex partition (this particular result is proved independently by Pablo Soberón). Another example is: Any convex body in the plane can be partitioned into $q$ parts of equal areas and perimeters provided $q$ is a prime power. The above results give a partial answer to several questions posed by A. Kaneko, M. Kano, R. Nandakumar, N. Ramana Rao, and I. Bárány. The proofs in this paper are inspired by the generalization of the Borsuk--Ulam theorem by M. Gromov and Y. Memarian. The main tolopogical tool in proving these facts is the lemma about the cohomology of configuration spaces originated in the work of V.A. Vasil'ev. A newer version of this paper, merged with the similar paper of A. Hubard and B. Aronov is {arXiv:1306.2741}.

研究动机与目标

• 建立在 $ \mathbb{R}^d $ 中多个测度可通过凸区域同时被等分体积部分的条件。
• 解决 Kaneko、Kano、Nandakumar、Rao 和 Bárány 提出的关于测度等分与凸划分的开放问题。
• 通过拓扑工具将“三明治定理”推广至 $ q > 2 $ 个部分，特别是针对素数幂 $ q $ 的情形。
• 证明平面中任意凸体均可被划分为 $ q $ 个面积与周长均相等的凸部分，当 $ q $ 为素数幂时。

提出的方法

• 利用 $ C(X) $ 中维数为 $ n+1 $ 的测度分离子空间 $ L \subset C(X) $，通过函数比较定义广义 Voronoi 划分。
• 应用 Gromov 对 Borsuk–Ulam 定理的推广，从配置空间构造到球面的等变映射。
• 运用 Vasil’ev 关于配置空间上同调的引理，检测对称约束下的零点解。
• 构造映射 $ f_i: F_q(L) \to \alpha_q $，编码测度与函数的等分布，确保对称性与连续性。
• 使用 $ \Sigma_q $-等变扩张技术处理配置空间中非空部分的条件。
• 应用逼近论证，将结果从紧支集测度推广至一般概率测度。

实验结果

研究问题

• RQ1 当 $ q $ 为素数幂时，是否可通过对凸划分将 $ \mathbb{R}^d $ 中的 $ d $ 个测度划分为 $ q $ 个体积相等的部分？
• RQ2 当 $ q $ 为素数幂时，是否可将平面中的凸体同时等分划分为 $ q $ 个面积与周长均相等的部分？
• RQ3 能否通过多项式包络的拓扑等分原理，从 $ r $ 个窃贼与 $ n $ 个测度的项链分割定理中推导出结果？
• RQ4 在 $ q $ 个次数 $ \leq n $ 的多项式上包络中，非解析点的最大数量是多少？其与等分约束有何关联？
• RQ5 配置空间的上同调如何促成测度划分问题对称解的构造？

主要发现

• 当 $ q $ 为素数幂时，$ \mathbb{R}^d $ 中任意 $ d $ 个绝对连续概率测度均可通过凸划分被等分为 $ q $ 个部分。
• 当 $ q $ 为素数幂时，$ \mathbb{R}^2 $ 中任意凸体均可被划分为 $ q $ 个面积与周长均相等的凸部分。
• 当 $ q $ 为素数幂时，$ q $ 个次数 $ \leq n $ 的多项式的上包络至少包含 $ n(q-1) $ 个非解析点，意味着切换点数量存在下界。
• 该结果可推广至斯泰纳测度及其他在 Hausdorff 度量下连续的凸体泛函，确保各部分间分布均衡。
• 对于非素数幂 $ q $，可通过迭代素数幂构造实现结果，但此时划分可能不再为广义 Voronoi 划分。
• 关于 $ q $ 个次数为 $ n $ 的多项式上包络的切换点数不超过 $ n(q-1) $ 的错误猜想在 $ n \geq 3 $ 时被否定，通过 Davenport–Schinzel 序列展示了反例及 $ \Omega(q\alpha(q)) $ 的增长阶。