Was genau ist Regularisierung in QFT?

Die Frage.

Gibt es eine mathematisch präzise, ​​allgemein akzeptierte Definition des Begriffs „Regularisierungsverfahren“ in der störungstheoretischen Quantenfeldtheorie? Wenn ja, was ist es?

Motivation und Hintergrund.

Wie Benutzer Drake in seiner netten Antwort auf meine vorherige Frage Regulator-scheme-independence in QFT betonte , wird oft gesagt, dass in einer renormierbaren Quantenfeldtheorie Ergebnisse für physikalische Größen (z. B. Streuamplituden) entstehen, wenn sie in anderen ausgedrückt werden physikalische Größen (wie physikalische Massen, physikalische Kopplungen usw.) hängen nicht von dem gewählten Regularisierungsverfahren ab . Tatsächlich nimmt Benutzer Drake diese wünschenswerte Eigenschaft als Teil der Definition des Begriffs „renormalisierbar“.

Damit eine solche Aussage oder Definition sinnvoll und nützlich ist, ist es meines Erachtens hilfreich, eine genaue, mathematisch eindeutige Vorstellung davon zu haben, was ein Regularisierungsverfahren ausmacht. Auf diese Weise kann man, wenn man etwas Physikalisches berechnen möchte, jedes gewünschte Verfahren verwenden, vorausgesetzt, es erfüllt einige allgemeine Eigenschaften.

Mein aktuelles Verständnis in einer (kleinen) Nussschale.

Wenn wir beispielsweise Korrelationsfunktionen für eine Präregularisierung/Renormalisierung einer Theorie perturbativ berechnen, erhalten wir formale Potenzreihen in den bloßen Parametern, die die Theorie charakterisieren. Solche Potenzreihen enthalten Ausdrücke für Schleifenintegrale, die generisch divergieren, oft aufgrund von Effekten mit hohem Impuls (UV), also "regularisieren", nämlich wir implementieren ein Verfahren, durch das diese Integrale von einem Parameter abhängig gemacht werden, nennen wir es Λ , und werden endlich bereitgestellt Λ nimmt keinen bestimmten Grenzwert an Λ (das könnte sein ) entsprechend dem physikalischen Regime (wie dem UV), das zu der ursprünglichen Divergenz geführt hat. Wir renormieren dann und finden (in renormierbaren Theorien) das Λ fällt aus den körperlichen Ergebnissen.

Was für eine Antwort suche ich?

Ich suche so etwas.

Ein Regularisierungsverfahren ist eine Vorschrift, durch die alle in der Störungstheorie vorkommenden divergenten Integrale von einem Parameter abhängig gemacht werden Λ und das die folgenden Eigenschaften erfüllt: (1) Alle divergenten Integrale werden für alle bis auf einen bestimmten Wert endlich gemacht Λ . (2)...

Ich weiß, dass es andere Eigenschaften gibt, aber ich weiß nicht, was eine ausreichend vollständige Liste solcher Eigenschaften ausmacht, sodass ich, wenn Sie mir ein Verfahren zeigen würden, sagen könnte: "Oh ja, das gilt als gültiges Regularisierungsverfahren, gut Arbeit!" Sicherlich kann zum Beispiel das vermeintliche Regularisierungsverfahren nicht zu destruktiv sein; Ich kann zum Beispiel nicht einfach jedes Schleifenintegral durch ersetzen 3 Λ und Schluss damit, denn das würde alle Informationen darüber, wie viele Schleifen die entsprechenden Diagramme enthielten, vollständig zunichte machen. Wie viel von der „formalen Struktur“ der Integrale muss das Verfahren bewahren?

Soweit ich das beurteilen kann, wird dies in keinem der Standard-QFT-Texte diskutiert, die einfach bewährte Verfahren wie einen harten UV-Cutoff, Dim-Reg, Pauli-Villars usw. übernehmen, ohne die Rahmenbedingungen ausreichend zu kommentieren um sicherzustellen, dass diese speziellen Verfahren als "gut" gelten. Natürlich wird viel darüber diskutiert, ob bestimmte Regulierungsbehörden bestimmte Symmetrien wahren, aber das ist eine andere Frage.

Bearbeiten. (8. Januar 2014)

Diskussionen mit Kommilitonen im Aufbaustudium haben mich zu der Annahme geführt, dass die angemessene Definition unter Berufung auf die Idee der effektiven Feldtheorie erfolgt. Insbesondere wenn wir unsere Theorie als eine effektive Niedrigenergie-Beschreibung einer vollständigeren Theorie betrachten, die auf höheren Energieskalen funktioniert, dann hat die Einführung einer hohen Momentum-Grenze eine konzeptionell privilegierte Position unter den Regulierungsbehörden; es ist die natürliche Art, die Idee zu kodieren, dass die vermeintliche Theorie nur unterhalb einer bestimmten Skala funktioniert.

