[論文レビュー] Removahedral congruences versus permutree congruences

Doriann Albertin, Vincent Pilaud+1 more|arXiv (Cornell University)|May 30, 2020

Advanced Combinatorial Mathematics参考文献 20被引用数 5

ひとこと要約

本稿は、弱順序の格子合同に関するremovahedraとquotientopeの間の鋭い二分法を確立する。removahedraとして実現可能なのは、唯一、permutree合同に限る。permutreeファンの型錐を、放射線、交換可能な放射線対、および面の組み合わせ的記述により完全に特徴づけ、これらのファンのすべての多面体的実現の完全分類と、その型錐が単体的である条件の特徴づけをもたらす。

ABSTRACT

The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube). Here, we investigate removahedra constructions for all quotientopes (which realize the lattice quotients of the weak order). On the one hand, we observe that the permutree fans are the only quotient fans realized by a removahedron. On the other hand, we show that any permutree fan can be realized by a removahedron constructed from any realization of the braid fan. Our results finally lead to a complete description of the type cone of the permutree fans.

研究の動機と目的

• 弱順序の格子合同がremovahedraとして多面体的実現可能であるかどうかという長年の未解決問題を解消すること。
• すべてのpermutreeファンの型錐について、完全な組合せ的記述を提供し、これらのファンのすべての多面体的実現の完全分類を可能にすること。
• removahedraは一般のquotientopeではなく、唯一permutree合同に限るという強い二分法を確立すること。
• permutreeファンの型錐が単体的である条件を特徴づけ、標準的なミンコフスキー分解と力学的空間実現とを関連付けること。
• 以前のアソシアヘドロンおよびpermutreehedronの構成を統合・一般化し、任意のブレードファンの実現が、permutreeファンのremovahedra構成の基盤として機能できることを示すこと。

提案手法

• 変形錐の枠組みを用いて、ファンのすべての実現を壁を越える不等式によって記述する型錐を定義・分析する。
• permutreeの装飾δの組合せ的データを用いて、Proposition 32で形式化されたように、[n]の部分集合を用いてδ-Permutreeファンの放射線を記述する。
• Proposition 39で示されるように、部分集合に関する組合せ的条件を用いて、ファン内の交換可能な放射線対を特徴づけ、隣接する最大コーンを特定する。
• Proposition 45で示されるように、壁を越える不等式に対応する部分集合のペアを用いて、permutreeファンの型錐の面を導出する。
• 正のベクトルu ∈ ℝF>0でパラメータ化された多面体族Qδ(u)を構成し、δ-Permutreeファンのすべての可能な実現を実現することを示す。
• 放射線および面のパラメータ化を用いて、permutreeファンの型錐が装飾δによって完全に決定されることを証明し、その面の数に対する和公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Snにおける弱順序のどの格子合同がremovahedraとして実現可能か？
• RQ2 任意のブレードファンの実現から、任意のpermutreeファンをremovahedraとして構成できるか？
• RQ3 permutreeファンの型錐の完全な組合せ的構造は何か？
• RQ4 どの装飾δに対して、δ-permutreeファンの型錐が単体的か？
• RQ5 型錐を支配する壁を越える不等式は、permutreeの組合せ論とどのように関係するか？

主な発見

• 弱順序の格子合同がremovahedronとして実現可能であることは、かつそれがpermutree合同であるときに限る。これは鋭い二分法を確立する（定理1）。
• 任意のpermutreeファンは、古典的なパーミュテーション立体に限らず、任意のブレードファンの実現からremovahedronとして構成可能である。
• δ-Permutreeファンの放射線は、Proposition 32で与えられるように、[n]の部分集合に関する組合せ的条件によって完全に記述可能である。
• 交換可能な放射線対（すなわち、隣接する最大コーンに属する放射線）は、Proposition 39で特定の部分集合ペアを用いて特徴づけられる。
• δ-Permutreeファンの型錐の面は、壁を越える不等式に対応する部分集合ペアによって完全に記述可能である（Proposition 45 参照）。
• permutreeファンの型錐が単体的であるのは、δに関する特定の組合せ的条件を満たすときであり、これによりすべての実現の標準的なミンコフスキー和分解が導かれる（Corollary 54）。