Invariant de Colin de Verdière

L'invariant de Colin de Verdière est un paramètre de théorie des graphes, défini pour tout graphe, introduit par Yves Colin de Verdière en 1990. Il a été motivé par l'étude de la multiplicité maximale de la seconde valeur propre de certains opérateurs hamiltoniens[1].

Définition

modifier

Soit   un graphe simple sans boucle. On suppose sans perte de généralité que  . L'invariant de Colin de Verdière   est le plus grand corang (en) d'une matrice symétrique   telle que :

  • (M1) pour tout  ,   si  , et   si   ;
  • (M2)   a exactement une valeur propre négative, de multiplicité 1 ;
  • (M3) il n'existe pas de matrices   avec   et telle que   lorsque   ou  [1],[2].

Caractérisation des familles de graphes connues

modifier

Plusieurs familles de graphes bien connues peuvent être caractérisées en termes de leurs invariants de Colin de Verdière :

Ces mêmes familles de graphes apparaissent également dans les connexions entre l'invariant de Colin de Verdière d'un graphe et la structure de son graphe complémentaire :

  • Si le complément d'un graphe à   sommets est une forêt linéaire, alors  [1],[5];
  • Si le complément d'un graphe à   sommets est une graphe planaire extérieur, alors  [1],[5];
  • Si le complément d'un graphe à   sommets est une graphe planaire, alors  [1],[5].

Mineurs

modifier

Un mineur d'un graphe est un graphe formé à partir du graphe de départ en contractant des arêtes et en supprimant des arêtes et des sommets. L'invariant de Colin de Verdière est décroissant par passage aux mineurs, ce qui signifie qu'un mineur d'un graphe donné a un invariant plus petit que le graphe de départ :

On a   pour tout mineur   de  [2].

Par le théorème de Robertson-Seymour, il existe, pour tout k, un ensemble fini H de graphes tels que les graphes d'invariant au plus k sont exactement les graphes dont aucun mineur n'est dans H. Colin de Verdière 1990 liste ces ensembles de mineurs exclus pour k ≤ 3; for k = 4 l'ensemble des mineurs exclus est composé des sept graphes de la P, due aux deux caractérisations des plongements sans entrelacs (en) comme graphes avec μ ≤ 4 et comme graphes sans mineur dans la famille de[4]. Pour k = 5 l'ensemble des mineurs exclus comprend 78 graphes de la famille de Heawood, et on suppose qu'il n'y a pas d'autres[6].

Nombre chromatique

modifier

Colin de Verdière 1990 a conjecturé que tout graphe avec invariant de Colin de Verdière μ peut être coloré avec au plus μ + 1 couleurs. Par exemple; les forêts linéaires ont un invariant inférieur à 1 et sont 2-coloriables; un graphe planaire extérieur a un invariant inférieur à deux, et est 3-coloriable ; les graphes planaires ont un invariant inférieur à 3 et (par le théorème des quatre couleurs) sont 4-coloriables.

Pour les graphes d'invariant au plus quatre, la conjecture reste vraie ; ce sont les graphe avec plongement sans entrelacs, et le fait qu'ils ont un nombre chromatique au plus cinq est un conséquence de la preuve, par Robertson, Seymour et Thomas[7], de la Conjecture de Hadwiger pour les graphes sans mineur K6.

Autres propriétés

modifier

Si un graphe a un nombre de croisements  , son invariant de Colin de Verdière est au plus  . Par exemple, les deux graphes de Kuratowski   et   peuvent être tracés avec un seul croisement, et ont un invariant de au plus 4[2].

Influence

modifier

L'invariant de Colin de Verdière est défini à partir d'une famille particulière de matrices associées à un graphe plutôt qu'une matrice directement définie par le graphe. Dans cet ordre d'idées, d'autres paramètres de graphes ont été définis et étudiés, tel que le rang minimum d'un graphe (en), le rang minimum semidéfini d'un graphe (en) et le rang gauche minimum d'un graphe (en).

  1. a b c d e f g h i et j van der Holst, Lovász et Schrijver 1999.
  2. a b c d e et f Colin de Verdière 1990.
  3. Colin de Verdière 1990 n'énonce pas explicitement ce cas, mais il découle de sa caractérisation de ces graphes comme étant les graphes sans mineurs qui sont des graphes triangle ou graphes étoie.
  4. a et b Lovász et Schrijver 1998.
  5. a b et c ,Kotlov, Lovász et Vempala 1997.
  6. Hein van der Holst, « Graphs and obstructions in four dimensions », Journal of Combinatorial Theory, Series B, vol. 96, no 3,‎ , p. 388-404 (DOI 10.1016/j.jctb.2005.09.004, lire en ligne)
  7. Robertson, Seymour et Thomas 1993.

Références

modifier

Autres publications

modifier
  • László Lovász, Graphs and geometry, American Mathematical Soc., coll. « Colloquium Publications » (no 65), , 444 p. (ISBN 978-1-4704-5087-8, lire en ligne), « Chap. 16 : The Colin de Verdière Number ».
  • Vojtêch Kaluẑa et Martin Tancer, « Even maps, the Colin de Verdiere number and representations of graphs », Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics,‎ , p. 2642-2657.