Modified log-Sobolev inequalities for strong-Rayleigh measures

We establish universal modified log-Sobolev inequalities for reversible Markov chains on the boolean lattice $\{0,1\}^n$, under the only assumption that the invariant law $\pi$ satisfies a form of negative dependence known as the \emph{stochastic covering property}. This condition is strictly weaker than the strong Rayleigh property, and is satisfied in particular by all determinantal measures, as well as any product measure over the set of bases of a balanced matroid. In the special case where $\pi$ is $k-$homogeneous, our results imply the celebrated concentration inequality for Lipschitz functions due to Pemantle \& Peres (2014). As another application, we deduce that the natural Monte-Carlo Markov Chain used to sample from $\pi$ has mixing time at most $kn\log\log\frac{1}{\pi(x)}$ when initialized in state $x$. This considerably improves upon the $kn\log\frac{1}{\pi(x)}$ estimate recently obtained under stronger assumptions by Anari, Oveis Gharan \& Rezaei (2016).

[1]  Nima Anari,et al.  Monte Carlo Markov Chain Algorithms for Sampling Strongly Rayleigh Distributions and Determinantal Point Processes , 2016, COLT.

[2]  Horng-Tzer Yau,et al.  Spectral gap and logarithmic Sobolev inequality for Kawasaki and Glauber dynamics , 1993 .

[3]  Eric Vigoda,et al.  Elementary bounds on Poincaré and log-Sobolev constants for decomposable Markov chains , 2004, math/0503537.

[4]  M. Ledoux Concentration of measure and logarithmic Sobolev inequalities , 1999 .

[5]  Gábor Lugosi,et al.  Concentration Inequalities , 2008, COLT.

[6]  Justin Salez,et al.  1 . 2 Zero-range dynamics Introduced by Spitzer , 2019 .

[7]  Nima Anari,et al.  Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids , 2018, ArXiv.

[8]  Ravi Montenegro,et al.  Mathematical Aspects of Mixing Times in Markov Chains , 2006, Found. Trends Theor. Comput. Sci..

[9]  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).

[10]  Johan Jonasson,et al.  Negative Dependence in Sampling , 2012 .

[11]  Heng Guo,et al.  Modified log-Sobolev Inequalities for Strongly Log-Concave Distributions , 2019, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS).

[12]  Mark Jerrum,et al.  Spectral gap and log-Sobolev constant for balanced matroids , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[13]  V. Climenhaga Markov chains and mixing times , 2013 .

[14]  M. Ledoux,et al.  Concentration of measure and logarithmic Sobolev inequalities , 1999 .

[15]  S. Bobkov,et al.  Modified Logarithmic Sobolev Inequalities in Discrete Settings , 2006 .

[16]  Prasad Tetali,et al.  Lattice Path Matroids: Negative Correlation and Fast Mixing , 2015, 1505.06710.

[17]  M. Sammer ASPECTS OF MASS TRANSPORTATION IN DISCRETE CONCENTRATION INEQUALITIES , 2005 .

[18]  Pierre Youssef,et al.  Matrix Poincaré inequalities and concentration , 2019, 1910.13797.

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

[20]  June Huh,et al.  Hodge-Riemann relations for Potts model partition functions , 2018, 1811.01696.

[21]  David G. Wagner,et al.  Rayleigh Matroids , 2006, Comb. Probab. Comput..

[22]  P. Diaconis,et al.  LOGARITHMIC SOBOLEV INEQUALITIES FOR FINITE MARKOV CHAINS , 1996 .

[23]  Tomás Feder,et al.  Balanced matroids , 1992, STOC '92.

[24]  Prasad Tetali,et al.  Concentration on the Discrete Torus Using Transportation , 2009, Comb. Probab. Comput..

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

[26]  Nima Anari,et al.  Log-concave polynomials II: high-dimensional walks and an FPRAS for counting bases of a matroid , 2018, STOC.

[27]  James Oxley,et al.  WHAT IS A MATROID , 2014 .

[28]  Gustavo Posta,et al.  Entropy dissipation estimates in a zero-range dynamics , 2004 .

[29]  Yuval Peres,et al.  Concentration of Lipschitz Functionals of Determinantal and Other Strong Rayleigh Measures , 2011, Combinatorics, Probability and Computing.