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 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.
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 durch Störung impliziert dies, dass jemand gestört wird, nämlich eine freie Theorie . Ich denke, Regularisierung ist ein Merkmal des Paares statt allein. Nehmen Sie zum Beispiel das funktionale Maß entsprechend dem üblichen Freifeld
Gelingt einem diese Konstruktion der Interaktionstheorie , 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 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 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.
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.
Steven Mathey
Diego Mazon
Warpfel