Qual é o status do resultado do isomorfismo do gráfico de Babai?

23

Já faz mais de um ano desde a sua retração e correção em janeiro de 2017. Há novidades?
Se não, isso é normal para a validação demorar tanto? Eu esperaria que isso chamasse muita atenção. Alguém de destaque falou para apoiar / duvidar do resultado quase polinomial?

cc.complexity-theory graph-isomorphism proofs Meir Maor
fonte
6
A correção (e, portanto, o resultado quase polinomial) foi imediatamente apoiada por Harald Andrés Helfgott. Seu artigo expositivo ( arxiv.org/abs/1701.04372 ) e sua tradução ( arxiv.org/abs/1710.04574 ) são todo o suporte necessário para os resultados quase polinomiais (desde que não sejam encontrados mais buracos ou erros). Não há notícias para esperar.
Thomas Klimpel
Elas foram em algum lugar publicada (não arXiv)?
Meir Maor
5
Diz "Aparecer em Astérisque. Fascículo nº 1125 do seminário Bourbaki (69º ano, 2016-2017)" no arXiv. Ainda não apareceu, ( smf4.emath.fr/Publications/Asterisque/2017 ) lista "Séminaire Bourbaki, volume 2015/2016" e ( smf4.emath.fr/Publications/Asterisque ) ainda não lista nada a partir de 2018.
Thomas Klimpel 11/0318
10
É absolutamente normal que um trabalho de matemática leve mais de um ano, até mais de dois anos para ser publicado.
Sasho Nikolov
3
Por outro lado, a publicação de um artigo não significa que os resultados estejam corretos. Existem muitos casos de resultados retirados após serem publicados em periódicos. Por exemplo, sciencedirect.com/science/article/pii/…
Mohammad Al-Turkistany 13/03

Respostas:

20

Agregar comentários de Thomas Klimpel, Sasho Nikolov e Mohammad Al-Turkistany em uma resposta da comunidade:

A correção (e, portanto, o resultado quase polinomial) foi imediatamente apoiada por Harald Andrés Helfgott. Seu artigo expositivo ( https://arxiv.org/abs/1701.04372 ) e sua tradução ( https://arxiv.org/abs/1710.04574 ) são todo o suporte necessário para os resultados quase polinomiais. A exposição de Helfgott apareceu como Exposé 1125 em Astérisque 407 (2019), Séminaire Bourbaki 2016/2017, pp. 135–182.

Atualmente, não há problemas conhecidos com a prova de Babai e ela passou por uma extensa revisão por pares. Dito isto, mesmo os artigos revisados ​​por pares foram posteriormente retirados como incorretos.

O apoio de Harald Andrés Helfgott, juntamente com a falta de outras questões, deve ser suficiente para aceitarmos que o isomorfismo gráfico é realmente solucionável em tempo quase polinomial.

Meir Maor
fonte
4
Caso não esteja claro, o que "deve aparecer" no seminário de Bourbaki é a exposição de Helfgott, não o artigo de Babai.
Sasho Nikolov
Nota: Eu deliberadamente fiz desta resposta um wiki da comunidade, não apenas para não receber crédito, mas qualquer pessoa, incluindo você, pode facilmente editar para fazer melhorias / esclarecimentos.
Meir Maor