Dies kann dann verwendet werden, um ein Regularisierungsverfahren zu definieren, das gewissermaßen die gleiche Struktur reproduziert, die beim Regularisieren mit einem Cutoff codiert ist. Leider bin ich mir immer noch nicht ganz sicher, ob dies der richtige Weg ist, darüber nachzudenken, und ich bin mir auch nicht sicher, wie ich den Begriff der Erhaltung der Struktur, die aus der Cutoff-Regularisierung hervorgeht, formalisieren soll. Ich neige dazu, dass die wichtigste Struktur, die es zu bewahren gilt, das singuläre Verhalten von regularisierten Integralen als Cutoff ist Λ wird ins Unendliche gebracht.

Vielleicht möchten Sie einen Blick auf die Bewertung von Rosten werfen . Exakte RG-Strömungsgleichungen werden sehr allgemein diskutiert.
In Bezug auf Ihre Bearbeitung. (8. Januar 2014): "Dann hat die Auferlegung eines hohen Momentum-Cutoffs eine konzeptionell privilegierte Position unter den Regulierungsbehörden". Wo legen Sie diese Abschaltung fest? Auf den räumlichen Teil der 4-Impulse? Es bricht die Lorentz-Invarianz. Auf der Nullkomponente? Eben. Auf dem (Lorentz-invarianten) Quadrat der Impulse? Was ist dann mit masselosen Moden?
Und was ist mit Theorien, die nicht translationsinvariant sind? Momentum ist nicht wirklich definiert? Betrachten Sie zB die Quantisierung des Knicks. Bei der Berechnung der Differenz der Nullpunktsenergien des Kink- und des Vakuumsektors funktioniert eine naive Anwendung der Impulsabschaltung nicht, da der Impuls für den Kinksektor nicht definiert ist.

Antworten (5)

Die eindeutige Antwort auf Ihre Frage lautet: Es gibt keine mathematisch präzise, ​​allgemein akzeptierte Definition des Begriffs „Regularisierungsverfahren“ in der Störungsquantenfeldtheorie.

Stattdessen gibt es verschiedene Regularisierungsschemata mit ihren Vor- und Nachteilen.

Vielleicht finden Sie Kapitel B5: Divergenzen und Renormierung meiner Theoretischen Physik-FAQ unter http://arnold-neumaier.at/physfaq/physics-faq.html aufschlussreich. Dort versuche ich, die gemeinsamen Merkmale zu abstrahieren und allgemein zu erklären, was erforderlich ist, damit die Renormalisierung funktioniert. Der allgemeine Glaube ist, dass die Details des Regularisierungsschemas keine Rolle spielen, obwohl tatsächlich bekannt ist, dass einige Regularisierungsschemata manchmal scheinbar falsche Ergebnisse liefern.

Dies ist zu erwarten, da die ungeregelte Theorie schlecht definiert ist und auf unterschiedliche Weise gut definiert werden kann, ebenso wie einer divergierenden unendlichen Reihe unendlich viele verschiedene Bedeutungen gegeben werden können, je nachdem, wie Sie die Begriffe gruppieren, um sie zusammenzufassen.

Wenn es zu irgendeinem Zeitpunkt in der Zukunft eine positive Antwort auf Ihre Frage geben wird, dann höchstwahrscheinlich nur, wenn jemand eine logisch fundierte, nicht störungsfreie Definition der Klasse der renormierbaren Quantenfeldtheorien gefunden hat.

Wenn Sie andererseits eine mathematisch strenge Behandlung einiger bestimmter Regularisierungsschemata für einige bestimmte Theorien wünschen, sollten Sie die Bücher von (i) Salmhofer, Renormalization: an Introduction, Springer 1999, und (ii) Scharf, Finite lesen Quantenelektrodynamik: der kausale Ansatz, Springer 1995.

Ich werde eine dumme Antwort geben, aber ich denke, das ist das Beste, was wir tun können. Ein Regler ist jede Vorschrift zum Definieren des Pfadintegrals, so dass nach dem Hinzufügen einer Summe lokaler Gegenterme zu der Aktion und dem Zulassen, dass die physikalischen Kopplungen von der Renormierungsskala abhängen μ , sind die Korrelationsfunktionen gleich denen, die durch Annahme einer Kontinuumsgrenze einer Gittertheorie erhalten werden. Dies ist ähnlich motiviert wie Ihre letzte Bearbeitung, außer dass wir wirklich ein Gitter anstelle eines euklidischen Impulsraum-Grenzwerts verwenden müssen, da letzterer die Eichinvarianz bricht.

