Abstract:We study algebraic properties of partition functions, particularly the location of zeros, through the lens of rapidly mixing Markov chains. The classical Lee-Yang program initiated the study of phase transitions via locating complex zeros of partition functions. Markov chains, besides serving as algorithms, have also been used to model physical processes tending to equilibrium. In many scenarios, rapid mixing of Markov chains coincides with the absence of phase transitions (complex zeros). Prior works have shown that the absence of phase transitions implies rapid mixing of Markov chains. We reveal a converse connection by lifting probabilistic tools for the analysis of Markov chains to study complex zeros of partition functions. Our motivating example is the independence polynomial on $k$-uniform hypergraphs, where the best-known zero-free regime has been significantly lagging behind the regime where we have rapidly mixing Markov chains for the underlying hypergraph independent sets. Specifically, the Glauber dynamics is known to mix rapidly on independent sets in a $k$-uniform hypergraph of maximum degree $\Delta$ provided that $\Delta \lesssim 2^{k/2}$. On the other hand, the best-known zero-freeness around the point $1$ of the independence polynomial on $k$-uniform hypergraphs requires $\Delta \le 5$, the same bound as on a graph. By introducing a complex extension of Markov chains, we lift an existing percolation argument to the complex plane, and show that if $\Delta \lesssim 2^{k/2}$, the Markov chain converges in a complex neighborhood, and the independence polynomial itself does not vanish in the same neighborhood. In the same regime, our result also implies central limit theorems for the size of a uniformly random independent set, and deterministic approximation algorithms for the number of hypergraph independent sets of size $k \le \alpha n$ for some constant $\alpha$.

A transient Markov chain with finitely many cutpoints

The Invariance Principle for Some Class of Markov Chains

Characterization of cutoff for reversible Markov chains

Cutoff for mixtures of permuted Markov chains: reversible case

Random walk on sparse random digraphs

The Key Renewal Theorem for a Transient Markov Chain

Cutpoints of (1,2) and (2,1) random walks on the lattice of positive half line

Cutoff for mixtures of permuted Markov chains: general case

Markov chains revisited

Locally Markov walks on finite graphs

Markov chains on trees: almost lower and upper directed cases

Cutpoints for Random Walks on Quasi-Transitive Graphs

The critical Branching Markov Chain is transient

Cutting down trees with a Markov chainsaw

Some properties of Markov chains on the free group $\mathbb F_2$

Decisive Markov Chains

Proof of the Diaconis--Freedman Conjecture on partially-exchangeable processes

Phase Transitions via Complex Extensions of Markov Chains

Markov chains, CAT(0) cube complexes, and enumeration: monotone paths in a strip mix slowly

On a Markov construction of couplings

Metastability of finite state Markov chains: a recursive procedure to identify slow variables for model reduction