arxiv: v1 [math.co] 6 Feb 2017

Transcription

1 Coloring tournaments: from local to global Ararat Harutyunyan a, Tien-Nam Le b, and Stéphan Thomassé b arxiv: v1 [math.co] 6 Feb 2017 a Institut de Mathématiques de Toulouse Université de Toulouse Paul Sabatier Toulouse Cedex 09, France b Laboratoire d Informatique du Parallélisme UMR 5668 ENS Lyon - CNRS - UCBL - INRIA Université de Lyon, France Abstract The chromatic number of a directed graph D is the minimum number ofcolorsneeded to color the verticesof D such that each colorclass of D induces an acyclic subdigraph. Thus, the chromatic number of a tournament T is the minimum number of transitive subtournaments which cover the vertex set of T. We show in this paper that tournaments are significantly simpler than graphs with respect to coloring. Indeed, while undirected graphs can be altogether locally simple (every neighborhood is a stable set) and have large chromatic number, we show that locally simple tournaments are indeed simple. In particular, there is a function f such that if the outneighborhood of every vertex in a tournament T has chromatic number at most c, then T has chromatic number at most f(c). This answers a question of Berger et al. 1 Introduction Given a loopless digraph D, a k-coloring of D is a coloring of each of the vertices of D with one of the colors from the set {1,...,k} such that each color class induces an acyclic subdigraph. The chromatic number χ(d) of D is the smallest number k for which D admits a k-coloring. This digraph invariant was introduced by Neumann-Lara [11], and naturally generalizes many results on the graph chromatic number(see, for example, [3], [7][8],[9], [10]). Inthispaper, westudythechromaticnumberofaclassoftournaments where the out-neighborhood of every vertex has bounded chromatic number. A tournament is a loopless digraph such that for every pair of distinct vertices u,v, exactly one of uv,vu is an arc. Given a tournament T, a subset 1

2 X of V(T) is transitive if the subtournament of T induced by X contains no directed cycle. Thus, χ(t) is the minimum k such that V(T) can be colored with k colors where each color class is a transitive set. The coloring of tournaments has close relationship with the Erdős-Hajnal conjecture and has been studied in [2, 4, 5, 1, 6]. For every vertex v in atournament T, we denoteby N + (v) theset of outneighbors of v in T. Given a subset X of V(T), let N + (X) denote the union of all N + (v), for v X, and denote by N + [X] := X N + (X), the closed neighborhood of X. Given a set S V(T), we say that S dominates T or S is a dominating set of T if every vertex in V \S has an in-neighbor in S. For every subset X of V(T), let χ(x) := χ(t[x]) denote the chromatic number of the subtournament of T induced by X. Given t 1, a tournament T is t-local if for every vertex v we have χ(n + (v)) t. The following conjecture was raised in [2] and settled for t = 2 in [6]. Conjecture 1. There is a function f such that every t-local tournament T satisfies χ(t) f(t). The goal of this note is to provide a proof of Conjecture 1 for all t. 2 Proof of Conjecture 1 The following property of t-local tournaments is straightforward. Proposition 2. Let T be a t-local tournament. Then for every subset X of V(T), χ(n + [X]) t X. Proof. First observe that for every v, we can color N + [v] with t colors by first coloring N + (v) with t colors and then coloring arbitrarily v with one of these t colors (since v dominates N + (v), coloring v does not create any monochromaticdirectedcycle). TocolorN + [X], wecolorn + [v]sequentially for every v X. For each v X, we color the uncolored vertices in N + [v] with t new colors. Thus we can color N + [X] with t X colors. Let C be a class of tournaments closed under taking subtournaments. We say that C is tamed if for every integer k there exists K and a such that every tournament T C with χ(t) K contains a set S of a vertices such that χ(s) k. Note that a class of tournaments with bounded chromatic number is indeed tamed. Theorem 3. For every t, the class of t-local tournaments is tamed. 2

