arXiv++ Combinatorics

A $k$-uniform hypergraph $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that every edge in $E$ contains precisely one vertex from each $V_i$. We call such a graph $n$-balanced if $|V_i| = n$ for each $i$. An independent set $I$ in $H$ is balanced if $|I\cap V_i| = |I\cap V_j|$ for each $1 \leq i, j \leq k$, and a coloring is balanced if each color class induces a balanced independent set in $H$. In this paper, we provide a lower bound on the balanced independence number $α_b(H)$ in terms of the average degree $D = |E|/n$, and an upper bound on the balanced chromatic number $χ_b(H)$ in terms of the maximum degree $Δ$. Our results recover those of recent work of Chakraborti for $k = 2$.

Let $G$ be a multigraph and $L\,:\,E(G) \to 2^\mathbb{N}$ be a list assignment on the edges of $G$. Suppose additionally, for every vertex $x$, the edges incident to $x$ have at least $f(x)$ colors in common. We consider a variant of local edge-colorings wherein the color received by an edge $e$ must be contained in $L(e)$. The locality appears in the function $f$, i.e., $f(x)$ is some function of the local structure of $x$ in $G$. Such a notion is a natural generalization of traditional local edge-coloring. Our main results include sufficient conditions on the function $f$ to construct such colorings. As corollaries, we obtain local analogs of Vizing and Shannon's theorems, recovering a recent result of Conley, Grebík and Pikhurko.

In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $Δ(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $Δ$ can be properly edge-colored with $\lfloor3Δ/2\rfloor$ colors. Our main results include algorithms for computing such colorings. We design deterministic and randomized sequential algorithms with running time $O(n\log n)$ and $O(n)$, respectively. This is the first improvement since the $O(n^2)$ algorithm in Shannon's original paper, and our randomized algorithm is optimal up to constant factors. We also develop distributed algorithms in the $\mathsf{LOCAL}$ model of computation. Namely, we design deterministic and randomized $\mathsf{LOCAL}$ algorithms with running time $\tilde O(\log^5 n)$ and $O(\log^2n)$, respectively. The deterministic sequential algorithm is a simplified extension of earlier work of Gabow et al. in edge-coloring simple graphs. The other algorithms apply the entropy compression method in a similar way to recent work by the author and Bernshteyn, where the authors design algorithms for Vizing's theorem for simple graphs. We also extend those results to Vizing's theorem for multigraphs.

We show that every Borel graph $G$ of subexponential growth has a Borel proper edge-coloring with $Δ(G) + 1$ colors. We deduce this from a stronger result, namely that an $n$-vertex (finite) graph $G$ of subexponential growth can be properly edge-colored using $Δ(G) + 1$ colors by an $O(\log^\ast n)$-round deterministic distributed algorithm in the $\mathsf{LOCAL}$ model, where the implied constants in the $O(\cdot)$ notation are determined by a bound on the growth rate of $G$.

Vizing's theorem states that every graph $G$ of maximum degree $Δ$ can be properly edge-colored using $Δ+ 1$ colors. The fastest currently known $(Δ+1)$-edge-coloring algorithm for general graphs is due to Sinnamon and runs in time $O(m\sqrt{n})$, where $n :=|V(G)|$ and $m :=|E(G)|$. We investigate the case when $Δ$ is constant, i.e., $Δ= O(1)$. In this regime, the runtime of Sinnamon's algorithm is $O(n^{3/2})$, which can be improved to $O(n \log n)$, as shown by Gabow, Nishizeki, Kariv, Leven, and Terada. Here we give an algorithm whose running time is only $O(n)$, which is obviously best possible. Prior to this work, no linear-time $(Δ+1)$-edge-coloring algorithm was known for any $Δ\geq 4$. Using some of the same ideas, we also develop new algorithms for $(Δ+1)$-edge-coloring in the $\mathsf{LOCAL}$ model of distributed computation. Namely, when $Δ$ is constant, we design a deterministic $\mathsf{LOCAL}$ algorithm with running time $\tilde{O}(\log^5 n)$ and a randomized $\mathsf{LOCAL}$ algorithm with running time $O(\log ^2 n)$. Although our focus is on the constant $Δ$ regime, our results remain interesting for $Δ$ up to $\log^{o(1)} n$, since the dependence of their running time on $Δ$ is polynomial. The key new ingredient in our algorithms is a novel application of the entropy compression method.

Alon, Krivelevich, and Sudakov conjectured in 1999 that for every finite graph $F$, there exists a quantity $c(F)$ such that $χ(G) \leq (c(F) + o(1)) Δ/ \logΔ$ whenever $G$ is an $F$-free graph of maximum degree $Δ$. The largest class of connected graphs $F$ for which this conjecture has been verified so far, by Alon, Krivelevich, and Sudakov themselves, comprises the almost bipartite graphs (i.e., subgraphs of the complete tripartite graph $K_{1,t,t}$ for some $t \in \mathbb{N}$). However, the optimal value for $c(F)$ remains unknown even for such graphs. Bollobás showed, using random regular graphs, that $c(F) \geq 1/2$ when $F$ contains a cycle. On the other hand, Davies, Kang, Pirot, and Sereni recently established an upper bound of $c(K_{1,t,t}) \leq t$. We improve this to a uniform constant, showing $c(F) \leq 4$ for every almost bipartite graph $F$. This surprisingly makes the bound independent of $F$ in all the known cases of the conjecture. We also establish a more general version of our bound in the setting of DP-coloring (also known as correspondence coloring) and consider some algorithmic consequences of our results.

A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $Δ$, then $χ(G) \leq c_F Δ/ \logΔ$. Alon, Krivelevich, and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot, and Sereni that if $G$ is $K_{t,t}$-free, then $χ(G) \leq (t + o(1)) Δ/ \logΔ$ as $Δ\to \infty$. We improve this bound to $(1+o(1)) Δ/\log Δ$, making the constant factor independent of $t$. We further extend our result to the DP-coloring setting (also known as correspondence coloring), introduced by Dvořák and Postle.