[论文解读] Lorentzian polynomials on cones and the Heron-Rota-Welsh conjecture

Petter Brändén, Jonathan Leake|arXiv (Cornell University)|Oct 1, 2021

Advanced Combinatorial Mathematics参考文献 11被引用 5

一句话总结

本文提出了一种全新的、完全基于多项式的方法，证明了关于拟阵特征多项式对数凹性的Heron-Rota-Welsh猜想，该方法基于凸锥上Lorentzian多项式的扩展理论。关键贡献在于，不依赖Hodge理论，仅通过凸性和多元多项式微分性质，自包含地推导出拟阵Chow环的一阶Hodge-Riemann关系，从而通过凸分析确立了该猜想。

ABSTRACT

We give a short proof of the log-concavity of the coefficients of the reduced characteristic polynomial of a matroid. The proof uses an extension of the theory of Lorentzian polynomials to convex cones, and reproves the Hodge-Riemann relations of degree one for the Chow ring of a matroid.

研究动机与目标

• 提供一个自包含的、不依赖Hodge理论的证明，以确立拟阵特征多项式对数凹性的Heron-Rota-Welsh猜想。
• 将Lorentzian多项式的理论推广至一般凸锥，推广经典框架在正象限上的定义。
• 仅使用多项式与凸性技术，重新证明拟阵Chow环的一阶Hodge-Riemann关系。
• 建立Chow环体积多项式作为锥上Lorentzian多项式的全新刻画，将其与约化特征多项式联系起来。

提出的方法

• 将Lorentzian多项式的定义扩展至R^n中任意开凸锥，引入条件(P)与(H)，以保证混合导数的正定性与符号性质。
• 使用微分算子D_v分析齐次多项式及其Hessian矩阵，确保方向导数Hessian矩阵恰好有一个正特征值。
• 应用Perron-Frobenius定理于具有非负非对角线元素的不可约矩阵，以控制Hessian矩阵中特征值的符号。
• 将拟阵的Chow环定义为多项式环关于由对应平坦结构的二次单项式与线性形式生成的理想之商环。
• 通过旗的Chow环之间保持次数的同态，证明Chow环的体积多项式满足类似于约化特征多项式的递归恒等式。
• 通过归纳法与Euler恒等式，建立体积多项式与约化特征多项式之间的等价性，利用体积多项式在特定锥上为Lorentzian多项式的事实。

实验结果

研究问题

• RQ1 是否可以不借助Hodge理论，仅通过多项式凸性性质，证明拟阵特征多项式的对数凹性？
• RQ2 Lorentzian多项式理论应如何推广，以适用于超出正象限的凸锥？
• RQ3 拟阵Chow环的体积多项式是否满足与约化特征多项式相同的递归结构？
• RQ4 能否仅从锥上Lorentzian多项式的性质出发，推导出Chow环的一阶Hodge-Riemann关系？
• RQ5 拟阵Chow环的体积多项式是否在有效类锥上为Lorentzian多项式？这又对对数凹性意味着什么？

主要发现

• 本文证明了拟阵的约化特征多项式是对数凹的，通过一种全新的、完全基于多项式的证明方法，确认了Heron-Rota-Welsh猜想。
• 证明了拟阵Chow环的体积多项式（作为线性形式幂次上的归一化次数映射定义）等于约化特征多项式。
• 体积多项式满足一个递归恒等式：其在平坦子集F处关于零的偏导数，等于区间K<F与F<L上体积多项式的乘积。
• 在有效锥内部任意点处，体积多项式的Hessian矩阵恰好有一个正特征值，从而确认了一阶Hodge-Riemann关系。
• Lorentzian多项式在锥上的理论被扩展，使得无需依赖Poincaré对偶性或Hodge理论公理，即可直接证明对数凹性。
• 该证明自包含且不使用Hodge理论，为拟阵Chow环的一阶Hodge-Riemann关系提供了全新的、初等的证明路径。