Apa status hasil isomorfisma Grafik Babai?

Sudah lebih dari setahun sejak pencabutan dan koreksi Januari 2017. Apakah ada berita?
Jika tidak apakah ini normal untuk validasi selama ini? Saya berharap itu akan mendapat banyak perhatian. Adakah yang diketahui berbicara untuk mendukung / meragukan hasil kuasi polinomial?

cc.complexity-theory graph-isomorphism proofs

— Meir Maor
sumber

Koreksi (dan karenanya hasil kuasi-polinomial) segera didukung oleh Harald Andrés Helfgott. Makalah ekspositori ( arxiv.org/abs/1701.04372 ) dan terjemahannya ( arxiv.org/abs/1710.04574 ) adalah semua dukungan yang diperlukan untuk hasil kuasi-polinomial (selama tidak ada lubang atau kesalahan lebih lanjut ditemukan). Tidak ada berita untuk menunggu.

— Thomas Klimpel

apakah ini sudah diterbitkan di suatu tempat? (bukan arxiv)

— Meir Maor

Dikatakan "Untuk muncul di Astérisque. Fascicule no 1125 dari seminar Bourbaki (tahun ke-69, 2016-2017)" di arXiv. Itu belum muncul, ( smf4.emath.fr/Publications/Asterisque/2017 ) daftar "Séminaire Bourbaki, volume 2015/2016", dan ( smf4.emath.fr/Publications/Asterisque ) belum mencantumkan apa pun dari 2018.

— Thomas Klimpel

Ini benar-benar normal untuk makalah matematika untuk mengambil lebih dari satu tahun, bahkan lebih dari dua tahun untuk mempublikasikan.

— Sasho Nikolov

Di sisi lain, Publikasi makalah tidak berarti hasilnya benar. Ada banyak kasus hasil yang ditarik setelah dipublikasikan di jurnal. Misalnya, sciencedirect.com/science/article/pii/…

— Mohammad Al-Turkistany

Komentar gabungan dari Thomas Klimpel, Sasho Nikolov dan Mohammad Al-Turkistany menjadi jawaban komunitas:

Koreksi (dan karenanya hasil kuasi-polinomial) segera didukung oleh Harald Andrés Helfgott. Makalah ekspositori-nya ( https://arxiv.org/abs/1701.04372 ) dan terjemahannya ( https://arxiv.org/abs/1710.04574 ) adalah semua dukungan yang diperlukan untuk hasil kuasi-polinomial. Eksposisi Helfgott muncul sebagai Eksposur 1125 dalam Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, hlm. 135–182.

Tidak ada masalah yang diketahui saat ini dengan bukti Babai, dan itu telah melalui tinjauan sejawat yang luas. Yang mengatakan, bahkan makalah peer-review yang diterbitkan kemudian telah ditarik sebagai salah.

Dukungan oleh Harald Andrés Helfgott bersama dengan kurangnya masalah lain harus cukup bagi kita untuk menerima bahwa grafik isomorfisme memang dapat dipecahkan dalam waktu kuasi-polinomial.

— Meir Maor
sumber

Jika tidak jelas, hal yang "muncul" dalam seminar Bourbaki adalah pemaparan Helfgott, bukan makalah Babai.

— Sasho Nikolov

Catatan Saya sengaja membuat jawaban ini sebagai wiki komunitas, tidak hanya untuk tidak mengambil kredit, tetapi siapa pun termasuk Anda dapat dengan mudah mengedit untuk melakukan perbaikan / klarifikasi.

— Meir Maor