Spielt das Winkelmaß bei der dimensionalen Regularisierung eine Rolle?

Bei der dimensionalen Regularisierung ersetzen wir ein Impulsintegral ICH = D N k F ( | k | ) mit der Familie der regularisierten Integrale

(1) μ N D D D k F ( | k | ) = μ ϵ Ω D P D 1 F ( P ) D P .
Hier Ω D = 2 π D / 2 Γ ( D / 2 ) ist das Volumen der D -Kugel.

Es gibt eine verwandte Regularisierung, bei der wir stattdessen ersetzen ICH mit

(2) D N k ( μ 2 | k | 2 ) ϵ / 2 F ( | k | ) = μ ϵ Ω N P N ϵ 1 F ( P ) D P .
Diese beiden Ausdrücke unterscheiden sich nur im Winkelbeitrag, der impulsunabhängig und regulär ist ϵ = N D . Es scheint mir, dass die Multiplikation aller Diagramme mit der gleichen Anzahl von Schleifen mit der gleichen regulären In- ϵ Faktor sollte das Endergebnis nicht beeinflussen.

Zum Beispiel im Integral ICH = ( 4 π ) 2 D 4 k ( 2 π ) 4 1 ( k 2 + Δ ) 2 , findet man den Begriff „Macaroni & Pie“. γ + Protokoll ( 4 π ) fällt aus, hinterlässt 2 ϵ + Protokoll ( μ 2 Δ ) . (Beweis: Anstatt die Γ ( D / 2 ) und unter Verwendung der Stirling-Formel die Euler-Reflexionsformel anwenden Γ ( D / 2 ) Γ ( 1 D / 2 ) = π csc ( π D / 2 ) . Die Laurent-Erweiterung von csc ( z ) Ist 1 z + 1 6 z + . . . .)

Meine Frage: Sind diese beiden Regularisierungen wirklich gleichwertig?

Für mich sieht es so aus, und ich habe QED bei 1-Schleife stichprobenartig überprüft. Aber ich habe nicht viel Vertrauen in diese Behauptung. Kann jemand auf eine bestimmte Berechnung hinweisen, bei der diese Regularisierung nicht die gleiche Antwort liefert wie die dimensionale Regularisierung?

Nehmen wir zur Vervollständigung der Spezifikation an, dass Spuren von Dirac-Matrixprodukten ihre übliche 4-dimensionale Form haben und so weiter G μ v G μ v = N .

