[论文解读] Strict log-concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property

Takahiro Nagaoka, Akiko Yazawa|arXiv (Cornell University)|Apr 3, 2019

Advanced Combinatorial Mathematics参考文献 10被引用 8

一句话总结

本文通过证明完全图的基尔霍夫多项式的黑塞行列式是该多项式本身的正倍数（以幂的形式），并借助其作为预齐次向量空间的相对不变量的实现，建立了所有简单图的基尔霍夫多项式的严格对数凹性。作为关键应用，本文证实了任意图拟阵所关联的阿廷诺-戈伦斯坦代数在度数1处的强莱夫谢茨性质，将Maeno和Numata的猜想推广至此类拟阵。

ABSTRACT

Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log-concave. Our key observation is that the Kirchhoff polynomial {of a complete graph} can be seen as the (irreducible) relative invariant of a certain prehomogeneous vector space, which may be independently interesting in its own right. Furthermore, we prove that for any $a_i\in\mathbb{R}_{>0}$, $a_1x_1+\cdots+a_nx_n\in R^1_{M}$ satisfies the strong Lefschetz property (moreover, Hodge--Riemann bilinear relation) at degree one of the Artinian Gorenstein algebra $R^*_M$ associated to a graphic matroid $M$, which is defined by Maeno and Numata for all matroids.

研究动机与目标

• 确定简单图拟阵的基生成函数（即基尔霍夫多项式）在正象限上是否严格对数凹。
• 研究与图拟阵相关联的阿廷诺-戈伦斯坦代数中霍奇-罗宾 bilinear 形式及其非退化性。
• 验证当 $ M $ 为图拟阵时，代数 $ R^*_M $ 在度数1处的强莱夫谢茨性质，从而确认Maeno和Numata猜想的一个特例。

提出的方法

• 将一般简单图的基尔霍夫多项式的严格对数凹性问题约化为完全图 $ K_{r+1} $ 的基尔霍夫多项式黑塞行列式的行列式恒等式问题。
• 将 $ K_{r+1} $ 的基尔霍夫多项式识别为特定 $ GL_r(\bbC) $-表示的唯一不可约相对不变量，即预齐次向量空间。
• 应用预齐次向量空间的一般理论，证明黑塞行列式是原多项式的一个常数倍的幂。
• 利用相对不变量的唯一性，推导出恒等式 $ \det H_{F_{K_{r+1}}} = (-1)^{N-1} c_r F_{K_{r+1}}^{N-r-1} $，其中 $ c_r > 0 $，且 $ N = \binom{r+1}{2} $。
• 将严格对数凹性条件转化为黑塞矩阵的非退化性，并利用此性质通过霍奇-罗宾 bilinear 形式建立强莱夫谢茨性质。
• 应用黑塞准则和欧拉恒等式，证明基尔霍夫多项式的方向导数保持严格齐次对数凹性。

实验结果

研究问题

• RQ1 简单图的基尔霍夫多项式在 $ (\mathbb{R}_{>0})^n $ 上是否严格对数凹？
• RQ2 完全图的基尔霍夫多项式的黑塞矩阵是否满足特定的行列式恒等式？
• RQ3 当 $ M $ 为图拟阵时，是否可建立阿廷诺-戈伦斯坦代数 $ R^*_M $ 在度数1处的强莱夫谢茨性质？
• RQ4 图拟阵的 $ R^1_M $ 上的霍奇-罗宾 bilinear 形式是否非退化？
• RQ5 初等对称函数 $ e_{n-\nu} $ 是否在 $ x_1 + \cdots + x_n $ 处满足度数1的强莱夫谢茨性质？

主要发现

• 任意简单图 $ \Gamma $ 的基尔霍夫多项式 $ F_\Gamma $ 在 $ (\mathbb{R}_{>0})^n $ 上严格对数凹，即在每个 $ \bm{a} \in (\mathbb{R}_{>0})^n $ 处，矩阵 $ -F_\Gamma H_{F_\Gamma} + \nabla F_\Gamma (\nabla F_\Gamma)^T $ 是正定的。
• 对于完全图 $ K_{r+1} $，黑塞行列式满足 $ \det H_{F_{K_{r+1}}} = (-1)^{N-1} c_r F_{K_{r+1}}^{N-r-1} $，其中 $ c_r > 0 $，且 $ N = \binom{r+1}{2} $，通过预齐次向量空间理论确立了严格对数凹性。
• 任意简单图 $ \Gamma $ 的 $ R^1_\Gamma $ 上的霍奇-罗宾 bilinear 形式是非退化的，其黑塞矩阵具有 $ n-1 $ 个负特征值和一个正特征值。
• 对任意 $ \bm{a} \in (\mathbb{R}_{>0})^n $，线性形式 $ L_{\bm{a}} = a_1x_1 + \cdots + a_nx_n $ 在 $ R^*_\Gamma $ 中满足度数1的强莱夫谢茨性质，即乘法映射 $ L_{\bm{a}}^{r-2} $ 是从 $ R^1_\Gamma $ 到 $ R^{r-1}_\Gamma $ 的同构。
• 初等对称函数 $ e_{n-\nu}(x_1,\ldots,x_n) $（其中 $ 0 \leq \nu \leq n-2 $）满足度数1的强莱夫谢茨性质，且 $ x_1 + \cdots + x_n \in R^1_{e_{n-\nu}} $ 是一个强莱夫谢茨元素。
• 对所有 $ \ell \leq r-2 $，方向导数 $ \partial_{\bm{a}}^\ell F_\Gamma $ 在 $ \bm{a} \in (\mathbb{R}_{>0})^n $ 处保持严格齐次对数凹性，并保持度数1的强莱夫谢茨性质。