Conditional Hardness for Approximate Coloring
Abstract
We study the coloring problem: Given a graph G, decide whether c(G) ≤ q or c(G) Q, where c(G) is the chromatic number of G. We derive conditional hardness for this problem for any constant 3 q < Q. For q 4, our result is based on Khot's 2-to-1 conjecture [Khot'02]. For q=3, we base our hardness result on a certain `fish shaped' variant of his conjecture. We also prove that the problem almost coloring is hard for any constant >0, assuming Khot's Unique Games conjecture. This is the problem of deciding for a given graph, between the case where one can 3-color all but a fraction of the vertices without monochromatic edges, and the case where the graph contains no independent set of relative size at least . Our result is based on bounding various generalized noise-stability quantities using the invariance principle of Mossel et al [MOO'05].
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.