Tình trạng của kết quả đẳng cấu đồ thị của Babai là gì?

Đã hơn một năm kể từ khi rút lại và điều chỉnh vào tháng 1 năm 2017. Có tin tức gì không?
Nếu không điều này là bình thường để xác nhận mất nhiều thời gian? Tôi hy vọng nó sẽ nhận được nhiều sự chú ý. Có ai lưu ý lên tiếng để hỗ trợ / nghi ngờ về kết quả đa thức?

cc.complexity-theory graph-isomorphism proofs

— Meir Maor
nguồn

Việc hiệu chỉnh (và do đó là kết quả đa thức) ngay lập tức được hỗ trợ bởi Harald Andrés Helfgott. Tài liệu lưu trữ của anh ấy ( arxiv.org/abs/1701.04372 ) và bản dịch của nó ( arxiv.org/abs/1710.04574 ) là tất cả các hỗ trợ cần thiết cho các kết quả đa thức (miễn là không tìm thấy lỗ hổng hoặc sai sót nào nữa). Không có tin tức để chờ đợi.

— Thomas Klimpel

những thứ này đã được xuất bản ở đâu chưa? (không phải arxiv)

— Meir Maor

Nó viết "Để xuất hiện trong Astérisque. Fascicule no 1125 của hội thảo Bourbaki (năm thứ 69, 2016-2017)" trên arXiv. Nó chưa xuất hiện, ( smf4.emath.fr/Publications/Asterisque/2017 ) liệt kê "Séminaire Bourbaki, tập 2015/2016" và ( smf4.emath.fr/Publications/Asterisque ) chưa liệt kê bất cứ điều gì từ năm 2018.

— Thomas Klimpel

Điều đó hoàn toàn bình thường đối với một bài báo toán học mất hơn một năm, thậm chí hơn hai năm để xuất bản.

— Sasho Nikolov

Mặt khác, Xuất bản một bài báo không có nghĩa là kết quả là chính xác. Có nhiều trường hợp rút kết quả sau khi được công bố trên các tạp chí. Chẳng hạn, scTHERirect.com/science/article/pii/ Sự

— Mohammad Al-Turkistany

Tổng hợp ý kiến của Thomas Klimpel, Sasho Nikolov và Mohammad Al-Turkistany vào một câu trả lời của cộng đồng:

Việc hiệu chỉnh (và do đó là kết quả đa thức) ngay lập tức được hỗ trợ bởi Harald Andrés Helfgott. Tài liệu lưu trữ của anh ấy ( https://arxiv.org/abs/1701.04372 ) và bản dịch của nó ( https://arxiv.org/abs/1710.04574 ) là tất cả các hỗ trợ cần thiết cho kết quả đa thức. Giải trình của Helfgott xuất hiện dưới dạng Triển lãm 1125 trong Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, trang 135 Phản182.

Không có vấn đề được biết đến hiện tại với bằng chứng của Babai, và nó đã trải qua đánh giá ngang hàng. Điều đó nói rằng, ngay cả các bài báo đánh giá ngang hàng được công bố sau đó đã bị rút là không chính xác.

Sự hỗ trợ của Harald Andrés Helfgott cùng với việc thiếu các vấn đề khác là đủ để chúng tôi chấp nhận rằng sự đồng hình đồ thị thực sự có thể giải quyết được trong thời gian đa thức.

— Meir Maor
nguồn

Trong trường hợp không rõ ràng, điều "xuất hiện" trong hội thảo Bourbaki là giải trình của Helfgott, không phải bài báo của Babai.

— Sasho Nikolov

Lưu ý Tôi đã cố tình đưa câu trả lời này lên wiki cộng đồng, không chỉ để không lấy tín dụng, mà bất kỳ ai kể cả bạn có thể dễ dàng chỉnh sửa để thực hiện bất kỳ cải tiến / làm rõ nào.

— Meir Maor