Polynomials with the half-plane property and matroid theory

Abstract

A polynomial f is said to have the half-plane property if there is an open half-plane H, whose boundary contains the origin, such that f is non-zero whenever all the variables are in H. This paper answers several open questions regarding multivariate polynomials with the half-plane property and matroid theory. * We prove that the support of a multivariate polynomial with the half-plane property is a jump system. This answers an open question posed by Choe, Oxley, Sokal and Wagner and generalizes their recent result claiming that the same is true whenever the polynomial is also homogeneous. * We characterize multivariate multi-affine polynomial with real coefficients that have the half-plane property (with respect to the upper half-plane) in terms of inequalities. This is used to answer two open questions posed by Choe and Wagner regarding strongly Rayleigh matroids. * We prove that the Fano matroid is not the support of a polynomial with the half-plane property. This is the first instance of a matroid which does not appear as the support of a polynomial with the half-plane property and answers a question posed by Choe et al. We also discuss further directions and open problems.Comment: 17 pages. To appear in Adv. Mat

Negative dependence and the geometry of polynomials

“…To add to this list, in §3 we show that both the inequalities characterizing multi-affine real stable polynomials [8,9,15] and Hadamard-FischerKotelyansky type inequalities in matrix theory [28,40,39] may in fact be viewed as natural manifestations of negative dependence properties.…”

“…In particular, this allows us to prove several conjectures made by Liggett [55], Pemantle [65], and Wagner [72], respectively, and to recover and extend Lyons' main results [57] on negative association and stochastic domination for determinantal probability measures induced by positive contractions. Moreover, we define a partial order on the set of strongly Rayleigh measures (by means of the notion of proper position for multivariate stable polynomials studied in [7,8,9,15]) and use it to settle Pemantle's questions and conjectures on stochastic domination for truncations of "negatively dependent" measures [65].…”

The Lee‐Yang and Pólya‐Schur programs. II. Theory of stable polynomials and applications

“…From (4.7) and [13,Corollary 3.7] we deduce that λ(γ) > 0 for all ξ ≤ γ ≤ κ. The proposed formula (4.4) now follows by induction over k := |α| − |ξ|.…”

“…Recently, Lee-Yang like problems and techniques have appeared in various mathematical contexts such as combinatorics, complex analysis, matrix theory and probability theory [1,6,7,8,9,10,13,14,16,21,24,25,47,56,59]. The past decade has also been marked by important developments on other aspects of phase transitions, conformal invariance, percolation theory [27,29,55].…”

A Generalization of the Heine–Stieltjes Theorem

“…Property (1) is a direct consequence of Theorem 2.1 and the fact that the support of a stable polynomial forms a jump system, see [6,Theorem 3.2].…”