Local Clique Covers and Chromatic Number
arXiv:2609.07988
Abstract
The local clique cover number is the minimum valency of an edge-clique cover of . We prove the conjectured inequality for every finite simple graph. The proof gives an independent set improvement of an endpoint-cover estimate and applies the resulting construction to an induced four-vertex path. We further prove that the cover can be chosen so that every nonuniversal vertex has valency at most . Consequently, every graph attaining equality has a universal vertex. The stronger statement follows by reducing a counterexample of minimum order to a prime double-critical graph and refining the induced path extension. We also show that an induced matching of size yields , which improves the general bound when , and determine the restrictions imposed by equality on deletion of an induced .