ทำไมจึงเป็นสิ่งสำคัญที่ผู้เริ่มต้นมิลโตเนียนไม่ต้องเดินทางไปกับมิลโตเนียนขั้นสุดท้ายในการคำนวณควอนตัมอะเดียแบติก?


19

ผมเคยอ่านในหลายแหล่งและหนังสือเกี่ยวกับควอนตัมวณอะเดียแบติก (AQC) ว่ามันเป็นสิ่งสำคัญสำหรับการเริ่มต้นมิล Hฉันจะไม่ได้เดินทางด้วยสุดท้ายมิลHเช่น[ Hฉัน , H]0 . แต่ฉันไม่เคยเห็นเหตุผลว่าทำไมจึงสำคัญH^ผม H^[H^ผม,H^]0

ถ้าเราคิดการพึ่งพาอาศัยเส้นเวลามิลโตเนียนของ AQC เป็น H ( T ) = ( 1 - เสื้อ

H^(เสื้อ) = (1-เสื้อτ)H^ผม+เสื้อτH^,(0เสื้อτ)
ที่τคือระดับเวลาอะ

ดังนั้นคำถามของฉันคือ: ทำไมจึงเป็นสิ่งสำคัญที่มิลโตเนียนเริ่มต้นไม่เดินทางกับมิลโตเนียนรอบสุดท้าย?

คำตอบ:


13

ใน adiabatic QC คุณเข้ารหัสปัญหาของคุณใน Hamiltonian เพื่อให้ผลลัพธ์ของคุณสามารถสกัดจากสถานะพื้น การเตรียมสถานะพื้นนั้นยากที่จะทำโดยตรงดังนั้นคุณจึงควรเตรียมสถานะพื้นของมิลโตเนียนที่ 'ง่าย' แทนแล้วค่อยๆสอดแทรกระหว่างทั้งสองอย่างช้าๆ หากคุณไปช้าพอสถานะของระบบของคุณจะยังคงอยู่ในสภาพพื้นดิน ในตอนท้ายของกระบวนการคุณจะมีทางออก

งานนี้เป็นไปตามทฤษฎีอะเดียแบติกทฤษฎีบทสำหรับทฤษฎีบทที่จะต้องมีช่องว่างพลังงานระหว่างสภาพพื้นดินและรัฐตื่นเต้นครั้งแรก ช่องว่างที่เล็กลงจะยิ่งช้าลงคุณต้องทำการสอดแทรกเพื่อป้องกันการผสมระหว่างสถานะกราวด์กับสถานะตื่นเต้นครั้งแรก หากปิดช่องว่างการผสมดังกล่าวจะไม่สามารถป้องกันได้และคุณจะไม่ช้าพอ กระบวนการนี้ล้มเหลว ณ จุดนั้น

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

การมีผู้ที่ไม่เดินทางมิลโตเนียนจึงเป็นเงื่อนไขที่จำเป็นในการเปิดช่องว่างและสำหรับ AQC


1
ฟังดูค่อนข้างน่าเชื่อถือและชัดเจน คุณสามารถอธิบายได้อย่างชัดเจนหรือไม่ว่าเหตุใดจึงไม่สามารถหลีกเลี่ยงการข้ามได้ในช่วงวิวัฒนาการอะเดียแบติก (ซึ่งจะทำให้ธรรมชาติของสภาพพื้นดินเปลี่ยนไป แต่ไม่มีความเสื่อม)
agaitaarino

4

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

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


เพียงแค่สงสัยว่าข้อความแรกของคุณเป็นจริงหรือไม่ ยกตัวอย่างเช่น Identity matrix เป็น commutes ทุกตัวมิลโตเนียน แต่แน่นอนว่าไม่มีเหตุผลใดที่เมทริกซ์เอกลักษณ์จะมี eigenvector เดียวกันกับ Hamiltonian โดยพลการ
Turbotanten

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

3

ในบริบทของการเพิ่มประสิทธิภาพการเป็นไอซิงซึ่งมีมิลโตเนี่ยนเริ่มต้นที่เดินทางด้วยปัญหามิลโตเนียนหมายถึงว่ามันเป็นผลิตภัณฑ์หลักของตัวดำเนินการซึ่งหมายความว่า eigenstates นั้นเป็นบิตคลาสสิก ดังนั้น groundstate ที่จุดเริ่มต้น ( t = 0) จะเป็นแบบคลาสสิกเช่นกันไม่ใช่การทับซ้อนของ bitstrings ที่เป็นไปได้ทั้งหมดσZเสื้อ

ยิ่งไปกว่านั้นแม้จะอยู่เหนือขอบเขตอันเข้มงวดของ AQC (เช่นการเปิดระบบควอนตัมควอนตัม, QAOA เป็นต้น) หากผู้ขับขี่ขับรถมิลโตเนียนเปลี่ยนเส้นทางแล้วมันไม่สามารถชักนำให้เกิดการเปลี่ยนผ่านระหว่าง eigenstates ของปัญหามิลโตเนียน ; และคุณต้องการไดรเวอร์ที่สามารถชักนำให้เกิดการหมุนเพื่อสำรวจพื้นที่การค้นหา


1

เริ่มต้น Let 's ด้วยตัวอย่างง่ายๆที่และH เดินทางเพราะพวกเขามีทั้งเส้นทแยงมุม:HผมH

Hผม=(100-1)

Hพี=(-100-0.1)

Hผม|1H|0

ε
τสูงสุดเสื้อ(||Hผม-H||2εEก.aพี(เสื้อ)3)

นี้จะได้รับและอธิบายใน Eq 2 ของTanburn และคณะ (2015)

  • ε=0.1
  • ||Hผม-H||2=0.1
  • ||Hผม-H||2ε=1ε
  • τสูงสุดเสื้อ(1Eก.aพี(เสื้อ)3)

สูงสุดเสื้อ
เสื้อ=20τ/29

H=929Hผม+2029Hพี

H=929(100-1)+2029(-100-0.1)

H=(92900-929)+(-202900-229)

H=(-112900-1129)

เสื้อ=2029τEก.aพี=0τ

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


τ»สูงสุด0s1|ψ1(s)|dH^(s)ds|ψ0(s)|นาที0s1Δ2(s);sเสื้อτΔ2(s)=(E1(s)-E0(s))2

@ turbotanten: ขอบคุณสำหรับความโปรดปราน หลักฐานของฉันทำงานได้ไม่ว่าเราจะใช้ 1 / gap ^ 2 หรือ 1 / gap ^ 3 ในทั้งสองกรณี gap = 0 หมายถึง runtime = infinity ในนิพจน์ของคุณเราสามารถมี "max_s" ด้านนอกแล้วเราไม่ต้องการ "min_s" ในตัวส่วน นอกจากนี้การอ้างอิง 2 ของกระดาษ Tanburn ที่ฉันเชื่อมโยงให้สูตร ^ 3 ช่องว่างซึ่งมีขอบเขตที่แน่นกว่าเล็กน้อยเล็กน้อยกว่าสูตร ^ 2 ยังคงเป็นที่นิยมในการใช้ช่องว่าง (คลายเล็กน้อย) ^ 2 ส่วนใหญ่เป็นเพราะบางคนไม่ได้เห็นวรรณกรรมล่าสุดเกี่ยวกับช่องว่าง ^ 3
user1271772
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.