Hyperbolic Polynomials Approach to Van der Waerden/Schrijver-Valiant like Conjectures : Sharper Bounds, Simpler Proofs and Algorithmic Applications
Leonid Gurvits
Abstract
Let p(x1,...,xn) = p(X), X ∈ Rn be a homogeneous polynomial of degree n in n real variables, e = (1,1,..,1) ∈ Rn be a vector of all ones . Such polynomial p is called e-hyperbolic if for all real vectors X ∈ Rn the univariate polynomial equation P(te - X) = 0 has all real roots λ1(X) ≥ ... ≥ λn(X) . The number of nonzero roots |\i :λi(X) ≠ 0 \| is called Rankp(X) . A e-hyperbolic polynomial p is called POS-hyperbolic if roots of vectors X ∈ Rn+ with nonnegative coordinates are also nonnegative (the orthant Rn+ belongs to the hyperbolic cone) and p(e) > 0 . Below \e1,...,en\ stands for the canonical orthogonal basis in Rn. The main results states that if p(x1,x2,...,xn) is a POS-hyperbolic (homogeneous) polynomial of degree n, Rankp (ei) = Ri and p(x1,x2,...,xn) ≥ Π1 ≤ i ≤ n xi ; xi > 0, 1 ≤ i ≤ n , then the following inequality holds ∂n∂ x1...∂ xn p(0,...,0) ≥ Π1 ≤ i ≤ n (Gi -1Gi)Gi -1 (Gi = (Ri, 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 Appendices.
Create a lesson
Related papers
Graded Ehrhart theory for hypersimplices
Nathaniel Libman, Weston Miller
Closing the gap and settling the problem of queens on an n× n board, each attacking at most one other
Kristina Ago, Bojan Bašić, Radojka Ciganović
Leading term strandings for webs
Michael Bo, Madelyn Burns, Junyang Chen et al.
Refutation of the Non-Cancelling-Intersections Conjecture
Hermann Wilhelm
Asymptotic Bounds for Online Ramsey Numbers of Stars versus Long Paths and Cycles
Sam Beilis, Israel R. Curbelo, Elizabeth R. Koizumi
The Erdos--Gallai bound for consecutive even cycle lengths
Yaobin Chen, Hong Liu, Xia Wang et al.