Seit seinem Rückzug und seiner Korrektur im Januar 2017 ist über ein Jahr vergangen. Gibt es Neuigkeiten?
Wenn nicht, dauert die Validierung normalerweise so lange? Ich würde erwarten, dass es viel Aufmerksamkeit bekommen würde. Hat jemand von Bedeutung gesprochen, um das quasi-polynomiale Ergebnis zu unterstützen / anzuzweifeln?
cc.complexity-theory
graph-isomorphism
proofs
Meir Maor
quelle
quelle
Antworten:
Zusammenfassung der Kommentare von Thomas Klimpel, Sasho Nikolov und Mohammad Al-Turkistany zu einer Community-Antwort:
Die Korrektur (und damit das quasi-polynomiale Ergebnis) wurde sofort von Harald Andrés Helfgott unterstützt. Sein Expository-Papier ( https://arxiv.org/abs/1701.04372 ) und seine Übersetzung ( https://arxiv.org/abs/1710.04574 ) sind die gesamte Unterstützung, die für die quasi-polynomialen Ergebnisse benötigt wird. Die Ausstellung von Helfgott erschien als Exposé 1125 in Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, S. 135–182.
Gegenwärtig sind keine Probleme mit Babais Beweisen bekannt, und es wurde eine umfassende Prüfung durch Fachkollegen durchgeführt. Das heißt, selbst veröffentlichte, von Experten begutachtete Artikel wurden später als inkorrekt zurückgezogen.
Die Unterstützung von Harald Andrés Helfgott zusammen mit dem Fehlen anderer Probleme dürfte ausreichen, um zu akzeptieren, dass der Graphisomorphismus tatsächlich in quasi-polynomialer Zeit lösbar ist.
quelle