Quantum Computing - ความสัมพันธ์ระหว่างโมเดล Hamiltonian และ Unitary


16

เมื่อพัฒนาอัลกอริทึมในการคำนวณควอนตัมฉันสังเกตว่ามีสองโมเดลหลักที่ใช้ บางขั้นตอนวิธีการ - เช่นปัญหาต้นไม้มิล NAND (ฟาร์ฮี, Goldstone, Guttman) - การทำงานโดยการออกแบบมิลและบางรัฐเริ่มต้นแล้วปล่อยให้วิวัฒนาการระบบตามสมSchrödingerบางครั้งก่อนที่จะดำเนินการวัดเสื้อ

อัลกอริธึมอื่น ๆ - เช่นอัลกอริธึมของ Shor สำหรับแฟ็กเตอริง - ทำงานโดยการออกแบบลำดับของการแปลงแบบ Unitary (คล้ายกับประตู) และการใช้การแปลงเหล่านี้ทีละครั้งกับสถานะเริ่มต้นก่อนทำการวัด

คำถามของฉันคือในฐานะผู้เริ่มต้นในการคำนวณควอนตัมความสัมพันธ์ระหว่างโมเดลแฮมิลโตเนียนกับโมเดลการแปลงรวมเป็นอย่างไร อัลกอริทึมบางอย่างเช่นปัญหาต้นไม้ NAND ได้รับการปรับให้ทำงานกับลำดับการแปลงรวม (Childs, Cleve, Jordan, Yonge-Mallo) อัลกอริทึมทุกตัวในโมเดลหนึ่งสามารถเปลี่ยนเป็นอัลกอริทึมที่ตรงกันในอีกโมเดลได้หรือไม่? ตัวอย่างเช่นกำหนดลำดับของการแปลงแบบ Unitary เพื่อแก้ปัญหาเฉพาะสามารถออกแบบ Hamiltonian และแก้ปัญหาในแบบจำลองนั้นได้หรือไม่? แล้วทิศทางอื่นล่ะ? ถ้าเป็นเช่นนั้นอะไรคือความสัมพันธ์ระหว่างเวลาที่ระบบต้องพัฒนาและจำนวนการแปลงรวม (ประตู) ที่จำเป็นในการแก้ปัญหา?

ฉันได้พบปัญหาอื่น ๆ อีกมากมายซึ่งดูเหมือนว่าจะเป็นกรณีนี้ แต่ไม่มีข้อโต้แย้งหรือหลักฐานที่ชัดเจนที่จะบ่งบอกว่าสิ่งนี้เป็นไปได้เสมอหรือเป็นจริง อาจเป็นเพราะฉันไม่รู้ว่าปัญหานี้เรียกว่าอะไรฉันจึงไม่แน่ใจว่าจะค้นหาอะไร


3
อัลกอริธึมเวลาพหุนามทุกอันในหนึ่งสอดคล้องกับอัลกอริธึมพหุนามเวลาในอีกอันหนึ่ง แต่ก็ไม่ชัดเจนระดับของพหุนามจะเท่ากัน หวังว่าใครบางคนจะได้รับการอ้างอิง ผลลัพธ์เหล่านี้ได้รับการพิสูจน์ในยุคแรก ๆ ของการคำนวณควอนตัมและตอนนี้ควรมีการพิสูจน์ที่ดีกว่าของทฤษฎีบทเหล่านี้
Peter Shor

สิ่งนี้เกี่ยวข้องกับสิ่งที่เรียกว่ารูปภาพ Heisenberg vs Schroedinger ของ QM ซึ่งเกี่ยวข้องกับวิธีการกำหนดตัวดำเนินการหรือไม่ ถ้ามันไม่ครอบคลุมในNielsen & Chuangนั่นก็ดูเหมือนจะเป็นการกำกับดูแลที่สำคัญ! NAND tree paper ใช้ "hamiltonian oracles" ซึ่งดูเหมือนจะได้รับการแนะนำให้รู้จักกับ Farhi / Gutmann 1998 นี่เป็นบทความสำรวจที่ดีเกี่ยวกับ Hamiltonian oracles โดยMochon 2007
vzn

ลิงค์หนังสือที่คุณให้เป็นจริงตำราเรียนที่เราใช้ในหลักสูตรระดับปริญญาตรีของฉันในการประมวลผลข้อมูลควอนตัม หนังสือเล่มนี้มุ่งเน้นไปที่วิธีการรวม (ในบริบทของออราเคิลเช่นกัน) แต่ไม่มากนักในบริบทของมิลโตเนียน หลักสูตรระดับปริญญาตรีของฉันมุ่งเน้นจากมุมมอง cs และไม่ใช่มุมมองทางฟิสิกส์ซึ่งเป็นเหตุผลที่ฉันคุ้นเคยกับโมเดล Unitary มากที่สุด
user340082710

เอกสารที่คุณให้ไว้เป็นข้อมูลอ้างอิงโดยทั่วไปดี แต่ฉันไม่คิดว่ามันจะตอบคำถามของฉัน ท้ายที่สุดฉันได้ดูภาพ Heisenberg vs Schroedinger ของ QM และมันดูมีความเกี่ยวข้อง แต่ฉันเชื่อว่าคำถามของฉันแตกต่างกัน (แม้ว่าฉันอาจผิด - เป็นการยากที่จะติดตามรายการ Wikipedia)
user340082710

ฉันคิดว่ามีหลายวิธีในการตีความคำถามของคุณและแทนที่จะตอบการตีความทั้งหมดฉันอยากจะถามคุณต่อไปนี้: คุณช่วยให้แม่นยำมากขึ้นเกี่ยวกับรุ่นของ Hamiltonian ที่คุณมีในใจได้หรือไม่ การวัดความซับซ้อนในแบบนี้คืออะไร? (กล่าวคืออะไรที่นับว่ายากแค่ไหนในการแก้ปัญหาในโมเดล Hamiltonian?) ข้อมูลที่ได้รับจากปัญหาเป็นอย่างไร? มันให้อย่างชัดเจนหรือคุณต้องค้นหาข้อมูลผ่าน oracle?
Robin Kothari

คำตอบ:


10

เพื่อแสดงให้เห็นว่าวิวัฒนาการของแฮมิลตันสามารถจำลองแบบจำลองของวงจรได้เราสามารถใช้การคำนวณสากลของกระดาษโดยการเดินของควอนตัมแบบหลายอนุภาคซึ่งแสดงให้เห็นว่าการวิวัฒนาการของแฮมิลตันที่เฉพาะเจาะจงมาก แบบจำลองวงจร

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


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