[論文レビュー] 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次元空間ℝᵈにおけるd個の連続測度を同時に二等分する新しい公平分割定理——多面体カーテン定理——を証明する。この定理は、単体から導かれる錐型の多面体超曲面（∆-カーテン）を用いて、ハム・サンドイッチ定理や分割ネックレス定理を一般化する。組合せ的・幾何学的な手法と配置空間、トポロジー的手法（Borsuk-Ulam定理を含む）を用いる。

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にBorsuk-Ulam定理を適用し、∆-カーテンによる公平分割の存在を証明する。
• 極限とコンパクト性の議論を用いて、有限分割から連続測度へ結果を拡張し、∆-カーテンが超平面二等分を近似できることを示す。
• 平面測度を放物面へ持ち上げるために、(x, y) ↦ (x, y, x² + y²)で定義されるVeronese型埋め込みW: ℝ² → ℝ³を用い、円形スプラインの構成を可能にする。
• ∆⊂ℝ³の面の方向から導かれる分岐的円曲線として∆-生成スプラインを定義し、カーテンの傾きと組合せ構造を制御する。
• 単体の補間的面のジョイン分解を用いて、(d−2)次元の多面体球Sd−2θを定義し、これにより∆-カーテンの錐構造を生成する。

実験結果

リサーチクエスチョン

• RQ1 ハム・サンドイッチ定理に類似して、1つの多面体超曲面（∆-カーテン）がℝᵈ内に存在するd個の連続測度を同時に二等分できるか？
• RQ2 公平分割の配置空間は、照明複体と∆-ゾノトープを用いてどのようにモデル化できるか？
• RQ3 ℝᵈ内に埋め込まれた単体∆の組合せ的構造は、公平分割表面の傾きとトポロジーをどの程度まで規定できるか？
• RQ4 多面体カーテン定理は、ℝ²内の円形スプラインのような曲がった公平分割へ拡張可能か？
• RQ5 多面体カーテン定理と多次元分割ネックレス定理の関係は何か？

主な発見

• 多面体カーテン定理（定理3）は、ℝᵈ内に任意のd個の連続測度が与えられたとき、H = x + cone(Sd−2θ)という∆-カーテンが存在し、各測度を等分することを保証する。すなわち、すべてのj = 1, ..., dに対してµj(H+) = µj(H−)が成り立つ。
• 2人による六角形Qの公平分割の配置空間A(Q, F, [2])は2次元球面S²に同相であり、Borsuk-Ulam議論のトポロジカルな基盤を提供する。
• 定理は、配置空間A(R∆, F∆, [2]) ≅ Sd−1にBorsuk-Ulam定理を適用することで証明され、これはすべての可能な分割と割り当てを符号化している。
• 配置空間のトポロジカル構造のおかげで、所望の組合せ的構造（例：単体からの錐方向）を持つ公平分割の存在が保証される。
• 多項式スプラインに関しては、本稿ではℝ²内に存在する∆-生成円形スプラインが3つの可測集合を同時に二等分できることを示しており、スプラインの数と形状は3次元単体∆⊂ℝ³の面構造によって制御される。
• 命題24における極限的議論により、大きな単体からの錐構造の近似によって、∆-カーテン定理がq分割に対するより一般化された定理21を含むことが示される。