Können Gapped State und Gapless State adiabatisch miteinander verbunden werden?

Ist es möglich, dass wir einen lückenhaften Zustand und einen lückenlosen Zustand konstruieren können, die adiabatisch verbunden sind?

Hier adiabatisch verbunden meine ich:

Es gibt eine Klasse von Hamiltonianern H ( g ) mit Grundzustand | ϕ ( g ) > ( g [ 0 , 1 ] ), so dass | ϕ ( 0 ) > ist lückenlos und | ϕ ( 1 ) > ist lückenhaft. Und der Grundzustandsdurchschnitt jedes lokalen Betreibers < EIN > ( g ) hat nicht Singularität für alle g [ 0 , 1 ]

  1. Wenn es möglich ist, kann mir jemand ein Beispiel geben?

  2. Wenn es unmöglich ist. Bedeutet dies, dass wir immer eine topologische Ordnung oder einen normalen Ordnungsparameter finden können, um eine Lückenphase von einer Lückenphase zu unterscheiden?

Antworten (5)

Sie können zB die in https://arxiv.org/abs/1111.5817 und https://arxiv.org/abs/1210.6613 eingeführten "Onkel Hamiltonianer" betrachten (Disclaimer: Ich bin Mitautor). Die dort beschriebenen Grundzustände (wie das Toric-Code-Modell) haben beide einen lückenhaften "Eltern-Hamiltonian". H 1 und ein lückenloser "Onkel Hamiltonian" H 2 . Wenn Sie interpolieren λ H 1 + ( 1 λ ) H 2 , ändert sich der Grundzustand durchgehend nicht, so dass es zu keinerlei Unterbrechung kommt, sondern die Lücke schließt sich schließlich.

Um ein weiteres Mainstream-Beispiel zu nennen: Der Hamilton-Operator des 1D-XY-Modells mit einem transversalen Feld,

H = X ich X ich + 1 + Y ich Y ich + 1 + h Z ich
auf einen freien Fermion-Hamiltonoperator abbildet
H = a ich a ich + 1 + h . c . h a ich a ich   .
Dieser Hamiltonoperator ist diagonalisiert als
H = ( c Ö s ( k ) h ) a k a k   .
So ist z h < 1 , alle Modi sind leer, während at h = 1 , die Lücke schließt sich bei k = 0 und das System wird lückenlos. Allerdings für alle h 1 , der Grundzustand ist derselbe, nämlich das fermionische Vakuum, und es tritt keine Diskontinuität auf.

(Beachte das bei k = 0 , gibt es einen zweiten Grundzustand, der notwendigerweise anders ist. Da unterscheidet es sich jedoch von dem anderen Zustand nur durch einen Modus in k Raum besetzt ist, ist es bis zu den Ordnungsbedingungen nicht vom Grundzustand zu unterscheiden 1 / N .)

(Anmerkung: Es gibt wahrscheinlich eine gewisse Subtilität bei der Abbildung auf freie Fermionen, die ich vernachlässigt habe, da die Randbedingungen an die Fermion-Parität gekoppelt sind. Dies sollte zu einer Verschiebung führen k Raum, der keine nennenswerten Auswirkungen haben sollte, außer dass er vielleicht tatsächlich die Entartung aufspaltet h = 1 .)

Nein. Es ist unmöglich, dass Gap-Zustand und Gapless-Zustand adiabatisch miteinander verbunden sind.

Erstens sind die Konzepte des lückenlosen Zustands und des lückenlosen Zustands Konzepte mit unendlicher Größenbegrenzung. (siehe Was bedeutet es, dass ein Hamiltonoperator oder ein System lückenhaft oder lückenlos ist? ). Bei unendlicher Größenbegrenzung der Grundzustandsdurchschnitt eines lokalen Operators < EIN > ( g ) wird zu einem bestimmten Zeitpunkt Singularität haben g [ 0 , 1 ] .

Die obige Aussage impliziert nicht, dass wir immer eine topologische Ordnung oder einen normalen Ordnungsparameter finden können, um eine Lückenphase von einer Lückenphase zu unterscheiden.

Würden Sie dieser Sichtweise zustimmen , wie diese Antwort mit den beiden Gegenbeispielen von Norbert Schuch vereinbar ist?

