Cereceda's conjecture

In the mathematics of graph coloring, Cereceda’s conjecture is an unsolved problem on the distance between pairs of colorings of sparse graphs. It states that, for two different colorings of a graph of degeneracy d, both using at most d + 2 colors, it should be possible to reconfigure one coloring into the other by changing the color of one vertex at a time, using a number of steps that is quadratic in the size of the graph. The conjecture is named after Luis Cereceda, who formulated it in his 2007 doctoral dissertation.

Unsolved problem in mathematics:
Can every two -colorings of a -degenerate graph be transformed into each other by quadratically many steps that change the color of one vertex at a time?
(more unsolved problems in mathematics)
The 3-colorings of a path graph, which has degeneracy one. The diameter of this space of colorings is four: it takes four steps to get from either of the top two colorings to the bottom one.

Background

The degeneracy of an undirected graph G is the smallest number d such that every non-empty subgraph of G has at least one vertex of degree at most d. If one repeatedly removes a minimum-degree vertex from G until no vertices are left, then the largest of the degrees of the vertices at the time of their removal will be exactly d, and this method of repeated removal can be used to compute the degeneracy of any graph in linear time. Greedy coloring the vertices in the reverse of this removal ordering will automatically produce a coloring with at most d + 1 colors, and for some graphs (such as complete graphs and odd-length cycle graphs) this number of colors is optimal.[1]

For colorings with d + 1 colors, it may not be possible to move from one coloring to another by changing the color of one vertex at a time. In particular, it is never possible to move between 2-colorings of a forest (the graphs of degeneracy 1) or between (d + 1)-colorings of a complete graph in this way; their colorings are said to be frozen.[2] Cycle graphs of length other than four also have disconnected families of (d + 1)-colorings.[3] However, with one additional color, using colorings with d + 2 colors, all pairs of colorings can be connected to each other by sequences of moves of this type. It follows from this that an appropriately designed random walk on the space of (d + 2)-colorings, using moves of this type, is mixing. This means that the random walk will eventually converge to the discrete uniform distribution on these colorings as its steady state, in which all colorings have equal probability of being chosen. More precisely, the random walk proceeds by repeatedly choosing a uniformly random vertex and choosing uniformly at random among all the available colors for that vertex, including the color it already had; this process is called the Glauber dynamics.[4]

Statement

The fact that the Glauber dynamics converges to the uniform distribution on (d + 2)-colorings naturally raises the question of how quickly it converges. That is, what is the mixing time? A lower bound on the mixing time is the diameter of the space of colorings, the maximum (over pairs of colorings) of the number of steps needed to change one coloring of the pair into the other. If the diameter is exponentially large in the number n of vertices in the graph, then the Glauber dynamics on colorings is certainly not rapidly mixing. On the other hand, when the diameter is bounded by a polynomial function of n, this suggests that the mixing time might also be polynomial. In his 2007 doctoral dissertation, Cereceda investigated this problem, and found that (even for connected components of the space of colors) the diameter can be exponential for (d + 1)-colorings of d-degenerate graphs. On the other hand, he proved that the diameter of the color space is at most quadratic (or, in big O notation, O(n2)) for colorings that use at least 2d + 1 colors. He wrote that "it remains to determine" whether the diameter is polynomial for numbers of colors between these two extremes, or whether it is "perhaps even quadratic".[5]

Although Cereceda asked this question for a range of colors and did not phrase it as a conjecture, by 2018 a form of this question became known as Cereceda's conjecture. This unproven hypothesis is the most optimistic possibility among the questions posed by Cereceda: that for graphs with degeneracy at most d, and for (d + 2)-colorings of these graphs, the diameter of the space of colorings is O(n2).[6][7][8][9] If true, this would be best possible, as the space of 3-colorings of a path graph has quadratic diameter.[10]

Although Cereceda's conjecture itself remains open even for degeneracy d = 2, it is known that for any fixed value of d the diameter of the space of (d + 2)-colorings is polynomial (with a different polynomial for different values of d). More precisely, the diameter is O(nd + 1). When the number of colorings is at least (3d + 3)/2, the diameter is quadratic.[7]

A related question concerns the possibility that, for numbers of colors greater than d + 2, the diameter of the space of colorings might decrease from quadratic to linear.[7] Bousquet & Bartier (2019) suggest that this might be true whenever the number of colors is at least d + 3.[9]

The Glauber dynamics is not the only way to change colorings of graphs into each other. Alternatives include the Kempe dynamics in which one repeatedly finds and swaps the colors of Kempe chains,[8] and the "heat bath" dynamics in which one chooses pairs of adjacent vertices and a valid recoloring of that pair. Both of these kinds of moves include the Glauber one-vertex moves as a special case, as changing the color of one vertex is the same as swapping the colors on a Kempe chain that only includes that one vertex. These moves may have stronger mixing properties and lower diameter of the space of colorings. For instance, both the Kempe dynamics and the heat bath dynamics mix rapidly on 3-colorings of cycle graphs, whereas the Glauber dynamics is not even connected when the length of the cycle is not four.

References
  1. Matula, David W.; Beck, L. L. (1983), "Smallest-last ordering and clustering and graph coloring algorithms", Journal of the ACM, 30 (3): 417–427, doi:10.1145/2402.322385, MR 0709826
  2. See Cereceda (2007), remark following Proposition 2.6, p. 26.
  3. Cereceda (2007), p. 37.
  4. Dyer, Martin; Flaxman, Abraham D.; Frieze, Alan M.; Vigoda, Eric (2006), "Randomly coloring sparse random graphs with fewer colors than the maximum degree", Random Structures & Algorithms, 29 (4): 450–465, doi:10.1002/rsa.20129, MR 2268231. See in particular Lemma 2 of this paper, and Cereceda (2007), Theorem 2.7, p. 26.
  5. Cereceda, Luis (2007), Mixing graph colourings, doctoral dissertation, London School of Economics. See especially page 109.
  6. Eiben, Eduard; Feghali, Carl (2018), Towards Cereceda's conjecture for planar graphs, arXiv:1810.00731
  7. Bousquet, Nicolas; Heinrich, Marc (2019), A polynomial version of Cereceda's conjecture, arXiv:1903.05619
  8. Bonamy, Marthe; Bousquet, Nicolas; Feghali, Carl; Johnson, Matthew (2019), "On a conjecture of Mohar concerning Kempe equivalence of regular graphs", Journal of Combinatorial Theory, Series B, 135: 179–199, doi:10.1016/j.jctb.2018.08.002, MR 3926265
  9. Bousquet, Nicolas; Bartier, Valentin (2019), "Linear transformations between colorings in chordal graphs", in Bender, Michael A.; Svensson, Ola; Herman, Grzegorz (eds.), 27th Annual European Symposium on Algorithms, ESA 2019, September 9-11, 2019, Munich/Garching, Germany, LIPIcs, 144, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, pp. 24:1–24:15, doi:10.4230/LIPIcs.ESA.2019.24
  10. Bonamy, Marthe; Johnson, Matthew; Lignos, Ioannis; Patel, Viresh; Paulusma, Daniël (2014), "Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs", Journal of Combinatorial Optimization, 27 (1): 132–143, doi:10.1007/s10878-012-9490-y, MR 3149109. See in particular Theorem 11, page 141.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.