ผลลัพธ์การแยกแยะทางทฤษฎีใหม่พิสูจน์ว่าโปรโตคอลการสื่อสารควอนตัมมีพลังมากกว่าการยืนยันแบบคลาสสิกด้วยการพิสูจน์อย่างเคร่งครัด ซึ่งช่วยเพิ่มความเข้าใจพื้นฐานของทฤษฎีความซับซ้อนควอนตัม

#ความซับซ้อนควอนตัม #ข้อมูลควอนตัม #การวิจัย

ทฤษฎีบทการเสริมความยากแบบใหม่ขยายขอบเขตล่างของการสืบค้นควอนตัมสำหรับปัญหาจุดคงที่ของทาร์สกี ผลลัพธ์แสดงขอบเขต Ω(k log²n) สำหรับมิติ k≥4 และขอบเขตที่เหนือพหุนามสำหรับกริดความกว้างเลขชี้กำลัง เพื่อแก้ไขช่องว่างระหว่างความซับซ้อนแบบคลาสสิคและควอนตัม

#อัลกอริธึมควอนตัม #ความซับซ้อนในการคำนวณ #การวิจัย

แก้ไขช่องว่างพื้นฐานในความซับซ้อนแบบควอนตัม: การกำหนดโฮโมโลยีของเชิงซ้อนกลุ่มเคลิกที่มีน้ำหนักนั้นยากแบบ QMA₁ โดยมีช่องว่างสเปกตรัมพหุนามผกผัน ใช้การเข้ารหัสแกดเจ็ตทอพอโลยีและทฤษฎี Hodge ที่ถูกกรองสำหรับการพิสูจน์ความยากที่สมบูรณ์

#ความซับซ้อนแบบควอนตัม #ความซับซ้อนเชิงคำนวณ #งานวิจัย

วิเคราะห์ความซับซ้อนของแฮมิลโทเนียนควอนตัมที่ไม่มีความซ้ำซ้อน แสดงว่าพวกมันกลายเป็นสิ่งที่แก้ไขได้ในอุณหภูมิผกผันต่ำกว่า (β∼1/√d เทียบกับ 1/d) กว่าแฮมิลโทเนียนทั่วไป มีผลลัพธ์ความยากของ NP/QMA ในอุณหภูมิสูงขึ้น

#อัลกอริทึมควอนตัม #ความซับซ้อนควอนตัม #วิจัย

กรอบการทำงานใหม่สำหรับความซับซ้อนของยูนิตารีเปิดเผยความเชื่อมโยงที่น่าประหลาดใจระหว่างการเข้ารหัสควอนตัมและความยากลำบากของการคำนวณแบบดั้งเดิม โดยแสดงให้เห็นว่าความผูกพันควอนตัมต้องการการแก้ปัญหาทฤษฎีความซับซ้อนที่มีอายุสิบปี

#ความซับซ้อนควอนตัม #การเข้ารหัสควอนตัม #งานวิจัย

ขยายการลดลงตามพหุสัณฐานไปยัง CSP เกี่ยวพันกัน พิสูจน์ความสมบูรณ์ RE ของการระบายสีน-เกี่ยวพันกัน (n≥3) และสร้างความยากของปัญหาข้อจำกัดควอนตัมที่ไม่มี gadgets การสลับที่ผ่านโฮโมมอร์ฟิซึม minion ที่เสถียร

#ความซับซ้อนควอนตัม #ข้อมูลควอนตัม #การวิจัย

เราจัดตั้งการแสดงลักษณะที่สมบูรณ์ของหลักฐานโต้ตอบแบบควอนตัมที่ผู้พิสูจน์ส่งเพียง O(log n) บิต ผลลัพธ์หลัก ได้แก่ ความสมบูรณ์ตามธรรมชาติผ่านความแตกต่างแบบหลายสถานะ การระบุระบบง่ายที่ยุบตัวลงไป QSZK และหลักฐานว่าเหรียญสาธารณะแบบควอนตัมทำให้อ่อนแอลง ...

#ความซับซ้อนควอนตัม #ข้อมูลควอนตัม #งานวิจัย

พิสูจน์ว่าคู่ EPR ที่ร่วมกันแบบลอการิทึมรักษาพลังการคำนวณ QMA(2) ไว้ โดยแก้ไขคำถามที่ยังเปิดอยู่บางส่วนของ Aaronson et al. เกี่ยวกับการพัวพันผู้พิสูจน์ควอนตัม

#ความซับซ้อนควอนตัม #ข้อมูลควอนตัม #วิจัย

การศึกษาพิสูจน์ว่าการคำนวณสภาพไม่เสถียรของสถานะเครือข่ายเทนเซอร์ 2 มิติเป็น #P-hard และการเป็นสมาชิกของสตาบิไลเซอร์เป็น C=P-complete แม้ที่บอนด์ดีมิชันคงที่ ซึ่งสร้างอุปสรรคการคำนวณพื้นฐานสำหรับการวิเคราะห์สถานะควอนตัม

#ความซับซ้อนควอนตัม #เครือข่ายเทนเซอร์ #วิจัย

นักวิจัยพิสูจน์ขีดจำกัดพื้นฐานของการขยายแบบ Black-Box ใน QMA: ความสมบูรณ์ไม่สามารถเกินระยะห่างแบบเอกโพเนนเชียลคู่ต่อ 1 โดยใช้ทรัพยากรพหุนาม ยืนยันความเหมาะสมที่สุดของผลลัพธ์ล่าสุดผ่านการแยก oracle และเทคนิคทฤษฎีการประมาณที่ซับซ้อน

#ความซับซ้อนควอนตัม #อัลกอริทึมควอนตัม #ข่าวสาร

