arXiv++ Combinatorics

A graph $G$ is list $k$-critical if $G$ is not $(k-1)$-list-colorable, but every proper subgraph of $G$ is list $(k-1)$-list-colorable. In this paper, we study the function $f_{\ell}(n,k)$ denoting the minimum number of edges in an $n$-vertex list $k$-critical graph, as well as the function $g_{\ell}(k) = \liminf_{n \rightarrow \infty} \frac 2n (f_{\ell}(n,k) - k + 1)$. We show that for all $k \geq 4$ and $n \geq k+2$, every list $k$-critical graph on $n \geq k+2$ vertices has more than $(k-1+\frac 1{28}) \frac n2$ edges, which implies that $g_{\ell}(k) \geq \frac{1}{28}$ for all $k \geq 4$. This is the first result showing that $\liminf_{k \rightarrow \infty} g_{\ell}(k) > 0$. We also show that $g_{\ell}(k) \geq \frac{1}{24}$ for all $k \geq 352$. As a corollary to our result, we obtain the following improvement to Brooks' theorem: For all $d \geq 3$, if $G$ has no $K_{d+1}$ subgraph and has maximum average degree at most $d+\frac 1{28}$, then $G$ is $d$-list-colorable. All of our results hold in the setting of correspondence coloring (DP-coloring) as well. As a corollary of our correspondence coloring result, we also show that for each $d \geq 3$, a minimal unsatisfiable anti-functional constraint satisfaction problem (CSP) with variable domains of size $d$ has a primal graph either containing $K_{d+1}$ or with average degree at least $d+\frac 1{28}$.

The vertex arboricity $\mathrm{va}(G)$ of a multigraph $G$ is the minimum number $k$ for which $V(G)$ can be partitioned into $k$ subsets, each of which induces an acyclic subgraph of $G$. By definition, if $\mathrm{va}(G)= k$, then the chromatic number, $χ(G)$, satisfies $k\leq χ(G)\leq 2k$. Fundamental results by Borodin from 1976 and Bollobás and Manvel from 1979 imply an analog of Gallai's lower bound on the number of edges in a $(2k-1)$-critical graph. We consider a slight generalization of vertex arboricity in the setting of DP-coloring. Using this framework, we derive lower bounds on the number of edges in graphs critical for vertex arboricity and for list arboricity that are better than Gallai's bound, along with similar bounds in our DP-setting.

A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$. Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.

A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. We show that $k$-partite $k$-graphs of maximum degree $Δ$ are $q$-choosable for $q \geq \left(\frac{4}{5}(k-1 + o(1))Δ/\log Δ\right)^{1/(k-1)}$. Our proof yields an efficient randomized algorithm for finding such a coloring, which shows that the conjectured algorithmic barrier for coloring pseudorandom $k$-graphs does not apply to $k$-partite $k$-graphs.

T.-W. Chao and H.-H. H. Yu showed in 2023 that a graph with $R$ red, $G$ green, and $B$ blue edges has at most $\sqrt{2 RGB}$ rainbow triangles. They proved this bound using the entropy method. We give a computer-free flag-algebra proof of this bound, and we also convert our proof into a classical counting proof. The ideas in our proof lead to an even shorter entropy proof. We also show uniqueness of the extremal construction. Additionally, we prove a similar result that gives a sharp upper bound on the number of properly $3$-edge-colored $K_4$'s in graphs with $R$ red, $G$ green and $B$ blue edges.

A \emph{request} on a graph assigns a preferred color to a subset of the vertices. A graph $G$ is \emph{$ε$-flexibly $k$-choosable} if for every $k$-list assignment $L$ and every request $r$ on $G$, there is an $L$-coloring such that an $ε$-fraction of the requests are satisfied. This notion was introduced in 2019 by Dvořák, Norin, and Postle, who also proved important properties of flexible colorings and posed several natural problems. However, the weighted version of this problem is a special case of the much older problem of fractional hypergraph matchings, introduced by Lovász in 1975. We study flexibly DP-colorable multigraphs. We prove that every loopless multigraph with maximum average degree less than $3$ is $\frac{1}{5}$-flexibly DP $3$-colorable, except for an infinite family of multigraphs that we completely characterize. The constant $ε= \frac 15$ is best possible in the weighted setting, as shown by an infinite family of tight examples. Our result follows from a stronger statement in terms of potential. We also provide a family of graphs that gives a negative answer to a question by Dvořák, Norin, and Postle regarding flexibility for list coloring in the setting of DP-coloring.

