Search arXivSearch

arXiv · 2506.19100

On Gyárfás' Path-Colour Problem

Abstract

In their 1997 paper titled ``Fruit Salad", Gyárfás posed the following conjecture: there exists a constant $k$ such that if each path of a graph spans a $3$-colourable subgraph, then the graph is $k$-colourable. It is noted that $k=4$ might suffice. Let $r(G)$ be the maximum chromatic number of any subgraph $H$ of $G$ where $H$ is spanned by a path. The only progress on this conjecture comes from Randerath and Schiermeyer in 2002, who proved that if $G$ is an $n$ vertex graph, then $χ(G) \leq r(G)\log_{\frac{8}{7}}(n)$. We prove that for all natural numbers $r$, there exists a graph $G$ with $r(G)\leq r$ and $χ(G)\geq \lfloor\frac{3r}{2}\rfloor -1$. Hence, for all constants $k$ there exists a graph with $χ- r > k$. Our proof is constructive. We also study this problem in graphs with a forbidden induced subgraph. We show that if $G$ is $K_{1,t}$-free, for $t\geq 4$, then $χ(G) \leq (t-1)(r(G)+\binom{t-1}{2}-3)$. If $G$ is claw-free, then we prove $χ(G) \leq 2r(G)$. Additionally, the graphs $G$ where every induced subgraph $G'$ of $G$ satisfy $χ(G') = r(G')$ are considered. We call such graphs path-perfect, as this class generalizes perfect graphs. We prove that if $H$ is a forest with at most $4$ vertices other than the claw, then every $H$-free graph $G$ has $χ(G) \leq r(G)+1$. We also prove that if $H$ is additionally not isomorphic to $2K_2$ or $K_2+2K_1$, then all $H$-free graphs are path-perfect.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ben Cameron, Alexander Clow. 2025-06-23. On Gyárfás' Path-Colour Problem. https://arxiv.org/abs/2506.19100

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Rooted Spider Embeddings and the Erd\H os-Sós Conjecture

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

math.CO

Generalized Goulden-Yong duals and signed minimal factorizations

In this paper, we give two combinatorial ways to study signed exceptional sequences. First, we show the equivalence between one-way reflections and relatively projective representations. Secondly, we construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We then give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.

math.CO

Explicit expressions for iterates of power series

We present several formulas for both the discrete and fractional iterates of an invertible power series $f$, using a new unifying approach based on umbral calculus. Known formulas are extended, and their proofs simplified, while new expressions are introduced. In particular, by employing $q$-calculus identities, we eliminate the requirement for $f'(0)$ to equal $1$ and the resulting general expressions for the iterative logarithm are obtained as well.

math.CO