Was geht schief, wenn man versucht, ein Skalarfeld mit der Fermi-Statistik zu quantisieren?

Am Ende von Abschnitt 9 auf Seite 49 von Diracs „Lectures on Quantum Field Theory“ von 1966 sagt er, dass, wenn wir ein reales Skalarfeld gemäß der Fermi-Statistik quantisieren [dh, wenn wir kanonische Antikommutierungsbeziehungen (CAR) auferlegen], der Quanten- Hamiltonoperator entsteht ist nicht mehr gut, weil es die falsche Variante des Erzeugungsoperators liefert η k ^ mit der Zeit. Leider kann ich nichts falsch machen, also würde jemand meinen Fehler zeigen oder erklären, welche Berechnung ich anstellen sollte, um Diracs Bemerkung zu verstehen. Hier ist meine Berechnung.

Der Quanten-Hamiltonoperator ist

H ^ = D 3 k | k | η k ^ η k ^
und die Heisenberg-Bewegungsgleichung lautet
D η k D T = ich [ η k , H ] = ich D 3 k ' | k ' | ( η k η k ' η k ' η k ' η k ' η k )
wobei die Hüte zur Anzeige von Operatoren weggelassen wurden und [ A , B ] ist ein Kommutator. Nehmen Sie nun an, dass die η ' S gehorchen der Fermi-Statistik,
[ η k , η k ' ] + = η k η k ' + η k ' η k = δ ( k k ' )
und verwenden Sie dies im letzten Term der Heisenberg-Gleichung,
D η k D T = ich D 3 k ' | k ' | ( η k η k ' η k ' + η k ' η k η k ' η k ' δ ( k k ' ) ) = ich | k | η k
In der obigen Gleichung verschwinden die ersten beiden Terme im Integral wegen des Antikommutators [ η k , η k ' ] + = 0 und das Ergebnis auf der rechten Seite ist die gleiche Zeitvariation von η k dass man mit Hilfe von Bose-Statistiken quantisiert: nichts scheint schief gelaufen zu sein.

Da Sie zur Quantisierung einen Antikommutator verwenden, würde die Kausalität erfordern, dass die Felder für alle raumartig getrennten Punkte antikommutieren. Da die Form des Feldes (wie aus der zeitlichen Entwicklung von Eta's erhalten) dieselbe sein wird wie im bosonischen Fall, werden die Felder für raumartig getrennte Punkte nicht antikommutieren. Daher ist die zeitliche Entwicklung von Etas falsch, da sie nicht mit der Kausalität übereinstimmt.
Für die analoge Phys.SE-Frage mit Grassmann-ungerade (anstelle von Grassmann-gerade) Feldern siehe physical.stackexchange.com/q/17893/2451 und darin enthaltene Links.

Antworten (1)

Ich werde zunächst auf einige offensichtliche Missverständnisse in der Frage hinweisen und anschließend erklären, was schief geht, wenn eine Theorie ganzzahliger Spinfelder oder Teilchen mit Antikommutatoren quantisiert wird und umgekehrt.

Erstens, wenn wir ein reelles Klein-Gordon-Feld unter Verwendung von Antikommutatoren quantisieren, verschwindet der Hamilton-Operator (oder ist eine feldunabhängige Konstante). Auf der Ebene der Felder ist der Hamilton-Operator für dieses Feld eine Summe von Quadraten H = ich A ich 2 ( X ) (eins A ich ist zum Beispiel ϕ ). Seit { A ich ( X ) , A ich ( j ) } = 0 ( { ϕ ( X ) , ϕ ( j ) } = 0 ), A ich 2 = 0 für jeden ich , und deshalb H = 0 . Auf der Ebene der Schöpfungs- und Vernichtungsoperatoren H P A P A P + A P A P P { A P , A P } . Als { A P , A Q } δ 3 ( P Q ) , ist der Hamiltonoperator eine operatorunabhängige Konstante. Mal sehen, was passiert, wenn wir ein komplexes skalares Klein-Gordon-Feld betrachten, ein interessanterer Fall.

Komplexes Skalarfeld (Spin = 0), quantisiert mit Antikommutatoren

Hier versagt die Mikrokausalität. Betrachten Sie ein freies komplexes Skalarfeld und eine bilineare lokale Observable Ö ^ ( X ) = ϕ ( X ) Ö ( X ) ϕ ( X ) , mit Ö ( X ) eine echte c-Zahl-Funktion. Dann sagt uns die Kausalität, dass der Kommutator zweier dieser Operatoren, die durch einen raumartigen Abstand getrennt sind, verschwinden soll. Das kann man überprüfen:

[ Ö ^ ( X ) , Ö ^ ( j ) ] = Ö ( X ) Ö ( j ) [ ϕ ( X ) ϕ ( X ) , ϕ ( j ) ϕ ( j ) ] = Ö ( X ) Ö ( j ) ( ϕ ( X ) ϕ ( j ) ϕ ( j ) ϕ ( X ) ) { ϕ ( X ) , ϕ ( j ) }

Und indem wir den Ausdruck eines komplexen, freien Klein-Gordon-Feldes in Form von Erzeugungs- und Vernichtungsoperatoren verwenden, können wir den Antikommutator berechnen, indem wir die angenommenen kanonischen Antikommutierungsbeziehungen zwischen Erzeugungs- und Vernichtungsoperatoren verwenden. Das Ergebnis ist (Sie sollten dies alles überprüfen)

{ ϕ ( X ) , ϕ ( j ) } = 2 D 3 P ~ cos ( P ( X j ) )

Wo D 3 P ~ ist eine Standardnotation für das Lorentz-invariante Maß. Unter Verwendung der Lorentz-Invarianz des vorherigen Ausdrucks und der Tatsache, dass er nicht verschwindet für X 0 = j 0 , können wir schließen, dass { ϕ ( X ) , ϕ ( j ) } und als Folge davon [ Ö ^ ( X ) , Ö ^ ( j ) ] verschwinden nicht für raumartige Trennungen, was die Kausalität verletzt.

Daher weigern sich sowohl reelle als auch komplexe Skalarfelder, mit Antikommutatoren quantisiert zu werden.

Drehen 1 / 2 mit Kommutatoren quantisiertes Feld

Beginnend mit dem Dirac-Hamiltonian erhält man

H A A B B

Dann brauchen wir, um einen Vakuumzustand minimaler Energie zu haben, einen Hamilton-Operator, der von unten begrenzt ist. Der B -Modi haben im Hamiltonoperator ein negatives Vorzeichen, sodass es zwei Alternativen gibt:

  • Austausch der Standardaktion des B Operatoren auf dem Hilbertraum. Das ist, B wird Quanten vernichten und B wird sie erstellen, damit
    H | P B H B | 0 B [ H , B ] | 0 B M 2 + P 2 | P B
    wo wir Gebrauch gemacht haben [ B , B ] δ 3 . Damit enden wir jedoch bei Zuständen negativer Norm
    B P | P ' B = 0 | B P B P ' | 0 = 2 | M 2 + P 2 | δ 3 ( P P ' ) 0 | 0 ,
    was eine probabilistische Interpretation verhindert (negative Wahrscheinlichkeiten sind unsinnig).
  • Die Alternative besteht darin, Antikommutatoren (dh Fermi-Statistiken) zu verwenden, die das Vorzeichen im Hamilton-Operator umkehren. Das ist die Wahl, die funktioniert.

Diese Hindernisse sind eine Folge des Spin-Statistik-Verbindungssatzes von Pauli.

In diesem Kommentar geht es um den Teil, der sich mit dem reellen Skalarfeld befasst. Wenn man vom klassischen Hamilton-Operator zum Quanten-Hamilton-Operator geht, gibt es zwei Möglichkeiten; H A A Und H A A + A A . Ich habe den ersten in meiner Frage verwendet und konnte bei der Verwendung von Antikommutatoren keinen Widerspruch erhalten, während Sie den zweiten verwendeten und zeigten, dass der Quanten-Hamiltonian Null ist. Beim genaueren Lesen von Diracs Vorlesungen stelle ich fest, dass er nur behauptet, dass ein Widerspruch unter Verwendung des zweiten Hamilton-Operators gefunden werden kann. Ist der erste Hamiltonoperator schlecht?
Hallo @StephenBlake. Bei der ersten Möglichkeit muss man sich der sogenannten „normalen Ordnung“ bedienen, die besagt, dass die Erstellungsoperatoren links gehen und den Kommutator ignorieren. Diese Vorschrift hat Vor- und Nachteile für bosonische Felder, ist aber für fermionische Felder überhaupt nicht gerechtfertigt.
Wie hast du den Antikommutator bekommen? { ϕ ( X ) , ϕ ( j ) } ? Um den Kommutator zu berechnen [ ϕ ( X ) , ϕ ( j ) ] , würde ich in der klassischen Feldtheorie arbeiten und die Poisson-Klammer berechnen und dann den Quantenkommutator mit der Quantisierungsregel von Dirac erhalten. Dieser Weg funktioniert für den Antikommutator nicht, weil es keine klassische Theorie und kein Analogon der Poisson-Klammer gibt.
Hallo @StephenBlake Verwenden Sie den Ausdruck eines komplexen, freien Klein-Gordon-Feldes in Bezug auf Erstellungs- und Vernichtungsoperatoren und berechnen Sie dann den Antikommutator unter Verwendung der angenommenen kanonischen Antikommutierungsbeziehungen zwischen Erstellungs- und Vernichtungsoperatoren.