Ich bin pessimistisch in Bezug auf die Existenz einer besseren Antwort, nur weil einige Regler einige nette Eigenschaften erfüllen (z. B. Einheitlichkeit, Symmetrien usw.), während andere dies nicht tun.

Wie Sie sagten, ist eine Regularisierung notwendig, um die Diagramme, die in der Störungstheorie vorkommen, überhaupt zu verstehen. Das Wort „Störung“ enthält bereits einen Hinweis auf die gesuchte Antwort. Wenn Sie versuchen, die Wechselwirkungstheorie zu verstehen d v durch Störung impliziert dies, dass jemand gestört wird, nämlich eine freie Theorie d μ . Ich denke, Regularisierung ist ein Merkmal des Paares d v , d μ statt d v allein. Nehmen Sie zum Beispiel das funktionale Maß d μ entsprechend dem üblichen Freifeld

d μ ( ϕ ) = 1 Z e 1 2 { ( ϕ ) 2 + m 2 ϕ 2 } D ϕ
und lass d v ( ϕ ) = 1 Z ' e v ( ϕ ) d μ ( ϕ ) wo v ist Ihr bevorzugtes Interaktionspotential, z.
v ( ϕ ) = g ϕ 4   .
Lassen ρ ( x ) ein Weichzeichner sein (nicht sicher, wie man das schreiben soll), dh eine glatte Funktion mit schnellem Abfall oder sogar kompakter Unterstützung um den Ursprung herum ρ = 1 . Lassen ρ r ( x ) = 2 d r ρ ( 2 r x ) wo d ist die Dimension (der euklidischen Raumzeit) und r ist die UV-Grenze. Dann bezeichnet man durch d μ r das Gesetz von ρ r ϕ mit ϕ nach dem freien Wahrscheinlichkeitsmaß abgetastet d μ , man hat die schwache Konvergenz von d μ r zu d μ Wenn r . Insofern ist die Änderung, die wir vornehmen, eine sinnvolle Regularisierung der Maßnahme d μ . Jetzt bei näherer Betrachtung e v ( ϕ ) d μ ( ϕ ) macht keinen Sinn. Jedoch e v ( ϕ ) d μ r ( ϕ ) ist vollkommen in Ordnung. Das Spiel wird also versuchen, es zu erreichen d v als Maßgrenze d v r ( ϕ ) = 1 Z r e v r ( ϕ ) d μ r ( ϕ ) Wenn r . Beachten Sie, dass ich mich geändert habe v hinein v r weil die Renormierungstheorie uns sagt, dass wir Kopplungen wie lassen müssen g etc. hängen von der Cut-off ab r .

Gelingt einem diese Konstruktion der Interaktionstheorie d v , kann die Unabhängigkeit der Regularisierung so verstanden werden, dass das Ergebnis unabhängig von der Wahl des Mollifiers ist ρ (Wärmekern-Reularisierung oder Pauli-Villars sind Sonderfälle).

Im verwandten Kontext singulärer SPDEs hat Hairer mit seiner Theorie der Regelmäßigkeitsstrukturen (siehe auch diese pädagogische Übersicht ) kürzlich Fortschritte gemacht. Ein wichtiges Merkmal dieser Theorie ist, dass sie es erlaubt, ähnliche Aussagen zur Unabhängigkeit in Bezug auf die Wahl des Regularisierungsverfahrens zu beweisen. In dem Artikel „Ein zweitquantisierter Satz von Kolmogorov-Chentsov“ gebe ich auch ein allgemeines Verfahren zum Bilden von Produkten zufälliger Schwartz-Verteilungen dank Wilsons Operatorprodukterweiterung an. Auch dort muss man eine Regularisierung einführen und dann deren Beseitigung kontrollieren. Darüber hinaus ist das Endergebnis unabhängig von der Wahl der Regularisierung.

Beachten Sie, dass es keinen Grund gibt, die obigen Überlegungen auf gestörte Theorien zu beschränken d μ die Gaußsche sind. In gewissem Sinne handelt es sich bei der konformen Störungstheorie um ähnliche Störungen um andere nichttriviale QFTs.

Natürlich ist im Fourier-Raum der Propagator für d μ r ist

| ρ ^ ( 2 r p ) | 2 p 2 + m 2
aber ich bevorzuge die Definition in x Raum als Faltung, da dies auf eine lokale Durchschnittsbildung hinausläuft und ein kontinuierliches Analogon zu Kadanoffs Block-Spinning-Verfahren ist.

