Fehlt "typischen" QFTs eine Lagrange-Beschreibung?

Wenn Sie neue Dinge lernen, stellen Sie manchmal fest, dass Sie unglaublich verwirrt sind über etwas, von dem Sie dachten, dass Sie es sehr gut verstanden haben, und dass Ihre Intuition vielleicht überarbeitet werden muss. Dies ist mir passiert, als ich über nicht-Lagrange-Beschreibungen von QFTs nachgedacht habe. Im Folgenden werde ich eine kurze Beschreibung meiner Intuition geben und warum ich denke, dass sie in Frage gestellt wurde, aber um der Klarheit willen hier meine Frage: Haben "typische" oder "generische" QFTs Lagrange-Beschreibungen? Wie kann man die Größe quantifizieren? des Satzes von QFTs mit und ohne Lagrange-Beschreibungen?Wenn gesagt wird, dass eine QFT keine Lagrange-Beschreibung hat, bedeutet dies, dass sie wirklich keine hat, oder nur, dass eine solche Beschreibung schwierig oder unmöglich zu finden ist?

Als junger QFT-Student habe ich den Wilsonschen Ansatz für RG studiert und er hat mir ein sehr einfaches und geometrisches Verständnis der Feldtheorie hinterlassen. Um einen physikalischen Prozess als QFT zu beschreiben, muss man zunächst die Symmetrien des Problems verstehen (wie Poincare-Symmetrie, Eich- und globale Symmetrien). Dann schreibt man eine allgemeine polynomische Lagrange-Funktion auf, die mit diesen Symmetrien konsistent ist. Betrachten Sie als Beispiel den Fall von an Ö ( n ) skalares Feld ϕ (und beschränken wir uns der Einfachheit halber auf Lagrange-Operatoren mit dem standardmäßigen, zwei abgeleiteten kinetischen Begriff):

L = 1 2 ( ϕ ) 2 + a 2 ϕ 2 + a 4 ( ϕ 2 ) 2 + a 6 ( ϕ 2 ) 3 + . . .

Von Wilsonian RG bin ich es gewohnt, den Raum möglicher Feldtheorien (mit den oben auferlegten Symmetriebeschränkungen) als dem unendlichdimensionalen Parameterraum entsprechend zu betrachten a 2 , a 4 , a 6 , . . . . Ein Punkt in diesem Raum spezifiziert eine Lagrange-Funktion und definiert eine Feldtheorie. Der RG-Fluss wird einfach als Trajektorie von einem Punkt (im UV) zu einem anderen (im IR) dargestellt. Viele verschiedene Startpunkte können denselben Endpunkt haben, was eine einfache bildliche Beschreibung von Universalitätsklassen ermöglicht.

Aus dieser Logik würde ich also denken, dass alle QFTs Lagrange-Beschreibungen zulassen, aber einige von ihnen könnten eine unendliche Anzahl von Interaktionstermen erfordern. Diese Intuition wurde durch die Lektüre über CFTs und die Dualität von Messgerät und Schwerkraft in Frage gestellt. In diesen Kontexten werden Lagrangesche Beschreibungen der Feldtheorie fast nie niedergeschrieben. In der Tat könnte es laut der verallgemeinerten Spurweite/Schwerkraft (dh der Überzeugung, dass die Schwerkraft mit AdS-Randbedingungen dual zu einigen CFT ist) scheinen, dass viele QFTs keine Lagrange-Beschreibungen zulassen. Diese verallgemeinerte Anzeige / Schwerkraft sollte gut funktionieren D = 100 , und die UV-Fixpunktfeldtheorie lässt sicherlich keine einfache Lagrange-Beschreibung zu, da in ausreichend hoher Dimension alle Wechselwirkungsterme relevant (und daher im UV vernachlässigbar) sind, was darauf hindeuten würde, dass der UV-Fixpunkt einfach frei ist, aber das ist natürlich nicht der Fall.

Ich bin zu dieser Verwirrung gekommen, als ich an AdS/CFT dachte, aber ich wäre sehr froh, einfach ein starkes Verständnis dafür zu haben, was genau es bedeutet, dass eine QFT keine Lagrange-Beschreibung hat, und ein Gefühl dafür, wie "typisch" solche Theorien sind sind.

Bearbeiten: Und lassen Sie mich eine kurze Diskussion über CFTs hinzufügen. Vom Bootstrap-Ansatz zu CFTs beginnt man mit CFT-"Daten", dh einem Satz konformer Dimensionen und OPE-Koeffizienten, und dann sollte man im Prinzip in der Lage sein, die CFT zu lösen (damit meine ich, alle Korrelationsfunktionen zu berechnen). Hier also eine ganz andere Art, Feldtheorien zu charakterisieren, die nur für konforme Theorien gilt. Nicht-CFTs können durch RG erhalten werden, das von diesen festen Punkten wegfließt. Es wäre hilfreich, die Verbindung zwischen dieser Denkweise über allgemeine QFTs und der obigen Wilsonschen zu verstehen.

