[論文レビュー] 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次元球面上の任意の3つの連続確率測度に対して、共通の点から出る2つの大半円（2-ファン）が、それぞれの測度を等しく2つに分割するようなものが存在することを確立している。一般化されたクaternion群 $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.

研究の動機と目的

• 任意の $S^2$ 上の $m$ 個の連続確率測度に対して、$k$-ファンによる同時 $\alpha$-分割が存在するようなベクトル $\alpha$ の集合 $A_{m,k}$ を特徴づけること。
• $(m,k) = (3,2)$ の場合の未解決問題を解き、3つの測度を同時に等分割する2-ファンの存在を確立すること。
• 一般化されたクaternion群 $Q_{4n}$ における等変障害理論を応用し、線形部分空間の配置の補集合への特定の $Q_{4n}$-等変写像の非存在を示すこと。
• 測度分割に関する先行研究における位相的手法を、新しい対称的分割問題のクラスへと拡張すること。

提案手法

• 球面上の正規直交2-フレームを用いて、最初の測度 $\mu_1$ を等分割する $n$-ファンの候補となる配置空間 $X_{\mu_1} \cong \mathrm{SO}(3) \cong S^3$ を構成する。
• 各セクターの測度が目標値 $\alpha_i = \frac{a_i}{n}$ からどれほどずれているかを符号化するテスト写像 $F: X_{\mu_1} \to (\mathbb{R}^n)^{\oplus(m-1)}$ を定義し、その像を和が0であるベクトルの空間 $W_n \subset \mathbb{R}^n$ に制限する。
• 同時 $\alpha$-分割の存在を、$Q_{4n}$-等変写像 $f: S^3 \to W_n \setminus \bigcup A(\alpha)$ の非存在に還元する。ここで $A(\alpha)$ は $Q_{4n}$-不変な線形部分空間の配置である。
• テスト写像の特異集合 $\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$ が互いに異なるときにはその類が消えることを証明し、等変写像の非存在を示す。
• 等変ポincare双対性およびスカラー拡張同型を用いて、$H^2_{Q_{4n}}(S^3, \pi_1(W_n \setminus A(\alpha)))$ における最初の障害も同様の条件下で消えることを示し、分割の位相的実現可能性を確認する。

実験結果

リサーチクエスチョン

• RQ1 どのベクトル $\alpha \in \mathbb{R}^k$ に対して、$S^2$ 上の $m$ 個の連続確率測度を同時に $\alpha$-分割する $k$-ファンが存在するか？
• RQ2 $m=3$ 個の測度と $k=2$ 個のファンの場合、すべての such $\alpha$-ベクトルの集合 $A_{3,2}$ の正確な特徴づけは何か？
• RQ3 特定の $Q_{4n}$-等変写像が部分空間配置の補集合へと存在しないことによって、同時 $\alpha$-分割の存在が還元可能か？
• 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に等しい正のペアであれば、3つの測度を同時に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)))$ における最初の障害も、同様の条件下で消えることが確認され、分割の位相的実現可能性が裏付けられる。
• テスト写像の特異集合 $\Delta(f)$ は $Q_{4n} \times S^1$ に同相であり、その $Q_{4n}$-等変構造はボーディズム障害の計算において鍵的役割を果たす。
• 写像 $f$ が配置 $A\left(\alpha\right)$ に対して横断的であることに依拠し、良い三角形（$f^{-1}(L(\alpha))$ と交差するもの）は2つの連結成分 $\Gamma_1$ および $\Gamma_2$ を形成し、それぞれが2次サイクルの和集合である。
• 本結果により、$S^2$ 上の3つの測度に対して、2-ファンがすべての測度を等分割するものが存在することが確認された。これは以前の部分的結果を一般化し、$(m,k) = (3,2)$ の場合を完全に解決する。