[論文レビュー] Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds, Simpler Proofs and Algorithmic Applications

Leonid Gurvits|ArXiv.org|Oct 21, 2005

Polynomial and algebraic computation参考文献 26被引用数 6

ひとこと要約

この論文は、永久行列とマッチングに関するヴァン・ダール・ヴァーデンおよびシュライフェル＝ヴァーリアンの予想を統一的かつ強化する新しい双曲多項式フレームワークを導入する。POS-双曲多項式とロルの定理を活用することで、混合微分の鋭い下界を確立し、任意の固定された $ m $ に対して乗法的誤差 $ \frac{e^n}{n^m} $ の範囲内で永久行列を決定的多項式時間で近似可能であることを示す。これは従来の結果を改善し、証明を簡略化する。

ABSTRACT

Let $p(x_1,...,x_n) = p(X), X \in R^{n}$ be a homogeneous polynomial of degree $n$ in $n$ real variables, $e = (1,1,..,1) \in R^n$ be a vector of all ones . Such polynomial $p$ is called $e$-hyperbolic if for all real vectors $X \in R^{n}$ the univariate polynomial equation $P(te - X) = 0$ has all real roots $λ_{1}(X) \geq ... \geq λ_{n}(X)$ . The number of nonzero roots $|\{i :λ_{i}(X) eq 0 \}|$ is called $Rank_{p}(X)$ . A $e$-hyperbolic polynomial $p$ is called $POS$-hyperbolic if roots of vectors $X \in R^{n}_{+}$ with nonnegative coordinates are also nonnegative (the orthant $R^{n}_{+}$ belongs to the hyperbolic cone) and $p(e) > 0$ . Below $\{e_1,...,e_n\}$ stands for the canonical orthogonal basis in $R^{n}$. The main results states that if $p(x_1,x_2,...,x_n)$ is a $POS$-hyperbolic (homogeneous) polynomial of degree $n$, $Rank_{p} (e_{i}) = R_i$ and $ p(x_1,x_2,...,x_n) \geq \prod_{1 \leq i \leq n} x_i ; x_i > 0, 1 \leq i \leq n , $ then the following inequality holds $$ \frac{\partial^n}{\partial x_1...\partial x_n} p(0,...,0) \geq \prod_{1 \leq i \leq n} (\frac{G_{i} -1}{G_{i}})^{G_{i} -1} (G_i = \min(R_{i}, n+1-i)) . $$ This theorem is a vast (and unifying) generalization of as the van der Waerden conjecture on the permanents of doubly stochastic matrices as well Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs . The paper is (almost) self-contained, most of the proofs can be found in the {\bf Appendices}.

研究の動機と目的

• 双曲多項式を用いてヴァン・ダール・ヴァーデンおよびシュライフェル＝ヴァーリアンの予想を統一的かつ一般化すること。
• ロルの定理と双曲性の性質を用いて、これらの古典的結果のより単純で計算を伴わない証明を構築すること。
• 非負行列の永久行列を、改善された乗法的誤差境界内で決定的多項式時間で近似するアルゴリズムを開発すること。
• POS-双曲多項式の混合微分に対する新しい下界を確立することにより、既知の永久行列不等式を一般化すること。

提案手法

• 非負の係数と実根を持つ一変数制限を持つ $ e $-双曲および $ \mathrm{POS} $-双曲同次多項式を定義する。
• 多項式 $ p $ の容量 $ \mathrm{Cap}(p) $ を正のオルソント内での $ p(x) $ の下界として定義し、正値性と双曲性を保証する。
• 偏微分を用いて、次数を段階的に低くすることで、双曲性と容量を保ったまま、低次元の $ \mathrm{POS} $-双曲多項式に帰着する。
• 極化公式を用い、$ k = m\log_2 n $ の場合に $ O(n^{m+1}) $ 個のオракル呼び出しで高階微分を評価する。
• 双曲性コーンと実根の性質を活用し、ロルの定理を用いて混合微分の鋭い下界を導出する。
• 任意の固定された $ m $ に対して、$ \frac{e^n}{n^m} $ の乗法的誤差範囲内で $ n \times n $ 非負行列の永久行列を近似する決定的アルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 ヴァン・ダール・ヴァーデンおよびシュライフェル＝ヴァーリアンの予想は、双曲多項式を用いて一つの枠組みで統一可能か？
• RQ2 双曲多項式の性質を用いて、これらの予想に対するより単純で計算を伴わない証明を構築可能か？
• RQ3 POS-双曲多項式の混合微分に対する下界は鋭く一般化可能か？
• RQ4 改善された乗法的誤差で永久行列を近似する決定的多項式時間アルゴリズムを設計可能か？
• RQ5 偏微分と容量は、永久行列および混合判別式の鋭い境界を導出する上で果たす役割は何か？

主な発見

• 本論文は鋭い下界を確立する：$\frac{\partial^n}{\partial x_1 \cdots \partial x_n} p(0,\dots,0) \geq \prod_{i=1}^n \left(\frac{G_i - 1}{G_i}\right)^{G_i - 1}$、ここで $G_i = \min(R_i, n+1-i)$ かつ $R_i = \mathrm{Rank}_p(e_i)$。
• この下界は、$ p $ が一次形式の積である場合に、ヴァン・ダール・ヴァーデン予想（$\frac{n!}{n^n}$）およびシュライフェル＝ヴァーリアン予想（$(\frac{k-1}{k})^{(k-1)n}$）の特殊ケースとして一般化される。
• 証明は計算を伴わず、ロルの定理と双曲多項式の基本的性質のみに依拠しており、従来の複雑な議論を簡略化する。
• 本手法により、任意の $ n \times n $ 非負行列の永久行列を、任意の固定された $ m $ に対して乗法的誤差 $ \frac{e^n}{n^m} $ 範囲内で決定的多項式時間で近似するアルゴリズムが得られる。
• この下界はシュライフェルの元の下界を改善し、双曲フレームワークを用いて混合判別式や他の多重線形形式へと拡張可能である。
• 本アプローチは自己完結的であり、多重線形多項式および行列式多項式の両方に適用可能で、組合せ論と行列理論の間で結果を統一する。