[論文レビュー] 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-安定多項式のどの構造的性質が、その混合導関数に対する下界を保証するか？

主な発見

• すべての非負係数をもつ同次 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}$ が成り立つ。
• $p$ が二重確率行列 $J_n$ に対応する一次形式の積である場合、ヴァン・ダール・ヴァーゲンの予想が特殊ケースとして回復される。
• シュリューバー＝ヴァーリアンの予想は、主不等式の結果として一般化され、$k$-正則二部グラフに対しては $\left(\frac{k-1}{k}\right)^{(k-1)n}$ の下界が得られる。
• 証明は初等的かつ非計算的であり、AM/GM不等式と基本的な複素解析のみに依存する。
• 多項式の勾配の核空間の次元は正確に $n-1$ であり、これは不等式の構造的一致性を支持する。
• この結果により、組合せ論（恒等式）、行列論（混合判別式）、双曲的多項式の間の深い関係が、容量の概念を通じて確立される。