Moser-Tardos Algorithm: Beyond Shearer's Bound

by   Kun He, et al.

In a seminal paper (Moser and Tardos, JACM'10), Moser and Tardos developed a simple and powerful algorithm to find solutions to combinatorial problems in the variable Lovász Local Lemma (LLL) setting. Kolipaka and Szegedy (STOC'11) proved that the Moser-Tardos algorithm is efficient up to the tight condition of the abstract Lovász Local Lemma, known as Shearer's bound. A fundamental problem around LLL is whether the efficient region of the Moser-Tardos algorithm can be further extended. In this paper, we give a positive answer to this problem. We show that the efficient region of the Moser-Tardos algorithm goes beyond the Shearer's bound of the underlying dependency graph, if the graph is not chordal. Otherwise, the dependency graph is chordal, and it has been shown that Shearer's bound exactly characterizes the efficient region for such graphs (Kolipaka and Szegedy, STOC'11; He, Li, Liu, Wang and Xia, FOCS'17). Moreover, we demonstrate that the efficient region can exceed Shearer's bound by a constant by explicitly calculating the gaps on several infinite lattices. The core of our proof is a new criterion on the efficiency of the Moser-Tardos algorithm which takes the intersection between dependent events into consideration. Our criterion is strictly better than Shearer's bound whenever the intersection exists between dependent events. Meanwhile, if any two dependent events are mutually exclusive, our criterion becomes the Shearer's bound, which is known to be tight in this situation for the Moser-Tardos algorithm (Kolipaka and Szegedy, STOC'11; Guo, Jerrum and Liu, JACM'19).


page 1

page 2

page 3

page 4


Quantum Lovász Local Lemma: Shearer's Bound is Tight

Lovász Local Lemma (LLL) is a very powerful tool in combinatorics and pr...

Variable Version Lovász Local Lemma: Beyond Shearer's Bound

A tight criterion under which the abstract version Lovász Local Lemma (a...

The Lovász Local Lemma is Not About Probability

Given a collection of independent events each of which has strictly posi...

Generalizing the Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma

Recently, Brandt, Maus and Uitto [PODC'19] showed that, in a restricted ...

On the stab number of rectangle intersection graphs

We introduce the notion of stab number and exact stab number of rectangl...

An interactive version of Lovász local lemma: Arthur and Merlin implement Moser's algorithm

Assume we are given (finitely many) mutually independent variables and (...

An interactive version of the Lovász local lemma

Assume we are given (finitely many) mutually independent variables and (...

Please sign up or login with your details

Forgot password? Click here to reset