Asymmetric Homomorphism Thresholds for Graphs of Large Odd Girth
En palabras de los autores
We determine the asymmetric homomorphism threshold from graphs of odd girth at least to triangle-free graphs, showing that . Equivalently, for every , every -vertex graph of odd girth at least and minimum degree at least admits a homomorphism to a triangle-free graph of size bounded by a function of , while there exist graphs of odd girth at least and minimum degree at least for which no such bounded-size triangle-free homomorphic image exists. More generally, for every , we prove . In particular, for every proper monotone class of graphs, the threshold for graphs of odd girth at least to admit a homomorphism to a bounded-size graph in is positive. We further extend this phenomenon to arbitrary odd girth: for every and every proper monotone subclass of the class of graphs of odd girth at least , the threshold for graphs of odd girth at least to admit a homomorphism to a bounded-size graph in is positive. These results disprove conjectures of Gishboliner, Hurley and Wigderson and exhibit a sharp contrast with the corresponding zero chromatic-threshold results. Our lower-bound constructions are based on high-dimensional Borsuk graphs, while the matching upper bounds use regularity arguments to recover the structure underlying these constructions.
Apareció: miércoles, 23 de septiembre. arXiv. Preprint, todavía sin revisión por pares.