[論文レビュー] Generalized permutohedra, h-vector of cotransversal matroids and pure O-sequences

Suho Oh|arXiv (Cornell University)|May 31, 2010

graph theory and CDMA systems参考文献 5被引用数 7

ひとこと要約

この論文は、トランスバーサル・マトロイドの h ベクトルが純粋 O-系列であるというスタンレーの予想を、一般化されたパーミュートホエドロン内の格子点とマトロイドの基底の間の双対写像を構成することによって証明する。細かい混合分割と多面体的実現を用いて、得られる単項式が純粋順序イデアルをなすことを示し、その次数列が h ベクトルと一致することを示す。これにより、幾何的・組合せ的構成によって、コトランスバーサル・マトロイドの場合に予想が裏付けられる。

ABSTRACT

Stanley has conjectured that the h-vector of a matroid complex is a pure O-sequence. We will prove this for cotransversal matroids by using generalized permutohedra. We construct a bijection between lattice points inside a r-dimensional convex polytope and bases of a rank r transversal matroid.

研究の動機と目的

• 任意のマトロイドの h ベクトルが純粋 O-系列であるというスタンレーの予想を、特にコトランスバーサル・マトロイドに対して証明すること。
• 二部グラフから構成される一般化されたパーミュートホエドロンを用いて、コトランスバーサル・マトロイドの幾何的実現を確立すること。
• 多面体内の格子点とマトロイドの基底の間の双対写像を構成し、純粋単項式順序イデアルを誘導すること。
• このイデアルの次数列がマトロイドの h ベクトルと一致することを示し、この場合に予想が確認されることを示すこと。
• コタラシックおよびラティスパス・マトロイドに関する先行結果を一般化し、より広いクラスのコトランスバーサル・マトロイドにこのアプローチを拡張すること。

提案手法

• トランスバーサル・マトロイドの提示から導かれる単体のミンコフスキー和として一般化されたパーミュートホエドロンを構成する。
• ミンコフスキー和の細かい混合分割を用いて、多面体を格子点に対応する細胞に分解する。
• 部分グラフの左次数ベクトルを用いて、多面体内の格子点と双対マトロイド（これはトランスバーサルである）の基底の間の双対写像を定義する。
• 各格子点に公式 $ x_1^{c_1-1} imes ext{...} imes x_r^{c_r-1} $ により単項式を割り当てる。ここで $ c_i $ は点の座標である。
• 任意の座標をゼロに設定してもメンバーが保たれることを示すことにより、得られる単項式の集合が純粋単項式順序イデアルをなすことを証明する。
• 最大の単項式（全ランクの細胞に対応）がすべて同一の超平面 $ x_1 + ext{...} + x_r = n $ 上にあることを示し、純粋性を証明する。

実験結果

リサーチクエスチョン

• RQ1 スタンレーの予想によると、コトランスバーサル・マトロイドの h ベクトルは純粋 O-系列であるか？
• RQ2 一般化されたパーミュートホエドロンと細かい混合分割を用いた幾何的構成によって、h ベクトルが純粋単項式順序イデアルの次数列として実現可能か？
• RQ3 外部的にパassingな要素をもつ基の数が、構成された順序イデアル内の指定された次数の単項式の数に一致するか？
• RQ4 コトランスバーサル・マトロイドに関連する一般化されたパーミュートホエドロンの格子点を、双対マトロイドの基に一対一に写像できるか？
• RQ5 多面体的構造が、h ベクトルから純粋イデアルを生成するために必要な組合せ的性質を保持しているか？

主な発見

• 任意のコトランスバーサル・マトロイドの h ベクトルは純粋 O-系列である。これにより、スタンレーの予想がこのクラスで確認された。
• 双対マトロイド $ ext{M}^* $ の基と一般化されたパーミュートホエドロン $ P_{ ext{M}^*} $ の格子点の間には、自然な双対写像が存在する。
• 外部的にパassingな要素を $ i $ 個もつ基の数は、h ベクトルの $ i $ 番目の成分 $ h_i $ に等しい。
• 格子点から構成された単項式順序イデアルのすべての最大単項式は同じ次数 $ n $ をもつため、純粋性が確認された。
• 細かい混合分割による構成により、すべての格子点が一意に基に対応し、逆にすべての基が一意に格子点に対応することが保証された。
• キーパラメータ $ c_1 + ext{...} + c_r - r = e_{ ext{M}}(B) $ により、格子点の座標和が対応する基の外部的パassing要素数に一致することが示された。