[논문 리뷰] Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials : One Theorem for all

Leonid Gurvits|ArXiv.org|2007. 11. 22.

Functional Equations Stability Results참고 문헌 16인용 수 10

한 줄 요약

이 논문은 비음수 계수를 가진 동차 H-안정(편평한) 다항식에 대해 통합 불등식을 수립하며, 반드시 바르트만과 슈리프어-발리앙트 추측을 일반화한다. 능력 이론과 부분 미분에 의한 귀납법을 사용하여, 혼합 편도함수의 0에서의 값이 변수의 차수를 포함하는 항들의 곱으로 아래에서 유계임을 증명한다. 등호가 성립하는 경우는 영구행렬 최소화 행렬과 정규 이분 그래프에 해당한다.

ABSTRACT

Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) eq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory. The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$ This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms. Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.

연구 동기 및 목표

• 이중 스 tochastic 행렬의 영구행렬에 대한 반르트만 추측과 $k$-정규 이분 그래프에 대한 슈리프어-발리앙트 추측을 하나의 수학적 프레임워크 아래 통합하기 위해.
• 다변수 다항식에서 안정성(편평성)의 개념을 확장하여 최고차수 혼합 편도함수에 대한 일반적인 하한을 도출하기 위해.
• 기본 복소해석학과 산술기하 평균 부등식을 사용하여 기존 조합론 및 행렬 이론의 결과를 일반화하는 능력 기반 불등식을 수립하기 위해.
• 혼합 디스criminant와 영구행렬이 동일한 구조적 불등식에 의해 지배되는 더 넓은 동차 다항식의 특수한 경우임을 보여주기 위해.

제안 방법

• 동차 다항식 $p$의 능력을 $Cap(p) = \inf_{x_i > 0} \frac{p(x_1,\dots,x_n)}{x_1 \cdots x_n}$ 로 정의하여, 양수 스케일링 하에서의 최소값을 측정한다.
• H-안정성의 개념을 사용: 모든 $i$에 대해 $\operatorname{Re}(z_i) > 0$ 이면 $p(z_1,\dots,z_n) \neq 0$ 이다. 이는 편평성과 제어 이론과 연결된다.
• 편도함수에 의한 귀납법 적용: $p$가 H-안정적이고 동차이면, $q_2(x_1,x_2) = \frac{\partial^{n-2}}{\partial x_3 \cdots \partial x_n} p(x_1,x_2,0,\dots,0)$ 는 0이거나 H-안정적이다.
• 산술기하 평균 부등식과 복소수의 성질을 활용하여 혼합 편도함수를 능력과 변수의 차수에 따라 아래에서 유계로 제한한다.
• 변수 $C_i = \min(\deg_p(i), i)$ 를 정의하고 불등식 $\frac{\partial^n}{\partial x_1 \cdots \partial x_n} p(0,\dots,0) \geq Cap(p) \prod_{i=2}^n \left( \frac{C_i - 1}{C_i} \right)^{C_i - 1}$ 를 유도한다.
• 다항식의 그래เดียน트의 영공간 차원이 $n-1$ 임을 보여, 주 불등식을 뒷받침하는 구조적 제약 조건을 확인한다.

실험 결과

연구 질문

• RQ1 반르트만 추측과 슈리프어-발리앙트 추측은 더 넓은 다항식 클래스에 대해 하나의 불등식으로 통합될 수 있는가?
• RQ2 비음수 계수를 가진 동차 H-안정 다항식의 최고차수 혼합 편도함수의 최소값은 얼마인가?
• RQ3 편평성의 맥락에서 다항식의 능력과 혼합 편도함수 사이의 관계는 무엇인가?
• RQ4 능력 이론과 안정성 이론을 사용하여 슈리프어-발리앙트 추측의 증명을 단순화할 수 있는가?
• RQ5 H-안정 다항식의 어떤 구조적 성질이 혼합 도함수에 대한 하한을 보장하는가?

주요 결과

• 모든 비음수 계수를 가진 동차 H-안정 다항식에 대해 주 불등식 $\frac{\partial^n}{\partial x_1 \cdots \partial x_n} p(0,\dots,0) \geq Cap(p) \prod_{i=2}^n \left( \frac{C_i - 1}{C_i} \right)^{C_i - 1}$ 이 성립한다.
• 반르트만 추측은 다중 스 tochastic 행렬 $J_n$ 에 대응하는 일차형식의 곱인 $p$ 인 특수한 경우로 복원된다.
• 슈리프어-발리앙트 추측은 주 불등식의 결과로서 일반화되고 증명되며, $k$-정규 이분 그래프에 대해 bound $\left(\frac{k-1}{k}\right)^{(k-1)n}$ 이 성립한다.
• 증명은 간단하고 계산 기반이 아니며, 오로지 산술기하 평균 부등식과 기본 복소해석학에 의존한다.
• 다항식의 그래디언트의 영공간 차원은 정확히 $n-1$ 이며, 이는 불등식의 구조적 일관성을 뒷받침한다.
• 결과적으로 능력의 개념을 통해 조합론(영구행렬), 행렬 이론(혼합 디스criminant), 편평한 다항식 간의 깊은 연결 고리를 확립한다.