Wie ist diese Konstruktion der Zustände in QFT zu interpretieren?

Nichtrelativistische Quantenmechanik

Um diese Frage zu verdeutlichen, könnte es nützlich sein, die nicht-relativistische Quantenmechanik zu kontrastieren.

In jeder Quantentheorie sind die Zustände eines Systems Einheitsstrahlen in einem Hilbert-Raum und können daher durch Einheitsvektoren beschrieben werden Ψ .

In der nicht-relativistischen Quantenmechanik eines Teilchens ist der entsprechende Hilbert-Raum H = L 2 ( R , D X ) . Der Positionsoperator X ist einfach X Ψ ( X ) = X Ψ ( X ) . Dies ermöglicht eine Interpretation | Ψ ( X ) | 2 als Wahrscheinlichkeitsdichte für die Position.

In jeder Quantentheorie ist die Zeitentwicklung durch eine Einheit gegeben U ( T , T 0 ) die durch den Hamiltonoperator erzeugt wird.

Einmal irgendein Staat Ψ 0 ( X ) gegeben ist, entwickelt man es weiter Ψ ( T , X ) = U ( T , T 0 ) Ψ 0 ( X ) . Unsere Schlussfolgerungen sind also:

  1. Ein Zustand zu einem festen Zeitpunkt ist eine Landkarte Ψ 0 : R C ;

  2. Die Zeitentwicklung des Systems ist ein Weg von Zuständen Ψ : R × R C damit für jeden T fixiert haben wir einen solchen Zustand wie in (1), der ist Ψ ( T , ) .

Freies QFT in der Minkowski-Raumzeit

Hier betrachten wir eine freie skalare QFT in der Minkowski-Raumzeit. Dies vermag bereits das Wesen des Zweifels aufzuzeigen.

Eine Möglichkeit, den Zustandsraum zu konstruieren, ist in Walds GR-Buch skizziert. Die Frage bezieht sich auf dieses spezifische Konstrukt , da es einfacher auf andere Raumzeiten verallgemeinert werden kann als auf der Grundlage von Darstellungen der Poincare-Gruppe.

Wir definieren den Ein-Teilchen- Hilbert-Raum, H , um der Vektorraum zu sein, der aus positiven Frequenzlösungen der Klein-Gordon-Gleichung besteht, deren Klein-Gordon-Norm endlich ist, mit innerem Produkt H definiert von

( a , β ) K G = ich Σ ( a ¯ A β β A a ¯ ) N A D Σ

Der Hilbert-Raum aller möglichen Zustände des Klein-Gordon-Skalarfelds wird als symmetrischer Fock-Raum angenommen, F S ( H ) , konstruiert aus H .

Konzentrieren Sie sich also auf den Ein-Teilchen-Hilbert-Raum H also konstruiert. Seine Elemente sind die Zustände eines Teilchens. Aber jetzt sind das Karten Ψ : M C Wo M ist die Minkowski-Raumzeit. In Koordinaten ist eine solche Karte Ψ ( T , X ) .

Aber warte mal. Das ist jetzt verwirrend. Vergleiche mit der nicht-relativistischen Quantenmechanik. Dort hat der Zustand keine Zeitabhängigkeit. Die Zustandskurve, die die zeitliche Entwicklung darstellt, die zeitabhängig ist.

Hier hat der Zustand selbst eine Zeitabhängigkeit.

