arXiv++ Combinatorics

In this paper we analyze a variant of the pursuit-evasion game on a graph $G$ where the intruder occupies a vertex, is allowed to move to adjacent vertices or remain in place, and is 'invisible' to the searcher, meaning that the searcher operates with no knowledge of the position of the intruder. On each stage, the searcher is allowed to inspect an arbitrary set of $k$ vertices. The minimum $k$ for which the searcher can guarantee the capture of the intruder is called the inspection number of $G$. We also introduce and study the topological inspection number, a quantity that captures the limiting behavior of the inspection number under subdivisions of $G$. Our central theorem provides a full classification of graphs with topological inspection number up to $3$.

The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lovász Local Lemma (the LLL for short), which was introduced by Erdős and Lovász in the mid-1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. We then give several applications in Borel and topological dynamics. * Seward and Tucker-Drob showed that every free Borel action $Γ\curvearrowright X$ of a countable group $Γ$ admits an equivariant Borel map $π\colon X \to Y$ to a free subshift $Y \subset 2^Γ$. We give a new simple proof of this result. * We show that for a countable group $Γ$, $\mathrm{Free}(2^Γ)$ is weakly contained, in the sense of Elek, in every free continuous action of $Γ$ on a zero-dimensional Polish space. This fact is analogous to the theorem of Abért and Weiss for probability measure-preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on $\mathrm{Free}(2^Γ)$ if and only if it can be solved on finite subgraphs of the Cayley graph of $Γ$ by an efficient deterministic distributed algorithm (this fact was also proved independently and using different methods by Seward). This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.

We construct a smooth locally finite Borel graph $G$ and a local coloring problem $Π$ such that $G$ has a coloring $V(G) \to \mathbb{N}$ that solves $Π$, but no such coloring can be Borel.

