[论文解读] Hodge-Riemann relations for Potts model partition functions

Petter Brändén, June Huh|arXiv (Cornell University)|Nov 5, 2018

Advanced Combinatorial Mathematics参考文献 13被引用 13

一句话总结

该论文证明了在 0 < q ≤ 1 时，任意拟阵的多重变量 Tutte 多项式（或 q 状态 Potts 模型配分函数）在正象限上的 Hessian 矩阵恰好有一个正特征值。通过一种新颖的关于多项式导数的归纳论证，以及严格对数凹序列的性质，作者证明了一个 Hodge-Riemann 型关系，该关系蕴含了关于独立集计数对数凹性的 Mason 最强猜想，并证实了在此参数范围内 Potts 模型的负依赖性质。

ABSTRACT

We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0

研究动机与目标

• 解决 Mason 关于拟阵中独立集计数对数凹性的最强猜想。
• 在 0 < q ≤ 1 时，建立 q 状态 Potts 模型配分函数的负依赖性质。
• 在不依赖先前 Hodge 理论的前提下，为多重变量 Tutte 多项式提供一个自包含的 Hodge-Riemann 型关系证明。
• 证明对于 0 < q ≤ 1，任何非零部分导数的齐次多重变量 Tutte 多项式的 Hessian 矩阵在正象限上恰好有一个正特征值。
• 通过一种新的分析框架，统一并推广拟阵理论中关于对数凹性和单峰性的先前结果。

提出的方法

• 证明对于所有 w ∈ ℝ^{n+1}_{>0} 和 0 < q ≤ 1，齐次多重变量 Tutte 多项式 Z_M 的 Hessian 矩阵恰好有一个正特征值。
• 对 Z_M,c（一种具有严格对数凹系数的多重变量 Tutte 多项式的加权版本）的导数次数使用归纳法。
• 利用二次型不等式对恰好有一个正特征值的对称矩阵进行表征（引理 3）。
• 通过利用连续性及严格对数凹序列的逼近，建立 Z_M,c 的导数的非奇异性和一个正特征值性质。
• 利用齐次函数的欧拉公式，将 Hessian 二次型与 Z_M 的偏导数联系起来。
• 通过取 q → 0 的极限并应用连续性论证，推导出独立集生成函数的关键不等式。

实验结果

研究问题

• RQ1 在 0 < q ≤ 1 时，拟阵的多重变量 Tutte 多项式的 Hessian 矩阵在正象限上是否恰好有一个正特征值？
• RQ2 能否通过 Potts 模型配分函数的分析性质证明 Mason 关于独立集计数对数凹性的最强猜想？
• RQ3 当 0 < q ≤ 1 时，q 状态 Potts 模型配分函数是否表现出负依赖性？
• RQ4 能否在不依赖组合 Hodge 理论完整体系的前提下，建立多重变量 Tutte 多项式的 Hodge-Riemann 型关系？
• RQ5 Hessian 矩阵与独立集序列的超对数凹性之间的确切关系是什么？

主要发现

• 对于所有 w ∈ ℝ^{n+1}_{>0} 和 0 < q ≤ 1，齐次多重变量 Tutte 多项式 Z_M 的 Hessian 矩阵恰好有一个正特征值。
• 在相同条件下，Z_M,c（具有严格对数凹系数）的任意非零部分导数的 Hessian 矩阵是非奇异的，且恰好有一个正特征值。
• 当 0 < q ≤ 1 时，多重变量 Tutte 多项式的对数在 ℝ^{n+1}_{≥0} 上是凹的。
• Mason 猜想的最强形式成立：对所有 k 和 n 元拟阵 M，有 I_k(M)^2 ≥ (k+1)/k * (n−k+1)/(n−k) * I_{k−1}(M)I_{k+1}(M)。
• m 元独立集的生成函数 f^m_M(w) 满足：f^m_M(w)^2 / (n choose m)^2 ≥ f^{m+1}_M(w)/(n choose m+1) * f^{m−1}_M(w)/(n choose m−1)，对所有 w ∈ ℝ^n_{≥0} 成立。
• 当应用于 M 的简化形式时，该不等式得到加强，得到 f^m_M(w)^2 / (f^{m+1}_M(w)f^{m−1}_M(w)) ≥ (ℓ choose m)^2 / ((ℓ choose m+1)(ℓ choose m−1))，其中 ℓ 是秩为一的平面数。