[논문 리뷰] Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds, Simpler Proofs and Algorithmic Applications

Leonid Gurvits|ArXiv.org|2005. 10. 21.

Polynomial and algebraic computation참고 문헌 26인용 수 6

한 줄 요약

이 논문은 영구행렬과 매칭에 관한 반데르바르던 및 슈라이버-발리언 추측을 통합하고 강화하는 새로운 쌍곡다항식 프레임워크를 제안한다. $\mathrm{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}.

연구 동기 및 목표

• 쌍곡다항식을 사용하여 반데르바르던 및 슈라이버-발리언 추측을 통합하고 일반화하기.
• 롤레의 정리와 쌍곡성 성질을 활용하여 이러한 고전적 결과에 대한 더 간단하고 계산 기반이 아닌 증명을 제공하기.
• 비음수 행렬의 영구행렬을 개선된 승수 오차 범위 내에서 결정적 다항시간 알고리즘으로 근사하기.
• $\mathrm{POS}$-쌍곡다항식의 혼합 미분계수에 대한 새로운 하한을 확립하기.

제안 방법

• 비음수 계수와 실근을 갖는 일차원 제약 조건이 실근을 갖는 $e$-쌍곡다항식 및 $\mathrm{POS}$-쌍곡다항식 정의하기.
• 다항식 $p$의 용량 $\mathrm{Cap}(p)$를 양의 정사분면에서 $p(x)$의 하한으로 정의하여 양수성과 쌍곡성을 보장하기.
• 편미분을 통해 문제를 더 낮은 차수의 $\mathrm{POS}$-쌍곡다항식으로 점진적으로 축소시키며, 쌍곡성과 용량을 유지하기.
• 고차 미분계수를 평가하기 위해 $k = m\log_2 n$에 대해 $O(n^{m+1})$개의 오라클 호출을 사용하는 극성 공식 적용하기.
• 쌍곡성 원뿔과 실근성의 성질을 활용하여 롤레의 정리를 통해 혼합 미분계수에 대한 날카운 하한 유도하기.
• 임의의 고정된 $m$에 대해 $n \times n$ 비음수 행렬의 영구행렬을 승수 오차 범위 $\frac{e^n}{n^m}$ 내에서 근사하는 결정적 알고리즘 설계하기.

실험 결과

연구 질문

• RQ1 쌍곡다항식을 사용하여 반데르바르던 및 슈라이버-발리언 추측를 하나의 프레임워크로 통합할 수 있는가?
• RQ2 쌍곡다항식의 성질을 활용하여 이러한 추측에 대한 더 단순하고 계산 기반이 아닌 증명을 구성할 수 있는가?
• RQ3 $\mathrm{POS}$-쌍곡다항식의 혼합 미분계수에 대한 하한을 더 날카롭게 일반화할 수 있는가?
• RQ4 개선된 승수 오차 범위 내에서 영구행렬을 근사하는 결정적 다항시간 알고리즘을 설계할 수 있는가?
• RQ5 편미분과 용량은 영구행렬과 혼합 디스criminant에 대한 날카운 경계 유도에 어떤 역할을 하는가?

주요 결과

• 논문은 날카운 하한을 확립한다: $\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$ 비음수 행렬의 영구행렬을 승수 오차 범위 $\frac{e^n}{n^m}$ 내에서 근사하는 결정적 다항시간 알고리즘을 도출한다.
• 이 하한은 슈라이버의 원래 하한을 향상시키며, 쌍곡 프레임워크를 통해 혼합 디스criminant와 기타 다항형식으로 확장된다.
• 이 접근은 자가 포함적이며 다항형식과 행렬식 다항식 모두에 적용 가능하여 조합론과 행렬 이론 간의 결과를 통합한다.