Pourquoi est-il crucial que l'hamiltonien initial ne commute pas avec l'hamiltonien final dans le calcul quantique adiabatique?

19

J'ai lu dans de nombreuses sources et livres sur le calcul quantique adiabatique (AQC) qu'il est crucial que le hamiltonien initial ne commute pas avec le hamiltonien final , c'est-à-dire . Mais je n'ai jamais vu d'argument expliquant pourquoi c'est si important.H^i [ H i, H f]0H^f[H^i,H^f]0

Si nous supposons une dépendance temporelle linéaire, l'hamiltonien de l'AQC est où est l'échelle de temps adiabatique. τ

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

Ma question est donc la suivante: pourquoi est-il crucial que le hamiltonien initial ne commute pas avec le hamiltonien final?

Turbotanten
la source

Réponses:

13

Dans QC adiabatique, vous codez votre problème dans un hamiltonien de telle sorte que votre résultat peut être extrait de l'état fondamental. La préparation de cet état fondamental est difficile à faire directement, vous devez donc plutôt préparer l'état fondamental d'un hamiltonien «facile», puis interpoler lentement entre les deux. Si vous allez assez lentement, l'état de votre système restera à l'état fondamental. À la fin de votre processus, vous aurez la solution.

Cela fonctionne selon le théorème adiabatique . Pour que le théorème se vérifie, il doit y avoir un écart d'énergie entre l'état fondamental et le premier état excité. Plus l'écart est petit, plus vous devez interpoler lentement pour éviter le mélange entre l'état fondamental et les premiers états excités. Si l'écart se réduit, un tel mélange ne peut pas être empêché et vous ne pouvez pas aller assez lentement. La procédure échoue à ce stade.

Si les déplacements hamiltonien initial et final, cela signifie qu'ils ont les mêmes états propres d'énergie. Ils s'accordent donc sur les États auxquels l'énergie est attribuée et ne sont en désaccord que sur les énergies qu'ils reçoivent. L'interpolation entre les deux hamiltoniens ne fait que changer les énergies. L'état fondamental final aurait donc été un état excité au début, et l'état fondamental d'origine devient excité à la fin. À un moment donné, en passant les uns par les autres, les énergies de ces états seront égales, et donc l'écart entre eux se fermera. Cela suffit pour voir que le fossé énergétique doit se réduire à un moment donné.

Avoir des hamiltoniens non-navetteurs est donc une condition nécessaire pour maintenir l'écart ouvert, et donc pour l'AQC.

James Wootton
la source
1
Cela semble assez convaincant et clair. Pouvez-vous expliquer explicitement pourquoi il ne peut pas y avoir de croisement évité pendant l'évolution adiabatique (ce qui permettrait à la nature de l'état fondamental de changer mais sans dégénérescence)?
agaitaarino
4

Si deux matrices (dans ce cas, les hamiltoniens) font la navette, elles ont les mêmes vecteurs propres. Donc, si vous préparez un état fondamental du premier hamiltonien, cela restera (grosso modo) un état propre tout au long de l'évolution adiabatique, et donc vous sortez exactement ce que vous y mettez. Cela n'a aucune valeur.

Si vous voulez être un peu plus strict, il se peut que votre hamiltonien initial ait une dégénérescence qui est levée par le deuxième hamiltonien, et vous espérez peut-être faire évoluer le système vers l'état fondamental unique. Notez, cependant, que la dégénérescence est levée à l'instant où il y a une quantité non nulle du deuxième hamiltonien. Quel que soit son effet, il peut être instantané. Je crois que vous n'obtenez pas une évolution adiabatique appropriée. Au lieu de cela, vous devez écrire votre état initial en tant que superposition des nouveaux états propres, et ceux-ci commencent à évoluer avec le temps, mais vous n'augmentez jamais le chevauchement de votre état avec l'état cible (l'état fondamental).

DaftWullie
la source
Je me demande simplement si votre première déclaration est vraie. Prenez la matrice d'identité par exemple, elle fait la navette entre tous les hamiltoniens. Mais il n'y a sûrement aucune raison pour que la matrice d'identité ait les mêmes vecteurs propres qu'un hamiltonien arbitraire.
Turbotanten
Vous pouvez décomposer l'identité de nombreuses personnes sur n'importe quelle base, y compris la base de l'hamiltonien. Mais le fait est que c'est très dégénéré, alors vous parlez de mon deuxième paragraphe.
DaftWullie
3

Dans le contexte des optimiseurs Ising ayant un hamiltonien initial qui commute avec le problème, hamiltonien signifie qu'il s'agit essentiellement de produits d' opérateurs , ce qui signifie que ses états propres sont des chaînes de bits classiques. Par conséquent, l'état fondamental au début ( t = 0) sera également classique, pas une superposition de toutes les chaînes de bits possibles.σZt

De plus, même au-delà des limites strictes de l'AQC (par exemple, recuit quantique en système ouvert, QAOA, etc.) si l'hamiltonien conducteur commute alors il ne peut pas induire de transitions entre les états propres du hamiltonien problème mais seulement changer la phase des amplitudes dans la fonction d'onde ; et vous voulez un pilote capable d'induire des effets de retournement afin d'explorer l'espace de recherche.

Davide Venturelli
la source
1

Commençons par un exemple simple où et H f font la navette car ils sont tous les deux en diagonale:HiHf

Hi=(1001)

Hp=(1000.1)

Hi|1Hf|0

ϵ
τmaxt(||Hje-HF||2ϵEgunep(t)3)

Ceci est donné et expliqué dans l'équation. 2 de Tanburn et al. (2015) .

  • ϵ=0,1
  • ||Hje-HF||2=0,1
  • ||Hje-HF||2ϵ=1ϵ
  • τmaxt(1Egunep(t)3)

maxt
t=20τ/29

H=929Hje+2029Hp

H=929(100-1)+2029(-100-0,1)

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

H=(-112900-1129)

t=2029τEgunep=0τ

Ainsi, le théorème adiabatique s'applique toujours, mais quand il déclare que l'hamiltonien doit changer "assez lentement", il s'avère qu'il doit changer "infiniment lentement", ce qui signifie que vous n'obtiendrez probablement jamais la réponse en utilisant AQC.

user1271772
la source
τmax0s1|ψ1(s)|H^(s)s|ψ0(s)|min0s1Δ2(s);stτΔ2(s)=(E1(s)-E0(s))2
@Turbotanten: Merci pour la générosité. Ma preuve fonctionne que nous utilisions 1 / espace ^ 2 ou 1 / espace ^ 3. Dans les deux cas, gap = 0 signifie runtime = infinity. Dans votre expression, nous pouvons simplement avoir "max_s" à l'extérieur, alors nous n'avons pas besoin de "min_s" dans le dénominateur. La référence 2 du document Tanburn auquel j'ai lié donne également la formule de l'écart ^ 3, qui est une limite légèrement plus serrée que la formule de l'écart ^ 2. Il est toujours populaire d'utiliser l'écart (légèrement plus lâche de) ^ 2, principalement parce que certaines personnes n'ont pas vu la littérature récente sur l'écart ^ 3.
user1271772