Wie man rigoros argumentiert, dass der Überlagerungszustand im Fall einer spontanen Symmetriebrechung instabil ist

In der Quantenmechanik ist die Definition von Symmetriebrechung nicht trivial. Siehe Was ist spontane Symmetriebrechung in QUANTUM-Systemen?

Lassen Sie mich diese Frage kurz zusammenfassen:

  1. Im Spin- 1 / 2 Quantenferromagnetisches Heisenberg-Modell:

    H 1 = ich S ^ ich S ^ ich + 1
    der exakte Grundzustand von endlicher Größe oder unendlicher Größe zeigt alle Spins in die gleiche Richtung, z | , | . Aber in QM ist die Überlagerung dieser beiden Zustände immer noch der Grundzustand.

  2. In einigen Modellen wie dem transversalen Ising-Modell (z | h | < 1 )

    H 2 = ich ( σ ich z σ ich + 1 z + h σ ich x )
    Für endliche Systeme ist der Grundzustand eindeutig und bricht nicht Z 2 Symmetrie. Für unendliche Systeme ist der Grundzustand doppelt entartet.

Daher scheint die übliche Art, spontane Symmetriebrechung (SSB) zu definieren, dh der Grundzustand hat eine niedrigere Symmetrie als das System, schlecht definiert zu sein. Für das quantenferromagnetische Heisenberg-Modell gibt es einen symmetrischen Grundzustand, ohne die Symmetrie zu brechen, unabhängig von der endlichen oder unendlichen Größe des Systems. Im transversalen Ising-Modell ist für jede endliche Systemgröße der Grundzustand sogar eindeutig und bricht nicht Z 2 Symmetrie. Auch in unendlicher Größe existiert noch der symmetrische Grundzustand.

Prof. Wen gab eine eindeutige Definition der spontanen Symmetriebrechung in Quantensystemen .

Definition (Wen): Ein Modell wird als spontane Symmetriebrechung (SSB) bezeichnet, wenn es einen symmetrischen Grundzustand gibt, der der GHZ-Zustand ist.

Egal in einem System mit oder ohne SSB, es gibt immer einen symmetrischen Grundzustand, wie wir im obigen Beispiel sehen. Im SSB-System ist der symmetrische Boden jedoch instabil (GHZ-Typ).

Meine Fragen

  1. Wie man rigoros argumentiert, dass der Überlagerungszustand im Fall einer spontan spontanen Symmetriebrechung instabil ist. (Ich denke, ich sollte eine Beziehung zur Dekohärenz haben.)

Ich habe folgende Erklärungen gehört, die ich kaum verstehe:

Das erste Sprichwort lautet, dass SSB nur in unendlich großen Systemen auftreten kann, da das Tunneln zwischen verschiedenen entarteten Vakuums exponentiell mit der Größe des Systems dämpft.

  1. Im ferromagnetischen Heisenberg-Modell | H 1 | ist immer 0 Egal ob das System endlich oder unendlich ist. Aber wir wissen, dass ein ferromagnetisches Heisenberg-Modell in endlicher Größe einen Überlagerungszustand haben kann. Es scheint, dass "Tunnelamplitude ist Null" keine Beziehung zu "Stabilität des symmetrischen Zustands" hat.

  2. Wie können außerdem entartete Grundzustände eine Tunnelamplitude haben? Denn wenn zwischen verschiedenen entarteten Grundzuständen getunnelt wird, gibt es außerhalb der Diagonale Terme, dann sind sie nicht der Grundzustand.

Zum Beispiel,

H = [ 1 0 0 1 ]
Wenn ( 1 , 0 ) und ( 0 , 1 ) haben eine Tunnelamplitude, was bedeutet, dass Hamitonian ist
H ' = [ 1 ϵ ϵ 1 ]
Dann ( 1 , 0 ) und ( 0 , 1 ) sind kein Grundzustand.

Das zweite Sprichwort ist, dass im SSB-Modell unter der Störung, die die Symmetrie bricht, der symmetrische Zustand exponentiell instabil ist, wenn die Größe auf unendlich geht.

  1. Was bedeutet dieser Satz? Denn unabhängig davon, ob das Modell spontan symmetriebrechend ist oder nicht, wenn Sie einen symmetriebrechenden Term zum ursprünglichen Hamitonian hinzufügen, bricht der Grundzustand immer die Symmetrie.

Zum Beispiel quer Ising-Modell mit h > 1 , der Grundzustand bricht die Symmetrie nicht. Wenn Sie einen Störungsterm hinzufügen ich t σ ich z zu diesem Hamitonian bricht der Grundzustand immer Z 2 Symmetrie.

