[论文解读] 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

一句话总结

本文通過證明CW複形的著色與流擬多項式可作為Tutte擬多項式的特化而建立Tutte經典定理的高維類比，從而統一代數拓撲與算術組合學中的不變量。此外，本文證明細胞生成樹計數中扭量乘法函數的平方定義了一個算術擬量綱，從而確認一個猜想，並確保修改後的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多項式代數結構的問題。
• 建立細胞擬量綱上扭量乘法函數的平方為有效算術乘法函數。
• 證明修改後的TKR多項式為具有非負係數的算術Tutte多項式。
• 證明在固定擬量綱上，算術擬量綱的集合在乘法函數下形成交換幺半群。

提出的方法

• 證明有限偏序集中乘積函數的Möbius變換的一般定理，該定理可特化為算術乘法函數。
• 將偏序集理論結果應用於證明在擬量綱上，兩個算術乘法函數的乘積仍為算術乘法函數。
• 透過在特定參數下的取值，識別出CW複形的流與著色擬多項式為Tutte擬多項式的特化。
• 利用CW複形的邊界矩陣在ℤ上定義的細胞擬量綱，以建立相關的算術結構。
• 證明修改後的TKR多項式源自具有乘法函數$t_j^2$的擬量綱的算術Tutte多項式。
• 透過證明$t_j^2$為有效算術乘法函數，確立修改後TKR多項式係數的非負性。

实验结果

研究问题

• RQ1 CW複形的著色與流擬多項式能否表達為單一通用多項式的特化，類比於圖的Tutte定理？
• RQ2 細胞擬量綱上扭量乘法函數$t_j$的平方是否為算術乘法函數，從而確保修改後的TKR多項式為算術Tutte多項式？
• RQ3 在固定基礎擬量綱上，算術擬量綱的集合在乘法函數下是否形成交換幺半群？
• RQ4 修改後的Tutte–Krushkal–Renhardy多項式係數是否非負，如其結構所示？
• RQ5 CW複形的不變量如何與算術擬量綱及擬多項式理論相關？

主要发现

• CW複形的著色與流擬多項式為Tutte擬多項式的特化，並有明確參數化：$\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)$為細胞擬量綱$\mathcal{M}_j(C)$在乘法函數$t_j^2$下的算術Tutte多項式，從而確認其正性與擬量綱來源。
• 扭量乘法函數$t_j(S)$為算術擬量綱的乘法函數，其平方$t_j^2(S)$亦為有效乘法函數，此由乘積定理證明。
• 修改後TKR多項式的係數為非負，因其為算術Tutte多項式之係數。
• Tutte擬多項式理論統一了CW複形、算術擬量綱與錐體組合學的不變量，表明這些皆為單一通用對象的特化。