Exploration of the space of the colorings of a graph
Exploration de l'espace des colorations d'un graphe
Résumé
This thesis focuses on combinatorial reconfiguration and structural problems with ageometric flavor. Reconfiguration is the study of configuration spaces with respectto an elementary operation transforming a configuration into another. Configurationspaces are formalized through the reconfiguration graph, whose vertices arethe configurations and in which two configurations are adjacent if they differ byone operation. Reconfiguration is motivated by practical applications in statisticalmechanics and raises algorithmic, probabilistic as well as structural questions.Under which structural conditions is the reconfiguration graph connected; whatis its diameter? Is there a “best” configuration in all the connected componentsof the reconfiguration graph; is there an efficient algorithm to find it? Can weefficiently sample a random configuration by performing a random walk on thereconfiguration graph?The main reconfiguration operation studied in this thesis is called a Kempechange and operates on the proper colorings of a graph. The first chapter consistsin a survey on recoloring with Kempe changes and illustrates the state of theart with an overview of the main tools and the different proof ideas. The secondchapter presents polynomial bounds on the diameter of the Kempe reconfigurationgraph in various sparse graph classes. We also disprove a recoloring versionof Hadwiger’s conjecture: all Kt-minor-free graphs have a connected Kempe reconfigurationgraph when the number of colors is at least t. In the third chapter,we present other reconfiguration operations arising from low-dimensional topology,such as shearing moves on squared-tiled surfaces or Reidemeister moves on knotdiagrams. Once again, we prove polynomial bounds on the diameter of the reconfigurationgraph in different settings. Moreover, we give general methods to obtainoptimal algorithms and parameterized complexity results from some commutationproperties of the elementary operations.In the last chapter, we move away from reconfiguration to present a resultthat intertwines several transverse notions of this thesis. We prove a structuretheorem for infinite graphs that have a lot of symmetries and avoid a minor, whichis reminiscent of the Graph Minor Structure Theorem of Robertson and Seymour.As applications of this result, we obtain structural results on the Hadwiger numberof these graphs and characterize the decidability domino problem on the groupswith a Cayley graph avoiding a minor.
Cette thèse porte sur la reconfiguration combinatoire et des problèmes structurels avec une coloration géométrique. La reconfiguration est l’étude des espaces de configuration vis-à-vis d’une opération élémentaire transformant une configuration en une autre. Les espaces de configuration sont modélisés par des graphes de reconfiguration, dont les sommets sont les configurations et dans lesquels deux configurations sont adjacentes si elles diffèrent par une opération élémentaire. La reconfiguration est motivée par des applications pratiques en mécanique statistique et soulève des questions structurelles, algorithmiques et probabilistes. Sous quelles conditions structurelles le graphe de reconfiguration est-il connexe ; quel est son diamètre ? Existe-t-il une configuration “optimale” dans toutes les composantes connexes du graphe de reconfiguration ; existe-t-il un algorithme efficace pour la trouver ? Peut-on échantillonner efficacement une configuration aléatoire en effectuant une marche aléatoire sur le graphe de reconfiguration ? La principale opération de reconfiguration étudiée dans cette thèse est appelée changement de Kempe et opère sur les colorations propres d’un graphe. Le premier chapitre consiste en un état de l’art de la recoloration avec les changements de Kempe, avec une vue d’ensemble des principaux outils et des différentes idées de preuve. Le deuxième chapitre présente des bornes polynomiales sur le diamètre du graphe de reconfiguration de Kempe dans différentes classes de graphes creux. Nous y réfutons également une version de recoloration de la conjecture de Hadwiger : tous les graphes sans Kt-minor ont un graphe de reconfiguration de Kempe connexe lorsque le nombre de couleurs est au moins t. Dans le troisième chapitre, nous présentons d’autres opérations de reconfiguration provenant de la topologie en basse dimension, telles que les mouvements de cisaillement sur les surfaces à petits carreaux ou les mouvements de Reidemeister sur les diagrammes de noeuds. Nous obtenons là encore des bornes sur les diamètres des graphes de reconfigurations correspondants. Enfin, nous montrons comment dériver des algorithmes optimaux et des résultats de complexité paramétrée à partir de résultats de commutation sur les opérations de reconfiguration. Dans le dernier chapitre, nous laissons la reconfiguration de côté pour présenter un résultat utilisant des notions transverses dans cette thèse. Nous prouvons un théorème de structure pour les graphes infinis ayant de nombreuses symétries et évitant un mineur, qui rappelle le théorème de structure des mineurs de graphes de Robertson et Seymour. Parmi les applications de ce résultat, nous obtenons des résultats structurels sur le nombre de Hadwiger de ces graphes et nous caractérisons la décidabilité du problème du domino sur les groupes dont les graphes de Cayley évitent un mineur.
Origine | Version validée par le jury (STAR) |
---|