In 2002, Vu conjectured that graphs of maximum degree $Δ$ and maximum codegree at most $ζΔ$ have chromatic number at most $(ζ+o(1))Δ$. Despite its importance, the conjecture has remained widely open. The only direct progress so far has been obtained in the ``dense regime,'' when $ζ$ is close to $1$, by Hurley, de Verclos, and Kang. In this paper we provide the first progress in the sparse regime $ζ\ll 1$, the case of primary interest to Vu. We show that there exists $ζ_0 > 0$ such that for all $ζ\in [\log^{-32}Δ,ζ_0]$, the following holds: if $G$ is a graph with maximum degree $Δ$ and maximum codegree at most $ζΔ$, then $χ(G) \leq (ζ^{1/32} + o(1))Δ$. We derive this from a more general result that assumes only that the common neighborhood of any $s$ vertices is bounded rather than the codegrees of pairs of vertices. Our more general result also extends to the list coloring setting, which is of independent interest.

We study the paintability, an on-line version of choosability, of complete multipartite graphs. We do this by considering an equivalent chip game introduced by Duraj, Gutowski, and Kozik. We consider complete multipartite graphs with $ n $ parts of size at most 3. Using a computational approach, we establish upper bounds on the paintability of such graphs for small values of $ n. $ The choosability of complete multipartite graphs is closely related to value $ p(n, m) $, the minimum number of edges in a $n$-uniform hypergraph with no panchromatic $m$-coloring. We consider an online variant of this parameter $ p_{OL}(n, m), $ introduced by Khuzieva et al. using a symmetric chip game. With this symmetric chip game, we find an improved upper bound for $ p_{OL}(n, m)$ when $m \geq 3$ and $n$ is large. Our method also implies a lower bound on the paintability of complete multipartite graphs with $m \geq 3$ parts of equal size.

An edge-coloring of a graph $G$ assigns a color to each edge of $G$. An edge-coloring is a parity edge-coloring if for each path $P$ in $G$, it uses some color on an odd number of edges in $P$. It is a strong parity edge-coloring if for every open walk $W$ in $G$, it uses some color an odd number of times along $W$. The minimum numbers of colors in parity and strong parity edge-colorings of $G$ are denoted $p(G)$ and $\hat{p}(G)$, respectively. We characterize strong parity edge-colorings and use this characterization to prove lower bounds on $\hat{p}(G)$ and answer several questions of Bunde, Milans, West, and Wu. The applications are as follows. (1) We prove the conjecture that $\hat{p}(K_{s,t})=s \circ t$, where $s \circ t$ is the Hopf-Stiefel function. (2) We show that $\hat{p}(G)$ for a connected $n$-vertex graph $G$ equals the known lower bound $\lceil \log_2 n \rceil$ if and only if $G$ is a subgraph of the hypercube $Q_{\lceil \log_2 n \rceil }$. (3) We asymptotically compute $\hat{p}(G)$ when $G$ is the $\ell$th distance-power of a path, proving $\hat{p}(P_n^\ell)\sim\ell \lceil {\log_2 n} \rceil$. (4) We disprove the conjecture that $\hat{p}(G)=p(G)$ when $G$ is bipartite by constructing bipartite graphs $G$ such that $\hat{p}(G)/p(G)$ is arbitrarily large; in particular, with $\hat{p}(G)\ge\frac{1-o(1)}3 k\ln k$ and $p(G)\le2k+k^{1/3}$.