Dies wird wahrscheinlich ab zwei Schleifen oder bei Feynman-Diagrammen mit nichttrivialer Tensorstruktur (z. B. der Elektron-Zweipunktfunktion) fehlschlagen ψ ¯ ψ oder der Scheitel A μ ψ ¯ ψ ). (Auf jeden Fall ist Ihre Vorschrift der analytischen Regularisierung von Speer ziemlich ähnlich)
Ich sehe ein Loch in meiner Argumentation: Es gilt nur für einfache Stangen. Wenn ein Pol 2. Ordnung drin ist ϵ , kann dieser Ansatz die Koeffizienten der Pole erster Ordnung ändern.
(Verwandte Frage hier .)
Ich werde dafür ein Kopfgeld hinzufügen, wenn es in Frage kommt, da ich um jemanden bitte, der mich auf einige Feynman-Diagrammberechnungen mit höheren Schleifen hinweist.
Ich habe das Argument herausgeschnitten, das ein Loch darin hatte. Ersetzte es durch eine allgemeinere Behauptung: Wir multiplizieren alle n-Schleifen-Integrale mit demselben Faktor, wenn wir die Regularisierung auf diese Weise ändern. Stornierungen werden dadurch nicht beeinträchtigt.
@ user1504 Wenn du es zulässt μ μ   ( Ω D / Ω N ) 1 / ϵ In deinem zweiten Integral erhältst du das erste. Als μ ist willkürlich, die beiden Schemata sind gleichwertig, oder?
Können Sie erklären, was genau Sie mit gleichwertig meinen? Sie haben darauf hingewiesen, dass sie in den endlichen Teilen nicht übereinstimmen, also gehe ich davon aus, dass das nicht sein kann.
@AccidentalFourierTransform Das ist ein guter Punkt. Technisch gesehen jedoch keine vollständige Antwort, da ich die Frage im letzten Absatz mit einer Sprengfalle versehen habe, indem ich gefragt habe, ob die Spuren von Gamma-Matrix-Produkten vorhanden sind N -dimensional statt N ϵ -dimensional. IIRC, das ist aber kein großes Hindernis; 't Hooft & Veltman verwendet N -dimensionale Fermionen.
Äquivalent sollte bedeuten, dass sie denselben Renormierungsfluss definieren. Eventuell abweichend durch eine Neudefinition der Parametriermasse. In der Praxis sollte dies bedeuten, dass die physikalischen Ergebnisse dieser Berechnungen – nach Auferlegen von Renormierungsbedingungen – identisch sind.
Ein Regularisierungsverfahren selbst definiert keinen RG-Fluss. Darüber hinaus müssen Sie ein Renormalisierungsschema vorschreiben. Aber was noch wichtiger ist, wenn Ihr Schema konsistent ist, hängt die Physik nicht von einer dieser Entscheidungen ab. Wenn nicht, machst du die Rechnung falsch.
@ user1504 Die Spinor-Spuren sind eine Frage der Konventionen. Man setzt tr ( 1 ) = F ( N ) für eine Funktion wie das F ( 4 ) = 4 . Einige gängige Optionen sind F ( N ) = 4 ,   N ,   2 N / 2 ,   Jede Wahl ist so gut wie jede andere. Einmal F festgelegt ist, bestimmt dies die Spuren einer beliebigen Kombination von Gammamatrizen. Für weitere Einzelheiten siehe Itzykson & Zuber, Kapitel 8 (insbesondere die Diskussion um 8-11c). Beifall!
@AccidentalFourierTransform Sie können diese beiden Kommentare genauso gut in eine Antwort umwandeln.
Oder wir könnten @knzhou kassieren lassen, da er als erster (im anderen Beitrag) auf einen Zusammenhang mit modifizierten Subtraktionsschemata hingewiesen hat.
Interessanter Artikel, der heute Morgen auf arXiv hochgeladen wurde: arxiv.org/abs/1803.09764

Antworten (1)

Wir arbeiten in der euklidischen Raumzeit.

OP versucht, die beiden Rezepte zu vergleichen

(A) R N A F ( P 1 , , P A )   D N P 1 D N P A     μ A ϵ R D A F ( P 1 , , P A )   D D P 1 D D P A
Und
(B) R N A F ( P 1 , , P A )   D N P 1 D N P A     μ ~ A ϵ R N A F ( P 1 , , P A ) | P 1 | ϵ | P A | ϵ D N P 1 D N P A
Wo ( N , A ) N 2 ein Paar ganzer Zahlen ist; D C ist ein komplexer Parameter; ϵ := N D ; Und ( μ , μ ~ ) R 2 ist ein Paar reeller Parameter (Massenskalen).

Das betonen wir ( A ) ist die Standardvorschrift zur dimensionalen Regularisierung . Der Fall ( B ) ist der analytischen Regularisierung von Speer ziemlich ähnlich , aber sie ist nicht äquivalent.

Wenn F hängt von den Impulsen nur über ihr Quadrat ab,

F ( P 1 , , P A ) = F ( P 1 2 , , P A 2 )
dann ist es einfach zu überprüfen, ob die oben genannten Vorschriften gleichwertig sind
(A) R N A F ( P 1 , , P A )   D N P 1 D N P A     μ A ϵ Ω D A R A P 1 D 1 P A D 1 F ( P 1 , , P A )   D P 1 D P A
Und
(B) R N A F ( P 1 , , P A )   D N P 1 D N P A     μ ~ A ϵ Ω N A R A P 1 N 1 ϵ P A N 1 ϵ F ( P 1 , , P A ) D P 1 D P A
und wir sehen, dass die beiden Rezepte unten ineinander abgebildet werden
μ ~ ϵ Ω D Ω N μ ϵ

Als μ , μ ~ willkürlich sind, sind die beiden Vorschriften gleichwertig.

Wenn F enthält eine nicht triviale Spinorialstruktur, die Äquivalenz ist immer noch korrekt, wenn wir uns darauf einigen, dass Spuren darin sind D Dimensionen befriedigen

tr ( 1 ) = 2 N / 2
für alle D C .

