[論文レビュー] A quasisymmetric function for matroids

Louis J. Billera, Ning Jia+1 more|arXiv (Cornell University)|Jun 26, 2006

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

ひとこと要約

本稿では、一意的な基底で全重みが最小化される重みベクトルの分布を符号化する、マトロイドのための新しい準対称関数不変量を導入する。マトロイドのホップ代数から準対称関数へのホップ代数準同型を確立し、有理数係数での上への性質を証明する。また、双対性およびポリトープの分解に関して不変量が単純に振る舞うことを示し、非自明な分解をもたないマトロイド基底ポリトープを同定する基準を可能にする。

ABSTRACT

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

研究の動機と目的

• マトロイドのための新しい同型不変量を、準対称関数を用いて定義すること。
• この不変量が、マトロイドのホップ代数から準対称関数のホップ代数へのホップ代数準同型であることを確立すること。
• この不変量がマトロイド基底ポリトープの分解に関して価値関数的性質を示し、分解不能なポリトープの同定を可能にすること。
• この不変量を $P$-分割列挙関数と関連づけ、準対称関数代数の新しい整数基底を提供すること。
• ラフォルグの有限実現に関する研究を援用し、この不変量がマトロイド実現の研究において有用であることを示すこと。

提案手法

• 重み関数 $f:E\to\mathbb{P}$ が $M$-一般的であるとき、つまり、最小全重みが唯一の基底で達成されるように、要素に相異なる重みを割り当てる。そのような重み関数の生成関数として、準対称関数 $F(M,\mathbf{x})$ を定義する。
• グリーディアルゴリズムが絶対的重みに依存しないことから、任意の単項式 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$（$i_1 < \cdots < i_k$）の係数が、インデックスではなく組成 $\alpha$ のみに依存することを示し、$F(M,\mathbf{x})$ が準対称であることを証明する。
• マトロイドの直和および双対性と整合することを示し、$\mathcal{QS}ym$ における新しい基底構成を用いて、有理数係数での上への性質を証明することで、$F(M,\mathbf{x})$ がホップ代数準同型であることを確立する。
• 偏順序集合 $Q_\sigma$ を用いて、$F(M,\mathbf{x})$ が $P$-分割列挙関数の和として展開されることを示し、$F(M,\mathbf{x})$ の反対元が、全重みを最小化する基底の数を重複度付きに数える生成関数であることを示す。
• $F(M,\mathbf{x})$ がマトロイド基底ポリトープの価値関数的性質を満たすことを証明する。つまり、ポリトープがより小さなマトロイド基底ポリトープに分解できるならば、$F(M,\mathbf{x})$ はその分解に関して加法的である。この性質により、$F(M,\mathbf{x})$ が既約であれば、そのポリトープは非自明な分解をもたないことが示される。
• マトロイド構造を用いて、$\mathcal{QS}ym$ における二つの新しい $\mathbb{Z}$-基底 $F(R_\sigma,\mathbf{x})$ と $F(Q_\sigma,\mathbf{x})$ を構成し、$LU$-分解を用いてそれらのユニモジュラー関係を示す。

実験結果

リサーチクエスチョン

• RQ1 マトロイドの不変量として、一意的な基底で全重みが最小化される重みベクトルの分布を符号化する準対称関数を構成できるか？
• RQ2 この準対称関数が、マトロイドのホップ代数から準対称関数のホップ代数へのホップ代数準同型であるか。また、有理数係数で上への性質を示せるか？
• RQ3 この不変量はマトロイドの双対性およびホップ代数の反対元に関してどのように振る舞うか？
• RQ4 この不変量は $P$-分割列挙関数の和として表現可能か。また、既知の $\mathcal{QS}ym$ の基底とどのような関係にあるか？
• RQ5 この不変量の価値関数的性質により、マトロイド基底ポリトープがより小さなマトロイド基底ポリトープへの非自明な分解をもつかどうかを同定できるか？

主な発見

• 準対称関数 $F(M,\mathbf{x})$ は、最小全重みが唯一の基底で達成される $M$-一般的重み関数の生成関数として定義され、マトロイドの適切な同型不変量である。
• グリーディアルゴリズムが絶対的重みに依存しないことから、任意の単項式 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$（$i_1 < \cdots < i_k$）の係数が、インデックスではなく組成 $\alpha$ のみに依存するため、$F(M,\mathbf{x})$ は準対称である。
• 写像 $M \mapsto F(M,\mathbf{x})$ は、マトロイドのホップ代数から $\mathcal{QS}ym$ へのホップ代数準同型であり、有理数係数では上への性質を満たす。
• マトロイドの双対性において、$F(M^*,\mathbf{x})$ は $F(M,\mathbf{x})$ のホップ反対元によって得られ、反対元は全重みを最小化する基底の数を重複度付きに数える生成関数を生成する。
• 関数 $F(M,\mathbf{x})$ はマトロイド基底ポリトープの価値関数的性質を満たす。つまり、基底ポリトープがより小さなマトロイド基底ポリトープに分解できるならば、$F(M,\mathbf{x})$ はその分解に関して加法的である。したがって、$F(M,\mathbf{x})$ が既約であれば、そのポリトープは非自明な分解をもたない。
• 本稿では、マトロイド構造を用いて、$\mathcal{QS}ym$ における二つの新しい $\mathbb{Z}$-基底 $F(R_\sigma,\mathbf{x})$ と $F(Q_\sigma,\mathbf{x})$ を構成し、行列 $A_n$ が $L_nU_n$ として分解可能であることから、$LU$-分解を用いてそれらのユニモジュラー関係を示した。