Proper Conflict-Free Coloring of Graphs with Large Maximum Degree
Daniel W. Cranston,Chun-Hung Liu
DOI: https://doi.org/10.1137/23m1563281
IF: 0.868
2024-12-10
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 4, Page 3004-3027, December 2024. A proper coloring of a graph is conflict-free if, for every nonisolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski [Discrete Math., 346 (2023), 113221] proved that every graph [math] has a proper conflict-free coloring with at most [math] colors and conjectured that [math] colors suffice for every connected graph [math] with [math]. Our first main result is that even for list-coloring, [math] colors suffice for every graph [math] with [math]; we also prove slightly weaker bounds for all graphs with [math]. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph [math] and a "conflict" hypergraph [math]. As another corollary of our results in this general framework, every graph has a proper [math]-list-coloring such that every bichromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász local lemma or entropy compression. We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph [math] has a fractional [math]-coloring such that every fractionally bichromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro, Petruševski, and Škrekovski holds asymptotically in a strong sense.
mathematics, applied