[論文レビュー] Unimodular equivalence of order and chain polytopes

Takayuki Hibi, Nan Li|arXiv (Cornell University)|Aug 20, 2012

Advanced Algebra and Logic参考文献 2被引用数 6

ひとこと要約

この論文は、有限部分順序集合の順序ポリトープとチェーンポリトープがユニモジュラー同値であるための完全な特徴付けを確立する。ユニモジュラー同値性が成り立つのは、特定の五要素部分順序集合（最小元が二つの比較不能な要素に覆われており、それぞれが別の最小元を覆うもの）が元の部分順序集合に部分順序集合として現れない場合に限ることを証明する。この結果は、順序ポリトープの面をチェーンポリトープの面へ写像するユニモジュラー変換を用いて得られる。

ABSTRACT

The problem when the order polytope and the chain polytope of a finite partially ordered set are unimodularly equivalent will be solved.

研究の動機と目的

• 有限部分順序集合の順序ポリトープとチェーンポリトープがユニモジュラー同値となる必要十分条件を特定すること。
• これらの二つの基本的ポリトープの関係に関して長年の未解決問題である、多面体組合せ論における根本的問題を解消すること。
• 特定の禁止部分順序集合の不在を用いた完全な組合せ的特徴付けを提供すること。
• ユニモジュラー同値性が同じ条件下でアフィン同値性と等しいfベクトルを有することと同値であることを確立すること。

提案手法

• 順序ポリトープを、[0,1] の値をとる順序を保つ関数の集合として定義する。
• チェーンポリトープを、任意の最大チェーン上で和が1以下になる非負関数の集合として定義する。
• 禁止部分順序集合が存在しない場合に、順序ポリトープからチェーンポリトープへ写像するユニモジュラー変換 Ψ を構成する。
• 順序ポリトープの面を三種類（最小元、最大元、被覆関係）に、チェーンポリトープの面を二種類（座標の境界とチェーン不等式）に分類する。
• 禁止部分順序集合が存在しない条件下で、Ψ が順序ポリトープの各面をチェーンポリトープの面へ写像し、格子構造を保存することを示す。
• 体積が等しく、ユニモジュラー格子写像が存在するならばユニモジュラー同値性が成り立つという事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限部分順序集合の順序ポリトープとチェーンポリトープがいつユニモジュラー同値となるか？
• RQ2 部分順序集合にどのような組合せ的条件が成り立つと、二つのポリトープの面の数が等しくなるか？
• RQ3 ユニモジュラー同値性は、これらのポリトープに関してアフィン同値性または等しいfベクトルと同値か？
• RQ4 特定の五要素部分順序集合の不在がユニモジュラー同値性を特徴付けるか？
• RQ5 順序ポリトープのfベクトルがチェーンポリトープのfベクトルを支配し、等号が成り立つならばユニモジュラー同値性が成り立つか？

主な発見

• 順序ポリトープとチェーンポリトープがユニモジュラー同値であるのは、図1の部分順序集合（最小元が二つの比較不能な要素に覆われており、それぞれが別の最小元を覆うもの）が部分順序集合として現れない場合に限る。
• ユニモジュラー同値性は、順序ポリトープの面の数とチェーンポリトープの面の数が等しいときに限り成立する。
• ユニモジュラー変換 Ψ は、順序ポリトープの頂点（順序イデアルに対応）をチェーンポリトープの頂点（アンチチェーンに対応）へ写像する。
• 変換 Ψ はユニモジュラー格子同型であり、多面体構造と体積を保存する。
• 二つのポリトープのfベクトルが等しいのは、禁止部分順序集合が存在しない場合に限る。
• 補題2.3の条件 (i) から (v) までのすべてが同値であることから、f_i ≤ f'_i がすべての i に対して成り立ち、ある f_i で等号が成り立つならばユニモジュラー同値性が成り立つという予想が支持される。