Babai의 그래프 동형 결과의 상태는 무엇입니까?

2017 년 1 월 철회 및 수정 이후 1 년이 지났습니다. 뉴스가 있습니까?
그렇지 않은 경우 유효성 검사가 오래 걸리는 것이 정상입니까? 나는 그것이 많은 관심을 끌 것으로 기대합니다. 준 다 항적 결과를지지 / 의심하는 데 주목 한 사람이 있습니까?

cc.complexity-theory graph-isomorphism proofs

— 메이어 메이어
소스

수정 (따라서 준 다항식 결과)은 Harald Andrés Helfgott에 의해 즉시 뒷받침되었습니다. 그의 해설 논문 ( arxiv.org/abs/1701.04372 )과 그 번역 ( arxiv.org/abs/1710.04574 )은 준 다항식 결과에 필요한 모든 지원 (추가 구멍이나 실수가없는 한)입니다. 기다릴 뉴스가 없습니다.

— Thomas Klimpel

이것들은 어딘가에 출판 되었습니까? (arxiv 아님)

— Meir Maor

arXiv의 "Bourbaki 세미나의 1st125 (Astérisque. Fascicule no 1125, 2016-2017)"라고 말합니다. 아직 나타나지 않았으며 ( smf4.emath.fr/Publications/Asterisque/2017 )에는 "Séminaire Bourbaki, volume 2015/2016"이 표시되고 ( smf4.emath.fr/Publications/Asterisque )는 2018에서 아직 아무것도 표시하지 않습니다.

— Thomas Klimpel

수학 논문이 출판하는 데 1 년 이상, 심지어 2 년 이상 걸리는 것은 절대적으로 정상입니다.

— Sasho Nikolov

반면에 종이를 출판한다고해서 결과가 정확하다는 의미는 아닙니다. 저널에 출판 된 후 철회 된 많은 결과가 있습니다. 예를 들어 sciencedirect.com/science/article/pii/…

— Mohammad Al-Turkistany

Thomas Klimpel, Sasho Nikolov 및 Mohammad Al-Turkistany의 의견을 커뮤니티 답변으로 집계 :

수정 (따라서 준 다항식 결과)은 Harald Andrés Helfgott에 의해 즉시 뒷받침되었습니다. 그의 해설 논문 ( https://arxiv.org/abs/1701.04372 )과 번역본 ( https://arxiv.org/abs/1710.04574 )은 준 다항식 결과에 필요한 모든 지원입니다. Helfgott의 박람회는 Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, pp. 135–182에서 Exposé 1125 로 출연했습니다 .

Babai의 증거에는 현재 알려진 문제가 없으며 광범위한 동료 검토를 거쳤습니다. 즉, 출판 된 동료 검토 논문조차도 나중에 잘못된 것으로 철회되었습니다.

다른 문제의 부족과 함께 Harald Andrés Helfgott의 지원만으로도 그래프 동형이 준 다항식 시간에 실제로 해결 가능하다는 것을 받아 들일 수있을 것입니다.

— Meir Maor
소스

확실하지 않은 경우, 부르 바키 세미나에 "보여 질 것"은 바바이의 논문이 아니라 헬프 포트의 설명이다.

— Sasho Nikolov

참고 나는이 답변을 커뮤니티 위키로 만들었습니다. 크레딧을받을뿐만 아니라 여러분을 포함한 누구나 쉽게 편집 / 개선 할 수 있습니다.

— Meir Maor