Log-concave polynomials III: Mason's ultra-log-concavity conjecture for independent sets of matroids

Nima Anari,Kuikui Liu,Shayan Oveis Gharan,Cynthia Vinzant
DOI: https://doi.org/10.1090/proc/16724
IF: 0.9709
2024-03-21
Proceedings of the American Mathematical Society
Abstract: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.
mathematics, applied
What problem does this paper attempt to address?