A graph $G$ is $k$-critical (list $k$-critical, DP $k$-critical) if $χ(G)= k$ ($χ_\ell(G)= k$, $χ_\mathrm{DP}(G)= k$) and for every proper subgraph $G'$ of $G$, $χ(G')<k$ ($χ_\ell(G')< k$, $χ_\mathrm{DP}(G')<k$). Let $f(n, k)$ ($f_\ell(n, k), f_\mathrm{DP}(n,k)$) denote the minimum number of edges in an $n$-vertex $k$-critical (list $k$-critical, DP $k$-critical) graph. The main result of this paper is that if $n\geq 6$ and $n\not\in\{7,10\}$, then $$f_\mathrm{DP}(n,4)>\left(3 + \frac{1}{5} \right) \frac{n}{2}. $$ This is the first bound on $f_\mathrm{DP}(n,4)$ that is asymptotically better than the well-known bound $f(n,4)\geq \left(3 + \frac{1}{13} \right) \frac{n}{2}$ by Gallai from 1963. The result also yields a better bound on $f_{\ell}(n,4)$ than the one known before.

Alon and Krivelevich conjectured that if $G$ is a bipartite graph of maximum degree $Δ$, then the choosability (or list chromatic number) of $G$ satisfies $χ_{\ell}(G) = O \left ( \log Δ\right )$. Currently, the best known upper bound for $χ_{\ell}(G)$ is $(1 + o(1)) \fracΔ{\log Δ}$, which also holds for the much larger class of triangle-free graphs. We prove that for $\varepsilon = 10^{-3}$, every bipartite graph $G$ of sufficiently large maximum degree $Δ$ satisfies $χ_{\ell}(G) < (\frac{4}{5} -\varepsilon) \fracΔ{\log Δ}$. This improved upper bound suggests that list coloring is fundamentally different for bipartite graphs than for triangle-free graphs and hence gives a step toward solving the conjecture of Alon and Krivelevich.

A graph $G$ is $k$-critical (list $k$-critical, DP $k$-critical) if $χ(G)= k$ ($χ_\ell(G)= k$, $χ_\mathrm{DP}(G)= k$) and for every proper subgraph $G'$ of $G$, $χ(G')<k$ ($χ_\ell(G')< k$, $χ_\mathrm{DP}(G')<k$). Let $f(n, k)$ ($f_\ell(n, k), f_\mathrm{DP}(n,k)$) denote the minimum number of edges in an $n$-vertex $k$-critical (list $k$-critical, DP $k$-critical) graph. Our main result is that if $k\geq 5$ and $n\geq k+2$, then $$f_\mathrm{DP}(n,k)>\left(k - 1 + \left \lceil \frac{k^2 - 7}{2k-7} \right \rceil^{-1}\right)\frac{n}{2}.$$ This is the first bound on $f_\mathrm{DP}(n,k)$ that is asymptotically better than the well-known bound on $f(n,k)$ by Gallai from 1963. The result also yields a slightly better bound on $f_{\ell}(n,k)$ than the ones known before.

We consider the flexible list coloring problem, in which we have a graph $G$, a color list assignment $L:V(G) \rightarrow 2^{\mathbb N}$, and a set $U \subseteq V(G)$ of vertices such that each $u \in U$ has a preferred color $p(u) \in L(u)$. Given a constant $\varepsilon > 0$, the problem asks for an $L$-coloring of $G$ in which at least $\varepsilon |U|$ vertices in $U$ receive their preferred color. We use a method of reducible subgraphs to approach this problem. We develop a vertex-partitioning tool that, when used with a new reducible subgraph framework, allows us to define large reducible subgraphs. Using this new tool, we show that if $G$ has maximum average degree less than $\frac{11}{3}$, a list $L(v)$ of size $4$ at each $v \in V(G)$, and a set $U \subseteq V(G)$ of vertices with preferred colors, then there exists an $L$-coloring of $G$ for which at least $2^{-145} |U|$ vertices of $U$ receive their preferred color.

