Quantenfeldtheorie der Erhaltungsgrößen

In der klassischen Feldtheorie gibt es aufgrund des Satzes von Noether zu jeder kontinuierlichen Symmetrie eine erhaltene Stromstärke/Ladung. Um zu dieser Schlussfolgerung zu gelangen, muss man jedoch davon ausgehen, dass das Euler-Lagrange EoM gilt,

μ L ( μ ϕ ) L ϕ = 0.
Wenn wir nun die Felder in den Status von Operatoren zum Aufbau von Quantenfeldern befördern, legen wir den Feldern die folgende Kommutierungsbeziehung auf:
[ ϕ ^ ( X , T ) , π ^ ( j , T ) ] = ich δ ( 3 ) ( X j ) .
Dies bedeutet, dass der Betreiber ϕ ^ ( X ) erfüllen keine EoMs vom Euler-Lagrange-Typ. Was passiert dann mit den Erhaltungsgrößen/Strömen/Ladungen in einer Quantentheorie? Wie kann das Noether-Theorem auf Quantenfelder angewendet werden, wenn es keine EoM für die Feldoperatoren gibt?

@Qmechanic Die Frage klingt ähnlich, aber ich möchte wissen, was in der kanonischen Quantisierungsformulierung passiert. Ich bin nicht sehr vertraut mit Pfadintegralen und ich habe keine Ahnung, was Ward-Takahashi-Identitäten sind!
@annav Mit diesem Suchbegriff finde ich meistens QFT-Notizen mit meist demselben Ansatz, in denen Noerthers Theorem in der klassischen Feldtheorie diskutiert wird und nie klar erwähnt wird, wenn die Quantenfelder diskutiert werden.
@FaberBosch Zur Verdeutlichung: Wenn Sie sagen, dass die Feldoperatoren in QFT keine EoMs haben, meinen Sie damit, dass wir sie nicht in Euler-Lagrange-Form schreiben können? Ob das stimmt oder nicht, die Feldoperatoren in der QFT gehorchen EoMs (im Heisenberg-Bild, das ist das Bild, das wir immer in der klassischen Feldtheorie verwenden), obwohl sie nicht pendeln. Wir verwenden die EoMs, um zu bestimmen, ob eine bestimmte Menge erhalten bleibt. Wir müssen dafür keinen Lagrange verwenden, also kann es relevant sein, ob der Lagrange-Formalismus für nicht-kommutierende Operatoren funktioniert oder nicht, je nachdem, was Sie genau fragen.
@ChiralAnomaly "Die Feldoperatoren in QFT gehorchen EoMs" Ich verstehe das nicht. Wie? Die konjugierten Paare ϕ ^ Und π ^ können nicht gleichzeitig genau bestimmt werden. Wie kann es dann ein EoM geben? Wenn es einen EoM gibt, könnten Sie die Geschichte der Feldkonfigurationen für beide konjugierten Operatoren kennen. Können Sie Ihre Behauptung anhand eines Beispiels erläutern, indem Sie beispielsweise den EoM für ein nicht-wechselwirkendes quantenskalares Feld aufschreiben.
@FaberBosch die Betreiber ϕ ( X ) Und π ( X ) sind bereits vorgegeben. Sie verwechseln sie wahrscheinlich mit den Erwartungswerten und/oder Eigenwerten.

Antworten (2)

Lassen Sie mich einige Anmerkungen zu diesem Thema machen, da dies ein wichtiger Punkt ist, der in den meisten Standardbehandlungen von QFT oft bis spät beschönigt wird. Es gibt ein paar wichtige Stellen, an denen Symmetrien ins Spiel kommen, und ich werde versuchen, sie hier zu beschreiben.

Erinnern wir uns zunächst daran, dass der Satz von Noether in einer klassischen Theorie zwei wichtige Implikationen hat. Die erste ist die Existenz von Erhaltungsladungen, die bei der Lösung von Bewegungsgleichungen usw. nützlich sein können. Aber ihr Theorem sagt uns auch, dass diese Ladungen die Transformation erzeugen, mit der sie über die Poisson-Klammer verbunden sind . Angenommen, wir haben eine kontinuierliche Transformation T a parametrisiert durch a die auf unseren Feldern wirkt ϕ von

ϕ ' = T a [ ϕ ] .
Wenn diese Transformation eine Symmetrie ist, sagt uns der Satz von Noether, dass es eine zugehörige Ladung geben wird Q was konserviert ist:
D Q D T = { Q , H } = 0
und die die Symmetrie erzeugt. Das heißt, für jede Funktion F im Phasenraum,
D F ( T a [ ϕ ] ) D a | a = 0 = { F , Q } .
Bedeutung, wenn wir die Ableitung von nehmen F entlang des durch die Transformation erzeugten Flusses T , dies entspricht der Berechnung der Poisson-Klammer von F Und Q .

