Abstract:We study a variant of the down-up and up-down walks over an $n$-partite simplicial complex, which we call expanderized higher order random walks -- where the sequence of updated coordinates correspond to the sequence of vertices visited by a random walk over an auxiliary expander graph $H$. When $H$ is the clique, this random walk reduces to the usual down-up walk and when $H$ is the directed cycle, this random walk reduces to the well-known systematic scan Glauber dynamics. We show that whenever the usual higher order random walks satisfy a log-Sobolev inequality or a Poincaré inequality, the expanderized walks satisfy the same inequalities with a loss of quality related to the two-sided expansion of the auxillary graph $H$. Our construction can be thought as a higher order random walk generalization of the derandomized squaring algorithm of Rozenman and Vadhan. We show that when initiated with an expander graph our expanderized random walks have mixing time $O(n \log n)$ for sampling a uniformly random list colorings of a graph $G$ of maximum degree $\Delta = O(1)$ where each vertex has at least $(11/6 - \epsilon) \Delta$ and at most $O(\Delta)$ colors and $O\left( \frac{n \log n}{(1 - \| J\|)^2}\right)$ for sampling the Ising model with a PSD interaction matrix $J \in R^{n \times n}$ satisfying $\| J \| \le 1$ and the external field $h \in R^n$-- here the $O(\bullet)$ notation hides a constant that depends linearly on the largest entry of $h$. As expander graphs can be very sparse, this decreases the amount of randomness required to simulate the down-up walks by a logarithmic factor. We also prove some simple results which enable us to argue about log-Sobolev constants of higher order random walks and provide a simple and self-contained analysis of local-to-global $\Phi$-entropy contraction in simplicial complexes -- giving simpler proofs for many pre-existing results.

Random walks on simplicial complexes

Irreducibility of Markov Chains on simplicial complexes, the Spectrum of the Discrete Hodge Laplacian and Homology

Path Cohomology of Locally Finite Digraphs,Hodge's Theorem and the $p$-Lazy Random Walk

Expanderizing Higher Order Random Walks

Higher-order Connection Laplacians for Directed Simplicial Complexes

Critical groups of simplicial complexes

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

Maximally Persistent Cycles in Random Geometric Complexes

Random Simple-Homotopy Theory

Random walks with long-range steps generated by functions of Laplacian matrices

Random walks, Kleinian groups, and bifurcation currents

Biased continuous-time random walks with Mittag-Leffler jumps

Link Partitioning on Simplicial Complexes Using Higher-Order Laplacians

Topological Trajectory Classification and Landmark Inference on Simplicial Complexes

Facilitating Graph Neural Networks with Random Walk on Simplicial Complexes

Randomized simplicial sets

A confined random walk locally looks like tilted random interlacements

Sparse Cuts in Hypergraphs from Random Walks on Simplicial Complexes

Degree counts in random simplicial complexes of the preferential attachment type

Multi-Dimensional Cohomological Phenomena in the Multiparametric Models of Random Simplicial Complexes

Balanced Hodge Laplacians Optimize Consensus Dynamics over Simplicial Complexes