[論文レビュー] 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 と整数 k ≥ 1 に対して、体積と表面積が等しい pᵏ 個の凸領域に分割可能であることを、等変位相と最適輸送の道具を用いて証明している。主な貢献は、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.

研究の動機と目的

• 任意の素数 p と k ≥ 1 に対して、凸体を等面積かつ等周長の pᵏ 個の領域に等分割する Nandakumar-Ramana Rao 予想を解決すること。
• 体積と表面積を超えて、凸体上の任意の連続的関数値に対する等分割結果を一般化すること。
• 等変写像と配置空間を用いた位相的枠組みを確立し、このような分割の存在を保証すること。
• 代数的位相幾何学の高度な道具を避けて、Borsuk-Ulam 定理に関連する重要な位相的補題の自己完結的証明を提供すること。

提案手法

• 絶対連続測度を、n 個の点に台を持つ離散測度へ写像するための、パワー図に基づく最適輸送理論を用いる。
• Lefschetz-Poincaré双対性と相対ホモロジーを用いて、n 個の点の配置空間におけるサイクルの非自明性を示す。
• 径数関数とパワー図構成を用いて、配置空間 Fₙ(ℝᵈ) から ℝⁿ⁻¹ への連続的かつ Σₙ-等変写像を構成する。
• Borsuk-Ulam 型定理（定理 5）を用いて、この写像の像が ℝⁿ⁻¹ の対角線と交差することを保証し、すべての領域で関数値が等しくなるようにする。
• パワー図の細胞が凸であり、配置と半径に連続的に依存することを示し、結果として得られる領域がすべて凸であることを保証する。
• 方向性バンドルと Künneth 公式の理論を適用して、関連するホモロジー類の可定向性を検証し、サイクルの非自明性を確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の素数 p と k ≥ 1 に対して、ℝᵈ 内の任意の凸体 K ⊂ ℝᵈ を、d 次元体積と (d−1) 次元表面積が等しい pᵏ 個の凸領域に分割できるか？
• RQ2 d−1 個の連続的関数値 G₁,…,G_{d−1} を、凸体上に定めたとき、pᵏ 個の凸領域への分割によって同時に等分割可能か？
• RQ3 このような等分割の存在を保証する位相的条件は何か？また、それらは等変写像と配置空間とどのように関係するか？
• RQ4 パワー図を用いた最適輸送枠組みは、凸等分割の構成をどのように支援するか？
• RQ5 これらの結果は、非凸または非滑らか領域、あるいは他の幾何的関数値へ拡張可能か？

主な発見

• 任意の凸体 K ⊂ ℝᵈ と素数 p に対して、K を d 次元体積と (d−1) 次元表面積が等しい pᵏ 個の凸部分集合に分割するものが存在する。
• この結果は、凸体空間上の任意の d−1 個の連続的関数値 G₁,…,G_{d−1} へ拡張可能であり、すべての pᵏ 個の領域で関数値が等しくなるように保証される。
• このような分割の存在は、配置空間 Fₙ(ℝᵈ)/Σₙ 内の相対ホモロジー類の非自明性に基づく位相的障害理論的議論によって保証される。
• 証明は、方向性バンドルと Künneth 公式の詳細な解析に依拠しており、n = pᵏ のとき、関連するサイクルが非自明であることを確認している。
• 構成は連続的かつ等変的であり、入力データの微小な摂動に対しても安定性を保証する。
• 結果は Nandakumar と Ramana Rao の予想を素数の累乗分割に対して確認し、ハム・サンドイッチ定理を高次元の等分割へ一般化している。