English

A proof of hyperbolic van der Waerden conjecture : the right generalization is the ultimate simplification

Combinatorics 2007-05-23 v3 Optimization and Control

Abstract

Consider a homogeneous polynomial p(z1,...,zn)p(z_1,...,z_n) of degree nn in nn complex variables . Assume that this polynomial satisfies the property : \\ p(z1,...,zn)1inRe(zi)|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i) on the domain {(z1,...,zn):Re(zi)0,1in}\{(z_1,...,z_n) : Re(z_i) \geq 0, 1 \leq i \leq n \} . \\ We prove that nz1...znpn!nn|\frac{\partial^n}{\partial z_1...\partial z_n} p | \geq \frac{n!}{n^n} . Our proof is relatively short and self-contained (i.e. we only use basic properties of hyperbolic polynomials). As the van der Waerden conjecture for permanents, proved by D.I. Falikman and G.P. Egorychev, as well Bapat's conjecture for mixed discriminants, proved by the author, are particular cases of this result. We also prove so called "small rank" lower bound (in the permanents context it corresponds to sparse doubly-stochastic matrices, i.e. with small number of non-zero entries in each column). The later lower bound generalizes (with simpler proofs) recent lower bounds by A.Schrijver for the number of perfect matchings of kk-regular bipartite graphs. We present some important algorithmic applications of the result, including a polynomial time deterministic algorithm approximating the permanent of n×nn \times n nonnegative entry-wise matrices within multiplicative factor ennm\frac{e^n}{n^m} for any fixed positive mm .

Keywords

Cite

@article{arxiv.math/0504397,
  title  = {A proof of hyperbolic van der Waerden conjecture : the right generalization is the ultimate simplification},
  author = {Leonid Gurvits},
  journal= {arXiv preprint arXiv:math/0504397},
  year   = {2007}
}

Comments

15 pages, preliminary (still) version . A subsection on generalizations (with simpler proofs) of recent lower bounds by A.Schrijver for the number of perfect matchings of $k$-regular bipartite graphs

R2 v1 2026-07-22T17:18:19.974Z