Hedetniemi's conjecture

Short description: Conjecture in graph theory

Example of Hedetniemi's conjecture: the tensor product of C5 and C3 (on the left) produces a graph that contains a cycle with length 15 (on the right) so: the resulting graph requires 3 colors.

In graph theory, Hedetniemi's conjecture, formulated by Stephen T. Hedetniemi in 1966, concerns the connection between graph coloring and the tensor product of graphs. This conjecture states that

[math]\displaystyle{ \chi (G \times H ) = \min\{\chi (G) , \chi (H)\}. }[/math]

Here [math]\displaystyle{ \chi(G) }[/math] denotes the chromatic number of an undirected finite graph [math]\displaystyle{ G }[/math].

The inequality χ(G × H) ≤ min {χ(G), χ(H)} is easy: if G is k-colored, one can k-color G × H by using the same coloring for each copy of G in the product; symmetrically if H is k-colored. Thus, Hedetniemi's conjecture amounts to the assertion that tensor products cannot be colored with an unexpectedly small number of colors.

A counterexample to the conjecture was discovered by Yaroslav Shitov (2019) (see Kalai 2019), thus disproving the conjecture in general.

Known cases

Any graph with a nonempty set of edges requires at least two colors; if G and H are not 1-colorable, that is, they both contain an edge, then their product also contains an edge, and is hence not 1-colorable either. In particular, the conjecture is true when G or H is a bipartite graph, since then its chromatic number is either 1 or 2.

Similarly, if two graphs G and H are not 2-colorable, that is, not bipartite, then both contain a cycle of odd length. Since the product of two odd cycle graphs contains an odd cycle, the product G × H is not 2-colorable either. In other words, if G × H is 2-colorable, then at least one of G and H must be 2-colorable as well.

The next case was proved long after the conjecture's statement, by (El-Zahar Sauer): if the product G × H is 3-colorable, then one of G or H must also be 3-colorable. In particular, the conjecture is true whenever G or H is 4-colorable (since then the inequality χ(G × H) ≤ min {χ(G), χ(H)} can only be strict when G × H is 3-colorable). In the remaining cases, both graphs in the tensor product are at least 5-chromatic and progress has only been made for very restricted situations.

Weak Hedetniemi Conjecture

The following function (known as the Poljak-Rödl function) measures how low the chromatic number of products of n-chromatic graphs can be.

[math]\displaystyle{ f(n) = \min\{ \chi (G \times H) \colon \chi (G) = \chi (H) = n \} }[/math]

Hedetniemi's conjecture is then equivalent to saying that f(n) = n. The Weak Hedetniemi Conjecture instead states merely that the function f(n) is unbounded. In other words, if the tensor product of two graphs can be colored with few colors, this should imply some bound on the chromatic number of one of the factors.

The main result of (Poljak Rödl), independently improved by Poljak, James H. Schmerl, and Zhu, states that if the function f(n) is bounded, then it is bounded by at most 9. Thus a proof of Hedetniemi's conjecture for 10-chromatic graphs would already imply the Weak Hedetniemi Conjecture for all graphs.

Multiplicative graphs

The conjecture is studied in the more general context of graph homomorphisms, especially because of interesting relations to the category of graphs (with graphs as objects and homomorphisms as arrows). For any fixed graph K, one considers graphs G that admit a homomorphism to K, written G → K. These are also called K-colorable graphs. This generalizes the usual notion of graph coloring, since it follows from definitions that a k-coloring is the same as a K_k-coloring (a homomorphism into the complete graph on k vertices).

A graph K is called multiplicative if for any graphs G, H, the fact that G × H → K holds implies that G → K or H → K holds. As with classical colorings, the reverse implication always holds: if G (or H, symmetrically) is K-colorable, then G × H is easily K-colored by using the same values independently of H. Hedetniemi's conjecture is then equivalent to the statement that each complete graph is multiplicative.

The above known cases are equivalent to saying that K₁, K₂, and K₃ are multiplicative. The case of K₄ is widely open. On the other hand, the proof of (El-Zahar Sauer) has been generalized by (Häggkvist Hell) to show that all cycle graphs are multiplicative. Later, (Tardif 2005) proved more generally that all circular cliques K_n/k with n/k < 4 are multiplicative. In terms of the circular chromatic number χ_c, this means that if χ_c(G×H) < 4, then χ_c(G×H) = min { χ_c(G), χ_c(G)} . (Wrochna 2017) has shown that square-free graphs are multiplicative.

Examples of non-multiplicative graphs can be constructed from two graphs G and H that are not comparable in the homomorphism order (that is, neither G→H nor H→G holds). In this case, letting K=G×H, we trivially have G×H→K, but neither G nor H can admit a homomorphism into K, since composed with the projection K→H or K→G it would give a contradiction.

Exponential graph

Since the tensor product of graphs is the category-theoretic product in the category of graphs (with graphs as objects and homomorphisms as arrows), the conjecture can be rephrased in terms of the following construction on graphs K and G. The exponential graph K^G is the graph with all functions V(G) → V(K) as vertices (not only homomorphisms) and two functions f,g adjacent when

