[论文解读] Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials : One Theorem for all

Leonid Gurvits|ArXiv.org|Nov 22, 2007

Functional Equations Stability Results参考文献 16被引用 10

一句话总结

本文为具有非负系数的齐次 H-稳定（双曲）多项式建立了一个统一的不等式，该不等式同时推广了范德瓦尔登猜想与施里弗-瓦利安特猜想。通过容量理论与基于偏微分的归纳法，证明了在零点处的混合偏导数下界由涉及变量次数的乘积项给出，等号成立情形对应于永久最小化矩阵与正则二分图。

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.

研究动机与目标

• 在单一数学框架下统一范德瓦尔登关于双随机矩阵永久值的猜想与施里弗-瓦利安特关于 $k$-正则二分图的猜想。
• 将多元多项式中稳定性（双曲性）的概念扩展，以推导最高阶混合偏导数的一般下界。
• 建立一个基于容量的不等式，仅使用基本复分析与 AM/GM 不等式，推广组合数学与矩阵论中的已知结果。
• 证明混合判别式与永久值是受同一结构不等式支配的更广泛齐次多项式类的特例。

提出的方法

• 将齐次多项式 $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)$ 要么为零，要么是 H-稳定。
• 利用 AM/GM 不等式与复数的性质，将混合偏导数从下界用容量与变量次数表示。
• 定义 $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-稳定多项式的哪些结构性质能确保其混合导数的下界？

主要发现

• 主不等式 $\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}$ 对所有具有非负系数的齐次 H-稳定多项式均成立。
• 当 $p$ 是对应于双随机矩阵 $J_n$ 的线性形式乘积时，范德瓦尔登猜想作为特例被恢复。
• 施里弗-瓦利安特猜想被推广并作为主不等式的推论得到证明，对 $k$-正则二分图的界为 $\left(\frac{k-1}{k}\right)^{(k-1)n}$。
• 证明过程简洁且非计算性，仅依赖于 AM/GM 不等式与基本复分析。
• 多项式梯度的零空间维数恰好为 $n-1$，支持了该不等式的结构性一致性。
• 该结果通过容量概念在组合数学（永久值）、矩阵论（混合判别式）与双曲多项式之间建立了深刻联系。