Wenn ich Sie richtig verstehe, wie wäre es mit einem hüpfenden Hamilton-Operator, ähnlich dem, den man in Bornitrid nahe der Ecke der Brillouin-Zone bekommt:

H = k ( a k b k ) ( m g k e ich θ k e ich θ m g ) ( a k b k ) ,
wo k ist der Kristallimpuls, der nur Sinn macht, wenn die Größe des Systems ins Unendliche geht. Die Erzeugungs-/Vernichtungsoperatoren entsprechen den beiden Atomspezies: Bor und Stickstoff.

Die Eigenwerte sind ± m 2 g 2 + k 2 . Durch Tuning g , öffnen oder schließen Sie die Lücke. Wenn Sie g = 0 setzen, erhalten Sie eine lineare Dispersion, wie Sie sie in Graphen sehen. Tatsächlich könnte man (zumindest im Prinzip) eine Lücke in Graphen öffnen, indem man die Untergittersymmetrie bricht.

Das ist nicht wirklich das, was die Leute mit "lückenlos" meinen. „Gapless ist ein im thermodynamischen Grenzbereich definiertes Konzept (also ein Vielteilchensystem mit der Systemgröße zu gehen ).
@NorbertSchuch Ich denke, dass IcyOtter ein Integral über enthalten wollte k in seinem Hamilton-Operator, der eine Fourier-Transformation eines räumlich unendlichen translationsinvarianten Systems darstellt, das sich tatsächlich in der thermodynamischen Grenze befindet.
Woher wissen Sie, dass die Grundzustandserwartungswerte aller lokalen Operatoren bei analytisch bleiben g = 0 ? Ich glaube nicht, dass das der Fall ist.
@tparker Zumindest im Zusammenhang mit einem Wabengitter, aus dem der Hamiltonian stammt, der g = 0 Fall ist nicht pathologisch. Es ist der Graphen-Hamilton-Operator mit niedriger Energie, und ich bin mir ziemlich sicher, dass Sie Erwartungswerte von Operatoren berechnen können, da dies ein physikalisches System ist.
@NorbertSchuch Hallo Norbert, tparker hat in der Tat recht. Obwohl es wie ein erstes quantisiertes Problem aussieht, ist der von IcyOtter angegebene Hamilton-Operator nur der eines nicht-interagierenden Zweibandmodells, zB könnte es ein BdG-Hamilton-Operator oder (wie IcyOtter sagte) ein Modell für Graphen sein. Ich würde naiv sagen, dass das Modell, das IcyOtter gegeben hat, völlig trivial ist in Bezug auf den topologischen Effekt über die Stabilität der Fermi-Oberfläche hinaus.
Tut mir leid, wieder pingelig zu sein, aber Crystal Momenta k sind für ein endliches translationsinvariantes System perfekt definiert - sie nehmen einfach diskrete Werte an und werden, wie Sie geschrieben haben, summiert. Das einzige, was sich in der thermodynamischen Grenze ändert, ist, dass die k Werte werden kontinuierlich und die Summe wird ein Integral.
@tparker So wie es geschrieben ist (auf einem Gitter), verhält sich das System nicht gut, da H nicht glatt ist k = π . Dieser Hamiltonoperator wird normalerweise als Annäherung an den "richtigen" herum verwendet k = 0 (weil dort die interessante Physik stattfindet). Im Prinzip müssen Sie es rundherum glätten k = π .
@NorbertSchuch Ja, das ist ein guter Punkt. Man könnte technisch einen Knick bekommen π , aber das würde sehr seltsame und unphysikalische langreichweitige Wechselwirkungen im realen Raum erfordern.
IcyOtter, ich stimme zu, dass die g = 0 Der Fall ist nicht physikalisch pathologisch, aber da er direkt an einem Phasenübergang liegt, vermute ich, dass sich bei einem unendlichen System eine physikalische Größe nicht analytisch gegenüber dem Fall mit Lücke ändert. ZB weicht vielleicht die spezifische Wärme ab?

