Kantentheorie von FQHE - Unfähig, Greensche Funktion aus Antikommutierungsbeziehungen und Bewegungsgleichung zu erzeugen?

Ich studiere die Kantentheorie des fraktionierten Quanten-Hall-Effekts (FQHE) und bin auf einen merkwürdigen Widerspruch bezüglich des Bosonisierungsverfahrens gestoßen, den ich nicht lösen kann. Hilfe!

Betrachten Sie insbesondere die ersten paar Seiten von XG Wens Artikel "Theory of the edge states in Fractional Quantum Hall Effects" . Hier definiert Wen ein fermionisches Feld Ψ ( x , t ) in (1+1)-Dimensionen in Bezug auf ein bosonisches Feld ϕ ( x , t ) wie

Ψ ( x , t ) e ich 1 v ϕ ( x , t ) .

Die Nummer v ist der Füllanteil des FQHE, auf den wir uns einstellen werden v = 1 / 3 der Einfachheit halber. Das bosonische Feld erfüllt die etwas seltsamen Vertauschungsbeziehungen

[ ϕ ( x , j ) , ϕ ( j , t ) ] = ich π v Zeichen ( x j )

die notwendig sind, um zu machen Ψ ( x , t ) Antikommutieren wie ein echtes Fermion

{ Ψ ( x , t ) , Ψ ( j , t ) } = δ ( x j ) .

Außerdem erfüllt das bosonische Feld die Bewegungsgleichung

( t v x ) ϕ ( x , t ) = 0 .

Einige Operatoralgebra zeigt das Ψ ( x , t ) ist auch eine Lösung dieser Bewegungsgleichung. Mir scheint jedoch, dass diese beiden Forderungen, Antikommutierung und Bewegungsgleichung, bereits die Greensche Funktion des Fermions festlegen!

Wen fährt jedoch fort zu bemerken, dass diese Fermionen die Green-Funktion haben (Gleichung (2.12) in der Abhandlung)

G ( x , t ) = T ( Ψ ( x , t ) Ψ ( 0 ) ) = exp [ 1 v 2 ϕ ( x , t ) ϕ ( 0 ) ] 1 ( x v t ) 1 / v .

Ich verstehe nicht, wie das sein kann. Schließlich können wir aus den Antikommutierungsbeziehungen und der Bewegungsgleichung die Greensche Funktion zu berechnen

G ( x , t ) 1 x v t .

Definieren Sie dazu Fourier-Modi Ψ k , Ψ k , erhalten für diese die üblichen Antikommutierungsrelationen, lösen die Bewegungsgleichung und transformieren zurück in den realen Raum. Das Ergebnis wird wie angegeben sein, und der Exponent 1 / v wird fehlen.

Woher kam der Exponent 1 / v gehen? Was ist falsch daran, die Greensche Funktion aus den Antikommutierungsbeziehungen und der Bewegungsgleichung zu berechnen?

Vielleicht ist da drinnen was los δ ( x j ) Teil der Antikommutierungsbeziehungen? Wenn ja, was genau? Oder vielleicht etwas über den Grundzustand? Oder etwas über das Bosonisierungsverfahren als Ganzes?

Berücksichtigen Sie das normal bestellte Produkt bei der Definition richtig? Ψ ?
@JoséFigueroa-O'Farrill: Nein, aber das sollte die Antikommutierungsbeziehungen und die Bewegungsgleichung nicht beeinflussen? Der Grundzustand mag unterschiedlich sein, aber ich kann mir nur schwer vorstellen, wie ein anderer Grundzustand zu einem anderen Exponenten in der Greens-Funktion führen könnte.
Eigentlich tun sie es. Diese Art der Berechnung ist typisch für die konforme Feldtheorie, ein Thema, mit dem ich mich viel wohler fühle als mit dem FQHE. In CFT sind die bosonischen Felder nicht lokal, aber ihre Strömungen sind es. Die Vertauschungsrelationen der Bosonen lassen sich aus ihrer Operatorproduktentwicklung ablesen, die logarithmisch ist. Die Berechnung der Zweipunktfunktion normalgeordneter Exponentiale findet sich an vielen Stellen; zB §6.3.2 in "Conformal field theory" von Di Francesco, Mathieu und Sénéchal.

Antworten (2)

Ich verstehe, dass Sie den Fermionenpropagator im Operatorformalismus berechnen möchten (im Gegensatz zum Pfadintegralformalismus, bei dem das gleiche Ergebnis erzielt werden kann). Dann ist nach Josés Bemerkung die Fermionisierungsformel korrekt, dh sie gibt die kanonischen Antikommutierungsbeziehungen genau dann an, wenn sie normal geordnet ist:

ψ ( z ) =: exp ( ich 1 v ϕ ( z ) ) := exp ( ich 1 v ϕ + ( z ) ) exp ( ich 1 v ϕ ( z ) )

wo ϕ + ( z ) ( ϕ ( z ) ) enthält nur die Abhängigkeit der Erzeugungs- (Vernichtungs-) Feldkomponenten.

Die in der Frage angegebene Fermionenpropagatorformel ist eine Folge der Produktformel zweier normal geordneter Exponentiale:

: exp ( ich a ϕ ( z 1 ) ) :: exp ( ich b ϕ ( z 2 ) ) :=: exp ( ich a ϕ ( z 1 ) + ich b ϕ ( z 2 ) ) : e x p ( a b ϕ ( z 1 ) ϕ ( z 2 ) ) .

Diese Formel kann mit der Baker-Campbell-Hausdorff-Formel unabhängig für jeden Modus leicht verifiziert werden

Nun bezieht sich die Berechnung auf das Bosonenvakuum, und das ist der Grund, warum der Fermionenpropagator die Leistungsabhängigkeit hat.

Also im Grunde sagst du das | 0 ist der Vakuumzustand für die Bosonenmoden, ϕ ( z ) | 0 = 0 , und dass es sich sehr vom üblichen Grundzustand (Fermi-Meer) für Fermionen unterscheidet, dh wir haben Ψ k | 0 0 ? Ich wäre an einer Back-of-the-Envelope-Berechnung interessiert, die zeigt, wie ein "ungewöhnlicher" Fermion-Grundzustand zu einer anderen Leistungsabhängigkeit der Greens-Funktion führen kann.
(Nachtrag: Die Idee ist, dass ich alle Bosonen vergessen möchte, sobald ich meine Fermion-Antikommutierungsbeziehungen und die Bewegungsgleichungen und den Grundzustand habe.)
Erweiterung der letzten Aussage in der Antwort: Die bosonische Theorie ist eine Freifelddarstellung einer wechselwirkenden fermionischen Theorie. Siehe Schulz, Cuniberti, Pieri arxiv.org/abs/cond-mat/9807366 . Die Lösung durch Bosonisierung ist eigentlich eine Bogolyubov-Transformation (die Vernichtungs- und Erzeugungsoperatoren mischt und so den Vakuumzustand "freies Fermion" in den exakten Vakuumzustand umwandelt.
Forts. Wenn man nun ausschließlich mit Fermion-Operatoren arbeiten möchte, ist es möglich, die Bose-Operatoren als Bilineare in den Fermi-Operatoren auszudrücken, siehe zum Beispiel Rao und Sen: arxiv.org/abs/cond-mat/0005492 Abschnitt 2.1., aber dies kehrt nur die Bogolyubov-Transformation um.
Vielen Dank, insbesondere für die letzte Referenz, die meiner Meinung nach eine der klarsten Einführungen in die Bosonisierung mit Operatoren ist. Es zeigt, wie sich der Fermion-Grundzustand vom üblichen unterscheidet. Sie haben mir zwar nicht direkt auf meine Frage geantwortet, aber Sie haben mir sehr geholfen, und ich werde Ihre Antwort akzeptieren.

An dieser Stelle möchte ich einige ergänzende Bemerkungen machen.

1) In Gl. (2.11) des zitierten Artikels ist die Korrelation des Bosonenfeldes angegeben ϕ ( x , t ) ϕ ( 0 ) = v ln ( x v t ) . Damit können wir rechnen G ( x , t ) = T ( Ψ ( x , t ) Ψ ( 0 ) ) = exp [ 1 v 2 ϕ ( x , t ) ϕ ( 0 ) ] 1 ( x v t ) 1 / v .

2) Es ist nicht richtig zu schreiben { Ψ ( x , t ) , Ψ ( j , t ) } = δ ( x j ) , da hier Ψ ( x , t ) ist nicht der bloße Elektronenoperator. Ψ ( x , t ) = e x p ( ich ϕ ( x , t ) / v ) ist nur die Projektion des nackten Elektron-Operators in den Niederenergie-Unterraum. Also haben wir Ψ ( x , t ) Ψ ( j , t ) = ( ) 1 / v Ψ ( j , t ) Ψ ( x , t ) = Ψ ( j , t ) Ψ ( x , t ) Wenn 1 / v = ungerade ganze Zahl. Aber { Ψ ( x , t ) , Ψ ( j , t ) } = δ ( x j ) das ist nicht richtig.

Also, im Grunde sagst du das für x j wir haben { Ψ ( x , t ) , Ψ ( j , t ) } = 0 , aber für x = j die Delta-Funktion ist anders als die übliche? Ist die Form dieser Deltafunktion bekannt?
@Greg: Du hast Recht. Für x=y darf der Antikommutator nicht a sein δ -Funktion.