3 Proof. We fix some arbitrary t and show the property by induction on k. The claim is trivial for k = 1. For k = 2, we can choose K = 2 and a = 3. Indeed, if a tournament T satisfies χ(t) K = 2, it contains an oriented triangle S of size a = 3 and χ(s) k = 2. Assuming now that (K,a) exists for k, we want to find (K,a ) for k+1. For this, we set K := 2kt(K + at + 1), and fix a later. Let T be a t- local tournament such that χ(t) K. Let D be a dominating set of T of minimum size d. By Proposition 2, we have χ(t) td. In particular, d 2k(K + at+1). Consider a subset W of D of size k(k +at+1). By Proposition 2, we have χ(n + [W]) kt(k +at+1), and hence χ(v \N + [W]) χ(t) χ(n + [W]) kt(k +at+1) K, where V is the vertex set of T. In particular, by the tamed property applied to k, one can find a set A V \ N + [W] such that A has a vertices and χ(a) k. Note that by construction, A W = and all arcs between A and W are directed from A to W. Consider now a subset S of W of size s = K + at + 1. We claim that χ(n + (S)) K + at. If not, we can cover N + (S) by at most K + at 1 transitive sets. Since every transitive tournament has a dominating set of size 1, we can choose a dominating set S of N + (S) of size at mostk+at 1. But this yields a contradiction since the set (D \S) S {x}, where x is an arbitrary vertex in A, would be a dominating set of T of size less than D. Therefore, χ(n + (S)) K +at. Let N be the set of vertices N + (S)\N + (A). Observe that all the arcs between N and A are directed from N to A, and that by Proposition 2 applied to N + (A), we have χ(n + (A)) at, and so χ(n ) χ(n + (S)) χ(n + (A)) K +at at = K. Thus, by the tamed property applied to k, there is a subset A S of N such that A S = a and χ(a S ) k. Note that by construction, A s A = and all arcs between A s and A are directed from A s to A. We now construct our subtournament of T with chromatic number at least k+1. For this we consider the set of vertices A W to which we add the collection of A S, for all subsets S W of size K +at+1. Call A this new tournament and observe that its number of vertices is at most ( ) k(k +at+1) a := a+k(k +at+1)+a. K +at+1 To conclude, it is sufficient to show that χ(a ) k +1. Suppose not, and for contradiction, take a k-coloring of A. Since W = k(k +at+1) there is a monochromatic set S in W of size K +at+1 (say, colored 1). Recall 3

4 that we have all arcs from A S to A and from A to S, and note that since χ(a) k and χ(a s ) k, both A and A S have a vertex of each of the k colors. Hence there are u A and w A S colored 1. Since A S N + (S), there is v S dominating w. We then obtain the monochromatic cycle uvw of color 1, a contradiction. Thus, χ(a ) k +1, completing the proof. We now show that Conjecture 1 is true. Theorem 4. There is a function f such that every t-local tournament T satisfies χ(t) f(t). Proof. Since the class of t-local tournaments is tamed, there exists (K, a) such that every t-local tournament T with χ(t) K contains a set S of a vertices and χ(s) t + 1. Then by t-locality, S cannot be contained in outneighborhood of any vertex, and hence S is a dominating set of T. Thus, χ(t) = χ(n + [S]) t S = at. Consequently, t-local tournaments have chromatic number at most f(t) := max(k,at). The implication of our result is that we are possibly missing a keydefinition of what is a large (or dense ) hypergraph(i.e. a set of subsets). It could be that for a suitable definition of large (for which large intersecting large would be large ), we would obtain that for any tournament T on vertex set V, the set of outneighborhoods of vertices of T is large, and in addition the set of subsets of vertices of a K-chromatic tournament inducing at least chromatic number k is also large. Hence, if two large sets intersecting in a non empty way, one could find an outneighborhood with chromatic number k. If such a notion would exist, it should decorrelate the two large sets (outneighborhoods and k-chromatic), and thus imply the following: If T 1,T 2 aretournaments on thesameset of vertices and χ(t 1 ) is huge, thenthereis a vertex v such that T 2 induces on N + T 2 (v) a subtournament of large chromatic number in T 1. A very similar conjecture was proposed by Alex Scott and Paul Seymour. Conjecture 5. [12] If T and G are respectively a tournament and a graph with huge chromatic number on the same set of vertices, then there is a vertex v such that G induces on N + T (v) a subgraph of G of large chromatic number. References [1] E. Berger, K. Choromanski, M. Chudnovsky. Forcing large transitive subtournaments. Journal of Combinatorial Theory, Series B, 112 (2015),

5 [2] E. Berger, K. Choromanski, M. Chudnovsky, J. Fox, M. Loebl, A. Scott, P. Seymour, and S. Thomassé. Tournaments and colouring. Journal of Combinatorial Theory, Series B, 103 (2013), [3] D. Bokal, G. Fijavž, M. Juvan, P.M. Kayll, and B. Mohar. The circular chromatic number of a digraph. Journal of Graph Theory, 46 (2004) [4] K. Choromanski, M. Chudnovsky, and P. Seymour. Tournaments with near-linear transitive subsets. Journal of Combinatorial Theory, Series B, 109 (2014), [5] M. Chudnovsky. The Erdös-Hajnal Conjecture A Survey. Journal of Graph Theory, 75 (2014), [6] M. Chudnovsky, R. Kim, C.-H. Liu, P. Seymour, and S. Thomassé. Domination in tournaments. preprint. [7] A. Harutyunyan, and B. Mohar. Strengthened Brooks Theorem for digraphs of girth three. Electronic Journal of Combinatorics, 18 (2011) #P195. [8] A. Harutyunyan, and B. Mohar. Gallai s Theorem for List Coloring of Digraphs. SIAM Journal on Discrete Mathematics, 25 (1) (2011) [9] A. Harutyunyan, and B. Mohar. Two results on the digraph chromatic number. Discrete Mathematics 312 (10) (2012) [10] P. Keevash, Z. Li, B. Mohar, B. Reed, Digraph girth via chromatic number, SIAM Journal on Discrete Mathematics, 27 (2) (2013) [11] V. Neumann-Lara. The dichromatic number of a digraph. Journal of Combinatorial Theory, Series B, 33 (1982) [12] A. Scott, and P. Seymour. Personal communication. 5