Entartete Störungstheorie angewandt auf topologische Entartung?

Stellen Sie sich ein Quantensystem vor, das durch einen Hamiltonoperator mit Lücken beschrieben wird H 0 mit entarteten Grundzuständen (GS), Hinzufügen eines Störungsterms v zu H 0 , dann kann die Niederenergiephysik durch einen effektiven Hamiltonoperator beschrieben werden H e f f innerhalb des GS-Unterraums von agieren H 0 , wo H e f f kann aus der entarteten Störungstheorie berechnet werden .

Was ist, wenn die GS-Entartung von H 0 ist eine topologische Entartung ?

Ich habe gelernt, dass die topologische Entartung robust gegenüber JEGLICHEN lokalen Störungen ist . Bedeutet dies, dass: wenn die oben H 0 beschreibt ein topologisch geordnetes System, das auf einem Torus mit einer topologischen GS-Entartung definiert ist, und v IRGENDEINE lokale Störung darstellt, dann würde der resultierende effektive Hamilton-Operator H e f f immer trivial sein (d.h. H e f f = konstante Zahl) ??

Und im umgekehrten Fall, wenn wir finden H e f f (entsprechend allen lokalen Störungen v ) eine konstante Zahl in jeder endlichen Ordnung aus einer entarteten Störungstheorieberechnung ist, impliziert dies dann H 0 beschreibt ein topologisch geordnetes System??

Für ein endliches System gilt natürlich H e f f ist normalerweise KEINE konstante Zahl. Alles, worüber wir oben sprechen, liegt im thermodynamischen Limit.

Danke vielmals.

Antworten (1)

Der effektive Hamiltonoperator muss keine Konstante sein. Tatsächlich ist es normalerweise eine Summe von Termen, die verschiedene entartete Grundzustände durch topologisch nicht triviale Aktionen verbinden.

Zum Beispiel im Toric-Code ( d = 2 quadratisches Gitter der Länge L mit periodischen Randbedingungen ...) wird der effektive Hamilton-Operator eine Summe der 4 String/logischen Operatoren sein, die dem Wickeln der elektrischen oder magnetischen Erregungen um den Torus entsprechen. Das 2 2 Grundzustände werden durch das Vorhandensein oder Fehlen geschlossener Strings gekennzeichnet, sodass diese Operatoren verschiedene verbinden.

Die Aussage, dass die Entartung robust ist, ist, dass die Niveauaufteilung zwischen verschiedenen Grundzuständen ist δ E e L ; Sie müssen zur Bestellung gehen Ö ( L ) in der Störungstheorie.

Dies setzt nun voraus, dass die Störung lokal ist, wie etwas, das ein paar Drehungen um eine Site dreht. Wenn Sie zulassen, dass nicht-lokale Begriffe eingegeben werden, können Sie sich vorstellen, etwas hinzuzufügen, das alle für einen String-Operator erforderlichen Spins auf einmal umdrehen kann, was diese Schlussfolgerung der Robustheit ruiniert.

Welche spezifischen Störungen haben Sie für das Toric-Code-Beispiel hinzugefügt, um den effektiven Hamilton-Operator zu erhalten, der eine Summe der 4 Zeichenfolgen/logischen Operatoren ist? Und könnten Sie mir explizit die Form des effektiven Hamiltonoperators zeigen?