Le secret des nœuds courbes : comment comparer les toiles d'araignée express
Deux graphes sont considérés comme identiques si leur « relief » correspond. Prenons deux cartes avec des montagnes et des vallées : même si le dessin diffère, les hauteurs et les pentes peuvent être les mêmes. Les scientifiques transforment un graphe en un paysage miniature où chaque sommet possède sa propre courbure — un degré d'inclinaison, semblable à la mesure du désordre en ce point.
L'algorithme, tel un topographe sensible, sonde le relief. Il cherche les sommets ayant la même courbure, en utilisant l'analyse des vibrations de toute la surface — comme si le paysage résonnait à ses propres fréquences. La méthode ne produit pas de faux positifs : une correspondance signifie une égalité structurelle exacte.
À la base se trouvent les idées des mathématiciens John von Neumann et Emmy Noether. De même que les astronomes cherchent la matière noire par la courbure de la lumière, ici les courbures du paysage révèlent la structure cachée. À l'avenir, cela accélérera la recherche de médicaments (les molécules sont des graphes d'atomes) et la comparaison de réseaux de neurones.
Résumé original
tel que rédigé par les auteurs, en anglais arXiv:2601.03787
Determining whether two graphs are structurally identical is a fundamental problem with applications spanning mathematics, computer science, chemistry, and network science. Despite decades of study, graph isomorphism remains a challenging algorithmic task, particularly for highly regular structures. Here we introduce a new algorithmic approach based on ideas from spectral graph theory and geometry that constructs candidate correspondences between vertices using their curvatures. Any correspondence produced by the algorithm is explicitly verified, ensuring that non-isomorphic graphs are never incorrectly identified as isomorphic. Although the method does not yet guarantee success on all inputs, we find that it correctly resolves every instance tested in deterministic polynomial time, including a broad collection of graphs known to be difficult for classical techniques. These results demonstrate that enriched spectral methods can be far more powerful than previously understood, and suggest a promising direction for the practical resolution of the complexity of the graph isomorphism problem.
Deux graphes de même structure mais de dessin différent sont dits isomorphes — du grec « égal » et « forme ».
Dans le roman de Neal Stephenson « Anathem », des scientifiques explorent d'étranges formes multidimensionnelles pour comprendre la structure de l'univers — un jeu avec la géométrie qui fait écho à ce problème.