สถานะของผลกราฟมอร์ฟิซึ่มของ Babai คืออะไร

เป็นเวลามากกว่าหนึ่งปีแล้วตั้งแต่การเพิกถอนและการแก้ไขมกราคม 2017 ของเขา มีข่าวหรือไม่
ถ้าไม่ใช่เป็นเรื่องปกติที่จะต้องใช้เวลาตรวจสอบนาน ฉันคาดหวังว่ามันจะได้รับความสนใจมากมาย มีใครบ้างที่พูดเพื่อสนับสนุน / สงสัยผลการกึ่งโพลิโนเมียล?

cc.complexity-theory graph-isomorphism proofs

— Meir Maor
แหล่งที่มา

การแก้ไข (และผลลัพธ์ quasi-polynomial) ได้รับการสนับสนุนโดย Harald Andrés Helfgott ทันที กระดาษเก็บข้อมูลของเขา ( arxiv.org/abs/1701.04372 ) และการแปล ( arxiv.org/abs/1710.04574 ) คือการสนับสนุนทั้งหมดที่จำเป็นสำหรับผลลัพธ์กึ่งโพลิโนเมียล (ตราบเท่าที่ไม่พบรูหรือข้อผิดพลาดเพิ่มเติม) ไม่มีข่าวที่จะรอ

— โทมัสคลิมเพล

ได้เหล่านี้ได้รับการตีพิมพ์ที่ไหนสักแห่ง (ไม่ arXiv)?

— เมียร์ Maor

มันบอกว่า "จะปรากฏในAstérisque Fascicule หมายเลข 1125 ของการสัมมนา Bourbaki (ปีที่ 69, 2016-2017)" ใน arXiv มันยังไม่ปรากฏ ( smf4.emath.fr/Publications/Asterisque/2017 ) แสดงรายการ "Séminaire Bourbaki ปริมาณ 2015/2016" และ ( smf4.emath.fr/Publications/Asterisque ) ยังไม่มีรายการอะไรตั้งแต่ปี 2561

— โทมัสคลิมเพล

เป็นเรื่องปกติที่กระดาษคณิตศาสตร์จะใช้เวลามากกว่าหนึ่งปีในการเผยแพร่มากกว่าสองปี

— Sasho Nikolov

ในทางกลับกันการตีพิมพ์บทความไม่ได้หมายความว่าผลลัพธ์นั้นถูกต้อง มีหลายกรณีที่ผลลัพธ์ถูกถอนออกหลังจากตีพิมพ์ในวารสาร ตัวอย่างเช่นsciencedirect.com/science/article/pii/ …

— Mohammad Al-Turkistany

การรวมความคิดเห็นโดย Thomas Klimpel, Sasho Nikolov และ Mohammad Al-Turkistany เป็นคำตอบของชุมชน:

การแก้ไข (และผลลัพธ์ quasi-polynomial) ได้รับการสนับสนุนโดย Harald Andrés Helfgott ทันที กระดาษเก็บข้อมูลของเขา ( https://arxiv.org/abs/1701.04372 ) และการแปล ( https://arxiv.org/abs/1710.04574 ) เป็นข้อมูลสนับสนุนทั้งหมดที่จำเป็นสำหรับผลลัพธ์ quasi-polynomial นิทรรศการของ Helfgott ปรากฏเป็นExposé 1125ในAstérisque 407 (2019), Séminaire Bourbaki 2016/2017, pp. 135–182

ไม่มีปัญหาที่ทราบแล้วในปัจจุบันเกี่ยวกับหลักฐานของ Babai และผ่านการตรวจสอบจากเพื่อนอย่างกว้างขวาง ที่กล่าวว่าแม้กระทั่งเอกสารที่ผ่านการตรวจสอบโดยเพื่อนที่ตีพิมพ์แล้วก็ถูกถอนออกในภายหลังว่าไม่ถูกต้อง

การสนับสนุนโดย Harald Andrés Helfgott พร้อมกับการขาดประเด็นอื่น ๆ น่าจะเพียงพอสำหรับเราที่จะยอมรับว่ากราฟ isomorphism นั้นสามารถแก้ไขได้ในเวลากึ่งพหุนาม

— Meir Maor
แหล่งที่มา

ในกรณีที่มันไม่ชัดเจนสิ่งที่ "ปรากฏ" ในการสัมมนา Bourbaki คือนิทรรศการของ Helfgott ไม่ใช่บทความของ Babai

— Sasho Nikolov

หมายเหตุฉันตั้งใจทำให้คำตอบนี้เป็นวิกิของชุมชนไม่ใช่เพียงเพื่อไม่ให้เครดิต แต่ใครก็ตามรวมถึงคุณสามารถแก้ไขเพื่อทำการปรับปรุง / ชี้แจงได้อย่างง่ายดาย

— เมียร์ Maor