This paper considers the existence of short synchronizing words in deterministic finite automata (DFAs). We define two general strategies for generating synchronizing words, and we show that each of these strategies can be applied if and only if a DFA is synchronizable. Furthermore, we show that if a synchronizable DFA is well-structured, then our strategies generate short synchronizing words. The first of our strategies, called the cornering strategy, takes advantage of states in a DFA with properties similar to those of a polytope vertex. The second of our strategies, similar to the cornering strategy and called the $f$-ordered strategy, takes advantage of a partial order defined on the states of a DFA. We apply our cornering strategy to the class of difference DFAs, whose states form subsets of $\mathbb R^d$ and whose input symbols correspond to translation vectors between states. We show that difference DFAs share many similarities with aperiodic DFAs, and in particular, a difference DFA $M$ has a synchronizing word if and only if it has a universally reachable state. Using the cornering strategy, we also show that under certain conditions, such an $n$-state DFA $M$ has a synchronizing word of length at most $(n-1)^2$ and thereby satisfies Černý's conjecture. Using the $f$-ordered strategy, we also show that a synchronizable DFA whose states have a certain partial order that is preserved by a set of short words also has a short synchronizing word, and we consider several consequences of this result. Finally, we consider how the cornering strategy can be applied to the problem of synchronizing the product of two DFAs $M_1, M_2$ that share a common alphabet, and we show that the product $M_1 \times M_2$ often has a synchronizing word that is subquadratic in the number of states of $M_1 \times M_2$.

The online list coloring game is a two-player graph-coloring game played on a graph $G$ as follows. On each turn, a Lister reveals a new color $c$ at some subset $S \subseteq V(G)$ of uncolored vertices, and then a Painter chooses an independent subset of $S$ to which to assign $c$. As the game is played, the revealed colors at each vertex $v \in V(G)$ form a color set $L(v)$, often called a list. The paintability of $G$ measures the minimum value $k$ for which Painter has a strategy to complete a coloring of $G$ in such a way that $|L(v)| \leq k$ for each vertex $v \in V(G)$. The paintability of a graph is an upper bound for its list chromatic number, or choosability. The online list coloring game is a special case of the DP-painting game, which is defined similarly using the setting of DP-coloring. In the DP-painting game, the Lister reveals correspondence covers of a graph $G$ rather than colors, and the Painter chooses independent subsets of these covers. The DP-painting game has a parameter known as DP-paintability which is analogous to paintability. In this paper, we consider upper bounds for the paintability and DP-paintability of a graph $G$ with large maximum degree $Δ$ and chromatic number at most some fixed value $r$. We prove that the paintability of $G$ is at most $\left(1 - \frac{1}{4r+1} \right ) Δ+ 2$ and that the DP-paintability of $G$ is at most $Δ- Ω( \sqrt{Δ\log Δ})$. We prove our first upper bound using Alon-Tarsi orientations, and we prove our second upper bound by considering the strict type-$3$ degeneracy parameter recently introduced by Zhou, Zhu, and Zhu.

In the flexible list coloring problem, we consider a graph $G$ and a color list assignment $L$ on $G$, as well as a subset $U \subseteq V(G)$ for which each $u \in U$ has a preferred color $p(u) \in L(u)$. Our goal is to find a proper $L$-coloring $φ$ of $G$ such that $φ(u) = p(u)$ for at least $ε|U|$ vertices $u \in U$. We say that $G$ is $ε$-flexibly $k$-choosable if for every $k$-size list assignment $L$ on $G$ and every subset of vertices with coloring preferences, $G$ has a proper $L$-coloring that satisfies an $ε$ proportion of these coloring preferences. Dvořák, Norin, and Postle [Journal of Graph Theory, 2019] asked whether every $d$-degenerate graph is $ε$-flexibly $(d+1)$-choosable for some constant $ε= ε(d) > 0$. In this paper, we prove that there exists a constant $ε> 0$ such that every graph with maximum average degree less than $3$ is $ε$-flexibly $3$-choosable, which gives a large class of $2$-degenerate graphs which are $ε$-flexibly $(d+1)$-choosable. In particular, our results imply a theorem of Dvořák, Masařík, Musílek, and Pangrác [Journal of Graph Theory, 2020] stating that every planar graph of girth $6$ is $ε$-flexibly $3$-choosable for some constant $ε> 0$. To prove our result, we generalize the existing reducible subgraph framework traditionally used for flexible list coloring to allow reducible subgraphs of arbitrarily large order.