Andererseits, wenn F enthält eine nicht-triviale Lorentz-Struktur (d. h. wenn es kein Lorentz-Skalar ist oder es von Momenten nicht nur durch ihre Quadrate, sondern auch von den Skalarprodukten abhängt P ich P J ), dann bricht die Korrespondenz zusammen . Eine einfache Möglichkeit, dies zu sehen, ist die, gemäß der Standardvorschrift zur Dimensionsregulation, die wir haben

P μ P v δ μ v D P 2
während wir in der modifizierten Verschreibung haben
P μ P v δ μ v N P 2

Diese sind nicht äquivalent und können nicht äquivalent gemacht werden, indem eine der beiden Rezepturen modifiziert wird (wir können nicht definieren P μ P v sein δ μ v N P 2 In D Dimensionen, weil algebraische Manipulationen wie Kontraktionen und Verschiebungen in der Integrationsvariablen zu Inkonsistenzen führen würden). Es stimmt zwar, dass der divergierende Teil in beiden Ansätzen gleich ist, der endliche Teil muss dies jedoch nicht.

Allgemeiner gesagt unterscheiden sich die beiden Vorschriften durch eine rationale Funktion der Form

P ( N ) P ( D )
Wo P ist ein Polynom. Dieses Polynom ist im Allgemeinen nicht für alle Feynman-Diagramme gleich, die zu einer bestimmten Ordnung in der Störungstheorie beitragen (siehe zB den Fall der skalaren QED, vgl. ref1, Kapitel 65). Daher rechnet man nicht mit einer Absage der ξ -abhängige Begriffe, und die Ward-Identität wird verletzt. Diese Aufhebung gilt im Fall einer Dimensionsregulierung, sodass die beiden Vorschriften nicht gleichwertig sind.

Darüber hinaus ist nicht nur die Spursymmetrie im Schema von OP anomal, die axiale Symmetrie ist es nicht. In der Tat, wenn N gerade ist, können wir die axiale Matrix definieren γ 5 . Diese Matrix ist spurlos tr ( γ 5 ) = 0 für eine beliebige Anzahl von Raumzeitdimensionen, so verschwindet die Divergenz des axialen Stroms (bei dimensionaler Regularisierung versagt dieses Argument, weil γ 5 ist für komplex schlecht definiert D ; aber in OPs Rezept die Anzahl der Raumzeitdimensionen N Ist repariert). Da die axiale Anomalie für keine (gerade) N (vgl. diesen PSE-Beitrag ) ist die Regularisierung des OP nicht gleichbedeutend mit der dimensionalen Regularisierung.

Abschließend sei noch erwähnt, dass es eine Zwischenrezeptur gibt,

(C) R N A F ( P 1 , , P A )   D N P 1 D N P A     μ ^ A ϵ Ω D A Ω N A R D A F ( P 1 , , P A )   D D P 1 D D P A
was einer dimensionalen Regularisierung entspricht . Diese Vorschrift belässt das Winkelmaß als das von N anstatt D , also ist es ziemlich nah an dem, wonach OP gesucht hat. Aber der Integrand wird als komplex bewertet D statt fest N , es ist also dasselbe wie dimensionale Regularisierung (oder besser gesagt, es wird unter der oben erwähnten Neuskalierung der Massenskala darauf abgebildet).

Verweise.

  1. Srednickis QFT.
Ich werde versuchen, die Vakuumpolarisation in Skalar-QED in der Regularisierung von OP zu berechnen. Wenn ich etwas Sinnvolles bekomme, werde ich die Antwort aktualisieren. Im Moment bin ich mir nicht ganz sicher, wie es funktioniert, weil die Vorschrift von OP unter Übersetzungen im Impulsraum nicht unveränderlich ist, also scheint es inkonsistent zu sein (z. B. hängt der Wert eines Diagramms davon ab, wie wir die Impulse parametrisieren, die durch es fließen; dh es hängt davon ab, wie wir jeder Linie einen Impuls zuweisen). Ich muss darüber nachdenken; es ist ziemlich spät hier und ich rede vielleicht Unsinn.
... außerdem können Sie im OP-Schema nicht einmal Nenner mit Feynman-Parametern kombinieren. Das Rezept von OP scheint überhaupt nicht zu einem handhabbaren Integral zu führen.