H 3 = ich ( σ ich z σ ich + 1 z + 2 σ ich x + t σ ich z )
Egal wie klein t > 0 , der Grundzustand von H 3 immer bricht die die Z 2 Symmetrie.

Könnte es nicht so einfach sein wie die Tatsache, dass eine Messung irgendeines einzelnen Spins die Überlagerung zusammenbrechen lässt? Diese Tatsache würde für die reinen Up- und All-Down-Spin-Zustände nicht zutreffen, was mit der Vorstellung übereinstimmt, dass solche Zustände stabil sind
@ user157879 Aber wenn Sie wahr sind, kann der Überlagerungszustand nicht einmal für zwei Drehungen existieren.
Nun, wenn Sie eine Überlagerung von zwei Spins haben und einer von ihnen (50% der Gesamtzahl der Spins!) mit äußeren Zuständen interagiert, dann wird die Überlagerung ja brechen. Normalerweise würde man davon ausgehen, dass Zustände nur mit einer kleinen Wahrscheinlichkeit interagieren, aber bei einer makroskopischen Anzahl von Zuständen ist die Wahrscheinlichkeit, dass ein einzelner Zustand interagiert, dann im Wesentlichen 1
Zum endlichen ferromagnetischen Heisenberg-Modell: Die Grundzustände sind die Zustände maximalen Gesamtspins. Daher bricht jeder Grundzustand die Rotationssymmetrie (andernfalls wäre sein Gesamtspin Null).
@jjcale Ja, sie sind eine Basis für den Raum des entarteten Grundzustands. Aber man kann sie immer zu einem symmetrischen Grundzustand addieren, der die Symmetrie nicht bricht.
@jjcale Meine Frage ist, wie man rigoros argumentiert, dass der symmetrische Grundzustand in Modellen wie ferromagnetischem Heisenberg instabil ist
@maplemaple Nein, es gibt keinen symmetrischen reinen Grundzustand, da der Gesamtspin maximal und daher nicht Null ist. Was Sie tun können, ist, aus den reinen Grundzuständen eine symmetrische Dichtematrix zu konstruieren.
@maplemaple Sie haben Elemente außerhalb der Diagonale im Unterraum der degenerierten ungefähren Grundzustände. Schauen Sie sich Sakurais Modern Quantum Mechanics Seite 269 an.

Antworten (3)

1.

Der entscheidende Punkt, den Sie vermissen, ist, dass das spontane Symmetriebrechen oder der Begriff der Phasenübergänge im Allgemeinen nur für Systeme mit lokalen Wechselwirkungen funktioniert. Ein Phasenübergang ist definiert als ein Punkt im Hamiltonschen Parameterraum, an dem die Dichte der freien Energie in der Grenze unendlicher Größe nicht analytisch wird. Diese Definition setzt offensichtlich die Existenz einer wohldefinierten unendlichen Systemgrenze der freien Energiedichte voraus. Aber für translationsinvariante Gittersysteme wie das Ising-Modell nähert sich die freie Energiedichte nur einem konstanten Wert an N wenn j J ich j konvergiert absolut, was ungefähr so ​​viel bedeutet | J ich j | muss schneller abfallen als 1 / r d , wo d ist die Anzahl der Dimensionen. Mit anderen Worten, die Kopplungen müssen einigermaßen lokal sein.

(Experten könnten einwenden, dass ungeordnete Systeme mit nichtlokalen All-to-All-Kopplungen, wie die Sherrington-Kirkpatrick- oder SYK-Modelle, immer noch Replika-Symmetrie-brechende Phasenübergänge haben. Aber das trifft eigentlich nur zu, wenn Sie die Kopplungskonstanten als Potenz von neu skalieren die Gesamtsystemgröße, was keine sehr physikalische Sache ist.Wenn Sie dies nicht tun, dann verschwindet der Phasenübergang, und zwar der N Grenze wird schlecht definiert. Reale Systeme sind nie wirklich all-to-all gekoppelt - in der Praxis gibt es eine maximale Entfernung, bei der die Kopplungen verschwinden, und all-to-all-gekoppelte Modelle sind nur eine bequeme Annäherung.)

Jede mutmaßliche Erklärung des spontanen Symmetriebruchs, die nicht explizit die Lokalität verwendet, ist bestenfalls ernsthaft unvollständig. Dekohärenz ist zu kompliziert, um sie hier zu erklären, aber eine Schlüsselannahme ist, dass die Wechselwirkungen lokal im Raum sind, was die Positionsbasis als natürlich bevorzugte Zeigerbasis auswählt, so dass Positions-nahe-Eigenzustände natürlicher sind als beispielsweise Impuls-nahe- Eigenzustände.

  1. und 3.