f(v) is adjacent to g(v') in K, for all adjacent vertices v,v ' of G.

In particular, there is a loop at a function f (it is adjacent to itself) if and only if the function gives a homomorphism from G to K. Seen differently, there is an edge between f and g whenever the two functions define a homomorphism from G × K₂ (the bipartite double cover of G) to K.

The exponential graph is the exponential object in the category of graphs. This means homomorphisms from G × H to a graph K correspond to homomorphisms from H to K^G. Moreover, there is a homomorphism eval : G × K^G → K given by eval(v,f) = f(v). These properties allow to conclude that the multiplicativity of K is equivalent (El-Zahar Sauer) to the statement:

either G or K^G is K-colorable, for every graph G.

In other words, Hedetniemi's conjecture can be seen as a statement on exponential graphs: for every integer k, the graph K_k^G is either k-colorable, or it contains a loop (meaning G is k-colorable). One can also see the homomorphisms eval : G × K_k^G → K_k as the hardest instances of Hedetniemi's conjecture: if the product G × H was a counterexample, then G × K_k^G would also be a counterexample.

Generalizations

Generalized to directed graphs, the conjecture has simple counterexamples, as observed by (Poljak Rödl). Here, the chromatic number of a directed graph is just the chromatic number of the underlying graph, but the tensor product has exactly half the number of edges (for directed edges g→g' in G and h→h' in H, the tensor product G × H has only one edge, from (g,h) to (g',h'), while the product of the underlying undirected graphs would have an edge between (g,h') and (g',h) as well). However, the Weak Hedetniemi Conjecture turns out to be equivalent in the directed and undirected settings (Tardif Wehlau).

The problem cannot be generalized to infinite graphs: (Hajnal 1985) gave an example of two infinite graphs, each requiring an uncountable number of colors, such that their product can be colored with only countably many colors. (Rinot 2013) proved that in the constructible universe, for every infinite cardinal [math]\displaystyle{ \kappa }[/math], there exist a pair of graphs of chromatic number greater than [math]\displaystyle{ \kappa }[/math], such that their product can still be colored with only countably many colors.

Related problems

A similar equality for the cartesian product of graphs was proven by (Sabidussi 1957) and rediscovered several times afterwards. An exact formula is also known for the lexicographic product of graphs. (Duffus Sands) introduced two stronger conjectures involving unique colorability.

References

Primary sources

• "On the chromatic number of the product of graphs", Journal of Graph Theory 9 (4): 487–495, 1985, doi:10.1002/jgt.3190090409 .
• El-Zahar, M.; Sauer, N. (1985), "The chromatic number of the product of two 4-chromatic graphs is 4", Combinatorica 5 (2): 121–126, doi:10.1007/BF02579374 .
• Häggkvist, R. (1988), "On multiplicative graphs and the product conjecture", Combinatorica 8 (1): 63–74, doi:10.1007/BF02122553 .
• "The chromatic number of the product of two ℵ₁ chromatic graphs can be countable", Combinatorica 5 (2): 137–140, 1985, doi:10.1007/BF02579376 .
• Hedetniemi, S. (1966), Homomorphisms of graphs and automata, Technical Report 03105-44-T, University of Michigan .
• Poljak, S. (1981), "On the arc-chromatic number of a digraph", Journal of Combinatorial Theory, Series B 31 (2): 190–198, doi:10.1016/S0095-8956(81)80024-X .
• Rinot, A. (2013), Hedetniemi's conjecture for uncountable graphs, Bibcode: 2013arXiv1307.6841R .
• "Graphs with given group and given graph-theoretical properties", Canadian Journal of Mathematics 9: 515–525, 1957, doi:10.4153/CJM-1957-060-7 .
• Shitov, Yaroslav (May 2019), Counterexamples to Hedetniemi's conjecture .
• Tardif, C. (2005), "Multiplicative graphs and semi-lattice endomorphisms in the category of graphs", Journal of Combinatorial Theory, Series B 95 (2): 338–345, doi:10.1016/j.jctb.2005.06.002 .
• Tardif, C.; Wehlau, D. (2006), "Chromatic numbers of products of graphs: The directed and undirected versions of the Poljak-Rödl function", Journal of Graph Theory 51 (1): 33–36, doi:10.1002/jgt.20117 .
• Wrochna, M. (2017), "Square-free graphs are multiplicative", Journal of Combinatorial Theory, Series B 122: 479–507, doi:10.1016/j.jctb.2016.07.007 .

Surveys and secondary sources

• Imrich, Wilfried (2000), Product Graphs: Structure and Recognition, Wiley, ISBN 0-471-37039-8 .
• "A sensation in the morning news – Yaroslav Shitov: Counterexamples to Hedetniemi's conjecture", Combinatorics and More, May 10, 2019, https://gilkalai.wordpress.com/2019/05/10/sansation-in-the-morning-news-yaroslav-shitov-counterexamples-to-hedetniemis-conjecture/ .
• "Coloring graph products: a survey", Discrete Mathematics 155 (1–3): 135–145, 1996, doi:10.1016/0012-365X(94)00377-U .
• Sauer, N. (2001), "Hedetniemi's conjecture: a survey", Discrete Mathematics 229 (1–3): 261–292, doi:10.1016/S0012-365X(00)00213-2 .
• Tardif, Claude (2008), "Hedetniemi's conjecture, 40 years later", Graph Theory Notes of New York 54: 46–57, http://www.mast.queensu.ca/~ctardif/articles/gtn5406rp.pdf .
• Zhu, Xuding (1998), "A survey on Hedetniemi's conjecture", Taiwanese J. Math. 2 (1): 1–24, doi:10.11650/twjm/1500406890 .

External links

• A breakthrough in graph theory, Numberphile