[论文解读] Combinatorics and Topology of partitions of spherical measures by 2 and 3 fans

Rade T. Živaljević|ArXiv.org|Mar 4, 2002

Topological and Geometric Data Analysis参考文献 14被引用 4

一句话总结

本文证明了对于2-sphere上的任意三个连续概率测度，均存在一个2-扇形（从同一点出发的两条大半圆弧），能同时将每个测度均分为两部分。通过在广义四元数群 $Q_{4n}$ 中使用等变拓扑与障碍理论，作者证明了某些等变映射的非存在性，从而确定了 $A_{3,2} = \{(s,t) \in \mathbb{R}^2 \mid s+t=1, s,t>0\}$，解决了离散几何中测度划分问题的一个关键情形。

ABSTRACT

An arrangement of k-semilines in the Euclidean (projective) plane or on the 2-sphere is called a k-fan if all semilines start from the same point. A k-fan is an $α$-partition for a probability measure $μ$ if $μ(σ_i)=α_i$ for each $i=1,...,k$ where $\{σ_i\}_{i=1}^k$ are conical sectors associated with the k-fan and $α= (α_1,... ,α_k)$. The set of all $α= (α_1,... ,α_m)$ such that for any collection of probability measures $μ_1,... ,μ_m$ there exists a common $α$-partition by a k-fan is denoted by ${\cal A}_{m,k}$. We prove, as a central result of this paper, that ${\cal A}_{3,2} = \{(s,t)\in \mathbb{R}^2\mid s+t=1 { m and} s,t>0\}$. The result follows from the fact that under mild conditions there does not exist a $Q_{4n}$-equivariant map $f : S^3 o V\setminus {\cal A}(α)$ where ${\cal A}(α)$ is a $Q_{4n}$-invariant, linear subspace arrangement in a $Q_{4n}$-representation V, where $Q_{4n}$ is the generalized quaternion group. This fact is established by showing that an appropriate obstruction in the group $Ω_1(Q_{4n})$ of $Q_{4n}$-bordisms does not vanish.

研究动机与目标

• 为了刻画集合 $A_{m,k}$，即所有满足：对于 $S^2$ 上任意 $m$ 个连续概率测度，均存在一个 $k$-扇形实现同时 $\alpha$-划分的向量 $\alpha$。
• 解决 $(m,k) = (3,2)$ 情形的开放问题，即证明存在一个2-扇形能同时等分三个测度。
• 在广义四元数群 $Q_{4n}$ 中应用等变障碍理论，证明某些 $Q_{4n}$-等变映射进入线性子空间构型补集的非存在性。
• 将先前关于测度划分的拓扑方法推广至一类新的对称划分问题。

提出的方法

• 构建一个候选配置空间 $X_{\mu_1} \cong \mathrm{SO}(3) \cong S^3$，用于表示能等分第一个测度 $\mu_1$ 的 $n$-扇形，其构造基于 $S^2$ 上的正交2-框架。
• 定义一个测试映射 $F: X_{\mu_1} \to (\mathbb{R}^n)^{\oplus(m-1)}$，编码各扇区测度与目标值 $\alpha_i = \frac{a_i}{n}$ 的偏差，其像位于 $\mathbb{R}^n$ 的子空间 $W_n$ 内，该子空间由分量和为零的向量构成。
• 将同时 $\alpha$-划分的存在性问题转化为：在 $Q_{4n}$-等变映射 $f: S^3 \to W_n \setminus \bigcup A(\alpha)$ 不存在的条件。其中 $A(\alpha)$ 是一个 $Q_{4n}$-不变的线性子空间构型。
• 将映射 $f$ 的奇点集 $\Delta(f) = f^{-1}(\bigcup A(\alpha))$ 视为 $Q_{4n}$-空间，证明当 $\alpha = (p/n, q/n, r/n)$ 且 $p,q,r$ 两两不同时，其同胚于 $Q_{4n} \times S^1$。
• 计算障碍类 $\Delta = [\Delta(f)] \in \Omega_1(Q_{4n})$，并证明当 $n$ 为奇数且 $p,q,r$ 互不相等时，该障碍类消失，意味着不存在等变映射的障碍。
• 利用等变庞加莱对偶性与标量扩张同构，证明 $H^2_{Q_{4n}}(S^3, \pi_1(W_n \setminus A(\alpha)))$ 中的第一个障碍也消失，从而确认划分在拓扑上是可行的。

实验结果

研究问题

• RQ1 对于哪些向量 $\alpha \in \mathbb{R}^k$，存在一个 $k$-扇形，能同时 $\alpha$-划分 $S^2$ 上的 $m$ 个连续概率测度？
• RQ2 当 $m=3$ 个测度且 $k=2$ 个扇形时，所有此类 $\alpha$-向量的集合 $A_{3,2}$ 的精确刻画是什么？
• RQ3 能否将同时 $\alpha$-划分的存在性问题，归约为 $Q_{4n}$-等变映射进入子空间构型补集的非存在性？
• RQ4 当 $\alpha = (p/n, q/n, r/n)$ 时，$\Omega_1(Q_{4n})$ 中的障碍在何种条件下消失，以确保划分的拓扑可实现性？

主要发现

• 集合 $A_{3,2}$ 被完全刻画为 $\{(s,t) \in \mathbb{R}^2 \mid s + t = 1 \text{ 且 } s,t > 0\}$，这意味着任何和为1的正实数对均允许存在一个同时划分三个测度的2-扇形。
• 障碍元素 $\Delta = [\Delta(f)] \in \Omega_1(Q_{4n})$ 在 $n$ 为奇数且 $p,q,r$ 两两不同时消失，从而证明了不存在 $Q_{4n}$-等变映射 $f: S^3 \to W_n \setminus \bigcup A(\alpha)$。
• $H^2_{Q_{4n}}(S^3, \pi_1(W_n \setminus A(\alpha)))$ 中的第一个障碍在相同条件下也消失，确认了划分的拓扑可行性。
• 测试映射 $f$ 的奇点集 $\Delta(f)$ 同胚于 $Q_{4n} \times S^1$，其 $Q_{4n}$-等变结构是计算 bordism 障碍的关键。
• 证明依赖于映射 $f$ 与构型 $A\left(\alpha\right)$ 的横截性，其中‘好三角形’（即与 $f^{-1}(L(\alpha))$ 相交的三角形）形成两个连通分支 $\Gamma_1$ 和 $\Gamma_2$，每个均为2-胞复形的并。
• 结果确认：对于 $S^2$ 上的三个测度，存在一个2-扇形能同时等分所有三个测度，推广了早期的部分结果，并完成了 $(m,k) = (3,2)$ 情形的完整解决。