Die Lokalität des Systems und insbesondere die Annahme, dass alle Störungen lokal sind, gibt uns eine Vorstellung von der "Entfernung" zwischen zwei Zuständen, die nützlicher ist als die bloße Orthogonalität. Wie Sie betonen, können Orthogonalität / innere Produkte allein nicht zwischen zwei Zuständen unterscheiden, die sich nur durch einen einzigen Spin unterscheiden, und zwei Zuständen, die sich durch alle ihre Spins unterscheiden, obwohl das letztere Paar in gewissem Sinne eindeutig "anderer" ist als das Vorherige.

Da hast du natürlich recht ich | EIN | j = 0 für zwei beliebige unterschiedliche Eigenzustände eines beliebigen hermitischen Operators, nicht nur des Hamilton-Operators. Aber dieses einfache Matrixelement ist nicht die richtige Definition von "der Tunnelamplitude". Soweit ich weiß, ist die tatsächliche Definition etwas unscharf und das Konzept eher eine Kunst als eine Wissenschaft, aber hier sind zwei mögliche Konzeptualisierungen:

a) Sie können sich den symmetriebrechenden Term als Störung vorstellen und den Hamiltonoperator zerlegen als H = H 0 + Δ H , wo H 0 respektiert die Symmetrie und Δ H bricht es. Dann sagt uns die Störungstheorie, dass alle Störungskorrekturen in Bezug auf die Matrixelemente ausgedrückt werden können ich 0 | Δ H | j 0 wo ich 0 | und | j 0 sind die Eigenzustände des ungestörten Hamiltonoperators H 0 , nicht der exakte Hamiltonoperator. Diese Matrixelemente sind allgemein ungleich Null.

b) Ich mag die Störungstheorie nicht, also denke ich lieber in Analogie zu Monte Carlo. Die Umgebung versucht ständig, mit zufälligen kleinen lokalen symmetriebrechenden Störungen auf das System einzuwirken. Sie können es sich so vorstellen h = 0 im vollen Hamiltonian, aber h ich σ ich x Begriffe erscheinen zufällig vorübergehend auf einzelnen Websites ich (oder ähnliche Begriffe auf kleinen lokalen Clustern von Websites). Diese sind wie Monte-Carlo-Kandidaten-Spin-Flips, und bei niedriger Temperatur werden sie normalerweise nur akzeptiert, wenn sie die Gesamtenergie des Systems senken. Für ein kleines System, das im All- Staat, Sie könnten Glück haben und genug Flips akzeptieren, um Sie schließlich in eine Mehrheit zu bringen - Zustand, an welchem ​​Punkt Sie dann wahrscheinlich mit allen fortfahren werden- - obwohl jeder dieser ersten paar individuellen Überschläge unwahrscheinlich war. Aber um mehr als die Hälfte des Systems umzudrehen, müssen Sie zunächst viele (unabhängige) Male hintereinander Glück haben, und die Wahrscheinlichkeit, dass dies geschieht, nimmt exponentiell mit der Systemgröße ab. Die "Tunnelamplitude" ist im Grunde die Wahrscheinlichkeit, dass dies nach vielen Monte-Carlo-Sweeps geschieht, und sie nimmt tatsächlich exponentiell mit der Systemgröße ab. Bei einem kleinen System schalten Sie schließlich in den anderen Grundzustand um, obwohl dies sehr lange dauern wird. Bei einem großen System wird es sehr lange dauern , und bei einem unendlichen System wird es nie ganz dort ankommen.

Wenn diese Analogie für Ihren Geschmack zu klassisch ist, können Sie sich stattdessen den Raum zufälliger Quantenschaltkreise vorstellen, mit Schaltkreisen, die nach einer Kostenfunktion gewichtet sind, die von den Hamilton-Matrixelementen abhängt, und die "Tunnelamplitude" zwischen zwei Quantenzuständen ist wie die Gesamtgewicht aller Zufallsschaltungen, die einen Zustand in den anderen überführen.

4.

Sie haben Recht, dass jeder endliche Wert von h bricht die Symmetrie. Für jedes System, selbst für ein unendliches, haben Sie das m ( h ) 0 wenn h > 0 . Aber was ist mit der Grenze h 0 + ? Eine Definition von SSB ist das Versagen der Grenzen h 0 + und N pendeln. In der SSB-Phase nehmen Sie nach N , du hast das m ( h ) hat eine Sprungstelle bei h = 0 , so dass m ( 0 ) = 0 aber lim h 0 + m ( h ) > 0 . Das meinen wir, wenn wir sagen, dass eine infinitesimale Störung h bricht die Symmetrie.

