arXiv++ Combinatorics

We prove that the entropy compression method systematized by L. Esperet and A. Parreau [11] can be applied to any problem formulated in the variable version of the Lovász Local Lemma. As an application, we prove the existence of legitimate colorings for projective planes with small orders, which extends results of N. Alon and Z. Füredi [2]. In fact, we allow different numbers of colors, proving that projective planes of any order can be legitimate colored with 42 colors.

We calculate the exact number of contours of size $n$ containing a fixed vertex in $d$-ary trees and provide sharp estimates for this number for more general trees. We also obtain a characterization of the locally finite trees with infinitely many contours of the same size containing a fixed vertex.

An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.