Was ist Ihre Definition eines QFT für die Zwecke dieser Frage?
Nun, ich bin mir nicht sicher, wie ich darauf antworten soll. Angesichts der Tatsache, dass QFTs mathematisch nicht sehr streng definiert sind, weiß ich nicht, wie ich einen der oberen Punkte meines Kopfes definieren soll, und schon gar nicht auf eine Weise, die zur Klärung der Frage beitragen würde. Mit QFT meine ich das, was wir normalerweise meinen, wenn wir QFT sagen. Ich nehme an, ich möchte eine relativistische Quantentheorie mit einem Hilbert-Raum, der aus lokalen Operatoren besteht (oder zumindest besitzt), die an einem Punkt definiert sind. Natürlich wird es Probleme mit Operatoren geben, die an einem Punkt ausgewertet werden, aber das ist allen Dingen gemeinsam, die wir QFTs nennen.
Mögliche Duplikate: physical.stackexchange.com/q/3500/2451 und Links darin.
@Qmechanic Ich würde der doppelten Abstimmung nicht zustimmen, aber diese Frage sollte verbessert und geklärt werden.
Es stellt sich heraus, dass von der Taylor-Reihe mit Konvergenzradius 1 „die meisten“ Reihen eine natürliche Grenze haben und nicht über den Einheitskreis hinaus fortgesetzt werden können. Andererseits können "interessanteste" Serien zwar fortgesetzt werden, aber es ist schwierig, "interessant" zu definieren. Ich vermute, dass hier dasselbe im Spiel ist: Was tun Sie, wenn sich herausstellt, dass ein "typischer" QFT (nach welcher Definition Sie ihn auch wählen und mit einem gewissen Maß darüber) nach Ihren Maßstäben völlig unphysikalisch ist?
Ich denke tatsächlich, dass die oberste Antwort in dem möglichen Duplikatposten (ironischerweise ist der zweite Link ein Duplikat des ersten) hier gut und relevant ist, obwohl es mich mit einigen weiteren Fragen zurücklässt. Zum Beispiel ist in dieser Diskussion meiner Meinung nach die Beschränkung auf eine endliche Anzahl von Polynomtermen implizit, hier lockere ich diese Annahme. Außerdem geht es nicht auf die Frage nach Maß/Typizität ein.
Abschnitt 2 dieser Folien behandelt kurz allgemeine nicht-Lagrange-Formulierungen von QFTs.
Dies kann nicht beantwortet werden, da der Begriff „typisch“ viel zu vage ist. Es gibt Beispiele für Quantenfeldtheorien, die aus Lagrange-Operatoren konstruiert wurden, und andere, bei denen dies nicht der Fall ist. Lagrangians bieten nur ein Konstruktionsprinzip unter anderen. Alles darüber hinaus scheint nur Spekulation zu sein.
Ein Zitat aus diesem Aufsatz : In der Physik wird jetzt immer deutlicher, dass Quantenfeldtheorien ohne traditionelle Lagrange-Beschreibung eine wichtige Rolle spielen und möglicherweise sogar einen Großteil der QFT-Landschaft bevölkern . Vermutlich ist dies eine berechtigte Frage, aber es gibt noch keine Antwort darauf.
Es ist noch nicht bekannt, wie man dies in eine rigorose Aussage umwandeln kann. Aber die vernünftigste Erwartung ist, dass Lagrange-Operatoren nur für sehr spezielle QFTs existieren.

Antworten (2)

Nach meiner Lektüre Ihrer Frage scheinen Sie verwechselt zu haben, was wir eigentlich mit dem Wilsonschen Ansatz, einer QFT und einer Lagrange-Dichte meinen, also werde ich mich hoffentlich der Reihe nach mit ihnen befassen, und ich hoffe, es hilft.

Der Wilsonsche Ansatz für QFT kann verwendet werden, um zwei Dinge zu tun, das erste ist der häufiger verwendete und angewandte Fall in der Teilchenphysik, der darin besteht, die RG-Flüsse der Kopplungskonstanten zu finden, was wiederum Divergenzen in reduziert (oder beseitigt). Theorie, indem sie eine Schwächung der Kopplung bei höheren Energien ermöglicht und somit die Wirkung von Schleifenkorrekturen verringert. Die andere Anwendung, für die ich die Wilsonsche Technik verwende, sind EFTs. Dies ist der Prozess, Korrekturen höherer Ordnung in die Theorie zu integrieren und dann eine Polynomerweiterung zu verwenden, um die Lagrange-Funktion der Aktion anzunähern. Beide Prozesse sind letztlich gleich, nur mit unterschiedlichem Ergebnis. Im ersteren Fall absorbieren wir alle zusätzlichen Terme in die RG-Flüsse und im letzteren Fall nehmen wir lokale Kontaktterme in die Theorie auf, die den hohen Energiebeitrag zum Niedrigenergieverhalten ausdrücken.

