Warum ist es entscheidend, dass der anfängliche Hamiltonianer bei der adiabatischen Quantenberechnung nicht mit dem endgültigen Hamiltonianer pendelt?


19

Ich habe in vielen Quellen und Büchern zu lesen adiabatische Quantenberechnung (AQC) , dass es für das entscheidende ist anfänglichen Hamilton - Operator H i nicht mit dem pendeln endgültigen Hamilton - H f , dh [ H i , H f ]0 . Aber ich habe noch nie ein Argument dafür gesehen, warum es so wichtig ist.H^ich H^f[H^ich,H^f]0

Wenn wir eine lineare Zeitabhängigkeit der Hamilton - Operator des AQC nehmen ist H ( t ) = ( 1 - t

H^(t) = (1-tτ)H^ich+tτH^f,(0tτ)
wobeiτ die adiabatische Zeitskala ist.

Meine Frage lautet also: Warum ist es entscheidend, dass der anfängliche Hamiltonianer nicht mit dem endgültigen Hamiltonianer pendelt?

Antworten:


13

In der adiabatischen Qualitätskontrolle codieren Sie Ihr Problem in einem Hamilton-Operator, sodass Ihr Ergebnis aus dem Grundzustand extrahiert werden kann. Es ist schwierig, diesen Grundzustand direkt vorzubereiten. Deshalb bereiten Sie stattdessen den Grundzustand eines 'einfachen' Hamilton-Operators vor und interpolieren dann langsam zwischen den beiden. Wenn Sie langsam genug fahren, bleibt der Zustand Ihres Systems im Grundzustand. Am Ende Ihres Prozesses haben Sie die Lösung.

Dies funktioniert nach dem adiabatischen Theorem . Damit der Satz gilt, muss zwischen dem Grundzustand und dem ersten angeregten Zustand eine Energielücke bestehen. Je kleiner die Lücke wird, desto langsamer müssen Sie interpolieren, um ein Vermischen zwischen dem Grundzustand und den ersten angeregten Zuständen zu verhindern. Wenn sich die Lücke schließt, kann ein solches Mischen nicht verhindert werden und Sie können nicht langsam genug fahren. Die Prozedur schlägt an diesem Punkt fehl.

Wenn das anfängliche und das letzte Hamilton-Signal pendeln, bedeutet dies, dass sie die gleichen Energieeigenzustände haben. Sie sind sich also einig darüber, welchen Staaten Energie zugewiesen wird, und sind sich nur nicht einig über die Energien, die sie erhalten. Das Interpolieren zwischen den beiden Hamiltonianern verändert nur die Energien. Der endgültige Grundzustand wäre daher am Anfang ein angeregter Zustand gewesen, und der ursprüngliche Grundzustand wird am Ende angeregt. Irgendwann, wenn sie aneinander vorbeigehen, werden die Energien dieser Zustände gleich sein, und so schließt sich die Lücke zwischen ihnen. Dies reicht aus, um zu sehen, dass sich die Energielücke irgendwann schließen muss.

Nicht pendelnde Hamiltonianer zu haben, ist daher eine notwendige Bedingung, um die Lücke offen zu halten, und damit für AQC.


1
Das klingt sehr überzeugend und klar. Können Sie explizit erklären, warum es während der adiabatischen Evolution nicht zu einer vermiedenen Überschneidung kommen kann (was eine Änderung der Natur des Grundzustands ohne Entartung ermöglichen würde)?
Agaitaarino

4

Wenn zwei Matrizen (in diesem Fall Hamilton) pendeln, haben sie die gleichen Eigenvektoren. Wenn Sie also einen Grundzustand des ersten Hamilton-Operators vorbereiten, bleibt dieser (grob gesagt) während der gesamten adiabatischen Entwicklung ein Eigenzustand, und Sie erhalten genau das heraus, was Sie eingegeben haben. Das hat keinen Wert.

Wenn Sie etwas strenger sein möchten, kann es sein, dass Ihr anfänglicher Hamilton-Operator eine Entartung aufweist, die durch den zweiten Hamilton-Operator aufgehoben wird, und Sie hoffen, dass sich das System zu einem einzigartigen Grundzustand entwickelt. Es ist jedoch zu beachten, dass die Entartung in dem Moment aufgehoben wird, in dem der zweite Hamilton-Wert ungleich Null ist. Was auch immer die Wirkung sein mag, es ist eine sofortige. Ich glaube, dass Sie keine richtige adiabatische Entwicklung bekommen. Stattdessen müssen Sie Ihren Anfangszustand als eine Überlagerung der neuen Eigenzustände schreiben, und diese beginnen sich im Laufe der Zeit zu entwickeln, aber Sie erhöhen niemals die Überlappung Ihres Zustands mit dem Zielzustand (dem Grundzustand).


Ich frage mich nur, ob Ihre erste Aussage wahr ist. Nehmen wir zum Beispiel die Identitätsmatrix, die jeden Hamiltonianer austauscht. Aber es gibt sicherlich keinen Grund, warum die Identitätsmatrix dieselben Eigenvektoren wie ein beliebiger Hamilton-Operator hat.
Turbotanten

Sie können die Identität vieler auf jeder beliebigen Basis zerlegen , einschließlich der Basis des Hamilton-Operators. Aber der Punkt ist, dass es sehr degeneriert ist, also redest du über meinen zweiten Absatz.
DaftWullie

3

σZt

Darüber hinaus kann der treibende Hamilton-Operator, selbst wenn er die strengen Grenzen der AQC überschreitet (z. B. Quantentempern mit offenem System, QAOA usw.), keine Übergänge zwischen den Eigenzuständen des problematischen Hamilton-Operators induzieren, sondern nur die Phase der Amplituden in der Wellenfunktion ändern ; und Sie möchten einen Fahrer, der in der Lage ist, Spin-Flips auszulösen, um den Suchraum zu erkunden.


1

HiHf

Hi=(1001)

Hp=(1000.1)

Hich|1Hf|0

ϵ
τmaxt(||HiHf||2ϵEgap(t)3)

Dies ist gegeben und erklärt in Gl. 2 von Tanburn et al. (2015) .

  • ϵ=0.1
  • ||HiHf||2=0.1
  • ||HiHf||2ϵ=1ϵ
  • τmaxt(1EGeinp(t)3)

maxt
t=20τ/29

H=929Hich+2029Hp

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

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

H=(-112900-1129)

t=2029τEGeinp=0τ

Das adiabatische Theorem gilt also immer noch, aber wenn es besagt, dass sich der Hamilton-Operator "langsam genug" ändern muss, muss sich dieser "unendlich langsam" ändern, was bedeutet, dass Sie mit AQC wahrscheinlich nie die Antwort erhalten werden.


τmax0s1|ψ1(s)|dH^(s)ds|ψ0(s)|Mindest0s1Δ2(s);stτΔ2(s)=(E1(s)-E0(s))2

@Turbotanten: Danke für das Kopfgeld. Mein Beweis funktioniert, ob wir 1 / Gap ^ 2 oder 1 / Gap ^ 3 verwenden. In beiden Fällen bedeutet Lücke = 0 Laufzeit = unendlich. In Ihrem Ausdruck können wir nur "max_s" außen haben, dann brauchen wir kein "min_s" im Nenner. Auch Referenz 2 des Tanburn-Papiers, mit dem ich verlinkt habe, gibt die Lückenformel ^ 3 an, die etwas enger gebunden ist als die Lückenformel ^ 2. Es ist immer noch beliebt, die (etwas lockerere) Lücke ^ 2 zu verwenden, hauptsächlich, weil einige Leute die aktuelle Literatur zu Lücke ^ 3 nicht gesehen haben.
user1271772
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.