Der Grund, warum ich diesen Punkt bearbeite, ist, dass er sich auf die quantisierte Version der Theorie überträgt: die Ladungen Q die konserviert sind [ H , Q ] = 0 und einer Symmetrie zugeordnet sind, erzeugen diese Symmetrie über den Kommutator bis zu Faktoren von ich Und .

Wir wissen zum Beispiel, dass der Drehimpulsoperator der Generator von Rotationen ist. Der lineare Impulsoperator des Translationsgenerators und so weiter.

Der Satz von Noether stellt also eine Verbindung zwischen Transformationen auf unserem Hilbert-Raum und Symmetrien her.

Als nächstes wissen wir, dass wir für jede Sammlung paarweise kommutierender Operatoren sie alle gleichzeitig diagonalisieren können. Dies ist sehr nützlich für die Organisation unseres Hilbert-Raums. Wenn wir zum Beispiel das Wasserstoffatom betrachten, verwenden wir die Tatsache, dass der Hamiltonoperator mit pendelt L z Und L 2 eine Basis von Zuständen in die Form zu schreiben | E N , , M . Wenn Sie bisher nur Griffiths Darstellung des Wasserstoffatomproblems gesehen haben, empfehle ich dringend, in Sakurais Buch nachzuschlagen. Dort werden Operatoralgebren (die der klare Weg sind, die Rolle der Symmetrie zu verstehen) im Gegensatz zu langweiligen PDE-Problemen betont.

Schließlich gibt es Stationsidentitäten, die leider typischerweise erst spät in einer Standardbehandlung von QFT diskutiert werden. Im Wesentlichen sind dies Beziehungen zwischen inneren Produkten, die durch Symmetrie gesteuert werden. Angenommen, wir haben eine Sammlung von Operatoren Ö 1 , , Ö N und berechnen möchte

0 | Ö 1 Ö N | 0 .
Symmetrien verraten uns etwas darüber, in welchem ​​Verhältnis dieser Erwartungswert zu anderen Erwartungen steht. Der einfachste Weg, die Identitäten abzuleiten, ergibt sich aus einer sogenannten Feld-Redefinition in einem Pfad-Integral-Ansatz, aber diese können auch aus Operator-Sicht erhalten werden.

Schematisch besagen diese Identitäten, dass wenn D D a die Ableitung bezüglich einer kontinuierlichen Symmetrie ist (im gleichen Sinne wie im obigen klassischen Fall), dann müssen wir die Identität haben

D D a 0 | Ö 1 Ö N | 0 = ich k = 1 N 0 | Ö 1 T [ Ö k ] Ö N | 0 .
Auch dies ist nur schematisch, um eine Vorstellung davon zu geben, wie es geht.

Die Macht der Ward-Identitäten besteht darin, dass sie nicht störend und als Ergebnis halten eine der wenigen Aussagen sind, die wir wirklich sicher über eine Theorie machen können, ohne uns auf eine störende Erweiterung zu verlassen. Ob klassisch oder quantenmechanisch, das ist immer die Stärke von Noethers Theorem: Es sagt uns Dinge, die wir sonst niemals berechnen könnten.

Auf jeden Fall gibt es einige sehr schöne Informationen über diese Dinge da draußen, leider habe ich sie eher verstreut gefunden.

Die einfachste mögliche Lorentz-invariante Bewegungsgleichung für ein Feld ist ϕ = 0 . Die klassischen Lösungen sind ebene Wellen. Zum Beispiel ist eine Lösung ϕ ( X ) = A P ( T ) e ich P X , die die Bewegungsgleichung eines harmonischen Oszillators ist.

Eine allgemeine Lösung ist
ϕ ( X , T ) = D 3 P ( 2 π ) 3 ( A P e ich P X + A P e ich P X )
Wo A P Und A P sind jeweils die Vernichtungs- und Erzeugungsoperatoren und [ A k , A P ] = ( 2 π ) 3 δ 3 ( P k ) sind die zeitgleichen Kommutierungsbeziehungen.

Der Operator konjugiert kanonisch zu ϕ ( X ) bei T = 0 Ist π ( X ) = T ϕ ( X ) | T = 0 . Wenn Sie den Kommutator berechnen, erhalten Sie
[ ϕ ( X ) , π ( j ) ] = ich δ 3 ( X j )

Alles Obige stimmt mit den Euler-Lagrange-Bewegungsgleichungen überein, daher gilt das Noether-Theorem auch für die quantisierten Felder.