[論文レビュー] Colorings and flows on CW complexes, Tutte quasi-polynomials and arithmetic matroids

Emanuele Delucchi, Luca Moci|arXiv (Cornell University)|Feb 13, 2016

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

この論文は、Tutteの古典的定理の高次元版を確立し、CW複体の彩色およびフローの準多項式が、Tutteの準多項式の特殊化として生じることを示すことにより、代数的トポロジーと算術的組合せ論の不変量を統一する。さらに、細胞的スパニングツリー列挙における torsion 重み関数の平方が算術的マトロイドを定めることが証明され、予想が確認され、修正された Tutte–Krushkal–Renhardy 多項式の係数が非負であることが保証される。

ABSTRACT

In this note we provide a higher-dimensional analogue of Tutte's celebrated theorem on colorings and flows of graphs, by showing that the theory of arithmetic Tutte polynomials and quasi-polynomials encompasses invariants defined for CW complexes by Beck-Breuer-Godkin-Martin and Duval-Klivans-Martin. Furthermore, we answer a question by Bajo-Burdick-Chmutov, concerning the modified Tutte-Krushkal-Renhardy polynomials defined by these authors: to this end, we prove that the product of two arithmetic multiplicity functions on a matroid is again an arithmetic multiplicity function.

研究の動機と目的

• Tutteの準多項式を用いて、グラフの彩色およびフロー不変量の高次元版を統一する。
• Bajo–Burdick–Chmutov が提起した、修正された Tutte–Krushkal–Renhardy 多項式の代数的構造に関する問題を解決する。
• 細胞的マトロイド上の torsion 重み関数の平方が、有効な算術的重み関数を定めることを確立する。
• 修正された TKR 多項式が非負係数を持つ算術的 Tutte 多項式であることを示す。
• 固定されたマトロイド上での算術的マトロイドの集合が、重み関数の乗法のもとで可換モノイドをなすこと

提案手法

• 有限の順序半順序集合上の積関数の Möbius 変換に関する一般定理を証明し、それが算術的重み関数に特殊化されることを示す。
• 順序半順序集合論的結果を応用し、マトロイド上での二つの算術的重み関数の積が再び算術的重み関数であることを示す。
• CW複体のフローおよび彩色の準多項式が、特定のパrameter での評価により Tutte 準多項式の特殊化として識別されることを示す。
• CW複体の境界行列によって定義される ℤ 上の細胞的マトロイドを用いて、関連する算術的構造を定義する。
• 修正された TKR 多項式が、重み関数 $t_j^2$ を持つマトロイドの算術的 Tutte 多項式から生じることを示す。
• 重み関数 $t_j^2$ が有効な算術的重み関数であることを証明することで、修正された TKR 多項式の係数が非負であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 CW複体の彩色およびフローの準多項式は、Tutteの定理がグラフに適用されるのと同様に、単一の普遍的多項式の特殊化として表現可能か？
• RQ2 細胞的マトロイド上での torsion 重み関数 $t_j$ の平方は、算術的重み関数であるか。その結果、修正された TKR 多項式が算術的 Tutte 多項式であることが保証されるか？
• RQ3 固定された基本マトロイド上での算術的マトロイドの集合は、重み関数の乗法のもとで可換モノイドをなすか？
• RQ4 修正された Tutte–Krushkal–Renhardy 多項式の係数は非負であるか。その構造が示唆する通りか？
• RQ5 CW複体の不変量は、算術的マトロイドおよび準多項式の理論とどのように関係するか？

主な発見

• CW複体の彩色およびフローの準多項式は、Tutte 準多項式の特殊化であり、明示的なパrameter 化が与えられる：$\chi_C(q) = (-1)^{\operatorname{rk} \partial} q^{|C_{d-1}| - \operatorname{rk} \partial} Q_\partial(1-q, 0)$ および $\chi^*_C(q) = (-1)^{|C_d| - \operatorname{rk} \partial} Q_\partial(0, 1-q)$。
• マトロイド上での二つの算術的重み関数の積は再び算術的重み関数である。これにより、固定されたマトロイド上での算術的マトロイドの集合に可換モノイド構造が定まる。
• 修正された $j$-番目の Tutte–Krushkal–Renhardy 多項式 $M^j_C(x,y)$ は、重み関数 $t_j^2$ を持つ細胞的マトロイド $\mathcal{M}_j(C)$ の算術的 Tutte 多項式であり、その正値性およびマトロイド的起源が確認される。
• torsion 重み関数 $t_j(S)$ は算術的マトロイドの重み関数であり、その平方 $t_j^2(S)$ も有効な重み関数である。これは積の定理により証明される。
• 修正された TKR 多項式の係数は非負であり、それらは算術的 Tutte 多項式の係数であるため。
• Tutte 準多項式の理論は、CW複体の不変量、算術的マトロイド、およびゾノトープ的組合せ論の不変量を統一し、これらがすべて同一の普遍的対象の特殊化であることを示している。