Distributed Edge Coloring with Small Palettes and a Special Case of the Constructive Lovász Local Lemma

Abstract

We explore the complexity of edge coloring in the LOCAL model in different palette size regimes. 1. Lower Bounds: First, we simplify the round elimination technique of Brandt et al. and prove that $(2Δ-2)$-edge coloring requires $Ω(\log_Δ\log n)$ time w.h.p. and $Ω(\log_Δn)$ time deterministically, even on trees. Second, we show that a natural approach to computing $(Δ+1)$-edge colorings (Vizing's theorem) via extending partial colorings by iteratively re-coloring parts of the graph in the worst case requires recoloring subgraphs of diameter $Ω(Δ\log n)$. 2. Upper Bounds on General Graphs: We give a randomized edge coloring algorithm that can use palette sizes as small as $Δ+ \tilde{O}(\sqrtΔ)$, which is a natural barrier for randomized approaches. Our algorithm employs a permissive version of the constructive Lovasz local lemma as a black box. The runtime of algorithm varies for different choices of $Δ$ and palette size. For example, our algorithm computes a $(1+ε)Δ$-edge coloring in $O(\log n)$ time when $ε\geq (\log^3 Δ) / \sqrtΔ$, or $O(\log_Δ n) + (\log \log n)^{3 + o(1)}$ time when $ε= Ω(1)$. 3. Upper Bounds on Trees: We show that the $Ω(\log_Δ\log n)$ lower bound can be nearly matched on trees. To establish this result, we develop a new distributed Lovasz local lemma algorithm for tree-structured dependency graphs. Specifically, our $(1+ε)Δ$-edge coloring algorithm for trees takes $O(\log(1 / ε)) \cdot \max\{\frac{\log\log n}{\log\log\log n},\, \log_{\log Δ} \log n\}$ time when $ε\geq (\log^3 Δ) / \sqrtΔ$, or $O\left( \max\{\frac{\log\log n}{\log\log\log n},\, \log_Δ \log n\}\right)$ time when $ε= Ω(1)$.