Induced subgraphs of graphs with large chromatic number. IX. Rainbow paths
Alex Scott, Paul Seymour

TL;DR
This paper proves that graphs with bounded clique number and sufficiently large chromatic number contain rainbow paths of any specified length, regardless of vertex coloring, extending previous results for special cases.
Contribution
It generalizes earlier work by showing the existence of rainbow paths in graphs with arbitrary clique number and large chromatic number, independent of coloring optimality.
Findings
Existence of rainbow paths of any length in such graphs
Extension of previous results from girth constraints to clique number constraints
Applicable to all nonnegative integers k,s
Abstract
We prove that for all nonnegative integers k,s there exists c with the following property. Let G be a graph with clique number at most k and chromatic number more than c. Then for every vertex-colouring (not necessarily optimal) of G, some induced subgraph of G is an s-vertex path, and all its vertices have different colours. This extends a recent result of Gyarfas and Sarkozy, who proved the same (when k=2) for graphs G with girth at least five.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Induced subgraphs of graphs with large chromatic number.
IX. Rainbow paths
Alex Scott
Oxford University, Oxford, UK
Paul Seymour
Princeton University, Princeton, NJ 08544, USA Supported by ONR grant N00014-14-1-0084 and NSF grant DMS-1265563.
(January 20, 2017; revised July 3, 2017)
Abstract
We prove that for all integers there exists with the following property. Let be a graph with clique number at most and chromatic number more than . Then for every vertex-colouring (not necessarily optimal) of , some induced subgraph of is an -vertex path, and all its vertices have different colours. This extends a recent result of Gyárfás and Sárközy [6], who proved the same for graphs with and girth at least five.
1 Introduction
Graphs in this paper are finite and have no loops or multiple edges. We denote the chromatic number and the clique number of by respectively. If , the subgraph of induced on is denoted by . A colouring of a graph is a map from to the set of positive integers such that for all adjacent ; and a coloured graph is a pair where is a graph and is a colouring of . Given a coloured graph , a subgraph of is said to be rainbow if for all distinct .
The following interesting conjecture on rainbow paths is due to Aravind (see [1]).
1.1
Conjecture:* Let be a triangle-free graph. Then for every colouring (not necessarily optimal) of , there is a rainbow induced subgraph isomorphic to a -vertex path. *
This remains open, but some special cases have been proved. For instance, if we just ask for an induced path (not necessarily rainbow), then it holds by a theorem of Gyárfás [5]. Or if we just ask for a rainbow path (not necessarily induced), then it holds by the Gallai-Roy theorem [3, 8], even without the bound on clique number: if we direct every edge of towards the end with higher colour, then every directed path of the digraph obtained is rainbow. The conjecture also holds if the girth of equals its chromatic number, by a result of Babu, Basavaraju, Chandran and Francis [1]: in particular, if is a triangle-free coloured graph with , then some induced four-vertex path of is rainbow.
A recent paper of Gyárfás and Sárközy [6] proves the following result.
1.2
For all there exists such that the following holds. Let be a graph with girth at least 5 and . Then for every colouring of there is a rainbow induced subgraph isomorphic to an -vertex path.
In this paper, we extend this theorem in two ways: we remove the girth restriction, and allow a general bound on clique size. Here is our result.
1.3
For all there exists such that for every coloured graph with and , there is a rainbow induced subgraph of isomorphic to an -vertex path.
We prove this in the next section, and include some further discussion in the conclusion.
2 The proof
We will need the following theorem of Galvin, Rival and Sands [4]:
2.1
For all integers there exists with the following property. For every graph that has a path with at least vertices, either some induced path of has at least vertices, or some subgraph of is isomorphic to the complete bipartite graph .
A grading in a graph is a sequence of subsets of , pairwise disjoint and with union . If is such that for we say the grading is -colourable. We say that is earlier than , and is later than (with respect to some grading ) if and where . We need the following lemma:
2.2
Let be an integer, and let be as in 2.1. Let , and let be a coloured graph with , such that no -vertex induced path of is rainbow. Let be a -colourable grading in . Then there exist , and a vertex , and a set of vertices, pairwise with different colours, all later than and all adjacent to .
Proof. Choose as in 2.1. Since each is -colourable, there is a partition of such that is stable for and . Since , there exists such that . For each edge of direct from to if , obtaining a digraph say. By the Gallai-Roy theorem, there is a directed path of with vertices. From the definition of , it follows that all vertices of have different colours. Since no -vertex induced path of is rainbow, it follows from 2.1 applied to that some subgraph of is isomorphic to and rainbow. Choose minimum such that , and choose . Since is rainbow, there are vertices of all with different colours and all adjacent to . From the choice of , none of them is earlier than ; and since they all belong to and is stable, none of them belongs to . Consequently they are all later than . This proves 2.2.
Now we prove 1.3, which we restate:
2.3
Let be integers. Then there exists such that for every coloured graph with and , some induced -vertex path of is rainbow.
Proof. Since the result holds if , we may assume by induction on that and there exists such that for every coloured graph with and , some induced -vertex path of is rainbow. Let be as in 2.1. Define , and for let . Let ; we claim that satisfies the theorem. Let be a coloured graph with and . We must show that some induced -vertex path of is rainbow. Suppose not. For each vertex , if denotes the set of neighbours of , then , and so .
For each vertex , let be the set of all vertices such that there is an induced rainbow path of between .
(1) * for some vertex .*
For suppose not. Let , and for let
[TABLE]
Thus is a -colourable grading in . By 2.2, since , there exist , and a vertex , and a set of vertices, pairwise with different colours, all later than and all adjacent to . Since , there is an induced rainbow path of between , say . Since has no induced rainbow -vertex path, . Consequently some vertex has a colour different from the colours of the vertices of . But then adding to gives a rainbow path between , and therefore there is an induced rainbow path between . Consequently . But is later than , a contradiction. This proves (1).
Choose as in (1). Let be a rainbow induced path of with first vertex . An extension of is a rainbow induced path of with first vertex such that is a subpath of and . We denote by the set of all vertices such that there is an extension of between . Choose a rainbow induced path of with first vertex , and where , such that is maximum. (This is well-defined, since every such path has fewer than vertices by hypothesis, and since exists with .) Thus . Let have ends say, and let be the set of all vertices of adjacent to , adjacent to no other vertex of , and with a different colour from every vertex of . Thus every extension of contains a vertex in ; and for each , adding to gives an extension of , say . Every vertex in belongs either to or to for some ; and the vertices in for some are precisely the vertices in that are nonadjacent to , and these vertices have no neighbours in at all. Now , and so ; and consequently .
From the choice of , for each . Let , and for let , and . Thus is a -colourable grading of . By 2.2, there exist and , and a set of neighbours of , all later than and all with different colours, with . Since , there is an extension of between , and therefore by hypothesis. Since , there exists with a colour different from the colour of every vertex in . Adding to gives a rainbow path between of which is a subpath; and since is induced, and has no neighbour in , there is an extension of between , and so . But this is impossible since is later than . This contradiction shows that there is a rainbow induced path in with vertices, and so proves 2.3.
3 Conclusion
Can 1.3 be extended beyond paths? One could ask which graphs have the following property: for every triangle-free graph with sufficiently large chromatic number, and for every colouring of , some induced subgraph of is isomorphic to and rainbow. But for to have this property:
- •
must have no cycles. Otherwise we can take to have girth larger than the length of such a cycle and large chromatic number, and then contains no copy of at all, rainbow or otherwise.
- •
Every vertex of must have degree at most two. Otherwise, as shown by Kierstead and Trotter [7], a counterexample is given by the “shift graph” of triples: the vertex set is , and two triples are adjacent if the smallest two elements of one are the same as the largest two elements of the other. If we colour every triple by its middle element then no rainbow subgraph has a vertex of degree more than two.
So the only graphs which might have the desired property are forests with maximum degree at most two, that is, induced subgraphs of paths.
We might also ask: is it true that if is triangle-free and has sufficiently large chromatic number then for every colouring of , some induced subgraph of is isomorphic to a cycle and is rainbow? In other words, does contain a rainbow hole? But here again the shift graph of triples (again coloured by middle elements) gives a counterexample. Indeed, this coloured graph does not even have a hole in which every three consecutive vertices are rainbow (every three-vertex path is monotonic, so there is no way for the cycle to “close up”). But we do not know the following: is it true that for all fixed , if is a graph with and sufficiently large then in every colouring of there is a hole in which some set of consecutive vertices is rainbow? (We note that, resolving an old conjecture of Gyárfás [5], it was shown in [2] that every such graph does at least contain a long hole.)
Let us also mention another question to which we do not know the answer. Let be a triangle-free graph with very large chromatic number, and let be a set of stable subsets (not necessarily pairwise disjoint) of with union . Does there necessarily exist an -vertex induced path of such that for each , some satisfies ?
Finally, we remark that we do not believe 1.1, but have not found a counterexample. Since 1.1 is known to hold for , the first place to look for counterexamples to 1.1 is when and we want a five-vertex induced rainbow path. In a laborious and unavailing search for a counterexample, we checked by hand all colourings of when is the Mycielski graph on 23 vertices, for which and ; they all satisfy the conjecture.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] J. Babu, M. Basavaraju, L. Chandran and M. Francis, “On induced colorful graphs in triangle-free graphs”, ar Xiv:1604.06070.
- 2[2] M. Chudnovsky, A. Scott and P. Seymour, “Induced subgraphs of graphs with large chromatic number. III. Long holes”, Combinatorica , to appear.
- 3[3] T. Gallai, “On directed graphs and circuits”, in Theory of Graphs (Proc. Colloquium Tihany, 1966), Academic Press, 1968, 115–118.
- 4[4] F. Galvin, I. Rival and B. Sands, “A Ramsey-type theorem for traceable graphs”, J. Combinatorial Theory, Ser. B , 33 (1982), 7–16.
- 5[5] A. Gyárfás, “Problems from the world surrounding perfect graphs”, Proceedings of the International Conference on Combinatorial Analysis and its Applications , (Pokrzywna, 1985), Zastos. Mat. 19 (1987), 413–441.
- 6[6] A. Gyárfás and G. Sárközy, “Induced colorful trees and paths in large chromatic graphs”, Electronic J. Combinatorics 23 (2016), #P 4.46.
- 7[7] H. Kierstead and W. Trotter, “Colorful induced subgraphs”, Discrete Math. 101 (1992), 165–169.
- 8[8] B. Roy, “Nombre chromatique et plus longs chemins d’un graphe” , Rev. Française Informat. Recherche Opérationnelle 1 (1967), 129–132.
