Mengapa penting bahwa Hamiltonian awal tidak bolak-balik dengan Hamiltonian akhir dalam perhitungan kuantum adiabatik?

19

Saya sudah membaca di berbagai sumber dan buku tentang adiabatik komputasi kuantum (AQC) yang sangat penting untuk awal Hamiltonian H i untuk tidak bolak-balik dengan akhir Hamiltonian H f , yaitu [ H i , H f ]0 . Tapi saya belum pernah melihat argumen mengapa ini sangat penting.H^i H^f[H^i,H^f]0

Jika kita asumsikan waktu ketergantungan linear Hamiltonian dari AQC adalah H ( t ) = ( 1 - t mana τ adalah skala waktu adiabatik.

H^(t) = (1tτ)H^i+tτH^f,(0tτ)
τ

Jadi pertanyaan saya adalah: Mengapa penting bahwa Hamiltonian awal tidak bolak-balik dengan Hamiltonian akhir?

Turbotanten
sumber

Jawaban:

13

Dalam QC adiabatik, Anda menyandikan masalah Anda dalam Hamiltonian sehingga hasil Anda dapat diekstraksi dari keadaan dasar. Mempersiapkan keadaan dasar itu sulit dilakukan secara langsung, jadi Anda malah menyiapkan kondisi dasar seorang Hamilton yang 'mudah', dan kemudian perlahan-lahan menginterpolasi keduanya. Jika Anda berjalan cukup lambat, kondisi sistem Anda akan tetap pada kondisi dasar. Di akhir proses Anda, Anda akan memiliki solusinya.

Ini bekerja sesuai dengan teorema Adiabatik . Untuk memegang teorema, harus ada kesenjangan energi antara keadaan dasar dan keadaan tereksitasi pertama. Semakin kecil jarak jeda, semakin lambat Anda harus melakukan interpolasi untuk mencegah pencampuran antara kondisi dasar dan kondisi tereksitasi pertama. Jika celah tertutup, pencampuran seperti itu tidak dapat dicegah, dan Anda tidak bisa berjalan cukup lambat. Prosedur gagal pada saat itu.

Jika Hamiltonian awal dan terakhir bepergian, itu berarti mereka memiliki status energi yang sama. Jadi mereka sepakat negara mana yang mendapatkan energi, dan hanya tidak setuju pada energi yang mereka dapatkan. Interpolasi antara dua Hamiltonians hanya mengubah energinya. Karenanya kondisi dasar terakhir akan menjadi kondisi tereksitasi di awal, dan kondisi dasar asli menjadi bersemangat di akhir. Pada titik tertentu, ketika melewati satu sama lain, energi dari kondisi ini akan sama, sehingga kesenjangan di antara mereka akan berakhir. Ini cukup untuk melihat bahwa celah energi harus ditutup di beberapa titik.

Oleh karena itu, memiliki warga Hamilton yang tidak bepergian adalah kondisi yang diperlukan untuk menjaga agar celah tetap terbuka, dan karenanya untuk AQC.

James Wootton
sumber
1
Ini terdengar sangat meyakinkan dan jelas. Bolehkah Anda menjelaskan secara eksplisit mengapa tidak mungkin ada persinggungan yang dihindari selama evolusi adiabatik (yang akan memungkinkan sifat dasar keadaan berubah tetapi tanpa kemunduran)?
agaitaarino
4

Jika dua matriks (dalam hal ini, Hamiltonians) bepergian, mereka memiliki vektor eigen yang sama. Jadi, jika Anda menyiapkan keadaan dasar Hamiltonian pertama, maka itu (secara kasar) akan tetap menjadi status eigen di seluruh evolusi adiabatik, dan Anda mendapatkan apa yang Anda masukkan. Tidak ada nilai untuk itu.

Jika Anda ingin menjadi sedikit lebih ketat, maka bisa jadi Hamiltonian awal Anda mengalami degenerasi yang diangkat oleh Hamiltonian kedua, dan Anda mungkin berharap menyebabkan sistem berevolusi menjadi keadaan dasar yang unik. Perhatikan, bagaimanapun, bahwa kemunduran terangkat segera ada jumlah yang tidak nol dari Hamiltonian kedua. Apa pun efeknya dapat memiliki efek instan. Saya percaya bahwa Anda tidak mendapatkan evolusi adiabatik yang tepat. Alih-alih, Anda harus menulis status awal Anda sebagai superposisi dari status eigen baru, dan ini mulai berkembang seiring waktu, tetapi Anda tidak pernah meningkatkan tumpang tindih negara Anda dengan negara target (keadaan dasar).

DaftWullie
sumber
Hanya ingin tahu apakah pernyataan pertama Anda benar. Sebagai contoh, ambil matriks Identity, itu akan mengubah setiap orang Hamilton. Tetapi tentunya tidak ada alasan bagi matriks identitas untuk memiliki vektor eigen yang sama dengan Hamiltonian yang sewenang-wenang.
Turbotanten
Anda dapat menguraikan banyak identitas dalam basis apa pun , termasuk basis Hamiltonian. Tapi intinya adalah itu sangat merosot, jadi Anda berbicara tentang paragraf kedua saya.
DaftWullie
3

σZt = 0) akan menjadi klasik juga, bukan superposisi dari semua bitstring yang mungkin.

