On multichromatic numbers of widely colorable graphs Anna Gujgiczera,c G´abor Simonyib,a, aDepartment of Computer Science and Information Theory, Faculty of Electrical Engineering and Informatics Budapest University of Technology and Economics bAlfr´ed R´enyi Institute of Mathematics, Budapest cMTA-BME Lend¨ulet Arithmetic Combinatorics Research Group [email protected] [email protected] arXiv:2102.03120v1 [math.CO] 5 Feb 2021 Abstract A coloring is called s-wide if no walk of length 2s − 1 connects vertices of the same color. A graph is s-widely colorable with t colors if and only if it admits a homomorphism into a universal graph W (s, t). Tardif observed that the value of the rth multichromatic number χr(W (s, t)) of these graphs is at least t + 2(r − 1) and equality holds for r = s = 2. He asked whether there is equality also for r = s = 3. We show that χs(W (s, t)) = t+2(s−1) for all s thereby answering Tardif’s question. We observe that for large r (with respect to s and t fixed) we cannot have equality and that for s fixed and t going to infinity the fractional chromatic number of W (s, t) also tends to infinity. The latter is a simple consequence of another result of Tardif on the fractional chromatic number of generalized Mycielski graphs. Keywords: multichromatic number, homomorphism, Kneser graphs, generalized Mycielski graphs, wide coloring. 1 Introduction A vertex-coloring of a graph is called s-wide if the two endvertices of every walk of length 2s − 1 receive different colors in it. If every vertex gets a different color then the coloring is s-wide if and only if the graph does not contain any odd cycle shorter than 2s + 1. The interesting phenomenon is that some graphs have s-wide colorings that are also optimal colorings. A 1-wide coloring is just a proper coloring. 2-wide colorings were first investigated by Gy´arf´as, Jensen, and Stiebitz [5] who, answering a question of Harvey and Murty, showed the existence of a t-chromatic graph for every t ≥ 2 with the additional property that it admits a t-coloring in which the neighborhood of every color class is an independent set. The analogous statement including more distant neighborhoods is also proven in [5]. 3-wide colorings (that are called simply wide colorings in [17]) turned out to be relevant concerning the local chromatic number of several graph families whose chromatic number can be determined by the topological method of Lov´asz [10], cf. [17] for more details and also for the relevance of s-wide colorability in the context of the circular chromatic number. A graph homomorphism from a graph F to a graph G is an edge-preserving map of the vertex set of F to the vertex set of G. The existence of such a map is denoted by F → G. It is easy to see that G → Kt is equivalent to the t-colorability of graph G, that is to χ(G) ≤ t, where χ(G) is the chromatic number of G. We refer to the book [7] for a general treatment of the theory of graph homomorphisms. Several other types of graph colorings can also be expressed by the existence of a graph homomorphism to some target graph and s-wide colorability is no exception. It is proven independently in [1] and [17] (and already in [5] for the s = 2 case) that s-wide colorability with t colors is equivalent to the existence of a homomorphism to the following graph we denote by W (s, t) as in [17]. V (W (s, t)) = {(x1 ...xt): ∀i xi ∈{0, 1,...,s}, ∃!i xi =0, ∃j xj =1}, E(W (s, t)) = {{(x1 ...xt), (y1 ...yt)} : ∀i |xi − yi| =1 or xi = yi = s}. Proposition 1. ([1, 5, 17]) A graph G admits an s-wide coloring using t colors if and only if G → W (s, t). A different incarnation of the graphs W (s, t) appears in the papers [6, 21, 25], where (following Wrochna’s notation in [25]) a graph operation Ωk is given for every odd integer k and when applied to the complete graph Kt for k =2s − 1 then the resulting graph is isomorphic to W (s, t). We will give and make use of this alternative definition in Section 2. It is easy to see that W (s, t) can be properly colored with t colors: set the color of vertex (x1 ...xt) to be the unique i for which xi = 0. It is proven in [1, 5, 17] (cf. also the chromatic properties of the more general Ωk construction in [6, 21, 25]) that this coloring is optimal, that is, χ(W (s, t)) = t. (1) 1 This represents the surprising fact, that there are t-chromatic graphs that can be opti- mally colored in such a way, that the complete d-neighborhood of any color class is an independent set for every d<s. (By d-neighborhood of a color class we mean the set of vertices at distance exactly d from the closest element of the color class. In fact, if G is s-widely colored then not only the d-neighborhoods of color classes form independent sets for d<s but all those vertices that can be attained via walks of length d from the given color class.) The proof of t-chromaticity of W (s, t) goes via showing that some other graphs that are known to be t-chromatic admit a homomorphism into W (s, t). These graphs include generalized Mycielski graphs, Schrijver graphs, and Borsuk graphs of ap- propriate parameters (for the definition of generalized Mycielski graphs see Section 3; cf. [15, 3, 12] for the definition of Schrijver graphs and Borsuk graphs and [17] for further details), showing in particular that all these graphs admit s-wide colorings. A common property of all these graphs is that their chromatic number can be determined by the already mentioned topological method introduced by Lov´asz in his celebrated paper [10] proving Kneser’s conjecture. For n, k positive integers satisfying n ≥ 2k the Kneser graph KG(n, k) is defined on [n] k , the set of all k-element subsets of the n-element set [n]= {1, 2,...,n} as vertex set. Two vertices are adjacent if and only if the k-element subsets they represent are disjoint. It is not hard to show that χ(KG(n, k)) ≤ n − 2k + 2 (for all n, k satisfying n ≥ 2k) and Kneser [8] conjectured that this estimate is sharp. This was proved by Lov´asz [10] thereby establishing the following result. Theorem (Lov´asz-Kneser theorem). χ(KG(n, k)) = n − 2k +2. For more about the topological method we refer to the excellent book by Matouˇsek [12]. The existence of a homomorphism to the Kneser graph KG(n, k) can also be interpreted as a coloring property: G → KG(n, k) holds if and only if we can color the vertices of G with n colors in such a way that every vertex receives k distinct colors and if two vertices u and v are adjacent then the set of colors received by u is disjoint from the set of colors received by v. Such colorings were first considered by Geller and Stahl, see [4, 18]. Stahl [18] introduced the corresponding chromatic number χk(G) as the minimum number of colors needed for such a coloring, called a k-fold coloring and χk(G) the k-fold chromatic number in [14] (or k-tuple chromatic number in [7]). The fractional chromatic number χf (G) can be defined as χk(G) n χf (G) = inf = inf : G → KG(n, k) . k k nk o Note the immediate consequence of this definition that if G → H then χf (G) ≤ χf (H). Not surprisingly, determining multichromatic numbers (that is, k-fold chromatic numbers for various k’s) can be even harder in general than determining the chromatic number 2 which is the special case for k = 1. An example of this phenomenon is that while the chromatic number of Kneser graphs is already known by the Lov´asz-Kneser theorem, it is only a still open conjecture due to Stahl what homomorphisms exist and what do not between Kneser graphs, see Section 6.2 of [7] for details, cf. also [24]. The starting point of our investigations was a question by Tardif [23] who observed that (1) combined with the Lov´asz-Kneser theorem implies that χr(W (s, t)) ≥ t + 2(r − 1) (2) and that equality holds for r = s = 2. (This is also true in the case of r = s = 1 when it simply means χ(Kt)= t.) Tardif asked if there is equality also for r = s = 3. In particular, he was interested in whether W (3, 8) 6→ KG(12, 3) and/or W (3, 7) 6→ KG(11, 3) is true. Our main result will imply that this is actually not the case and equality does hold for r = s = 3. The motivation for Tardif’s question came from recent developments concerning Hedetniemi’s conjecture in which wide colorings also turned out to be relevant. Hedetniemi’s conjecture asked whether the so-called categorical (or tensor) product G×H satisfies χ(G×H) = min{χ(G), χ(H)}. The conjecture is equivalent to say that G×H → Kc implies that G → Kc or H → Kc must hold. (Although the latter directly only means χ(G × H) ≥ min{χ(G), χ(H)}, the reverse inequality is essentially trivial by G × H → G and G × H → H following easily from the definition of the categorical product.) If this holds for Kc, then Kc is called multiplicative.