นักวิจัยสร้างข้อโต้แย้งที่กระชับสำหรับ QMA โดยตรงจากฟังก์ชันแฮชในอุดมคติ ซึ่งแก้ปัญหาเปิดขนาดใหญ่และแสดงให้เห็นว่าองค์ประกอบการเข้ารหัสควอนตัมไม่ต้องการสมมติฐานโครงสร้างพิเศษ

#การเข้ารหัสควอนตัม #ความซับซ้อนควอนตัม #วิจัย

พิสูจน์ว่าปัญหา Hamiltonian ท้องถิ่นสับเปลี่ยนไม่ใช่ BQP-ยาก โดยการสร้าง oracle ที่ BQP ⊄ QIMA ใช้ขอบเขตล่างของการสอบถาม Forrelation เพื่อสร้างการแยกแบบเอกโพเนนเชียลในความซับซ้อนของการตรวจสอบสับเปลี่ยน

#ความซับซ้อนควอนตัม #อัลกอริทึมควอนตัม #วิจัย

หักล้างการคาดเดาที่มีอายุ 20 ปี งานวิจัยใหม่พิสูจน์ว่าการเรียนรู้ควอนตัมสามารถบรรลุการแยกแบบลูกบาศก์มากกว่าวิธีคลาสสิก ซึ่งตรงกับขอบเขตบนที่ทราบและเปิดเผยความเร็วเพิ่มขึ้นนอกเหนือไปจากกระบวนทัศน์ Grover และ Bernstein-Vazirani

#ขั้นตอนวิธีควอนตัม #ความซับซ้อนการค้นหา #วิจัย

ผลลัพธ์เชิงทฤษฎีใหม่: ความซับซ้อนของการจำลองควอนตัม-คลาสสิกไม่ขึ้นกับความเอนเอียงของการกระจายอินพุต ไม่ว่าบิตจะสม่ำเสมอ เอนเอียง หรือถูกจำกัดน้ำหนักแฮมมิง การจำลองพหุนามทำงานได้ทั้งหมดหรือไม่มีเลย

#ความซับซ้อนของควอนตัม #ทฤษฎีควอนตัม #วิจัย

ขอบเขตล่าง Quantum ที่ไม่ธรรมดาเป็นครั้งแรกสำหรับการแสดงรายการสามเหลี่ยม (Ω(n^3/2)) และการสร้าง k-spanner แบบคูณผ่านส่วนขยายกรอบการบันทึกที่ใหม่พร้อมกับสถาปัตยกรรม oracle แบบสองทิศทาง

#ความซับซ้อนควอนตัม #อัลกอริทึมกราฟ #วิจัย

Quantum SAT ที่สมดุลดีกรีและปราศจากความไม่พอใจยอมรับการเร่งความเร็วแบบเลขชี้กำลังเมื่อเทียบกับอัลกอริทึมการบังคับใช้ ในขณะที่ quantum 5-SAT ทั่วไปยังคงเป็น (Q)SETH-hard—สร้างขอบเขตความซับซ้อนที่ละเอียดโดยอิงจากการกระจายข้อจำกัด

#ความซับซ้อนเชิงควอนตัม #อัลกอริทึมควอนตัม #วิจัย

ยุติปัญหาความซับซ้อนทางควอนตัมในการระบุสมมาตรที่ซ่อนอยู่ในสถานะควอนตัม พิสูจน์ว่าความซับซ้อนของการสอบถาม O(log|G/H|/√ε) ด้วยการเข้าถึงการเตรียมสถานะเปรียบเทียบกับ O(log|G/H|/ε) ด้วยสำเนา—สร้างการแยกแบบกำลังสองและตรงกับขอบเขตต่ำสุด

#อัลกอริทึมควอนตัม #ความซับซ้อนควอนตัม #วิจัย

นักวิจัยพิสูจน์ขอบเขตแบบสอบถามที่ทึบแน่น Θ(κ√d log(1/ϵ)) สำหรับตัวแก้ปัญหาระบบเชิงเส้นควอนตัม ซึ่งตรงกับขอบเขตบนและขอบเขตล่าง นี่แก้ไขช่องว่างความซับซ้อนและช่วยให้สามารถนำไปใช้การทำงานของ black-box unitary ที่เหมาะสมที่สุดด้วยแบบสอบถาม O(√N)

#อัลกอริทึมควอนตัม #ความซับซ้อนควอนตัม #การวิจัย

แฮมิลโทเนียนท้องถิ่นทั่วไปรักษาการเติบโตของความซับซ้อนของวงจรควอนตัมแบบเอกโพเนนเชียลในช่วงเวลาที่ยาวนานแบบเอกโพเนนเชียล ห่างไกลเกินไปจากการเข้าสู่สภาวะความร้อน การพิสูจน์ที่เข้มงวดโดยไม่มีข้อสมมติใดแก้ไขข้อสันนิษฐานพลวัตอันสำคัญได้

#ความซับซ้อนควอนตัม #พลวัตควอนตัม #วิจัย

การค้นหาปริภูมิที่ปราศจากการสูญเสียความสอดคล้องในระบบควอนตัมแบบมาร์กอฟเวียนนั้นเป็นปัญหาการคำนวณที่แก้ไม่ได้ แม้แต่สำหรับคอมพิวเตอร์ควอนตัม ผลลัพธ์ QMA-hardness ใหม่แนะนำว่ามีข้อจำกัดพื้นฐานในการตรวจสอบโครงสร้างการแก้ไขข้อผิดพลาดควอนตัม

#ความซับซ้อนควอนตัม #การแก้ไขข้อผิดพลาด #ข้อมูลควอนตัม