 |
| ภาพจาก Quanta Magazine โดย Ben Brubaker |
ทีมนักวิจัยได้พิสูจน์ให้เห็นว่า มีปัญหาทางคอมพิวเตอร์บางประเภทที่จำเป็นต้องใช้ "การพิสูจน์ทางควอนตัม" (Quantum proofs) ในการแก้ไขอย่างแท้จริง ซึ่งผลลัพธ์ดังกล่าวถูกนำเสนอในวิทยานิพนธ์ความยาว 100 หน้า และคว้ารางวัลบทความวิจัยยอดเยี่ยม (Best-paper award) ในงานประชุมวิชาการ 2026 ACM Symposium on Theory of Computing (STOC) ที่ผ่านมา
แกนหลักของงานวิจัยนี้มุ่งเน้นไปที่ปัญหาที่เรียกว่า Spectral Forrelation ซึ่งเกี่ยวข้องกับการเปรียบเทียบวิธีการวัดสถานะควอนตัม (Quantum state) สองวิธี โดยทีมวิจัยประสบความสำเร็จในการพิสูจน์ความแตกต่างแบบ Oracle (Oracle separation) ระหว่างคลาสความซับซ้อนสองกลุ่ม ได้แก่ QMA (กลุ่มปัญหาที่ต้องตรวจยืนยันด้วยการพิสูจน์ทางควอนตัม) และ QCMA (กลุ่มปัญหาที่การพิสูจน์แบบดั้งเดิมหรือ Classical proofs แต่สามารถตรวจสอบได้ด้วยคอมพิวเตอร์ควอนตัม)
อ่านข่าวเต็มได้ที่: Quanta Magazine โดย Ben Brubaker
ไม่มีความคิดเห็น:
แสดงความคิดเห็น