ババイのグラフ同型結果のステータスはどうなっていますか?


23

2017年1月の撤回と修正から1年以上が経過しました。ニュースはありますか?
そうでない場合、検証にこれほど時間がかかるのは正常ですか?私はそれが多くの注目を集めると期待しています。準多項式の結果をサポート/疑うために、誰かが話したことがありますか?


6
修正(および準多項式の結果)は、HaraldAndrésHelfgottによって直ちにサポートされました。彼の説明論文(arxiv.org/abs/1701.04372)とその翻訳(arxiv.org/abs/1710.04574)は、準多項式の結果に必要なすべてのサポートです(さらに穴や誤りが見つからない限り)。待つべきニュースはありません。
トーマスクリンペル

?これらとなって出版され、どこか(arXivのない)持っている
メイアMaor

5
arXivの「アステリスクに登場します。ブルバキセミナー(69年目、2016〜2017年)のFascicule no 1125」とあります。それは、まだ現れていない(smf4.emath.fr/Publications/Asterisque/2017)リスト「神学校ブルバキ、ボリューム2016分の2015」、および(smf4.emath.fr/Publications/Asterisqueは)2018年からは何もない、まだリストにありません。
トーマスクリンペル

10
数学の論文が発行されるのに1年以上、さらには2年以上かかることは絶対に普通です。
サショニコロフ

3
一方、論文の発表は結果が正しいことを意味するものではありません。雑誌に掲載された後に取り下げられた結果の多くのケースがあります。たとえば、sciencedirect.com / science / article / pii /…
モハマド

回答:


20

Thomas Klimpel、Sasho Nikolov、Mohammad Al-Turkistanyのコメントをコミュニティの回答にまとめる:

修正(および準多項式の結果)は、HaraldAndrésHelfgottによって直ちにサポートされました。彼の説明論文(https://arxiv.org/abs/1701.04372)とその翻訳(https://arxiv.org/abs/1710.04574)は、準多項式の結果に必要なすべてのサポートです。ヘルフゴットの博覧会は、として登場Exposéの1125 Astérisque407(2019)で、神学校ブルバキ2017分の2016、頁135から182まで。

ババイの証拠には現在既知の問題はなく、広範なピアレビューを経ています。とはいえ、公開された査読済みの論文でさえ、後で誤ったものとして取り下げられました。

HaraldAndrésHelfgottによるサポートと他の問題の欠如は、グラフの同型性が実際に準多項式時間で解けることを受け入れるのに十分なはずです。


4
不明な場合は、ブルバキセミナーに「登場」するのは、ババイの論文ではなく、ヘルフゴットの説明です。
サショニコロフ

注:私はこの回答を意図的にコミュニティWikiにしました。信用を得るためだけでなく、あなたを含む誰でも簡単に編集して改善/明確化することができます。
ミール
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.