Es gibt bereits einige nette Antworten, aber ich gebe eine konkrete, auf den Punkt gebrachte für diejenigen, die es eilig haben.

Die Frage, auf die ich eingehen werde, ist

Warum sind Katzenzustände (wie GHZ-Zustände) physikalisch instabil?

Die Antwort ist

Weil eine generische Interaktion mit der Umgebung – egal wie klein – solche Zustände zusammenbrechen/entkoppeln wird.

Betrachten Sie zum Beispiel die übliche Ising-Kette, bei der ein einzelner Spin zufällig mit einem einzelnen Spin in der Umgebung interagiert:

H = ( n = 1 N 1 σ n z σ n + 1 z ) ε σ 1 z σ env z ( mit  ε > 0 ) .

Die Grundzustände des Katzenzustands werden sein

| Ψ ± = 1 2 ( | 1 2 N env ± | 1 2 N env ) .
Angenommen, wir haben keine (kohärente) Kontrolle/Wissen über die Umgebung, ist unsere effektive Beschreibung
ρ System = Tr env ( | Ψ ± Ψ ± | ) = 1 2 ( ρ + + ρ ) ,
wo ρ ± sind die symmetriegebrochenen Zustände des Systems (entsprechend | 1 N und | 1 N ).


NB: Obiges erklärt auch, warum die GHZ-Zustände, die als Grundzustände topologischer fermionischer Ketten (z. B. der Kitaev-Kette) auftreten , stabil sind : Es gibt keinen lokalen Operator, der den zweidimensionalen Hilbert-Raum aufteilt, während die oben genannte Ursache dort war ein solcher lokaler Betreiber (dh σ 1 z ), an die die Umgebung koppeln könnte (letztere fungiert als Messapparat).

Wollen Sie damit sagen, dass der Grundzustand der Kitaev-Kette eine kohärente Überlagerung von Zuständen unterschiedlicher Fermion-Parität ist?
@LorenzMayer Ich sagte, dass es keinen lokalen Operator gibt, der an die fermionische Parität koppeln könnte: Das ist wahr, aber es gab tatsächlich die falsche Implikation (dh die, die Sie sagten), meine schlechte. Behoben :) Danke
Wie definieren Sie GHZ-Staaten? Ich würde sie als Zustände definieren, die die Clusterzerlegungseigenschaft verletzen, aber die Grundzustände der Kitaev-Kette respektieren diese Eigenschaft, also würde ich sie nicht GHZ-Zustände nennen.

Das Problem ist, dass, wenn man zum Beispiel über das Transversalfeld-Ising-Modell spricht, die Staaten Ω ± wobei alle Spins Spin- z -Eigenwert ± 1 existieren im thermodynamischen Limes nicht im selben Hilbert-Raum.

Das scheint eine seltsame Aussage zu sein, also werde ich versuchen, es weiter zu erklären. Wenn wir direkt im thermodynamischen Limit arbeiten, sollten wir vorsichtig sein, welche Operatoren wir zulassen. In Anbetracht der Tatsache, dass Messgeräte nur endliche Größe haben, sollten wir nur lokale Operatoren zulassen, also solche Operatoren, die irgendwie ins Unendliche zerfallen (z. B. exponentiell oder mit endlichem Träger).

Dann für alle diese Operatoren Ö , wir haben das

Ω , Ö Ω + = 0.

Das heißt, es gibt keinen Operator, der Sie abholt Ω zu Ω + . (Dies hängt möglicherweise mit diesem "Tunneling Probability"-Geschäft zusammen). Dies ist jedoch genau die Definition eines Superselection-Sektors! Was Sie also dachten, ist der einzigartige symmetrische Grundzustand

Ω + + Ω 2

ist keine Überlagerung, sondern tatsächlich eine statistische Mischung zweier symmetriegebrochener Zustände.

Ich verstehe, was Sie sagen, und es ist ein guter Punkt, aber ich denke, bei Problemen wie diesem versteht man mehr, wenn man eine angemessene Stabilitätsmetrik im Endlichen identifiziert N Fall und dann das Limit nehmen N Am Ende.
Was passiert mit dieser Erklärung für den Fall der Kitaev-Kette, wo der Katzenzustand der physische Zustand ist?
@RubenVerresen: Beachten Sie, dass Sie beim Arbeiten mit der Kitaev-Kette die von Ihnen verwendete Operator-Algebra ändern müssen - ein Fermion-Erstellungsoperator ist beispielsweise kein lokaler Operator im oben verwendeten Sinne.