ผลกระทบของตัวแปรสมมุติฐานรีมันน์ใน TCS


10

สมมุติฐานของ Riemannอายุมากกว่า1½ศตวรรษมีความเกี่ยวพันอย่างลึกซึ้งในวิชาคณิตศาสตร์และทฤษฎีทางคณิตศาสตร์ขนาดใหญ่ได้พิสูจน์แล้วว่ามีเงื่อนไขกับมันและตัวแปรมากมาย ฉันเพิ่งเจอการอ้างอิงถึงผลตามเงื่อนไขใน TCS ตามสมมติฐานของ Riemann ดังนั้นฉันสงสัย

อะไรคือนัยสำคัญของสมมติฐานของรีมันน์ใน TCS?

เป็นจุดเริ่มต้นที่นี่เป็นตัวอย่างจากบทความล่าสุดชื่อโฮโมมอร์ฟิซึ่มส์พหุนามสมบูรณ์สำหรับ VPโดย Durand, Mahajan, Malod, de Rugy-Altherre และ Saurab จากการแนะนำของกระดาษ:

หนึ่งในคำถามเปิดที่สำคัญที่สุดในทฤษฎีความซับซ้อนเชิงพีชคณิตคือการตัดสินใจว่าคลาส VP และ VNP แตกต่างกันหรือไม่ คลาสเหล่านี้, แรกที่กำหนดโดย Valiant ใน [13, 12], เป็น analogues เชิงพีชคณิตของคลาส Boolean ซับซ้อน P และ NP, และการแยกพวกมันเป็นสิ่งจำเป็นสำหรับการแยก P จาก NP (อย่างน้อยไม่สม่ำเสมอและสมมติสมมติฐาน Riemann ทั่วไป, เหนือสนาม , [3])C


3
ที่รู้จักกันดีคือ RH ทั่วไปหมายความว่าเราสามารถทดสอบการทดสอบดั้งเดิมของ Miller-Rabin ได้ แต่ฉันไม่รู้ว่ามีอะไรที่ลึกกว่าหรือกว้างกว่านั้นเกี่ยวข้องกับเรื่องนั้น
usul

1
nn

1
n[n,n+n0.5+o(1)]

นอกจากนี้การขยายตัวของ RH ให้ขอบเขตที่ดีในการที่สำคัญที่สุดในความก้าวหน้าทางเลขคณิต (ดูเช่นมาตรา 5.5.4 ในshoup.net/ntb/ntb-ntb-v2.pdf )
Alex Golovnev

คำตอบ:


15

ครั้งแรกฉันไม่ได้ตระหนักถึงการใช้ CS ใด ๆ ของสมมติฐานของ Riemann เช่นนี้ มีการใช้งานที่หลากหลายของการสรุปทั่วไปของ RH

L

Cζ

mχ(x)=1x=O((logm)2)OLζLζ

x


Lζ

@ François: ฉันเองก็คุ้นเคยกับคำศัพท์นั้นเช่นกัน แต่ตัวอย่างเช่นหนังสือที่รู้จักกันดีโดย Bach และ Shallit กำหนดไว้ในทางตรงข้าม (ซึ่งบังเอิญขัดแย้งกับการใช้งานของ Bach ในกระดาษ "Explicit bounds ... ")
Emil Jeřábek

ปัจจัยใน PPA ไม่ใช่สิ่งที่น่าสนใจใช่หรือไม่ arxiv.org/abs/1207.5220
domotorp

อาจจะ. นี่คือตัวอย่างของ“ ผลที่ตามมาคือเราสามารถลดขั้นตอนวิธีต่าง ๆ เช่น ... ”ในย่อหน้าสุดท้ายและฉันไม่คิดว่ามันจำเป็นต้องโฆษณางานของตัวเองในคำตอบ
Emil Jeřábek

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.