A new asymptotic enumeration technique: the Lovász Local Lemma
نویسندگان
چکیده
Our previous paper [14] applied a general version of the Lovász Local Lemma that allows negative dependency graphs [11] to the space of random injections from an m-element set to an n-element set. Equivalently, the same story can be told about the space of random matchings in Kn,m. Now we show how the cited version of the Lovász Local Lemma applies to the space of random matchings in K2n. We also prove tight upper bounds that asymptotically match the lower bound given by the Lovász Local Lemma. As a consequence, we give new proofs to results on the enumeration of d-regular graphs. The tight upper bounds can be modified to the space of matchings in Kn,m, where they yield as application asymptotic formulas for permutation and Latin rectangle enumeration problems. As another application, we provide a new proof to the classical probabilistic result of Erdős [8] that showed the existence of graphs with arbitrary large girth and chromatic number. In addition to letting the girth and chromatic number slowly grow to infinity in terms of the number of vertices, we provide such a graph with a prescribed degree sequence, if the degree sequence satisfies some mild conditions. 1 Lovász Local Lemma with negative dependency graphs This is a sequel to our previous paper [14] and we use the same notations. Let A1, A2, . . . , An be events in a probability space. A negative dependency graph forA1, . . . , An is a simple graph on [n] satisfying Pr(Ai| ∧j∈S Aj) ≤ Pr(Ai), (1) This researcher was supported in part by the NSF DMS contract 07
منابع مشابه
An Algorithmic Proof of the Lopsided Lovász Local Lemma (simplified and condensed into lecture notes)
For any probability space and a collection of events we give an algorithmic proof of the Lovász Local Lemma if there is a resampling oracle for each event. The resampling oracles act as an abstraction layer that isolates the details of the proof from the details of the probability space. The number of resamplings performed by the algorithm is bounded by expressions similar to those obtained by ...
متن کاملUsing Lovász Local Lemma in the Space of Random Injections
The Lovász Local Lemma is known to have an extension for cases where independence is missing but negative dependencies are under control. We show that this is often the case for random injections, and we provide easy-to-check conditions for the non-trivial task of verifying a negative dependency graph for random injections. As an application, we prove existence results for hypergraph packing an...
متن کاملLovász Local Lemma: an algorithmic approach
Seit vielen Jahren wird die „klassische“ Erfüllbarkeit Boolescher Formeln, insbesondere in k-Konjunktiver-Normal-Form (k-KNF), unter einschränkenden Voraussetzungen untersucht. Einen wichtigen Beitrag hierzu lieferten in den 70er Jahren Lovász und Erdős mit dem Lovász Local Lemma [EL75], mithilfe dessen ohne größeren Aufwand die Erfüllbarkeit einer Booleschen Formel in k-KNF bestätigt werden ka...
متن کاملA remark on asymptotic enumeration of highest weights in tensor powers of a representation
We consider the semigroup $S$ of highest weights appearing in tensor powers $V^{otimes k}$ of a finite dimensional representation $V$ of a connected reductive group. We describe the cone generated by $S$ as the cone over the weight polytope of $V$ intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in $V^{otime...
متن کاملThe Repulsive Lattice Gas, the Independent-Set Polynomial, and the Lovász Local Lemma
We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovász local lemma in probabilistic combinatorics. We show that the conclusion of the Lovász local lemma holds for dependency graph G and probabilities {px} if and only if the independent-set polynomial for G is nonvanishing in the polydisc of radii {px}. Furthermore, we show that th...
متن کامل