[论文解读] Matroids and log-concavity

Matthias Lenz|arXiv (Cornell University)|Jun 15, 2011

Advanced Combinatorial Mathematics参考文献 19被引用 9

一句话总结

本文證明了Mason於1972年提出的猜想，即實可實現擬陣複形的$f$-向量是對數concave的，並利用Huh與Katz所建立的特徵多項式對數concave性作為基礎。證明透過將$f$-多項式與Tutte多項式連結，並運用zonotopal代數來關聯$f$-向量與特徵多項式，從而解決了組合擬陣理論中長期存在的猜想。

ABSTRACT

We show that f-vectors of matroid complexes of realisable matroids are log-concave. This was conjectured by Mason in 1972. Our proof uses the recent result by Huh and Katz who showed that the coefficients of the characteristic polynomial of a realisable matroid form a log-concave sequence. We also discuss the relationship between log-concavity of f-vectors and h-vectors of matroids. In the last section we explain the connection between zonotopal algebra and f-vectors and characteristic polynomials of matroids.

研究动机与目标

• 解決Mason於1972年提出的關於實可實現擬陣的$f$-向量對數concave性的猜想。
• 建立擬陣的$f$-多項式與其特徵多項式之間的關聯。
• 探討zonotopal代數在連結擬陣的$f$-向量與特徵多項式中的角色。
• 釐清$f$-向量、$h$-向量與擬陣運算（如加厚）之間的關係。
• 建立一個理解擬陣複形不變量的框架，透過多項式序列與Hilbert級數。

提出的方法

• 以Huh與Katz所證明的實可實現擬陣特徵多項式的對數concave性作為基礎輸入。
• 應用Brylawski所發現的$f$-多項式與Tutte多項式之間的關聯，將$f$-向量與擬陣不變量連結。
• 運用zonotopal代數來定義與擬陣向量表示相關的中心$\mathcal{P}$-空間與內部$\mathcal{P}$-空間。
• 利用zonotopal空間的Hilbert級數，透過Tutte多項式的取值來表達$f$-多項式與特徵多項式。
• 應用zonotopal代數中的對偶性，將$\mathcal{P}(X^*)$與$\mathcal{P}_-(X^*)$與Tutte多項式在特定點的取值連結。
• 建立等式$f_X(q) = (q+1)^r \cdot \mathrm{Hilb}(\mathcal{P}(X^*), 1/(q+1))$與$(-1)^r \chi_X(-q) = (q+1)^r \cdot \mathrm{Hilb}(\mathcal{P}_-(X^*), 1/(q+1))$，從而連結$f$-向量與特徵多項式。

实验结果

研究问题

• RQ1 實可實現擬陣的擬陣複形$f$-向量是否如Mason於1972年所猜想的那樣對數concave？
• RQ2 透過Tutte多項式與zonotopal代數，$f$-多項式與擬陣的特徵多項式之間有何關係？
• RQ3 實可實現擬陣的特徵多項式對數concave性是否可推出其$f$-向量的對數concave性？
• RQ4 zonotopal代數在編碼擬陣不變量（如$f$-向量與特徵多項式）中扮演何種角色？
• RQ5 擬陣運算（如加厚）如何影響$h$-向量與$f$-向量的對數concave性？

主要发现

• 實可實現擬陣的擬陣複形$f$-向量是對數concave的，從而確認了Mason的猜想。
• Huh與Katz所建立的實可實現擬陣特徵多項式的對數concave性，可推出$f$-向量的對數concave性。
• 實可實現擬陣的$f$-多項式等於$T_M(q+1,1)$，直接與Tutte多項式連結。
• 特徵多項式滿足$(-1)^r \chi_M(-q) = T_M(q+1,0)$，提供了$f$-多項式與特徵多項式之間的多項式層級連結。
• zonotopal代數提供了一個幾何與代數框架，其中$\mathcal{P}(X^*)$與$\mathcal{P}_-(X^*)$的Hilbert級數分別編碼了$f$-多項式與特徵多項式。
• 對於一般向量$x$，有$\mathcal{P}_-(X,x) = \mathcal{P}(X)$，顯示在一般延拓下內部與中心$\mathcal{P}$-空間重合，支持了$f$-向量與特徵多項式之間的代數連結。