Ansätze zu GI inspiriert von Knotenproblemen


14

GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht. Gibt es ähnliche Ergebnisse für Gich ?

Es wäre besonders hilfreich zu wissen, ob es Standardergebnisse / -warnungen / -vorschläge / -kommentare gibt, bevor man sich mit , das durch Knotenprobleme motiviert ist. Eigentlich habe ich mich gefragt, ob es empfehlenswert ist, diese Richtung für meine Masterarbeit zu erkunden. Ich interessiere mich für quanten / klassische Ansätze zu G I und algebraischen Problemen. Alle anderen Vorschläge sind willkommen.GichGich


Aus mathematischen isomorphen Graphen : "In gewisser Weise ist der Isomorphismus von Graphen in der Praxis einfach, mit Ausnahme einer Reihe pathologisch schwieriger Graphen, die alle Probleme zu verursachen scheinen. Im Gegensatz zur Knotentheorie gab es also nie signifikante Paare von Graphen, für die der Isomorphismus gilt ungelöst war. ... Leider gibt es mit ziemlicher Sicherheit keine einfach zu berechnende universelle Graphinvariante, die auf dem Graphenspektrum oder anderen Parametern eines Graphen basiert (Royle 2004). "
vzn

2
Anscheinend ist Knotenäquivalenz auch in der Praxis einfach.
Jeffs

Ich habe Poster ähnliche Frage hier physics.stackexchange.com/questions/39328/… auch
DurgaDatta

Meines Wissens gibt es keine "pathologisch schwierigen" Knoten, die alle Probleme verursachen. Es wäre sehr interessant, eine Familie von Unknots mit schlechten Laufzeiten in den verschiedenen Unknot Recognition-Programmen zu finden, entweder nachweislich oder nur experimentell.
Sam Nead

Antworten:


17

Ein Zusammenhang besteht darin, dass sowohl der Graphisomorphismus als auch der Knotenisomorphismus Spezialfälle des 3-Mannigfaltigen Homöomorphismus sind. Im Knotenfall sind zwei Knoten isomorph, wenn ihre Komplemente (Mannigfaltigkeiten, die durch Löschen der Knotenpunkte aus dem 3-Raum gebildet werden) homöomorph sind.

Und im Diagrammfall ist es möglich, Diagramme so in Mannigfaltigkeiten umzuwandeln, dass die Diagramme genau dann isomorph sind, wenn die Mannigfaltigkeiten homöomorph sind. Ich habe letzten Dezember einen Kommentar dazu in einem Google+ Post geschrieben, aber leider nicht in einem Post, den ich teilen kann. Die Konstruktion beginnt mit einer Mannigfaltigkeit für jeden Scheitelpunkt v in der Form des Komplements in einer 3-Sphäre eines Straußes von Schleifen des Grades (v) (die an einem gemeinsamen Scheitelpunkt miteinander verbunden sind). Verbinden Sie für jede Kante uv die Verteiler für u und v durch a Operation miteinanderund verknüpfen Sie eine Schleife von u und eine Schleife von v über den Operationsball. Dann steigt jede Isomorphie von Graphen zu einer Homöomorphie der resultierenden Mannigfaltigkeit an (dies wäre auch dann der Fall, wenn wir nur eine Operation an 3 Kugeln ohne die Blumensträuße durchgeführt hätten), und die Blumensträuße verhindern, dass die Mannigfaltigkeit zusätzliche Homöomorphien aufweist, die nicht aus der Grafik stammen .


7

die allgemeinere Frage ist die Verbindung zwischen Knotentheorie und Graphentheorie. Als ein möglicher Ausgangspunkt gibt es eine Verbindung zwischen dem Jones-Polynom (zur Klassifizierung von Knoten) und dem Tutte-Polynom planarer Graphen. dh in der Knotentheorie erscheint das Tutte-Polynom als das Jones-Polynom eines alternierenden Knotens. (Vielleicht gibt es einen Zusammenhang zwischen Knotentheorie und GI in ebenen Graphen.)

siehe thms 7,8 in:

Berechnung des Tutte-Polynoms eines Graphen und des Jones-Polynoms eines alternierenden Glieds von mäßiger Größe Sekine, Imai, Tani

DAS JONES-POLYNOM UND DIE GRAFIKEN AUF DEN OBERFLÄCHEN OLIVER T. DASBACH, DAVID FUTER, EFSTRATIA KALFAGIANNI, XIAO-SONG LIN UND NEAL W. STOLTZFUS

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.