Fast Sampling of -Matchings and -Edge Covers
Abstract: For an integer , a -matching (resp. -edge cover) of a graph is a subset of edges such that every vertex is incident with at most (resp. at least) edges from . We prove that for any the simple Glauber dynamics for sampling (weighted) -matchings and -edge covers mixes in time on all -vertex bounded-degree graphs. This significantly improves upon previous results which have worse running time and only work for -matchings with and for -edge covers with . More generally, we prove spectral independence for a broad class of binary symmetric Holant problems with log-concave signatures, including -matchings, -edge covers, and antiferromagnetic $2$-spin edge models. We hence deduce optimal mixing time of the Glauber dynamics from spectral independence. The core of our proof is a recursive coupling inspired by (Chen and Zhang '23) which upper bounds the Wasserstein distance between distributions under different pinnings. Using a similar method, we also obtain the optimal mixing time of the Glauber dynamics for the hardcore model on -vertex bounded-degree claw-free graphs, for any fugacity . This improves over previous works which have at least cubic dependence on .
Paper Prompts
Sign up for free to create and run prompts on this paper.