Cameron Gray Marion

Un graphe est un réseau de points reliés par des liens : chaque point est un sommet. En 1932, Marion Cameron Gray découvre un tel réseau, appelé graphe de Gray, qui compte 54 sommets. « Cubique » signifie que chaque sommet est relié à trois autres ; « semi-symétrique » décrit une régularité de ses symétries, sans rendre tous les sommets équivalents.

Le nom de Gray désigne donc à la fois une mathématicienne et le graphe qu'elle a découvert. Son parcours relie la recherche universitaire, les équations différentielles et la recherche industrielle aux Bell Telephone Laboratories.

Marion Cameron Gray est une mathématicienne née à Ayr en 1902, formée à l'université d'Édimbourg puis au Bryn Mawr College. Ses premiers travaux portent sur l'équation de la télégraphie et l'équation de conduction de la chaleur. En 1926, elle soutient à Bryn Mawr une thèse dirigée par Anna Wheeler sur les équations différentielles ordinaires singulières du second ordre.

La découverte qui lui vaut sa notoriété est celle d'un graphe cubique semi-symétrique à 54 sommets, appelé graphe de Gray. Le qualificatif « cubique semi-symétrique » précise le type de structure étudiée ; les 54 sommets donnent sa taille. La source le présente comme le plus petit graphe cubique semi-symétrique existant.

Gray découvre ce graphe en 1932, mais le résultat n'est publié qu'en 1968, lorsque I. Z. Bouwer en reconnaît l'importance pour la théorie des symétries. Cette chronologie distingue donc nettement la découverte de la publication. Après son installation à New York, Gray travaille pour l'American Telephone and Telegraph Company puis les Bell Telephone Laboratories jusqu'en 1967, tout en contribuant à des sociétés mathématiques professionnelles et au Handbook of Mathematical Functions.

Pour lire la description du graphe de Gray, on avance du concret vers les propriétés :
Étape 1 : 54 indique le nombre de sommets, c'est-à-dire de points.
Étape 2 : « cubique » indique que chaque sommet est relié à trois autres.
Étape 3 : « semi-symétrique » renvoie à une régularité des symétries, sans supposer que tous les sommets sont équivalents.

On peut refaire la vérification sur un petit graphe décrit sans dessin : prenez six sommets disposés en cycle, chaque sommet étant relié à ses deux voisins. On vérifie alors six sommets et deux liens attachés à chaque sommet ; le graphe est donc régulier de degré 2, mais il n'est pas cubique. Cette situation montre aussi que connaître une taille et un degré ne suffit pas à conclure à la semi-symétrie : cette propriété globale doit être examinée séparément.

Le contrôle final consiste à conserver séparés les repères suivants : la fin de l'activité de Gray aux Bell Telephone Laboratories en 1967, la publication du résultat en 1968 et la fin de sa vie en 1979. Cette séparation évite de transformer une chronologie de parcours, de découverte et de publication en une seule étape.

Pour situer Gray dans l'histoire des mathématiques, on part de ses lieux et de ses dates : Ayr, l'université d'Édimbourg, le Bryn Mawr College, puis New York. Ce parcours est préférable à une biographie réduite au seul nom du graphe, car il relie formation, recherche et carrière.

Pour identifier sa contribution, on cherche le résultat associé à son nom : un graphe cubique semi-symétrique à 54 sommets découvert en 1932. Ce critère observable distingue la contribution mathématique des travaux antérieurs sur les équations différentielles et la chaleur.

Pour replacer son activité professionnelle, on regarde les institutions citées : l'American Telephone and Telegraph Company, les Bell Telephone Laboratories et la National Science Foundation. Ces repères montrent que la recherche mathématique apparaît ici dans des cadres universitaires, industriels et éditoriaux.

Découverte et publication. Marion Cameron Gray est associée à la découverte du graphe de Gray en 1932. I. Z. Bouwer intervient dans l'histoire du résultat en 1968, lorsqu'il en reconnaît l'importance pour la théorie des symétries et que le résultat est publié. Le critère qui tranche est donc la date et le rôle : découverte en 1932 pour Gray, publication et mise en évidence de l'importance en 1968 pour Bouwer.

La personne et le graphe. « Marion Cameron Gray » désigne la mathématicienne ; « graphe de Gray » désigne la structure à 54 sommets. Si l'énoncé porte sur une naissance, une formation ou un emploi, il concerne Gray. S'il porte sur des sommets et une symétrie, il concerne le graphe.

La date de découverte n'est pas celle de publication. Le résultat est découvert en 1932, mais il n'est publié qu'en 1968. Si une chronologie fusionne ces deux dates, elle donne une histoire fausse ; il faut conserver les deux étapes et leur rôle respectif.

Le nombre de sommets ne résume pas toute la structure. Les 54 sommets identifient la taille du graphe de Gray, mais l'appellation complète est « graphe cubique semi-symétrique ». Si l'on ne retient que 54, on perd le type de graphe ; il faut reprendre les deux informations.

Le titre ne suffit pas à attribuer un rôle. Le nom de Bouwer apparaît dans l'histoire de la publication, tandis que Gray est la découvreuse. Pour éviter l'attribution erronée, on vérifie toujours si l'énoncé parle de la découverte de 1932 ou de la publication de 1968.

Pour aller plus loin, l'exemple du cycle montre la limite du degré : ses six sommets ont tous le même degré 2, mais cette régularité locale ne dit pas encore comment les symétries agissent sur l'ensemble de la structure. Pour examiner la semi-symétrie d'un graphe, on vérifie donc d'abord la régularité des degrés, puis si ses symétries peuvent envoyer n'importe quelle arête sur n'importe quelle autre, tout en laissant au moins deux classes de sommets non équivalents. Le degré 3 est nécessaire pour le graphe de Gray, mais il ne suffit pas à établir cette propriété globale.