We present a deterministic distributed algorithm in the LOCAL model that finds a proper $(Δ+ 1)$-edge-coloring of an $n$-vertex graph of maximum degree $Δ$ in $\mathrm{poly}(Δ, \log n)$ rounds. This is the first nontrivial distributed edge-coloring algorithm that uses only $Δ+1$ colors (matching the bound given by Vizing's theorem). Our approach is inspired by the recent proof of the measurable version of Vizing's theorem due to Grebík and Pikhurko.

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lovász Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.

Hajnal and Szemerédi proved that if $G$ is a finite graph with maximum degree $Δ$, then for every integer $k \geqslant Δ+1$, $G$ has a proper coloring with $k$ colors in which every two color classes differ in size at most by $1$; such colorings are called equitable. We obtain an analog of this result for infinite graphs in the Borel setting. Specifically, we show that if $G$ is an aperiodic Borel graph of finite maximum degree $Δ$, then for each $k \geqslant Δ+ 1$, $G$ has a Borel proper $k$-coloring in which every two color classes are related by an element of the Borel full semigroup of $G$. In particular, such colorings are equitable with respect to every $G$-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable $Δ$-colorings of graphs with small average degree. Namely, we prove that if $Δ\geqslant 3$, $G$ does not contain a clique on $Δ+ 1$ vertices, and $μ$ is an atomless $G$-invariant probability measure such that the average degree of $G$ with respect to $μ$ is at most $Δ/5$, then $G$ has a $μ$-equitable $Δ$-coloring. As steps towards the proof of this result, we establish measurable and list coloring extensions of a strengthening of Brooks's theorem due to Kostochka and Nakprasit.

Recently, Glasner, Tsankov, Weiss, and Zucker showed that if $Γ$ is an infinite discrete group, then every minimal $Γ$-flow is disjoint from the Bernoulli shift $2^Γ$. Their proof is somewhat involved; in particular, it invokes separate arguments for different classes of groups. In this note, we give a short and self-contained proof of their result using purely combinatorial methods applicable to all groups at once. Our proof relies on the Lovász Local Lemma, an important tool in probabilistic combinatorics that has recently found several applications in the study of dynamical systems.

A difference basis with respect to $n$ is a subset $A \subseteq \mathbb{Z}$ such that $A - A \supseteq \{1, \ldots, n\}$. Rédei and Rényi showed that the minimum size of a difference basis with respect to $n$ is $(c+o(1))\sqrt{n}$ for some positive constant $c$. The best previously known lower bound on $c$ is $c \geqslant 1.5602\ldots$, which was obtained by Leech using a version of an earlier argument due to Rédei and Rényi. In this note we use Fourier-analytic tools to show that the Leech--Rédei--Rényi lower bound is not sharp.

In this paper we study hypergraphs definable in an algebraically closed field. Our goal is to show, in the spirit of the so-called transference principles in extremal combinatorics, that if a given algebraic hypergraph is "dense" in a certain sense, then a generic low-dimensional subset of its vertices induces a subhypergraph that is also "dense." (For technical reasons, we only consider low-dimensional subsets that are parameterized by rational functions.) Our proof approach is inspired by the hypergraph containers method, developed by Balogh, Morris, and Samotij and independently by Saxton and Thomason (although adapting this method to the algebraic setting presents some unique challenges that do not occur when working with finite hypergraphs). Along the way, we establish a natural generalization of the classical dimension of fibers theorem in algebraic geometry, which is interesting in its own right.

Let $Γ$ be a countably infinite group. A common theme in ergodic theory is to start with a probability measure-preserving (p.m.p.) action $Γ\curvearrowright (X, μ)$ and a map $f \in L^1(X, μ)$, and to compare the global average $\int f \,\mathrm{d}μ$ of $f$ to the pointwise averages $|D|^{-1} \sum_{δ\in D} f(δ\cdot x)$, where $x \in X$ and $D$ is a nonempty finite subset of $Γ$. The basic hope is that, when $D$ runs over a suitably chosen infinite sequence, these pointwise averages should converge to the global value for $μ$-almost all $x$. In this paper we prove several results that refine the above basic paradigm by uniformly controlling the averages over specific sets $D$ rather than considering their limit as $|D| \to \infty$. Our results include ergodic theorems for the Bernoulli shift action $Γ\curvearrowright ([0;1]^Γ, λ^Γ)$ and strengthenings of the theorem of Abért and Weiss that the shift is weakly contained in every free p.m.p. action of $Γ$. In particular, we establish a purely Borel version of the Abért--Weiss theorem for finitely generated groups of subexponential growth. The central role in our arguments is played by the recently introduced measurable versions of the Lovász Local Lemma, due to the current author and to Csóka, Grabowski, Máthé, Pikhurko, and Tyros.

Classical problems in hypergraph coloring theory are to estimate the minimum number of edges, $m_2(r)$ (respectively, $m^\ast_2(r)$), in a non-$2$-colorable $r$-uniform (respectively, $r$-uniform and simple) hypergraph. The best currently known bounds are \[c \cdot \sqrt{r/\log r} \cdot 2^r \,\leqslant\, m_2(r) \,\leqslant\, C \cdot r^2 \cdot 2^r \qquad \text{and} \qquad c' \cdot r^{-\varepsilon} \cdot 4^r \,\leqslant\, m_2^\ast(r) \,\leqslant\, C' \cdot r^4 \cdot 4^r,\] for any fixed $\varepsilon > 0$ and some $c$, $c'$, $C$, $C' > 0$ (where $c'$ may depend on $\varepsilon$). In this paper we consider the same problems in the context of DP-coloring (also known as correspondence coloring), which is a generalization of list coloring introduced by Dvořák and Postle and related to local conflict coloring studied independently by Fraigniaud, Heinrich, and Kosowski. Let $\tilde{m}_2(r)$ (respectively, $\tilde{m}^\ast_2(r)$) denote the minimum number of edges in a non-$2$-DP-colorable $r$-uniform (respectively, $r$-uniform and simple) hypergraph. By definition, $\tilde{m}_2(r) \leqslant m_2(r)$ and $\tilde{m}^\ast_2(r)\leqslant m^\ast_2(r)$. While the proof of the bound $m^\ast_2(r) = Ω( r^{-3} 4^r)$ due to Erdős and Lovász also works for $\tilde{m}^\ast_2(r)$, we show that the trivial lower bound $\tilde{m}_2(r) \geqslant 2^{r-1}$ is asymptotically tight, i.e., $\tilde{m}_2(r) \leqslant (1 + o(1))2^{r-1}$. On the other hand, when $r \geqslant 2$ is even, we prove that the lower bound $\tilde{m}_2(r) \geqslant 2^{r-1}$ is not sharp, i.e., $\tilde{m}_2(r) \geqslant 2^{r-1}+1$. Whether this result holds for any odd values of $r$ remains an open problem. Nevertheless, we conjecture that the difference $\tilde{m}_2(r) - 2^{r-1}$ can be arbitrarily large.

Gao, Jackson, and Seward proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq 2^Γ$. Here we strengthen this result by showing that free subshifts can be "large" in various senses. Specifically, we prove that for any $k \geqslant 2$ and $h < \log_2 k$, there exists a free subshift $X \subseteq k^Γ$ of Hausdorff dimension and, if $Γ$ is sofic, entropy at least $h$, answering two questions attributed by Gao, Jackson, and Seward to Juan Souto. Furthermore, we establish a general lower bound on the largest "size" of a free subshift $X'$ contained inside a given subshift $X$. A central role in our arguments is played by the Lovász Local Lemma, an important tool in probabilistic combinatorics, whose relevance to the problem of finding free subshifts was first recognized by Aubrun, Barbieri, and Thomassé.

Recently the breakthrough method of hypergraph containers, developed independently by Balogh, Morris, and Samotij as well as Saxton and Thomason, has been used to study sparse random analogs of a variety of classical problems from combinatorics and number theory. The previously known proofs of the containers theorem use the so-called scythe algorithm---an iterative procedure that runs through the vertices of the hypergraph. (Saxton and Thomason have also proposed an alternative, randomized construction in the case of simple hypergraphs.) Here we present the first known deterministic proof of the containers theorem that is not algorithmic, i.e., it does not involve an iterative process. Our proof is less than 4 pages long while being entirely self-contained and conceptually transparent. Although our proof is completely elementary, it was inspired by considering hypergraphs in the setting of nonstandard analysis, where there is a notion of dimension capturing the logarithmic rate of growth of finite sets. Before presenting the proof in full detail, we include a one-page informal outline that refers to this notion of dimension and summarizes the essence of the argument.

DP-coloring (also known as correspondence coloring) is a generalization of list coloring developed recently by Dvořák and Postle. In this paper we introduce and study the fractional DP-chromatic number $χ_{DP}^\ast(G)$. We characterize all connected graphs $G$ such that $χ_{DP}^\ast(G) \leqslant 2$: they are precisely the graphs with no odd cycles and at most one even cycle. By a theorem of Alon, Tuza, and Voigt, the fractional list-chromatic number $χ_\ell^\ast(G)$ of any graph $G$ equals its fractional chromatic number $χ^\ast(G)$. This equality does not extend to fractional DP-colorings. Moreover, we show that the difference $χ^\ast_{DP}(G) - χ^\ast(G)$ can be arbitrarily large, and, furthermore, $χ^\ast_{DP}(G) \geq d/(2 \ln d)$ for every graph $G$ of maximum average degree $d \geq 4$. On the other hand, we show that this asymptotic lower bound is tight for a large class of graphs that includes all bipartite graphs as well as many graphs of high girth and high chromatic number.

The field of descriptive combinatorics investigates the question, to what extent can classical combinatorial results and techniques be made topologically or measure-theoretically well-behaved? This paper examines a class of coloring problems induced by actions of countable groups on Polish spaces, with the requirement that the desired coloring be Baire measurable. We show that the set of all such coloring problems that admit a Baire measurable solution for a particular free action $α$ is complete analytic (apart from the trivial situation when the orbit equivalence relation induced by $α$ is smooth on a comeager set); this result confirms the "hardness" of finding a topologically well-behaved coloring. When $α$ is the shift action, we characterize the class of problems for which $α$ has a Baire measurable coloring in purely combinatorial terms; it turns out that closely related concepts have already been studied in graph theory with no relation to descriptive set theory. We remark that our framework permits a wholly dynamical interpretation (with colorings corresponding to equivariant maps to a given subshift), so this article can also be viewed as a contribution to generic dynamics.

The aim of this note is twofold. On the one hand, we present a streamlined version of Molloy's new proof of the bound $χ(G) \leq (1+o(1))Δ(G)/\ln Δ(G)$ for triangle-free graphs $G$, avoiding the technicalities of the entropy compression method and only using the usual "lopsided" Lovász Local Lemma (albeit in a somewhat unusual setting). On the other hand, we extend Molloy's result to DP-coloring (also known as correspondence coloring), a generalization of list coloring introduced recently by Dvořák and Postle.

DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle. Many known upper bounds for the list-chromatic number extend to the DP-chromatic number, but not all of them do. In this note we describe some unusual properties of DP-coloring that set it aside from list coloring. In particular, we give an example of a planar bipartite graph with DP-chromatic number $4$ and prove that the edge-DP-chromatic number of a $d$-regular graph with $d\geq 2$ is always at least $d+1$.

DP-coloring is a generalization of list coloring introduced recently by Dvořák and Postle. We prove that for every $n$-vertex graph $G$ whose chromatic number $χ(G)$ is "close" to $n$, the DP-chromatic number of $G$ equals $χ(G)$. "Close" here means $χ(G)\geq n-O(\sqrt{n})$, and we also show that this lower bound is best possible (up to the constant factor in front of $\sqrt{n}$), in contrast to the case of list coloring.

Gao, Jackson, and Seward (see arXiv:1201.0513) proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq \{0,1\}^Γ$. Furthermore, a theorem of Seward and Tucker-Drob (see arXiv:1402.4184) implies that every countably infinite group $Γ$ admits a free subshift $X \subseteq \{0,1\}^Γ$ that supports an invariant probability measure. Aubrun, Barbieri, and Thomassé (see arXiv:1507.03369) used the Lovász Local Lemma to give a short alternative proof of the Gao--Jackson--Seward theorem. Recently, Elek (see arXiv:1702.01631) followed another approach involving the Lovász Local Lemma to obtain a different proof of the existence of free subshifts with invariant probability measures for finitely generated sofic groups. Using the measurable version of the Lovász Local Lemma for shift actions established by the author (see arXiv:1604.07349), we give a short alternative proof of the existence of such subshifts for arbitrary groups. Moreover, we can find such subshifts in any nonempty invariant open set.

Correspondence coloring, or DP-coloring, is a generalization of list coloring introduced recently by Dvořák and Postle. In this paper we establish a version of Dirac's theorem on the minimum number of edges in critical graphs in the framework of DP-colorings. A corollary of our main result answers a question posed by Kostochka and Stiebitz on classifying list-critical graphs that satisfy Dirac's bound with equality.