Given a graph $G$, an injective edge-coloring of $G$ is a function $ψ:E(G) \rightarrow \mathbb N$ such that if $ψ(e) = ψ(e')$, then no third edge joins an endpoint of $e$ and an endpoint of $e'$. The injective chromatic index of a graph $G$, written $χ_{inj}'(G)$, is the minimum number of colors needed for an injective edge coloring of $G$. In this paper, we investigate the injective chromatic index of certain classes of degenerate graphs. First, we show that if $G$ is a $d$-degenerate graph of maximum degree $Δ$, then $χ_{inj}'(G) = O(d^3 \log Δ)$. Next, we show that if $G$ is a graph of Euler genus $g$, then $χ_{inj}'(G) \leq (3+o(1))g$, which is tight when $G$ is a clique. Finally, we show that the oriented chromatic number of a graph is at most exponential in its injective chromatic index. Using this fact, we prove that the oriented chromatic number of a graph embedded on a surface of Euler genus $g$ has oriented chromatic number at most $O(g^{6400})$, improving the previously known upper bound of $2^{O(g^{\frac{1}{2} + ε})}$ and resolving a conjecture of Aravind and Subramanian.

Dvořák and Kawarabayashi [European Journal of Combinatorics, 2017] asked, what is the largest chromatic number attainable by a graph of treewidth $t$ with no $K_r$ subgraph? In this paper, we consider the fractional version of this question. We prove that if $G$ has treewidth $t$ and clique number $2 \leq ω\leq t$, then $χ_f(G) \leq t + \frac{ω- 1}{t}$, and we show that this bound is tight for $ω= t$. We also show that for each value $0 < c < \frac{1}{2}$, there exists a graph $G$ of a large treewidth $t$ and clique number $ω= \lfloor (1 - c)t \rfloor$ satisfying $χ_f(G) \geq t + 1 + \frac{1}{2}\log(1-2c) + o(1)$, which is approximately equal to the upper bound for small values $c$.

Given a graph $G$ with a set $F(v)$ of forbidden values at each $v \in V(G)$, an $F$-avoiding orientation of $G$ is an orientation in which $deg^+(v) \not \in F(v)$ for each vertex $v$. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F(v)| < \frac{1}{2} deg(v)$ for each $v \in V(G)$, then $G$ has an $F$-avoiding orientation, and they showed that this statement is true when $\frac{1}{2}$ is replaced by $\frac{1}{4}$. In this paper, we take a step toward this conjecture by proving that if $|F(v)| < \lfloor \frac{1}{3} deg(v) \rfloor$ for each vertex $v$, then $G$ has an $F$-avoiding orientation. Furthermore, we show that if the maximum degree of $G$ is subexponential in terms of the minimum degree, then this coefficient of $\frac{1}{3}$ can be increased to $\sqrt{2} - 1 - o(1) \approx 0.414$. Our main tool is a new sufficient condition for the existence of an $F$-avoiding orientation based on the Combinatorial Nullstellensatz of Alon and Tarsi.

In this paper, we consider covering graphs obtained by lifting a tree with a loop at each vertex as a voltage graph over a cyclic group. We generalize a tool of Hell, Nishiyama, and Stacho, known as the billiard strategy, for constructing Hamiltonian cycles in the covering graphs of paths. We show that our extended tool can be used to provide new sufficient conditions for the Hamiltonicity of covering graphs of trees that are similar to those of Batagelj and Pisanski and of Hell, Nishiyama, and Stacho. Next, we focus specifically on covering graphs obtained from trees lifted as voltage graphs over cyclic groups $\mathbb Z_p$ of large prime order $p$. We prove that for a given reflexive tree $T$ whose edge labels are assigned uniformly at random from a finite set, the corresponding lift is almost surely Hamiltonian for a large enough prime-ordered cyclic group $\mathbb Z_p$. Finally, we show that if a reflexive tree $T$ is lifted over a group $\mathbb Z_p$ of a large prime order, then for any assignment of nonzero elements of $\mathbb Z_p$ to the edges of $T$, the corresponding cover of $T$ has a large circumference.