Übrigens ist der Begriff der Regularisierung nicht das ausschließliche Eigentum von QFT, er wird in der mathematischen Theorie der Verteilung häufig als Werkzeug zum Beweis verschiedener Theoreme und zum Umgang mit nichtlinearen Operationen verwendet. In der französischen Literatur zu diesem Thema von Laurent Schwartz und vielen anderen lautet das Schlagwort "troncature et regularisation", dh die Verwendung von IR- bzw. UV-Cutoffs.

Regularisierung ist ein Umschreiben Ihres Integrals, so dass Sie seine Divergenzen mit anderen Tricks behandeln können.

Zum Beispiel berechnen Sie in QFT eine gewisse Amplitude in einer bestimmten Ordnung in der Störungstheorie. Die Integrale, die Schleifendiagramme darstellen, divergieren. Das gebräuchlichste Regularisierungsverfahren wird als dimensionale Regularisierung bezeichnet, bei der Sie die Dimension Ihres Schleifenintegrals beispielsweise auf d = 4-c parametrisieren.

Es stellt sich heraus, dass Ihr Integral für einen großen Impuls divergent war und daher einen Zweigschnitt hatte. Nach der dimensionalen Regularisierung wurde die Zweigschnittdivergenz nun zu einem einfachen Pol, wenn c = 0 ist. Wie Sie wissen, ist es einfacher, mit einer einfachen Stange umzugehen als mit einem Astschnitt.

Nachdem Sie Ihr Integral besser handhabbar gemacht haben, können Sie die divergenten und endlichen Teile Ihres Ergebnisses renormieren und dann trennen. Sie verwenden schließlich andere Tricks, um den divergenten Teil zu entfernen, zum Beispiel fügen Sie Ihrem Lagrangian Gegenbegriffe hinzu.

Ich weiß die Antwort zu schätzen, aber ich möchte Sie bitten, die Frage, die andere Antwort und die Kommentare sorgfältiger zu lesen. Mir ist leider bewusst, was Regularisierung auf dem von Ihnen vorgeschlagenen Niveau ist; Ich suche etwas mathematisch Präziseres und Beschreibenderes.

Sie haben eine Theorie, dann berechnen Sie eine physikalische Größe, dann erhalten Sie eine Abweichung. Die Idee der "Regularisierung" besteht darin, eine andere Theorie zu definieren, die von einigen Parametern abhängt, wenn der Parameter einen Wert annimmt (z. B. d-> 4, Λ-> unendlich, Gitterlänge auf Null ...), dass eine andere Theorie tendiert zur ursprünglichen Theorie. Dieses Verfahren garantiert, dass Sie ein endliches Ergebnis erhalten, aber wenn der Parameter einen bestimmten Wert erreicht, stellen Sie die ursprüngliche Theorie wieder her.

Der folgende Schritt ist die "Renormalisierung". Wir verwenden die regularisierte Theorie, um einige grundlegende physikalische Größen zu berechnen, wie z. B. Masse, Streuamplitude. Alle anderen physikalischen Größen können durch diese Grundgröße ausgedrückt werden, das Wunder der „renormierbaren Theorie“ ist, dass dieser Ausdruck unabhängig von den Parametern ist.

-1: Ich bin mir all dessen bewusst (was meiner Meinung nach aus meiner Diskussion nach der Frage relativ klar hervorgeht?). Das beantwortet die Frage leider nicht. Insbesondere ist mir bewusst, dass, sobald eine Regularisierung gewählt wurde, die Theorie mit einem zusätzlichen Parameter definiert wird, aber dass physikalische Ergebnisse in renormierbaren Theorien nicht davon abhängen. Die Frage ist, welche Art von Parametrisierungen erlaubt sind.
Siehe Mein erster Absatz, der Ihre Frage beantwortet hat. Das Schlüsselwort ist „neigen dazu“.
Ich schätze Ihren Beitrag, aber die Worte "neigen dazu" sind nicht besonders präzise oder beschreibend. Beachten Sie, dass ich die Notwendigkeit anerkenne, dass die Regulierungsbehörde (zumindest einige) der formalen Struktur der „ursprünglichen Theorie“ bewahrt, der Hauptpunkt der Frage ist, wie man das „tendent to“ kodifiziert und es mathematisch präzise und explizit macht.
Bedingung: 1, Lim S(Λ) -> S, Wenn Λ-> ∞; 2, Keine Divergenz mit Wirkung S(Λ)
-1. Diese Bedingungen, die Sie aufgeschrieben haben, sind trivial und garantieren nicht, dass Sie eine gute Regularisierung haben.
@ user1504 Möchtest du eine Antwort versuchen? Ich wäre neugierig, Ihre Gedanken zu hören, auch wenn sie nach Ihren eigenen Maßstäben keine vollständige Antwort darstellen.