การคำนวณที่เกินการฝึกอบรมรวม


18

เพิ่งออกมาจากความอยากรู้ถ้าการคำนวณแบบดั้งเดิมเป็นเรื่องเกี่ยวกับเมทริกซ์การเปลี่ยนรูปและการคำนวณควอนตัมเป็นเรื่องเกี่ยวกับเมทริกซ์รวม (ซึ่งเมทริกซ์การเปลี่ยนรูปเป็นกลุ่มย่อย) แล้วจะมีกระบวนทัศน์การคำนวณใด


2
คำถามที่คล้ายกัน: cstheory.stackexchange.com/q/861/135
Marcos Villagra

คำตอบ:


17

วงจรที่ทำจากตัวดำเนินการเชิงเส้นทั่วไปคือสมบูรณ์ ดูกระดาษ PostBQPโดยกระดาษของ Scott Aaronson หรือSchuchเกี่ยวกับพลังการคำนวณของ PEPS และการหดตัวของเครือข่ายเทนเซอร์PP


16

โดยหลักการแล้วคุณสามารถสร้างแบบจำลองการคำนวณโดยใช้โครงสร้างแบบเรียงซ้อนแบบซ้ำ ๆ ได้ตราบใดที่คุณสามารถอธิบายได้ว่ามันหมายถึงการเปลี่ยนรูปแบบของการป้อนข้อมูลที่แสดงอย่างเหมาะสมไปยังข้อมูลผลลัพธ์ แต่ในความหมายทางคณิตศาสตร์ที่ใช้ - หรือมากกว่าอย่างแม่นยำในความหมายทางวิทยาศาสตร์ที่แท้จริง- มีคำถามว่ารูปแบบการคำนวณดังกล่าวสอดคล้องกับ ( เช่น  แบบจำลองที่ดี) อะไรที่สังเกตได้ในทางปฏิบัติ ( เช่น อาจเป็นเพราะเราสังเกตในเครื่องที่สร้างขึ้นเพื่อทำการคำนวณ) เรามั่นใจว่าเมทริกซ์การเปลี่ยนรูปและเมทริกซ์สุ่มประกอบด้วยผลิตภัณฑ์ในระบบท้องถิ่นแสดงถึงรูปแบบการคำนวณที่เป็นไปได้สำหรับการเปลี่ยนการแจกแจงความน่าจะเป็น มันก็เป็นที่ยอมรับในหลักการที่รวมกันในการทำงานของหน่วย -2- นอร์ม - คลื่นฟังก์ชัน (ประกอบในทำนองเดียวกัน) ไม่ใช่เหตุผลที่เป็นแบบอย่างของการคำนวณ; แสดงให้เห็นว่าจริง ๆ แล้วเป็นไปได้ได้รับการยอมรับอย่างกว้างขวางว่าเป็นปัญหาทางวิศวกรรม (ท้าทายมาก!)

ทั้งสองรุ่นนี้ของการคำนวณสามารถวิทยพิธีของ CPTP ซุปเปอร์ประกอบการ (ซึ่งแผนที่ประกอบการเชิงเส้นเพื่อประกอบการเชิงเส้นอื่น ๆ ในทางที่จะเก็บรักษาการติดตามและทนทานแผนที่ประกอบการบวก semidefinite กับผู้ประกอบการอื่น ๆ เช่น) ซึ่งใน บางประการเป็นวิธีที่ดีกว่าในการอธิบายการคำนวณควอนตัมมากกว่าการแปลงหรือรวมโปรเจ็คเตอร์เพียงอย่างเดียว

ไม่ว่าจะมีความเข้มงวดมากขึ้น (ในแง่ของพลังและการใช้ตัวแทนข้อมูลอินพุตและเอาท์พุต) แบบจำลองการคำนวณมากกว่าการแปลงแบบรวมหรือ CPTP superoperators เป็นสาระสำคัญของคำถามฟิสิกส์เชิงทฤษฎี

ดังนั้นคำตอบคือ "อาจ - แต่เรายังไม่รู้และไม่มีเหตุผลที่น่าเชื่อที่จะเชื่อในสิ่งใดสิ่งหนึ่ง"

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