Babai'nin Graph isomorphism sonucunun durumu nedir?

Ocak 2017'deki geri çekilme ve düzeltmeden bu yana bir yıldan fazla bir süre geçti. Haberler var mı
Doğrulama bu kadar uzun sürmezse, bu normal değilse? Çok dikkat çekeceğini umardım. Polinom sonucunu desteklemek / şüphe etmek için konuşulan notu olan var mı?

cc.complexity-theory graph-isomorphism proofs

— Meir Maor
kaynak

Düzeltme (ve dolayısıyla yarı-polinom sonucu) hemen Harald Andrés Helfgott tarafından desteklenmiştir. Açıklayıcı makalesi ( arxiv.org/abs/1701.04372 ) ve tercümesi ( arxiv.org/abs/1710.04574 ), yarı-polinom sonuçları için gerekli olan desteklerdir (başka delik veya hata bulunmadığı sürece). Beklenecek bir haber yok.

— Thomas Klimpel

bunlar bir yerde mi yayımlandı? (arxiv değil)

— Meir Maor

ArXiv'de "Astérisque'de görünmek için 1125 no'lu Bourbaki seminerinin fascicule'si (69. yıl, 2016-2017)" yazıyor. Henüz görünmedi ( smf4.emath.fr/Publications/Asterisque/2017 ), "Séminaire Bourbaki, cilt 2015/2016" i listeliyor ve ( smf4.emath.fr/Publications/Asterisque ), 2018’den henüz bir şey listelemiyor.

— Thomas Klimpel

Bir matematik kağıdının bir yıldan fazla yayın alması, hatta iki yıldan fazla yayınlanması kesinlikle normaldir.

— Sasho Nikolov

Öte yandan, bir makalenin yayınlanması sonuçların doğru olduğu anlamına gelmez. Dergilerde yayımlandıktan sonra çekilen birçok sonuç vakası vardır. Mesela sciencedirect.com/science/article/pii/…

— Muhammed El-Türkistan

Thomas Klimpel, Sasho Nikolov ve Mohammad Al-Turkistany tarafından yapılan yorumları topluluğa cevap olarak topladı:

Düzeltme (ve dolayısıyla yarı-polinom sonucu) hemen Harald Andrés Helfgott tarafından desteklenmiştir. Açıklayıcı raporu ( https://arxiv.org/abs/1701.04372 ) ve çevirisi ( https://arxiv.org/abs/1710.04574 ) yarı-polinom sonuçlar için gereken tüm desteklerdir. Helfgott'un açıklaması Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, sayfa 135–182'de Exposé 1125 olarak ortaya çıktı .

Babai'nin ispatıyla ilgili bilinen hiçbir sorun yoktur ve kapsamlı bir meslektaş incelemesinden geçti. Bununla birlikte, yayınlanan hakemli dergilerde yayınlanan makaleler daha sonra yanlış olarak geri çekildi.

Harald Andrés Helfgott'un desteği ve diğer sorunların eksikliği, grafik izomorfizminin yarı-polinom zamanda çözülebilir olduğunu kabul etmemiz için yeterli olmalı.

— Meir Maor
kaynak

Belirsiz olması durumunda, Bourbaki seminerinde "görünmesi" olan şey, Baba'nın makalesi değil Helfgott'un açıklamasıdır.

— Sasho Nikolov

Not Bu cevabı bilerek bir topluluk wiki yaptım, yalnızca kredi almakla kalmayıp, siz de dahil olmak üzere herhangi bir kişi iyileştirme / açıklama yapmak için kolayca düzenleyebilir.

— Meir Maor,