[論文レビュー] Bier spheres of extremal volume and generalized permutohedra

Filip D. Jevtić, Rade T. Živaljević|arXiv (Cornell University)|Aug 2, 2021

Advanced Combinatorial Mathematics被引用数 2

ひとこと要約

本稿は、単体的複体 K に関連するブライト・ファン Fan(K) を導入することで、Bier 球面の幾何的・組合せ的枠組みを確立する。これは、単体的複体 K に関連するブライト・ファンの粗化である。Bier 球面の最大体積実現は、普遍的凸多面体である Van Kampen-Flores 多面体 Ωₙ の境界として実現され、その極対偶は中位ハイパーシンプルクスとアフィン同型であることが証明される。主な貢献は、Bier 球面が多面体的である条件を特徴づける K-準単調性基準であり、ファン理論的および組合せ的手段を通じて、一般化 permutohedra と結びつける。

ABSTRACT

A Bier sphere $Bier(K) = K\ast_\Delta K^\circ$, defined as the deleted join of a simplicial complex and its Alexander dual $K^\circ$, is a purely combinatorial object (abstract simplicial complex). Here we study a hidden geometry of Bier spheres by describing their natural geometric realizations, compute their volume, describe an effective criterion for their polytopality, and associate to $K$ a natural fan $Fan(K)$, related to the Braid fan. Along the way we establish a connection of Bier spheres of maximal volume with recent generalizations of the classical Van Kampen-Flores theorem and clarify the role of Bier spheres in the theory of generalized permutohedra.

研究の動機と目的

• Bier 球面の幾何的・組合せ的構造を明確化することを目的とし、そのために canonical Bier ファン Fan(K) を導入し、分析する。
• 極値体積の Bier 球面を特徴づけ、それが普遍的凸実現として Van Kampen-Flores 多面体 Ωₙ として実現されることを同定する。
• 一般化 permutohedra 理論における準単調関数に類似した新しい K-準単調性条件を用いて、Bier 球面の多面体性を特徴づける基準を確立する。
• Fan(K) がブライト・ファンの粗化であり、極大体積 Bier 球面が permutohedra の特定の変形に対応することを示すことにより、Bier 球面と一般化 permutohedra 理論を結びつける。

提案手法

• Bier 球面 Bier(K) = K ∗∆K◦ の単体に関連するブライト・コンイの集合として canonical Bier ファン Fan(K) を構成する。preposet 構造を用いて、コンイの不等式を記述する。
• preposet-ブライト・コンイ辞書を用いて、Fan(K) が完全かつ単体的ファンであり、ブライト・ファンの粗化であることを証明する。最大コンイは、ちょうど1つの非葉ノードを持つ木順序集合に対応する。
• Bier(K) の径方向像として星型実現 Star(K) を定義し、その最大体積実現が凸多面体 Ωₙ、すなわち Van Kampen-Flores 多面体に一致することを示す。
• ハイパーキューブ [−1,1]ⁿ をハイパーシンプルクス ∆ₙ,k に写像するアフィン変換を用いて、Ωₙ の極対偶が中位ハイパーシンプルクスとアフィン同型であることを証明する。
• Bier(K) の頂点上で定義される K-準単調関数を導入する。これは、隣接単体の Λ, V, X 形状の壁を越える不等式によって定義される。
• ファン正規性基準（命題 14）を適用し、Fan(K) が多面体の正規ファンであるための必要十分条件として、Bier(K) の頂点上で K-準単調関数が存在することを示す。これにより、Bier 球面の多面体性の完全な基準が得られる。

実験結果

リサーチクエスチョン

• RQ1 Bier 球面の幾何的実現は何か？ また、その体積は単体的複体 K にどのように依存するか？
• RQ2 Bier ファン Fan(K) はブライト・ファンおよび一般化 permutohedra とどのように関係するか？
• RQ3 最大体積の Bier 球面の構造は何か？ また、すべての K に対して一意的か？
• RQ4 Bier 球面が多面体的であるための条件は何か？ そして、その条件をどのように組合せ的に特徴づけられるか？
• RQ5 K-準単調関数は Bier 球面多面体の正規ファンとどのように関係し、多面体的関数論の一般化において果たす役割は何か？

主な発見

• 最大体積の Bier 球面は、すべて、普遍的凸多面体 Ωₙ の境界として実現され、これを Van Kampen-Flores 多面体と呼ぶ。
• Ωₙ の極対偶は中位ハイパーシンプルクスとアフィン同型であり、n=2k+1 のとき、Ωₙ◦ ≅ Conv{λ ∈ [0,1]ⁿ | λᵢ ∈ {0,1/2,1}, |{j:λⱼ=0}| = |{j:λⱼ=1}| = k} が成り立つ。
• canonical ファン Fan(K) はブライト・ファンの粗化であり、その最大コンイは、ちょうど1つの非葉ノードを持つ木順序集合に対応する。
• Fan(K) が凸多面体の正規ファンであるための必要十分条件は、Bier(K) の頂点上で K-準単調関数が存在することである。これにより、Bier 球面の多面体性の完全な基準が得られる。
• 閾値複体 K = Tₗ<ν の場合、関連する Bier 球面は多面体的であり、その実現は一般化 permutohedron の極対偶である。これは、明示的な K-準単調関数の構成により確認された。