[論文レビュー] Around Sperner's lemma

Oleg R. Musin|arXiv (Cornell University)|May 29, 2014

Advanced Combinatorial Mathematics参考文献 9被引用数 10

ひとこと要約

本稿は、多様体の三角形分割における完全ラベル付き単体の存在を保証する境界ラベリングに次数に基づく条件を導入することで、スパルナーの補題を一般化する。この結果は、可定向および非可定向なPL多様体へと拡張され、位相的次数の枠組みを用いてスパルナーの補題、タッカーの補題、キ・ファンの補題を統一的かつ強化する。主な貢献は、完全ラベル付き単体の数に対する |deg(L, ∂T)| の下界を確立することにある。

ABSTRACT

We consider a generalization of the classic Sperner lemma. This lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We found a weaker assumption than Sperner's coloring. It is also shown that the main theorem implies Tucker's lemma and some other theorems.

研究の動機と目的

• 標準的な彩色を超えてスパルナーの補題を一般化するため、境界ラベリングに次数に基づく条件を導入すること。
• 位相的次数の枠組みを用いてタッカーの補題とキ・ファンの補題を統一的かつ拡張すること。
• ラベリング写像の次数に基づいて、PL多様体の三角形分割における完全ラベル付き単体の数の下界を確立すること。
• 次数を mod 2 で用いることで、可定向および非可定向な多様体へと結果を拡張すること。
• 新しい条件がスパルナーの補題を一般化し、デ・ルアーラ–ピーターセン–シューの多面体的スパルナー定理を含意することを示すこと。

提案手法

• 三角形分割の境界に沿った (1,2) および (2,1) ラベル遷移の数の差として deg(L, ∂T) を定義する。
• ラベリング写像の次数を用いて、多様体の境界におけるラベルのねじれの挙動を特徴付ける。
• 位相的次数論（非可定向な場合に mod 2 で用いる）を適用し、次数と完全ラベル付き単体の存在を関連付ける。
• 三角形分割から凸多面体 P へのラベリング写像 f_{L,P} を構成し、境界の像が ∂P 上に位置するように保証する。
• deg(L, ∂T) ≠ 0 ならば、P の点 y の被覆複体におけるラベル付けがなされた単体が少なくとも1つ存在することを証明する。
• 非可定向多様体に対しては、次数を mod 2 で用い、deg₂(L, ∂T) ≠ 0 のとき少なくとも1つの完全ラベル付き単体が存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 スパルナーの補題は、次数のような位相的不変量を用いて、標準的なスパルナー彩色を超えて一般化可能か？
• RQ2 境界ラベリングの次数は、三角形分割における完全ラベル付き単体の数の下界を決定するか？
• RQ3 タッカーの補題とキ・ファンの補題は、統一的な位相的原理の特別な場合として得られるか？
• RQ4 次数の概念は、次数 mod 2 を用いることで非可定向多様体へどのように拡張されるか？
• RQ5 ラベリングが非ゼロ次数条件を満たすとき、保証される完全ラベル付き単体の最小数は何か？

主な発見

• コンパクトな可定向なPL多様体 M の三角形分割における完全ラベル付き d-単体の数は、|deg(L, ∂T)| 以上である。
• ラベリングが f_{L,P}(∂M) ⊆ ∂P を満たすとき、完全ラベル付き d-単体の数は (n−d)|deg(L, ∂T)| 以上である。ここで n は多面体 P の頂点数である。
• d-球の境界における反対称ラベリングにおいて、補完的辺が存在しない場合、内部の補完的辺が少なくとも |deg(L, ∂T)| 個存在する。
• ACS (n,d)-多面体の場合、補完的辺が存在しないとき、ラベル {k₀, −k₁, ..., (−1)^d k_d} を持つ d-単体の数は |deg(L, ∂T)| 以上である。
• 非可定向多様体では、deg₂(L, ∂T) ≠ 0 ならば、少なくとも1つの完全ラベル付き単体が存在する。
• 次数に基づく条件はスパルナーの補題を一般化しており、任意のスパルナーラベリングに対して deg(L, ∂T) = 1 であるため、少なくとも1つの完全ラベル付き単体が保証される。