BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

The Local Cut Lemma Bernshteyn, Anton


The entropy compression method is an algorithmic technique that was invented by Moser and Tardos in order to give an effective proof of the Lovász Local Lemma (the LLL for short). It turns out that avoiding the LLL and applying the entropy compression method directly can lead to improvements, sometimes significant, in combinatorial bounds. The Local Cut Lemma (the LCL for short) is a generalization of the LLL that implies these new combinatorial results. It hides technical parts of the method and thus makes the arguments simpler and shorter. Although the LCL was inspired by the entropy compression method, it has a direct probabilistic proof (similar to the classical proof of the LLL); in particular, it not only shows that a certain probability is positive, but also gives an explicit lower bound for that probability. In this talk, we will discuss the LCL and some of its applications, as well as its connections with the entropy compression.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International