Ein lückenhafter und ein lückenloser Zustand können tatsächlich unter Ihrer spezifischen Definition von "adiabatisch" adiabatisch verbunden werden, wie Norbert Schuch betont. Ihre Definition ist jedoch nicht die Standarddefinition, und unter der Standarddefinition ist dies nicht möglich. Die gebräuchlichere Definition von "adiabatisch" wird durch das adiabatische Theorem motiviert, das sich auf die Bedingungen bezieht, unter denen sich anfängliche augenblickliche Eigenzustände eines zeitabhängigen Hamilton-Operators zu augenblicklichen Eigenzuständen des neuen Hamilton-Operators entwickeln. Betrachtet man der Einfachheit halber den Grundzustand, so lautet die Bedingung | E ˙ 0 | ( Δ E ) 2 , wo E 0 ist die Grundzustandsenergie und Δ E ist die Lücke zum ersten angeregten Zustand. Diese Bedingung kann offensichtlich nicht erfüllt werden, wenn die Lücke Δ E schließt an jedem Punkt in der Evolution, so dass man sich unter dieser Definition nicht adiabatisch durch einen lückenlosen Hamilton-Operator entwickeln kann.

Das ist nicht wahr – es besteht keine Notwendigkeit, dass sich die Lücke für einen lückenlosen Hamilton-Operator tatsächlich schließt (außer in der tdyn-Grenze). Sie können sehr gut Lücken haben, die so skalieren 1 / N a und ein einzigartiger Grundzustand – tatsächlich wird dies beim adiabatischen Quantencomputing die ganze Zeit gemacht, und wenn Sie mit einer Geschwindigkeit von 1/Poly(N) (dh in Poly(N))-Zeit gehen, bleiben Sie im gswhp.
@tparker Was im Fall einer Lückenöffnung/-schließung passiert, ist genau das, was Wilczek und Zee in [ doi.dx.org/10.1103/PhysRevLett.52.2111] besprochen haben : Sie können immer noch den adiabatischen Satz anwenden, aber alle sich kreuzenden Energiebänder trennen vom Rest über eine Lücke. Wenn Sie nun versuchen, eine Niedrigenergietheorie der sich kreuzenden Energiebänder zu konstruieren, muss Ihr Modell eine explizite Eichstruktur enthalten. Letztendlich ist die Pegelstruktur nicht trivial und die Niedrigenergiephysik wird von topologischen Effekten dominiert (solange alle Hypothesen zum Aufbau des Niedrigenergiesektors verifiziert sind) .
@NorbertSchuch Ich nehme an, es gibt eine Mehrdeutigkeit in der Frage des OP, ob "lückenloser Zustand" "unendlicher Systemzustand mit Nulllücke" oder "endlicher Größenzustand mit einem Hamiltonian bedeutet, der in der thermodynamischen Grenze lückenlos werden würde, was nicht genommen wird " . Ich denke, es wäre sehr seltsam, wenn sie letzteres als "lückenlosen Zustand" bezeichnen würden, weil es lückenhaft ist, also bin ich mir ziemlich sicher, dass sie ein unendliches System betrachten wollten.
@tparker Ich bin mir nicht sicher, ob wir dasselbe meinen: Mein Punkt ist, dass ein lückenloses System entweder bereits für endliche Größe lückenlos sein kann (z. B. weil es einen lückenlosen Modus mit der Energie E (k = 0) = 0 gibt, der das k = macht 0-Zustand 2-fach entartet), oder weil es oben ein Kontinuum von Moden gibt, ohne exakte Entartung, wie das kritische Ising-Modell. Nun gibt es in beiden Fällen ein Problem mit der adiabatischen Entwicklung, aber es ist etwas anders: Im letzteren Fall kann man eine adiabatische Entwicklung mit einer Geschwindigkeit von 1/poly(N) durchführen, was natürlich bedeutet, dass dies unmöglich wird N .
@NorbertSchuch Ah okay, ich verstehe worauf du hinaus willst. Völlig fairer Punkt. Mir war nicht klar, dass Sie in Ihre Definition von "lückenlos" genau entartete Grundzustände aufgenommen haben.
@tparker Aber das gilt für jedes lückenlose freie Fermionenmodell (solange der lückenlose Punkt bei einem "einfachen" k-Wert liegt). Beispielsweise hat der Hamilton-Operator in der obigen Antwort einen Nullmodus bei k = 0, der entweder leer oder besetzt sein kann, was zwei genau entartete Grundzustände ergibt.
@norbertSchuch Ja, ich hab mich dumm angestellt :-)