Log-Concave Polynomials IV: Exchange Properties, Tight Mixing Times, and Faster Sampling of Spanning Trees

04/15/2020
by   Nima Anari, et al.
0

We prove tight mixing time bounds for natural random walks on bases of matroids, determinantal distributions, and more generally distributions associated with log-concave polynomials. For a matroid of rank k on a ground set of n elements, or more generally distributions associated with log-concave polynomials of homogeneous degree k on n variables, we show that the down-up random walk, started from an arbitrary point in the support, mixes in time O(klog k). Our bound has no dependence on n or the starting point, unlike the previous analyses [ALOV19, CGM19], and is tight up to constant factors. The main new ingredient is a property we call approximate exchange, a generalization of well-studied exchange properties for matroids and valuated matroids, which may be of independent interest. Additionally, we show how to leverage down-up random walks to approximately sample spanning trees in a graph with n edges in time O(nlog^2 n), improving on the almost-linear time algorithm by Schild [Sch18]. Our analysis works on weighted graphs too, and is the first to achieve nearly-linear running time.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/20/2020

Isotropy and Log-Concave Polynomials: Accelerated Sampling and High-Precision Counting of Matroid Bases

We define a notion of isotropy for discrete set distributions. If μ is a...
research
11/05/2018

Log-Concave Polynomials II: High-Dimensional Walks and an FPRAS for Counting Bases of a Matroid

We use recent developments in the area of high dimensional expanders and...
research
03/14/2019

Modified log-Sobolev inequalities for strongly log-concave distributions

We show that the modified log-Sobolev constant for a natural Markov chai...
research
05/02/2023

The independence polynomial of trees is not always log-concave starting from order 26

An independent set in a graph is a collection of vertices that are not a...
research
11/05/2018

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 conje...
research
04/06/2022

Optimal Sublinear Sampling of Spanning Trees and Determinantal Point Processes via Average-Case Entropic Independence

We design fast algorithms for repeatedly sampling from strongly Rayleigh...

Please sign up or login with your details

Forgot password? Click here to reset