Path coupling using stopping times and counting independent sets and colorings in hypergraphs

  • Authors:
  • Magnus Bordewich;Martin Dyer;Marek Karpinski

  • Affiliations:
  • School of Computing, University of Leeds, Leeds LS2 9JT, UK;School of Computing, University of Leeds, Leeds LS2 9JT, UK;Department of Computer Science, University of Bonn, 53117 Bonn, Germany

  • Venue:
  • Random Structures & Algorithms
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

We analyse the mixing time of Markov chains using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics for independent sets in a hypergraph mixes rapidly as long as the maximum degree Δ of a vertex and the minimum size m of an edge satisfy m ≥ 2Δ + 1. We also show that the Glauber dynamics for proper q-colorings of a hypergraph mixes rapidly if m ≥ 4 and q Δ, and if m = 3 and q ≥ 1.65Δ. We give related results on the hardness of exact and approximate counting for both problems. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2008