Selain itu, bahkan melampaui batas ketat AQC (misalnya anil sistem kuantum terbuka, QAOA, dll.) Jika mengemudi Hamiltonian pergi maka tidak dapat mendorong transisi antara kondisi eigen dari masalah Hamiltonian tetapi hanya mengubah fase amplitudo dalam fungsi gelombang. ; dan Anda menginginkan driver yang dapat menginduksi spin-flips untuk menjelajahi ruang pencarian.

Davide Venturelli
sumber
1

HsayaHf

Hsaya=(100-1)

Hhal=(-100-0,1)

Vektor eigen dengan nilai eigen terendah (yaitu keadaan dasar) dari Hsaya adalah |1jadi kita mulai dalam kondisi ini. Keadaan dasar dariHf adalah |0 jadi ini yang kita cari.

Ingat runtime minimum untuk AQC untuk memberikan jawaban yang benar dalam suatu kesalahan ϵ:
τmakst(||Hsaya-Hf||2ϵEgSebuahhal(t)3).

Ini diberikan dan dijelaskan dalam Persamaan. 2 dari Tanburn et al. (2015) .

  • Katakanlah kita mau ϵ=0.1.
  • Notice that ||HiHf||2=0.1 according Eq. 4 of the same paper.
  • Notice that ||HiHf||2ϵ=1 (I've chosen ϵ so that this would happen, but it doesn't matter).
  • We now have τmaxt(1Egap(t)3)

So what is the minimum gap between ground and first excited state (which gives the maxt) ?
When t=20τ/29, the Hamiltonian is:

H=929Hi+2029Hp

H=929(1001)+2029(1000.1)

H=(92900929)+(202900229)

H=(1129001129)

So when t=2029τ, we have Egap=0 and the lower bound on τ is essentially .

So the adiabatic theorem still applies, but when it states that the Hamiltonian needs to change "slowly enough", it turns out it needs to change "infinitely slowly", which means you will not likely ever get the answer using AQC.

user1271772
sumber
Thanks! I like the example. Though that's a new expression of the minimum runtime that I've never seen before. Usually in the literature the adiabatic condition is given by τmax0s1|ψ1(s)|dH^(s)ds|ψ0(s)|min0s1Δ2(s);stτ where Δ2(s)=(E1(s)E0(s))2. See Ref [1] & [2]
Turbotanten
@Turbotanten: Thanks for the bounty. My proof works whether we use 1/gap^2 or 1/gap^3. In both cases gap=0 means runtime = infinity. In your expression, we can just have "max_s" on the outside, then we don't need "min_s" in the denominator. Also reference 2 of the Tanburn paper that I linked to, gives the gap^3 formula, which is a slightly tighter bound than the gap^2 formula. It is still popular to use the (slightly looser bound of) gap^2, mainly because some people haven't seen the recent literature on gap^3.
user1271772