[論文レビュー] 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

ひとこと要約

本稿では、単純グラフのすべてのKirchhoff多項式の厳密な対数凹型性を、完全グラフのKirchhoff多項式のヘッセ行列式がその多項式自体の正のべき乗の定数倍であることを示すことにより確立する。これは、その多項式が前置型ベクトル空間の相対不変量として実現可能であることに基づく。主な応用として、任意のグラフィックマトロイドに付随するArtinian Gorenstein代数の1次元における強いLefschetz性質が確認され、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.

研究の動機と目的

• 単純グラフィックマトロイドの基底生成関数（Kirchhoff多項式）が正のオルソントに於いて厳密に対数凹型であるかどうかを特定すること。
• グラフィックマトロイドに付随するArtinian Gorenstein代数の文脈において、ホッジ＝リーマン双一次形式の非退化性を調査すること。
• M がグラフィックマトロイドであるとき、代数 $ R^*_M $ における1次元における強いLefschetz性質を検証することにより、MaenoとNumataの予想の特殊ケースを確認すること。

提案手法

• 一般の単純グラフにおけるKirchhoff多項式の厳密な対数凹型性を、完全グラフ $ K_{r+1} $ のKirchhoff多項式のヘッセ行列に関する行列式の恒等式に還元する。
• 特定の $ GL_r(\bbC) $-表現としての $ K_{r+1} $ のKirチホフ多項式を、唯一の既約相対不変量として特定する。これは、前置型ベクトル空間を意味する。
• 前置型ベクトル空間の一般理論を適用し、ヘッセ行列式が元の多項式のべき乗の定数倍であることを示す。
• 相対不変量の一意性を用いて、$ \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} $ である。
• 厳密な対数凹型性条件をヘッセ行列の非退化性に翻訳し、これによりホッジ＝リーマン双一次形式を介して強いLefschetz性質を確立する。
• ヘッセ行列の基準とオイラーの恒等式を用いて、Kirchhoff多項式の方向微分が厳密な同次対数凹型性を保つことを示す。

実験結果

リサーチクエスチョン

• RQ1 単純グラフのKirchhoff多項式は $ (\mathbb{R}_{>0})^n $ 上で厳密に対数凹型か？
• RQ2 完全グラフのKirchhoff多項式のヘッセ行列は特定の行列式恒等式を満たすか？
• RQ3 M がグラフィックマトロイドであるとき、Artinian Gorenstein代数 $ R^*_M $ における1次元における強いLefschetz性質を確立できるか？
• RQ4 グラフィックマトロイドにおいて、$ R^1_\Gamma $ 上のホッジ＝リーマン双一次形式は非退化か？
• RQ5 基本対称関数 $ e_{n-\nu} $ は $ x_1 + \cdots + x_n $ に対して1次元における強いLefschetz性質を満たすか？

主な発見

• 任意の単純グラフ $ \Gamma $ のKirchhoff多項式 $ 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 $ 上のホッジ＝リーマン双一次形式は非退化であり、ヘッセ行列は $ n-1 $ 個の負の固有値と1つの正の固有値を持つ。
• $ \bm{a} \in (\mathbb{R}_{>0})^n $ に対して、線形形式 $ L_{\bm{a}} = a_1x_1 + \cdots + a_nx_n $ は、$ R^*_\Gamma $ において1次元における強いLefschetz性質を満たす。すなわち、$ 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次元における強いLefschetz性質を満たす。ここで $ x_1 + \cdots + x_n \in R^1_{e_{n-\nu}} $ は強いLefschetz元である。
• $ \bm{a} \in (\mathbb{R}_{>0})^n $ に対して、方向微分 $ \partial_{\bm{a}}^\ell F_\Gamma $ は $ \ell \leq r-2 $ に対して、$ \bm{a} $ において厳密な同次対数凹型であり、1次元における強いLefschetz性質を保つ。