Wie ist der Status des Ergebnisses von Babais Graph-Isomorphismus?

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

Die Korrektur (und damit das quasi-polynomiale Ergebnis) wurde sofort von Harald Andrés Helfgott unterstützt. Sein Expository-Paper ( arxiv.org/abs/1701.04372 ) und seine Übersetzung ( arxiv.org/abs/1710.04574 ) sind die gesamte Unterstützung, die für die quasi-polynomialen Ergebnisse benötigt wird (solange keine weiteren Lücken oder Fehler gefunden werden). Es gibt keine Neuigkeiten, auf die man warten muss.

— Thomas Klimpel

Wurden diese irgendwo veröffentlicht? (nicht Arxiv)

— Meir Maor

Es heißt "In Astérisque erscheinen. Fascicule Nr. 1125 des Bourbaki-Seminars (69. Jahrgang, 2016-2017)" auf arXiv. Es ist noch nicht erschienen. ( Smf4.emath.fr/Publications/Asterisque/2017 ) listet "Séminaire Bourbaki, Band 2015/2016" auf, und ( smf4.emath.fr/Publications/Asterisque ) listet noch nichts von 2018 auf.

— Thomas Klimpel

Es ist völlig normal, dass ein Mathe-Artikel mehr als ein Jahr oder sogar mehr als zwei Jahre benötigt, um veröffentlicht zu werden.

— Sasho Nikolov

Andererseits bedeutet die Veröffentlichung einer Arbeit nicht, dass die Ergebnisse korrekt sind. Es gibt viele Fälle, in denen Ergebnisse zurückgezogen wurden, nachdem sie in Fachzeitschriften veröffentlicht wurden. Zum Beispiel sciencedirect.com/science/article/pii/…

— Mohammad Al-Turkistany

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.

— Meir Maor
quelle

Für den Fall, dass es unklar ist, ist das, was im Bourbaki-Seminar "erscheinen" soll, die Ausstellung von Helfgott, nicht Babais Papier.

— Sasho Nikolov

Hinweis: Ich habe diese Antwort bewusst zu einem Community-Wiki gemacht, nicht nur, um keine Gutschriften zu erhalten, sondern auch, um Verbesserungen / Klarstellungen vorzunehmen.

— Meir Maor