Anomalien und Kurzstreckendivergenzen...

Lassen J ein gewisser Noetherstrom sein

J = J [ ϕ ]
Wo ϕ ist ein Feld. Dieses Objekt ist klassisch konserviert, obwohl es im quantenmechanischen Fall anomal sein kann.

Im funktionalen integralen Formalismus ist das Scheitern von J zu konservieren ist einem nicht trivialen Jacobi 1 zugeordnet . Typischerweise findet man

J = A [ ϕ ]
Wo bezeichnet einen Erwartungswert, und A [ ϕ ] ist die Anomaliefunktion (die Spur des Logarithmus der Jacobi-Transformation).

Im Operatorformalismus gilt die Anomalie als Operatorgleichung,

J ^ = A [ ϕ ^ ]
Wo J ^ = J [ ϕ ^ ] .

Die Nichtkonservierung von J ^ wird normalerweise seiner einzigartigen Natur zugeschrieben 2 . Da es sich um einen nichtlinearen Operator handelt, führen die übereinstimmenden Raumzeitpunkte in seiner Definition zu einem 0 × unbestimmt, und man muss einen Regler einführen. Wenn der Regler entfernt wird, findet man normalerweise einen endlichen Beitrag ungleich Null, mit dem wir uns identifizieren A [ ϕ ^ ] .

Hier liegt ein Paradoxon vor, denn A [ ϕ ^ ] ist in der Regel auch in den Feldern nichtlinear und enthält daher auch zusammenfallende Raumzeitpunkte. Mit anderen Worten, selbst wenn J ^ unter Verwendung eines expliziten Reglers konstruiert wurde und die Grenze sorgfältig genommen wird, bleibt eine Divergenz. Nehmen wir als Beispiel die chirale Anomalie, wo A F ^ F ^ F ^ . Hier, F ^ ein singulärer Operator ist, also die Anomalie A ist schlecht definiert. Still, J ^ war angeblich endlich.

Was ist denn hier los? Wie wird dieses Paradoxon gelöst? Wie können wir die Singularitäten in der Anomaliefunktion verstehen, wenn dieses Objekt präzise konstruiert wurde, indem die Singularitäten in gesammelt wurden J ^ und Identifizieren des endlichen Beitrags, wenn der Regler entfernt wird?


1: Siehe zum Beispiel Weinbergs QFT, Vol.II, §22.2. Siehe auch Peskin & Shroeder, §19.1 (insbesondere die Diskussion um Gleichung 19.61 auf Seite 664).

2: Siehe zum Beispiel Peskin & Shroeder, §19.1 (insbesondere die Diskussion um Gleichung 19.22 auf Seite 655). Siehe auch Itzykson & Zuber, §11-5-3 (insbesondere die Diskussion um Gleichung 11-229 auf Seite 559).

Nur ein kleiner Kommentar: Im Beispiel der chiralen Anomalie müssen die Eichfelder keine sich ausbreitenden Felder sein; sie können externe C-Zahlenfelder sein (und werden praktisch als solche verwendet). Aus Sicht des Pfadintegrals gibt es im Grunde kein Problem, da die Integration über die Eichbahn nach der Integration über die Fermionen erfolgen kann, die nur ein externes Feld sehen
Verwechselst du nicht zwei Dinge? Ja, das Pfadintegralmaß kann eine nicht triviale Phase unter einer "anomalen" Transformation aufnehmen. So weit, ist es gut. Aber die Diskussion der Singularität ist für mich nicht durchsichtig. Gemäß Ihrer Diskussion ist jedes lokale Produkt von Feldoperatoren singulär. Oder warum sagst du das A ist schlecht definiert?
@TwoBs sicher, aus dem Pfadintegral-POV gibt es kein Problem, die Eichfelder als externe c-Zahlen zu behandeln und zuerst über die fermionischen Felder zu integrieren. Aber vom Operator-POV aus können die Eichfelder sowohl einen externen c-Zahl-Beitrag als auch einen internen q-Zahl-Beitrag enthalten (z. B. in QCD, wo die chirale Anomalie mit dem assoziiert ist θ Begriff; hier beides ψ Und A μ sind Quantenoperatoren). In diesem Sinne können die Eichfelder Ausbreitungsfelder sein, in welchem ​​Fall das Paradoxon entsteht. Genau diese Situation interessiert mich hier.
@marmot Ich habe einige Referenzen eingefügt. „ Jedes lokale Produkt von Feldoperatoren ist singulär “: Tatsächlich sind lokale Produkte von Feldoperatoren immer singulär. Denken Sie an OPEs (oder die Tatsache, dass Propagatoren singulär sind X = j ).
@AccidentalFourierTransform Ich vermute, dass Ihre Frage im Grunde lautet, warum die Anomalie lokal ist (beide F μ v am selben Punkt) und doch endlich. Eine Möglichkeit zu sehen, dass dies tatsächlich endlich ist, besteht darin, an die andere, IR-Seite der Anomalie zu denken. Sie laufen nicht und haben auf allen Skalen denselben Wert, einschließlich des tiefen IR, dh bei großen Entfernungen (woher die t'Hooft-Anomalie-Anpassung kommt), wo keine Divergenz erwartet wird.
@TwoBs Das macht eigentlich sehr viel Sinn. Da muss ich noch mal drüber nachdenken, aber vielen Dank!
Entschuldigen Sie die Wiederholung, aber ich habe wirklich das Gefühl, dass Sie die Dinge verwirren. Sprechen Sie von Operatoren oder Korrelatoren? Das Problem ist das μ J ^ μ verschwindet nicht, auch wenn J μ ist ein (klassisch konservierter) Noetherstrom. Aber wenn Sie meinen, dass die Operator-basierte Diskussion von Anomalien in manchen Büchern etwas düster ist, stimme ich zu.

Antworten (1)

Obwohl Kontaktbedingungen entstehen können, wenn lokale Betreiber multipliziert werden, tun sie dies im Fall der Anomalie nicht. Qualitativ liegt der Grund dafür darin, dass die Kontaktbedingungen empfindlich auf die Kurzstreckenbegrenzung reagieren und vom Regularisierungsschema abhängen.

Anomalien hingegen überleben die Infrarotgrenze, wenn die Kontaktterme unwichtig werden und unabhängig vom Regularisierungsschema sind. Quantitativ können Anomalien nichtlokalen Gegenbegriffen des Typs zugeschrieben werden:

D 4 X μ A μ F a β F a β
(Dieser Term ist nicht lokal, aber seine Pegelvariation ist lokal und erzeugt die korrekte Anomalie in der aktuellen Divergenz). Der inverse Laplace-Operator unterdrückt die UV-Abhängigkeit.

+1 Danke. Das Bild wird mir klar. Ich werde mir noch ein paar Gedanken machen und später berichten.