[論文レビュー] A convolution formula for Tutte polynomials of arithmetic matroids and other combinatorial structures

Spencer Backman, Matthias Lenz|arXiv (Cornell University)|Feb 8, 2016

Mathematical Dynamics and Fractals参考文献 22被引用数 6

ひとこと要約

この論文は、算術的マトロイド、デルタマトロイド、および多様体を含む、重複度を伴うランク付き集合へ、Kook–Reiner–StantonおよびEtienne–Las Vergnasの Tutte 多項式の畳み込み公式を一般化する。主な貢献は、算術的 Tutte 多項式を部分集合の和として表す統一的な畳み込み公式であり、擬似算術的マトロイドにおける正の性質の新たな証明および、フローと彩色に関する算術的 Tutte 多項式の新たな組合せ的解釈をもたらす。

ABSTRACT

In this note we generalize the convolution formula for the Tutte polynomial of Kook-Reiner-Stanton and Etienne-Las Vergnas to a more general setting that includes both arithmetic matroids and delta-matroids. As corollaries, we obtain new proofs of two positivity results for pseudo-arithmetic matroids and a combinatorial interpretation of the arithmetic Tutte polynomial at infinitely many points in terms of arithmetic flows and colorings. We also exhibit connections with a decomposition of Dahmen-Micchelli spaces and lattice point counting in zonotopes.

研究の動機と目的

• マトロイドを超えたより広いクラスの組合せ的構造へ Tutte 多項式の畳み込み公式を拡張すること。
• 算術的マトロイドおよびデルタマトロイドの Tutte 多項式に関する既知の結果を統一的かつ一般化すること。
• フローと彩色を用いた算術的 Tutte 多項式の新たな組合せ的解釈を提供すること。
• Tutte 多項式とゾノトープ内の格子点数え上げ、Dahmen–Micchelli 空間との関係を確立すること。
• 一般化された畳み込み枠組みを用いて、擬似算術的マトロイドにおけるある不変量の正の性質を証明すること。

提案手法

• 可換環へのランク関数および重複度関数を備えた有限集合として、ランク付き集合に重複度を導入する。
• 生成関数としての算術的 Tutte 関数 $\mathfrak{M}_M(x,y)$ および Tutte 関数 $\mathfrak{T}_M(x,y)$ を定義する。
• ランク付き集合に重複度を備えた構造を保つ制限および商の操作を定義する。
• 主な畳み込み公式を証明する：$\mathfrak{M}_M(x,y) = \sum_{A \subseteq M} \mathfrak{M}_{M|_A}(0,y) \mathfrak{T}_{M/A}(x,0)$ は、すべてのランク付き集合に重複度を備えた構造に対して成り立つ。
• 特殊化および組合せ的解釈を用いて、正の性質、フロー、彩色、ゾノトープに関する新しい結果を導出する。
• Dahmen–Micchelli 空間および Ehrhart 理論との関係を用いて、算術的 Tutte 多項式を幾何的文脈で解釈する。

実験結果

リサーチクエスチョン

• RQ1 Tutte 多項式の畳み込み公式は、マトロイドを超えて重複度を伴うより一般の組合せ的対象へ拡張可能か？
• RQ2 一般化された畳み込み公式は、算術的マトロイドおよびデルタマトロイドにどのような意味を持つのか？
• RQ3 フローと彩色を用いて、算術的 Tutte 多項式を無限個の点で組合せ的に解釈することは可能か？
• RQ4 Tutte 多項式とゾノトープ内の格子点数え上げとの間にどのような関係があるか？
• RQ5 この公式は、擬似算術的マトロイドにおける正の性質の結果をどのように新たな証明に導くか？

主な発見

• 一般化された畳み込み公式 $\mathfrak{M}_M(x,y) = \sum_{A \subseteq M} \mathfrak{M}_{M|_A}(0,y) \mathfrak{T}_{M/A}(x,0)$ は、算術的マトロイドおよびデルタマトロイドを含む、すべてのランク付き集合に重複度を備えた構造に対して成り立つ。
• この公式により、擬似算術的マトロイドにおける重複度関数の正の性質が、非負の項の和として表されることにより、新たな証明が得られる。
• $(2,1)$ における算術的 Tutte 多項式の値は、ゾノトープ内の整数点の数を数え、$(0,1)$ における値は相対内部の点数を数える。
• ゾノトープの頂点数は $ \mathfrak{T}_M(2,0) $ に等しく、これは関連する中心的超平面配置の領域数を数える。
• この公式により、算術的 Tutte 多項式と Ehrhart 理論との間の関係が確立され、$ \mathfrak{M}_X(1-p,1-q) $ は $ \chi^* $-多項式および $ \chi $-多項式を含む母関数として表される。
• 畳み込み公式により、$(1,0)$ における算術的 Tutte 多項式の解釈が、$ \mathcal{V}(X) $ におけるすべての $ p $ についての制限 $ X_p $ の Tutte 多項式の和として得られる。