[論文レビュー] Deformation Cones of nested Braid fans

Federico Castillo, Fu Liu|arXiv (Cornell University)|Oct 5, 2017

Advanced Combinatorial Mathematics参考文献 13被引用数 3

ひとこと要約

本稿では、ブラッドファンの細分としてのネスト型ブラッドファンを導入し、その正規ファンがこのファンを粗化する多面体としてネスト型パーミュトープを構成する。変形コーンを用いて一般化パーミュトープの部分モジュラリティ定理の組合せ的証明を提供し、ネスト型パーミュトープの面と順序付き分割のハイスセットの鎖の間に一対一対応を確立し、ネスト型ブラッドファンがブラッドファンの重心的分割であることを示し、ei + ej − ek − eℓ 形式の辺方向を持つ多面体を研究するための新しい組合せ的枠組みを提供する。主な貢献は、固定された多面体の変形コーンを体系的に計算する手法であり、一般化パーミュトープに関する結果をネスト型設定に拡張することにある。

ABSTRACT

Generalized permutohedra are deformations of regular permutohedra, and arise in many different fields of mathematics. One important characterization of generalized permutohedra is the Submodular Theorem, which is related to the deformation cone of the Braid fan. We lay out general techniques for determining deformation cones of a fixed polytope and apply it to the Braid fan to obtain a natural combinatorial proof for the Submodular Theorem. We also consider a refinement of the Braid fan, called the nested Braid fan, and construct usual (respectively, generalized) nested permutohedra which have the nested Braid fan as (respectively, refining) their normal fan. We extend many results on generalized permutohedra to this new family of polytopes, including a one-to-one correspondence between faces of nested permutohedra and chains in ordered partition posets, and a theorem analogous to the Submodular Theorem. Finally, we show that the nested Braid fan is the barycentric subdivision of the Braid fan, which gives another way to construct this new combinatorial object.

研究の動機と目的

• 固定された多面体の変形コーンを計算する一般的手法を構築すること、特にブラッドファンに対して。
• 変形コーンを用いて、一般化パーミュトープの部分モジュラリティ定理の自然な組合せ的証明を提供すること。
• ブラッドファンの細分としてのネスト型ブラッドファンを導入し、その正規ファンとしてのネスト型パーミュトープを構成すること。
• 一般化パーミュトープに関する結果（面同士の対応、部分モジュラリティなど）を、新しいネスト型パーミュトープの族に拡張すること。
• ネスト型ブラッドファンがブラッドファンの重心的分割であることを示し、この組合せ的対象の新しい構成を提供すること。

提案手法

• 多面体 P₀ の変形を、頂点を通過しない facet 移動として定義し、P₀ の頂点が変形後の多面体でも頂点のまま保たれる条件を用いる。
• 変形と正規ファンの粗化の同値性を用いて、変形コーンを、{x ∈ V : Ax ≤ b} が P₀ の変形であるようなベクトル b の集合として特徴付ける。
• 座標の相対的順序とその一次差分に基づいて点をグループ化することで、ブラッドファンの細分としてのネスト型ブラッドファン Br₂ᵈ を導入する。
• 順序付きペアの置換と整数ベクトルによるパrameterization を用いて、通常および一般化されたネスト型パーミュトープを、ネスト型ブラッドファンを正規ファンとする多面体として構成する。
• ネスト型パーミュトープの面と順序付き分割のハイスセットの鎖との間に一対一対応を確立し、一般化パーミュトープに対して知られている結果を一般化する。
• 特定の順序でのスターラー分割を経由してネスト型ブラッドファンが重心的分割であることを示し、このファンがプロジェクト型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 通常または一般化されたネスト型パーミュトープにおいて、対応する置換のペアに属する頂点が、ネスト型ブラッドファンの対応する面の正規コーン上にあるかどうか。これは通常のパーミュトープの性質に類似している。
• RQ2 パーミュト・アソシアヒーディアンは、正規ネスト型パーミュトープの変形として実現可能か。
• RQ3 二次差分を用いてネスト型ブラッドファンをさらに細分化して得られるファンはプロジェクト型か。また、そのファンは組合せ的解釈を有するか。
• RQ4 単体の正規ファンのスターラー分割のどの列挙がブラッドファンの粗化を与えるか。
• RQ5 すべてのタプル (i,j,k,ℓ)（重複インデックスを含む）に対して xi + xj = xk + xℓ を定義する超平面配置の構造は何か。また、その領域数はいくつあるか。

主な発見

• ブラッドファンの変形コーンが組合せ的に特徴付けられ、一般化パーミュトープと f(∅) = 0 を満たす 2[d+1] 上の部分モジュラ関数との対応を介して、部分モジュラリティ定理の新たな証明が得られる。
• ネスト型ブラッドファン Br₂ᵈ はブラッドファン Brd の重心的分割であることが示され、このファンの新しい幾何的・組合せ的構成が確立される。
• ネスト型パーミュトープの面と順序付き分割のハイスセットの鎖との間に一対一対応が確立され、一般化パーミュトープに対する既知の面同士の対応を一般化する。
• 本稿では、一般化パーミュトープが正確に多様体のマトリョイドの平行移動であることを証明し、この同値性の直接的な組合せ的証明を提供する。
• 通常のネスト型パーミュトープ Π²_d(M,N) の正規ファンはネスト型ブラッドファンであり、このファンはプロジェクト型である。これにより、ei + ej − ek − eℓ 形式の辺方向を持つ、うまく定義された多面体族の存在が確認される。
• 著者らは、ブラッドファンの変形コーンが、f(∅) = 0 を満たす 2[d+1] 上の部分モジュラ関数と正確に一致することを示し、この対応が全単射であることを示した。これにより、部分モジュラリティ定理が完全に組合せ的に証明された。