Disjoint Decomposition of Markov Chains and Sampling Circuits in Cayley Graphs

Markov chain decomposition is a tool for analysing the convergence rate of a complicated Markov chain by studying its behaviour on smaller, more manageable pieces of the state space. Roughly speaking, if a Markov chain converges quickly to equilibrium when restricted to subsets of the state space, and if there is sufficient ergodic flow between the pieces, then the original Markov chain also must converge rapidly to equilibrium. We present a new version of the decomposition theorem where the pieces partition the state space, rather than forming a cover where pieces overlap, as was previously required. This new formulation is more natural and better suited to many applications. We apply this disjoint decomposition method to demonstrate the efficiency of simple Markov chains designed to uniformly sample circuits of a given length on certain Cayley graphs. The proofs further indicate that a Markov chain for sampling adsorbing staircase walks, a problem arising in statistical physics, is also rapidly mixing.

[1]  E. J. J. Rensburg,et al.  Collapsing and adsorbing polygons , 1998 .

[2]  Martin E. Dyer,et al.  Path coupling: A technique for proving rapid mixing in Markov chains , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[3]  Mark Jerrum,et al.  Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains , 1987, International Workshop on Graph-Theoretic Concepts in Computer Science.

[4]  N. Madras,et al.  Factoring graphs to bound mixing rates , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[5]  P. Tetali,et al.  Analyzing Glauber dynamics by comparison of Markov chains , 2000 .

[6]  Dana Randall,et al.  Sampling adsorbing staircase walks using a new Markov chain decomposition method , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[7]  Dana Randall,et al.  Markov Chain Algorithms for Planar Lattice Structures , 2001, SIAM J. Comput..

[8]  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..

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

[10]  Alistair Sinclair,et al.  Algorithms for Random Generation and Counting: A Markov Chain Approach , 1993, Progress in Theoretical Computer Science.

[11]  Martin Dyer,et al.  A more rapidly mixing Markov chain for graph colorings , 1998 .

[12]  Martin E. Dyer,et al.  Faster random generation of linear extensions , 1999, SODA '98.

[13]  Buks van Rensburg,et al.  Adsorbing staircase walks and staircase polygons , 1999 .

[14]  P. Diaconis,et al.  COMPARISON THEOREMS FOR REVERSIBLE MARKOV CHAINS , 1993 .

[15]  D. Randall,et al.  Markov chain decomposition for convergence rate analysis , 2002 .

[16]  D. Wilson Mixing times of lozenge tiling and card shuffling Markov chains , 2001, math/0102193.