# Measurable versions of the Lovász Local Lemma and measurable graph colorings

@article{Bernshteyn2019MeasurableVO,
title={Measurable versions of the Lov{\'a}sz Local Lemma and measurable graph colorings},
author={Anton Bernshteyn},
year={2019}
}
In this paper we investigate the extent to which the Lov\'asz Local Lemma (an important tool in probabilistic combinatorics) can be adapted for the measurable setting. In most applications, the Lov\'asz Local Lemma is used to produce a function $f \colon X \to Y$ with certain properties, where $X$ is some underlying combinatorial structure and $Y$ is a (usually finite) set. Can this function $f$ be chosen to be Borel or $\mu$-measurable for some probability Borel measure $\mu$ on $X$ (assuming… Expand

#### Figures from this paper

On Baire measurable colorings of group actions
The field of descriptive combinatorics investigates to what extent classical combinatorial results and techniques can be made topologically or measure-theoretically well behaved. This paper examinesExpand
Building large free subshifts using the Local Lemma
Gao, Jackson, and Seward proved that every countably infinite group $\Gamma$ admits a nonempty free subshift $X \subseteq 2^\Gamma$. Here we strengthen this result by showing that free subshifts canExpand
Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms
A version of the Lovász Local Lemma that can be used to prove the existence of continuous colorings is developed and a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing is established. Expand
Measurable versions of Vizing's theorem
• Mathematics
• 2019
We establish two versions of Vizing's theorem for Borel multi-graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively $\Delta$ and $\pi$. The approximate'' versionExpand
Free Subshifts with Invariant Measures from the Lov\'asz Local Lemma
Gao, Jackson, and Seward (see arXiv:1201.0513) proved that every countably infinite group $\Gamma$ admits a nonempty free subshift $X \subseteq \{0,1\}^\Gamma$. Furthermore, a theorem of Seward andExpand
Borel fractional colorings of Schreier graphs
Let Γ be a countable group and let G be the Schreier graph of the free part of the Bernoulli shift Γ ý2Γ. We show that the Borel fractional chromatic number of G is equal to 1 over the measurableExpand
A short proof of Bernoulli disjointness via the local lemma
Recently, Glasner, Tsankov, Weiss, and Zucker showed that if $\Gamma$ is an infinite discrete group, then every minimal $\Gamma$-flow is disjoint from the Bernoulli shift $2^\Gamma$. Their proof isExpand
Borel version of the Local Lemma
• Mathematics
• 2016
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfyingExpand
Equivariant maps to subshifts whose points have small stabilizers
Let Γ be a countably infinite group. Given k P N, we use FreepkΓq to denote the free part of the Bernoulli shift action Γ ýkΓ. Seward and Tucker-Drob showed that there exists a free subshift S ĎExpand
On minimal actions of countable groups
• Mathematics
• 2018
Our purpose here is to review some recent developments in the theory of dynamical systems whose common theme is a link between minimal dynamical systems, certain Ramsey type combinatorial properties,Expand

#### References

SHOWING 1-10 OF 57 REFERENCES
BROOKS’ THEOREM FOR MEASURABLE COLORINGS
• Mathematics
• Forum of Mathematics, Sigma
• 2016
We generalize Brooks’ theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d\geqslant 3$ which contains no $(d+1)$ -cliques, then $G$ admits a ${\it\mu}$Expand
KŐNIG’S LINE COLORING AND VIZING’S THEOREMS FOR GRAPHINGS
• Mathematics
• Forum of Mathematics, Sigma
• 2016
The classical theorem of Vizing states that every graph of maximum degree $d$ admits an edge coloring with at most $d+1$ colors. Furthermore, as it was earlier shown by Kőnig, $d$ colors suffice ifExpand
A bound on measurable chromatic numbers of locally finite Borel graphs
• Mathematics
• 2016
A graph on a set X is an irreflexive, symmetric set G ⊆ X ×X. Such a graph is locally finite if every point has only finitely many G-neighbors. A (κ-)coloring of such a graph is a function c : X → κExpand
BOREL CHROMATIC NUMBERS
• Mathematics
• 1999
We study in this paper graph coloring problems in the context of descriptive set theory. We consider graphs G=(X, R), where the vertex set X is a standard Borel space (i.e., a complete separableExpand
Computable Følner monotilings and a theorem of Brudno
Abstract A theorem of Brudno says that the Kolmogorov–Sinai entropy of an ergodic subshift over $\mathbb {N}$ equals the asymptotic Kolmogorov complexity of almost every word in the subshift. TheExpand
Borel version of the Local Lemma
• Mathematics
• 2016
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfyingExpand
Nonrepetitive colorings of graphs
• Mathematics, Computer Science
• Random Struct. Algorithms
• 2002
This paper considers a natural generalization of Thue's sequences for colorings of graphs and shows that the Thue number stays bounded for graphs with bounded maximum degree, in particular, π (G) ≤ cΔ(G)2 for some absolute constant c. Expand
Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma
• Computer Science, Mathematics
• Fundam. Informaticae
• 2014
It is shown how the notion of a layerwise computable mapping can be used to prove a computable version of Lovasz local lemma. Expand
Improved bounds and algorithms for hypergraph 2-coloring
• Mathematics
• 2000
We show that for all large n, every n-uniform hypergraph with at most edges can be 2-colored. This makes progress on a problem of Erdos [Nordisk Mat. Tidskrift 11, 5–10 (1963)], improving theExpand
Expanders have a spanning Lipschitz subgraph with large girth
We show that every regular graph with good local expansion has a spanning Lipschitz subgraph with large girth and minimum degree. In particular, this gives a finite analogue of the dynamical solutionExpand