Dies führt dann zu Ihren Fragen zur Schwerkraft und "typischen" QFTs. Im Falle der Schwerkraft verwenden die meisten Berechnungen irgendeine Art von EFT (es gibt Ausnahmen, aber sie sind keine QFTs im strengsten Sinn der Bedeutung). Wir verwenden die EFT, weil wir Niedrigenergie-Korrekturen des Gravitationsverhaltens auf einem statischen Hintergrund untersuchen können, ohne Effekte höherer Energie zu ignorieren. JEDOCH schreiben wir im Gravitationsfall tatsächlich zuerst die EFT auf und verwenden diese dann, und das liegt daran, dass wir keine UV-vollständige Gravitationstheorie haben und wir daher nur sicher sein können, dass die EFT korrekt ist. Derzeit gibt es Bemühungen von Forschern am Imperial College, EFTs und S-Matrix-Postulate zu verwenden, um etwas Wissen über die vollständige UV-Aktion zu erlangen (es lohnt sich, zu googlen). Wenn also ein QFT

Das andere Argument wäre, dass in der QFT die grundlegende Theorie nicht in Form einer Lagrange-Funktion, sondern in Form einer Aktion geschrieben werden sollte, da dies normalerweise die einzige eichinvariante Größe ist, die wir aufschreiben können. Das Rarita-Schwinger-Freifeld ist ein Beispiel dafür. Daher ist der Lagrange-Ansatz eigentlich ziemlich selten, wenn man über kompliziertere QFTs nachdenkt, weil sie einfach nicht die Eigenschaften haben, die wir benötigen, um sie zu verwenden, und außerdem werden sie oft in nicht statischen (oder fast nicht statischen) Raumzeiten schlecht definiert weil sie haben keine gut definierte metrische Entwicklung ohne das Maß der Aktion. Daher erfordern diese Theorien die explizite Anwendung des Variationsprinzips, um ihre Physik aufzudecken.

Kurz gesagt, eine "typische" QFT hat keine Lagrange-Funktion, weil das Universum einfach zu kompliziert ist. Wir können nur mit Aktionen und EFTs wirklich arbeiten, wobei gesagt wird, dass einfache Systeme eine Lagrange-Methode haben, die eine Lagrange-Behandlung zulassen, aber CFTs sind kein solches System.

Ich würde sagen, eine minimalistische Anforderung für eine QFT wäre die Möglichkeit, die S-Matrix auf irgendeine Weise zu definieren und zu berechnen (möglicherweise mit Einheitlichkeit: Sie können beispielsweise die Lokalität, die lokale Poincarè-Invarianz und möglicherweise die Mikrokausalität lockern). Wenn Sie die Quantenfelder Ihrer Theorie in der Umgebung, in der Sie arbeiten, definieren können (die Kommutierungsbeziehungen könnten Ihnen Schwierigkeiten bereiten, je nachdem, wie sehr Sie die Standardannahmen lockern), sollten Sie in der Lage sein, zur Lagrange-Funktion zu gelangen, indem Sie sie als die betrachten Generator der Operatoren, die in der Theorie vorkommen (durch die gelockerten Versionen der Zeitentwicklung oder das Pfadintegral).

Diese Operatoren könnten mit einiger Freiheit in ihren Definitionen aus der S-Matrix gelesen werden: Sie könnten jeden Korrelator als einen anderen Operator nehmen oder Sie könnten sich eine Teilmenge von Operatoren ausdenken, die alle anderen generiert. Diese Operatoren (oder eine Zusammenfassung einiger von ihnen) können nicht lokal sein oder die standardmäßigen Lagrange-Anforderungen umgehen (z. B. Renormierbarkeit).

Beachten Sie jedoch, dass Ihr Hintergrund in der Standard-QFT ein stationärer Punkt der Aktion sein sollte, dh die Euler-Lagrange-Gleichungen für eine klassische Lagrange-Funktion erfüllen sollte. Das Vorwissen über einen "klassischen" Lagrange, aus dem sich der Hintergrund ergibt, ist relevant, da es darauf hinausläuft, Ihr Problem mit dem Vakuum als Hintergrund neu formulieren zu können. Es sollte im Allgemeinen möglich sein, mit dieser Lockerung der Standardannahmen umzugehen (insbesondere denke ich hier an einen skalaren Lagrangian); der andere Beitrag zur Lagrange-Funktion, der aus der Untersuchung der S-Matrix stammt, sind Korrekturen an der "Hintergrund-Lagrange-Funktion".

Das Verhalten der Theorie bei Änderung der Energieskala sollte zunächst in die S-Matrix aufgenommen werden.

Abschließend habe ich den Eindruck, dass es Situationen geben kann, in denen das Definieren von Feldern und ihren Vertauschungsbeziehungen schwierig ist und eine standardmäßige Lagrange-Behandlung verhindert, selbst wenn Sie in der Lage sind, Operatoren und Korrelatoren zu definieren.

Ich hoffe, dieser Standpunkt kann Ihnen helfen, Ihre Zweifel zu klären.