[논문 리뷰] Strict log-concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property

Takahiro Nagaoka, Akiko Yazawa|arXiv (Cornell University)|2019. 04. 03.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 8

한 줄 요약

이 논문은 모든 단순 그래프에 대해 킬란프 다항식의 엄격한 로그볼록성(strict log-concavity)을 증명함으로써, 완전 그래프의 킬란프 다항식의 헤시안 행렬식이 다항식 자체의 거듭제곱의 양수 배임을 보여주며, 이를 전형적 벡터 공간의 상대 불변량으로서의 실현을 활용한다. 주요 응용으로, 모든 그래픽 매트로이드에 관련된 아르틴ian 고파이드 알제브라에서 차수 1에서의 강력 레프셰츠 성질을 확인함으로써, 마에노와 누마타의 추측을 이 매트로이드 클래스로 확장한다.

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.

연구 동기 및 목표

• 단순 그래픽 매트로이드의 기저 생성 함수(킬란프 다항식)가 양의 육분면에서 엄격한 로그볼록성을 가지는지 판별하는 것.
• 아르틴ian 고파이드 대수와 관련된 그래픽 매트로이드의 막대-리만 이차형식과 그 비퇴화성(non-degeneracy)을 조사하는 것.
• M가 그래픽 매트로이드일 때, 대수 $ R^*_M $ 에서 차수 1에서의 강력 레프셰츠 성질을 검증함으로써 마에노와 누마타의 추측의 특수한 경우를 확인하는 것.

제안 방법

• 일반적인 단순 그래프에 대한 킬란프 다항식의 엄격한 로그볼록성을, 완전 그래프 $ K_{r+1} $ 의 킬란프 다항식의 헤시안에 대한 행렬식 항등식으로 환원한다.
• $ K_{r+1} $ 의 킬란프 다항식을 특정 $ GL_r(bC) $-표현에서의 유일한 기약 상대 불변량으로 식별함으로써, 전형적 벡터 공간으로서의 실현을 제공한다.
• 전형적 벡터 공간 이론의 일반 이론을 적용하여, 헤시안 행렬식이 원래 다항식의 거듭제곱의 상수배임을 보여준다.
• 상대 불변량의 유일성에 기반하여, $ \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} $ 이다.
• 엄격한 로그볼록성 조건을 헤시안의 비퇴화성으로 변환하고, 이를 통해 막대-리만 이차형식을 통해 강력 레프셰츠 성질을 확립한다.
• 헤시안 기준과 오일러 항등식을 적용하여, 킬란프 다항식의 방향 도함수들이 엄격한 동차 로그볼록성을 유지함을 보인다.

실험 결과

연구 질문

• RQ1 단순 그래프의 킬란프 다항식은 $ (\mathbb{R}_{>0})^n $ 에서 엄격한 로그볼록성을 가지는가?
• RQ2 완전 그래프의 킬란프 다항식의 헤시안은 특정 행렬식 항등식을 만족하는가?
• RQ3 M가 그래픽 매트로이드일 때, 아르틴ian 고파이드 대수 $ R^*_M $ 에서 차수 1에서의 강력 레프셰츠 성질을 확립할 수 있는가?
• RQ4 그래픽 매트로이드에 대해 $ R^1_\Gamma $ 에서 막대-리만 이차형식이 비퇴화적인가?
• 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 $ 가 정정의(positive definite)임을 의미한다.
• 완전 그래프 $ 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} $ 이다. 이는 전형적 벡터 공간 이론을 통해 엄격한 로그볼록성을 확립한다.
• $ R^1_\Gamma $ 에서 막대-리만 이차형식은 모든 단순 그래프 $ \Gamma $ 에 대해 비퇴화적이며, 헤시안 행렬의 고유값은 $ 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에서의 강력 레프셰츠 성질을 유지한다.