¿Cuál es el estado del resultado del isomorfismo Graph de Babai?

23

Ha pasado más de un año desde su retracción y corrección de enero de 2017. ¿Hay novedades?
Si no, ¿es normal que la validación demore tanto? Esperaría que recibiera mucha atención. ¿Alguien notable ha hablado para apoyar / dudar del resultado cuasi polinomial?

cc.complexity-theory graph-isomorphism proofs Meir Maor
fuente
66
La corrección (y, por lo tanto, el resultado cuasi polinomial) fue apoyada de inmediato por Harald Andrés Helfgott. Su documento expositivo ( arxiv.org/abs/1701.04372 ) y su traducción ( arxiv.org/abs/1710.04574 ) son todo el apoyo que se necesita para los resultados cuasi-polinomiales (siempre que no se encuentren más agujeros o errores). No hay noticias que esperar.
Thomas Klimpel
¿Se han publicado en alguna parte? (no arxiv)
Meir Maor
55
Dice "Para aparecer en Astérisque. Fascicule no 1125 del seminario Bourbaki (69º año, 2016-2017)" en arXiv. Todavía no ha aparecido, ( smf4.emath.fr/Publications/Asterisque/2017 ) enumera "Séminaire Bourbaki, volumen 2015/2016", y ( smf4.emath.fr/Publications/Asterisque ) todavía no incluye nada de 2018.
Thomas Klimpel
10
Es absolutamente normal que un trabajo de matemáticas demore más de un año, incluso más de dos años en publicarse.
Sasho Nikolov
3
Por otro lado, la publicación de un artículo no significa que los resultados sean correctos. Hay muchos casos de resultados retirados después de ser publicados en revistas. Por ejemplo, sciencedirect.com/science/article/pii/…
Mohammad Al-Turkistany

Respuestas:

20

Agregando los comentarios de Thomas Klimpel, Sasho Nikolov y Mohammad Al-Turkistany en una respuesta comunitaria:

La corrección (y, por lo tanto, el resultado cuasi polinomial) fue apoyada de inmediato por Harald Andrés Helfgott. Su documento expositivo ( https://arxiv.org/abs/1701.04372 ) y su traducción ( https://arxiv.org/abs/1710.04574 ) son todo el apoyo que se necesita para los resultados cuasi-polinomiales. La exposición de Helfgott apareció como Exposé 1125 en Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, pp. 135-182.

No hay problemas conocidos actuales con la prueba de Babai, y ha pasado por una extensa revisión por pares. Dicho esto, incluso los trabajos revisados ​​por pares publicados se han retirado posteriormente como incorrectos.

El apoyo de Harald Andrés Helfgott junto con la falta de otros problemas debería ser suficiente para que aceptemos que el isomorfismo gráfico puede resolverse en un tiempo cuasi polinomial.

Meir Maor
fuente
44
En caso de que no esté claro, lo que debe "aparecer" en el seminario de Bourbaki es la exposición de Helfgott, no el artículo de Babai.
Sasho Nikolov
Tenga en cuenta que deliberadamente hice esta respuesta un wiki de la comunidad, no solo para no tomar el crédito, sino que cualquier persona que lo incluya puede editar fácilmente para hacer mejoras / aclaraciones.
Meir Maor