Die Entwicklung wäre also so etwas wie Ψ ( T ' ) ( T , X ) mit "zwei Zeitparametern"? Das ist extrem seltsam .

Oder tragen diese Zustände bereits eine Vorstellung von Zeitentwicklung in sich?

Es ist auch schwierig, einen solchen Zustand zu interpretieren Ψ ( T , X ) . Es gibt keinen Positionsoperator in QFT, also kann man das nicht sagen | Ψ ( T , X ) | 2 ist die Wahrscheinlichkeitsdichte, bei der sich das Teilchen befindet X zum Zeitpunkt T wie im nichtrelativistischen Fall.

Wie interpretieren wir also diese Konstruktion von Zuständen? Wie so ein Ψ ( T , X ) ist zu interpretieren und was rechtfertigt die Interpretation ?

Zeitabhängige Zustände sind nicht seltsam, sie tauchen sogar in der nichtrelativistischen Quantenmechanik im Grundstudium unter dem Namen Heisenberg-Bild auf. Die Zeitabhängigkeit erfasst, nun ja, die Zeitabhängigkeit des Zustands. Um einen zeitunabhängigen Zustand wiederherzustellen, können Sie eine Zeitscheibe nehmen, ggf. in Ihrer Raumzeit.
@knzhou Ich glaube, mir fehlt etwas Offensichtliches. Im Heisenberg-Bild fixieren wir den Zustand als Anfangszustand und die Observablen entwickeln sich richtig? Mit anderen Worten, gegeben Ψ 0 Der Anfangszustand bleibt fest und die Observablen entwickeln sich entsprechend A ( T ) = U ( T , T 0 ) A U ( T , T 0 ) . In diesem Fall Ψ 0 hängt nicht von der Zeit ab, die Observables schon. Was fehlt mir hier?
Es hängt davon ab, wie Sie es einrichten, denke ich. Ich habe zum Beispiel den Staat gesehen | X , T definiert "im Heisenberg-Bild" bedeutet den Eigenvektor von X ^ H ( T ) mit Eigenwert X . In diesem Sinne erstrecken sich die Zustände über die Zeit. In der Praxis ist dies jedoch kein Grund zur Sorge, da die Berechnungen bis auf geringfügige Buchhaltungsänderungen genau gleich aussehen.
Zum Beispiel die Amplitude, von der aus sie sich ausbreiten soll ( X , T ) Zu ( j , T ' ) würde geschrieben werden als j , T ' | X , T in dieser Notation, während es in der Standardnotation wäre j | U ( T ' , T ) | X . Aber Sie können sehen, wie sie wirklich dasselbe sind.
Aber das ist IMHO etwas anderes. In Ihrem Beispiel haben wir einen zeitabhängigen Zustand. Also für jeden T Sie haben einen Zustand | X , T . Das ist in Ordnung. Wir haben eine Reihe von Zuständen H und für jeden T Wir wählen ein Element aus, das damit gekennzeichnet ist. In der Konstruktion, die ich skizziert habe, ist das nicht der Fall. Die Zustände selbst sind Funktionen der Zeit. Also die Funktion Ψ - der ein Zustand ist - der auf der Raumzeit definiert ist (und der daher von der Zeit abhängt), ist ein einziges Element von H . Nicht viele sind nach Zeit parametrisiert. Das ist es, was ich schwer mit nicht-relativistischer QM in Einklang bringen kann.
Nein, es ist nur ein Perspektivwechsel. Ist | X , T wirklich "der Staat | X als Funktion von T " oder "ein Zustand für jedes Paar ( X , T ) "? Es gibt absolut keinen wesentlichen Unterschied in Bezug auf die Berechnungen, die Sie am Ende durchführen.
Sind Sie sicher, dass die Zustände auf M und nicht nur auf Sigma definiert sind? Sigma scheint eine 3D (raumähnliche) Hyperfläche und ein normaler Vektor ('Zeit') darauf zu sein.

Antworten (4)

Ich denke, es ist wahrscheinlich am besten, das Quantum fallen zu lassen und einfach zu verstehen, was hier in der klassischen Umgebung vor sich geht.

In der klassischen Mechanik nehmen wir üblicherweise einen durch Anfangswertangaben für die Bewegungsgleichungen zu spezifizierenden Zustand an, z. B. einen Punkt ( X , P ) T R 3 für ein einzelnes Teilchen. Da wir aber mit Bewegungsgleichungen arbeiten, für die das Anfangswertproblem gut gestellt ist, haben wir einen Isomorphismus

{ Lösungen von Bewegungsgleichungen } { Anfangswertdaten } ,

wir könnten also die Menge der Zustände genauso gut als Menge der Lösungen der Bewegungsgleichungen definieren. Dies ist eine ebenso gute Möglichkeit, den Zustand des Systems anzugeben. Das tut Wald. Der einzige Unterschied besteht darin, dass er sich in der Quantenumgebung befindet, also Überlagerungen klassischer Zustände betrachtet.

Ich würde einen gleichwertigen Ansatz vorschlagen, den Sie vielleicht schmackhafter finden werden.

Anstatt mit zu arbeiten

positive Frequenzlösungen der Klein-Gordon-Gleichung, deren Klein-Gordon-Norm endlich ist

wie Wald es tut, könntest du damit umgehen L 2 ( v + , D 3 P / P 0 ) Wo v + ist die positive Massenschale im 4-Impulsraum. Dies steht in einer Fourier-3D-Transformationsbeziehung mit Walds H :

Ψ ( T , X ) = v + exp ( ich P μ X μ ) Φ ( P ) D 3 P P 0
Beachten Sie, dass P 0 = + P 2 + M 2 Und Ψ ist als Funktion von definiert T wegen exp die Zeitentwicklung enthält. Andererseits
Ψ ( T , X ) = U ( T ) Ψ ( 0 , X )
wie Sie möchten.

Mal sehen, ob ich es hinbekomme. Der Raum L 2 ( v + , D 3 P / P 0 ) hat den Vorteil, dass ein Zustand Φ ( P ) hat eine direkte Interpretation als Amplitude für Impuls. Jetzt verhält sich der Übersetzungsoperator genau so
U ( A ) Φ ( P ) = e ich P μ A μ Φ ( P )
. Insbesondere die freie Zeitevolution wird als reine Zeitübersetzung kodiert. Wenn wir also Fourier-transformieren, um Walds Raum zu erhalten, erhalten wir am Ende tatsächlich Ψ ( T , X ) das ist die Freizeitentwicklung eines Zustands Ψ ( 0 , X ) . In diesem Fall können Zustände als angesehen werden Ψ ( 0 , X ) . Ist das Ihr Punkt?

In relativistischen Theorien sollten Raum und Zeit gleichberechtigt als Koordinaten behandelt werden, das gilt auch für relativistische Quantentheorien.

Daher hängen die Quantenfelder (dh die fundamentalen Observablen in relativistischen Quantentheorien) sowohl von Raum als auch von Zeit als Koordinaten und damit von einem Raumzeitvektor ab X μ = ( X 0 , X ) ersetzt den Raumkoordinatenvektor X in nichtrelativistischen Theorien verwendet.

Dies lässt sich bis zu einem gewissen Grad auch auf Quantenzustände übertragen, das sind (nicht kommutative) Wahrscheinlichkeitsverteilungen, die auf Observablen wirken (die aus Raumzeitfeldern gebildet werden). Die Unterscheidung "bis zu einem gewissen Grad" beruht auf der Tatsache, dass in der relativistischen Quantenmechanik, da Teilchen erzeugt und vernichtet werden können, die Felder und nicht (die Quantenversion von) Koordinaten und Impulsen die grundlegenden Observablen der Theorie sind, auf denen Zustände beruhen wirken auf.

Das Konzept der Zeitentwicklung in der relativistischen Quantenmechanik wird also etwas subtiler als im nicht-relativistischen Fall. Dies liegt an der Tatsache, dass es unklug wäre (genauer gesagt, nicht unbedingt kovariant), die Entwicklung in Bezug auf die Zeit eines festen Rahmens zu charakterisieren.

Ein relativistisches Quantensystem in der Minkowski-Raumzeit wird durch zwei Dinge spezifiziert: eine Darstellung der Poincaré-Gruppe, die etwas abstrakt in der Algebra der Observablen definiert ist; und ein reiner Zustand, der unter der (adjungierten) Aktion der Poincaré-Gruppe unveränderlich ist. Ein solcher Zustand, der sogenannte Vakuumzustand , bestimmt die Darstellung von Zuständen als Hilbert-Raumvektoren und bestimmt eindeutig die betrachtete Theorie. Der Generator der Zeitverschiebungen der Poincaré-Gruppe ist in einer solchen Darstellung der Hamilton-Operator des Systems. Das Vakuum für wechselwirkende Theorien zu finden, ist eines der schwierigsten und noch immer offenen Probleme der mathematischen und theoretischen Physik. Für freie Theorien ist das Vakuum das Fock-Vakuum, und dies rechtfertigt daher die vom OP erwähnte Konstruktion.

In gekrümmter Raumzeit ist die Situation noch komplizierter, da es keine Symmetriegruppe mehr für die Raumzeit gibt und man daher ein geeignetes Analogon des Vakuumzustands finden sollte. Für freie Theorien werden die sogenannten Hadamard-Zustände verwendet.

Danke @yuggib. Aber sehen Sie, nach Walds Konstruktion ist ein Zustand eine Funktion von Raum und Zeit ϕ ( T , X ) was die KG-Gleichung löst und für den Trägheitsbeobachter eine positive Frequenz hat. Hier haben wir also zumindest eine natürliche Vakuumkonstruktion. Doch wie interpretieren wir einen solchen Zustand? Ich sehe nicht, wie ich das sagen soll | ϕ ( T , X ) | 2 ist eine Wahrscheinlichkeitsdichte für die Position wie in der nichtrelativistischen QM, da wir keine Positionsobservablen haben.
@ user1620696: Sie vergessen eine wichtige Sache, die von Wald erwähnt wurde, nämlich den Fock-Platz einzunehmen F über den Raum H die Ihre klassische KG-Lösung enthält ϕ ( T , X ) . Das Ding, dessen quadratisches Modul eine Wahrscheinlichkeitsinterpretation hat, gehört dazu F nicht H .

Eine Funktion ist eine Funktion, kein Zustand. Es wird gesagt, dass Zustände in einer Eins-zu-eins-Entsprechung mit solchen Funktionen stehen. Es wird nicht gesagt, dass ein Zustand zur Zeit T wird durch die Funktion zum Zeitpunkt beschrieben T . Stellen Sie sich vor, Sie arbeiten im flachen Raum mit den üblichen Erzeugungs-Vernichtungs-Operatoren. Für jeden Erzeugungsoperator gibt es einen Ein-Teilchen-Zustand. Es gibt auch einen Feldmodus, der eine Funktion von ist X Und T , für jeden Erstellungsoperator. Dieser Modus ist die Funktion, die Wald übernimmt, wenn ich das richtig verstehe. Das bedeutet nicht, dass Erstellungsoperatoren von der Zeit abhängen, und daher bedeutet es nicht, dass die Zustände, die sie erstellen, von der Zeit abhängen. Alles ist im Heisenberg-Bild.