Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids

We give a self-contained proof of the strongest version of Mason's conjecture, namely that for any matroid the sequence of the number of independent sets of given sizes is ultra log-concave. To do this, we introduce a class of polynomials, called completely log-concave polynomials, whose bivariate restrictions have ultra log-concave coefficients. At the heart of our proof we show that for any matroid, the homogenization of the generating polynomial of its independent sets is completely log-concave.

[1]  Jeff Kahn,et al.  Negative correlation and log-concavity , 2010 .

[2]  D. Welsh,et al.  Combinatorial applications of an inequality from statistical mechanics , 1975, Mathematical Proceedings of the Cambridge Philosophical Society.

[3]  Jeff Kahn,et al.  A strong log-concavity property for measures on Boolean algebras , 2009, J. Comb. Theory, Ser. A.

[4]  Botong Wang,et al.  Correlation bounds for fields and matroids , 2018, Journal of the European Mathematical Society.

[5]  Nima Anari,et al.  Log-Concave Polynomials, Entropy, and a Deterministic Approximation Algorithm for Counting Bases of Matroids , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[6]  T. A. Dowling.  On the Independent Set Numbers of a Finite Matroid , 1980 .

[7]  T. Liggett,et al.  Negative dependence and the geometry of polynomials , 2007, 0707.2340.

[8]  R. Pemantle.  Towards a theory of negative dependence , 2000, math/0404095.

[9]  The Geometry of Matroids , 2018, Notices of the American Mathematical Society.

[10]  June Huh,et al.  Log-concavity of characteristic polynomials and the Bergman fan of matroids , 2011, 1104.2519.

[11]  Carolyn Mahoney.  On the unimodality of the independent set numbers of a class of matroids , 1985, J. Comb. Theory, Ser. B.

[12]  Yahya Ould Hamidoune,et al.  On the independence numbers of a matroid , 1989, J. Comb. Theory, Ser. B.

[13]  Matthias Lenz,et al.  The f-vector of a representable-matroid complex is log-concave , 2013, Adv. Appl. Math..

[14]  Leonid Gurvits,et al.  On multivariate Newton-like inequalities , 2008, 0812.3687.

[15]  D. Wagner,et al.  Negatively Correlated Random Variables and Mason’s Conjecture for Independent Sets in Matroids , 2006, math/0602648.

[16]  Karim A. Adiprasito,et al.  Hodge theory for combinatorial geometries , 2015, Annals of Mathematics.