Euklidischer QFT-Kommutator verschwindet für alle Raumzeittrennungen?

In der Minkowski-Raumzeit wertet der Kommutator des Klein-Gordon-Feldoperators mit sich selbst an verschiedenen Raumzeitpunkten die erweiterte minus verzögerte Green-Funktion der klassischen Theorie aus,

[ ϕ ( X ) , ϕ ( j ) ] = 0 | [ ϕ ( X ) , ϕ ( j ) ] | 0 = G A ( X j ) G R ( X j ) ,
die für raumartige Trennungen verschwindet. [Ich verwende die Konvention, nach der die Funktionen von KG Green definiert sind ( 2 + M 2 ) G ( X j ) = ich δ ( 4 ) ( X j ) .]

Wegen dem S Ö ( 4 ) -Isometrien der euklidischen Raumzeit gibt es keinen unveränderlichen Begriff der Zeitrichtung, und tatsächlich sind alle Trennungen raumartig. Aus diesem Grund würde ich naiverweise erwarten, dass die Funktion des euklidischen KG Green (die im Unendlichen verschwindet) einzigartig ist - dh es gibt keine "fortgeschrittenen" oder "retardierten" euklidischen Green-Funktionen - und der Feldkommutator sollte dann verschwinden für A l l Euklidische Raumzeittrennungen.

Genauer gesagt lautet die euklidische 2-Punkt-Funktion wie

0 | ϕ ( X ) ϕ ( j ) | 0 = D 4 P ( 2 π ) 4 e ich P ( X j ) P 2 + M 2 ,
so ist der euklidische Kommutator

[ ϕ ( X ) , ϕ ( j ) ] = D 4 P ( 2 π ) 4 { e ich P ( X j ) P 2 + M 2 e ich P ( X j ) P 2 + M 2 } = 0 ,
wobei die letzte Gleichheit aus der Tatsache folgt, dass das Impulsmaß "Volumen" unter unveränderlich ist P P in der euklidischen Raumzeit.

Ist diese Schlussfolgerung und Argumentation richtig?

Ich bin mir nicht sicher, welche Art von Antwort Sie dafür erwarten, aber die Argumentation scheint mir richtig zu sein, wenn es darauf ankommt.
@Darkseid Entschuldigung, wenn meine Absichten in irgendeiner Weise mehrdeutig waren. Ich habe in vielen Quellen Aussagen über den Kommutator in Minkowski explizit gesehen – und entsprechende Diskussionen über Kausalität, aber ich kann keine Referenz finden, die eine analoge Behandlung für die euklidische Theorie gibt. Ich war wirklich unsicher und versuchte herauszufinden, was es sein sollte.

Antworten (2)

Ich bezweifle, dass Ihre Argumentation ohne Vorbehalte durchgeht. Es stimmt, wenn man die Minkowski-Raumzeit- Zwei-Punkt-Funktion analytisch zur imaginären Zeit fortsetzt, erhält man eine Funktion (die Zwei-Punkt-Schwinger-Funktion S ( X , j ) ), die in den beiden euklidischen Raumzeitpunkten symmetrisch ist und in Bezug auf euklidische Isometrien kovariant ist. Also, wenn Sie definieren

[ ϕ ( X ) , ϕ ( j ) ] := S ( X , j ) S ( j , X )
für X , j euklidische Raumzeitpunkte sind, dann haben Sie [ ϕ ( X ) , ϕ ( j ) ] = 0 .

Mir ist jedoch nicht klar, dass die linke Seite der obigen Definition als Kommutator zweier wohldefinierter Operatoren (oder Operatorwertverteilungen) interpretiert werden kann. Lassen Sie zum Beispiel ϕ ein freies Skalarfeld sein, das anfänglich in der Minkowski-Raumzeit durch seine Modenerweiterung definiert ist

ϕ ( T , X ) = D 3 k ( 2 π ) 3 1 2 ω ( k ) ( A ( k ) e ich ω T + ich k X + A ( k ) e ich ω T ich k X ) .

Wenn wir dies formell fortsetzen T = ich τ , sehen wir, dass die Moden positiver (negativer) Frequenz stark voneinander abweichen τ < 0 ( τ > 0 ). (Anmerkung: Dieses abweichende Verhalten der Modi für imaginäre Zeiten stellt auch Ihre Manipulationen der Integraldarstellung des Kommutators in Frage.)

Man kann immer noch Ausdrücke wie verstehen 0 | ϕ ( ich τ 2 , X 2 ) ϕ ( ich τ 1 , j 1 ) | 0 so lange wie τ 2 > τ 1 und die Impulsintegrale sind so zu verstehen, dass sie nur am Ende genommen werden. Mit diesem Formalismus kann man diesen Ausdruck mit einem Pfadintegral in der euklidischen Raumzeit mit zwei "Operatoreinfügungen" gleichsetzen:

0 | ϕ ( ich τ 2 , X 2 ) ϕ ( ich τ 1 , X 1 ) | 0 = D ϕ exp ( S E [ ϕ ] ) ϕ ( X 2 ) ϕ ( X 1 ) D ϕ exp ( S E [ ϕ ] )

Das Pfadintegral kümmert sich automatisch um die Ordnung in imaginärer Zeit und wir können es daher verwenden, um die Bedeutung der linken Seite beliebig zu erweitern τ -Ordnung, die uns die Schwinger-Zweipunktfunktion für dieses Feld liefert, ausgedrückt als Pfadintegral. Dies bedeutet jedoch nicht, dass wir den Feldoperator selbst für imaginäre Zeiten ungleich Null verstanden haben.

Die automatische euklidische Zeitordnung des Pfadintegrals hindert uns daran, es zur Berechnung der allgemeinen Matrixelemente des Feldkommutators für ungleiche euklidische Zeiten zu verwenden. Vielleicht findet man deshalb in Lehrbüchern meist keine Berechnung dieses Kommutators für die euklidische Raumzeit. (Zumindest habe ich in den mir vorliegenden Texten keine gefunden.)

Für 2-dimensionale konforme Feldtheorien findet man Berechnungen von Kommutatoren [ T , ϕ ( j ) ] zwischen dem Feld ϕ und eine Erhaltungsladung T unter Verwendung der Operator-Produkt-Expansion (OPE) in der euklidischen Raumzeit ([1], [2]). Solche Kommutatoren können auch dann ungleich Null sein, wenn der Operator T wird aus dem Feld und seinen Derivaten aufgebaut. Ihre Schlussfolgerung, dass der Kommutator [ ϕ ( X ) , ϕ ( j ) ] in der euklidischen Raumzeit identisch Null ist, würde auch bedeuten, dass alle Kommutatoren von Größen, die aus den Feldern und ihren Ableitungen aufgebaut sind, in der euklidischen Raumzeit verschwinden, oder?

Schwinger erwähnte am Ende von [3] die formale Möglichkeit, vollständig (anti-)kommutierende Feldoperatoren für die euklidische Raumzeit zu konstruieren. Ich bin mir nicht sicher, was ich davon halten soll.

Eine verwandte Frage zu Feldoperatoren und Zweipunktfunktionen in der euklidischen Raumzeit wurde auf Mathoverflow diskutiert: https://mathoverflow.net/q/237647

[1] K. Becker, M. Becker, JH Schwarz. Stringtheorie und M-Theorie: Eine moderne Einführung. Cambridge University Press, 2007. p. 64f.

[2] J. Polchinski. Stringtheorie. Vol. 1 Eine Einführung in die bosonische Zeichenfolge. Cambridge University Press, 1998. p. 55.

[3] J. Schwinger, 1958. Vierdimensionale euklidische Formulierung der Quantenfeldtheorie. Proceedings, Conference: C58-06-30, S.134-140.

Ja, euklidische Kommutatoren verschwinden.

Dies ist im Pfadintegralformalismus ziemlich offensichtlich: Sie können die Matrixelemente des Kommutators aus den Korrelationsfunktionen berechnen: ϕ ^ ( X ) ϕ ^ ( j ) . . . = ϕ ( X ) ϕ ( j ) . . . e S ( ϕ ) D ϕ . Das Integral beinhaltet nur das Pendeln von Variablen, sodass Sie wechseln können X Und j .

Die Verbindung zwischen den euklidischen Korrelationsfunktionen und den Minkowski-Korrelationsfunktionen ist etwas subtil. Die euklidischen Korrelationsfunktionen sind analytische Funktionen mehrerer Variablen X , j , und kann auf die Komplexifizierung eines kartesischen Produkts mehrerer Kopien des euklidischen Raums erweitert werden. Die entsprechenden kartesischen Produkte des Minkowski-Raums befinden sich ebenfalls in dieser Komplexierung. Die Minkowski-Korrelationsfunktionen sind tatsächlich Grenzwerte der analytischen Erweiterung der euklidischen Korrelationsfunktionen. Aber welche zeitliche Reihenfolge der Minkowski-Korrelationsfunktionen Sie erhalten, hängt davon ab, wie Sie sich der Grenze nähern.

Ich bin mir nicht sicher, wie der Pfadintegralformalismus dies für den euklidischen Fall "offensichtlich" macht. Wir wissen, dass sie in Minkowski nicht in zeitähnlichen Abständen pendeln, aber das ist für mich nicht offensichtlich, basierend auf Ihrer aktuellen Pfadintegral-Erklärung.
Warum ist das nicht offensichtlich? Das euklidische Pfadintegral beinhaltet nur pendelnde Größen. (Es ist eine statistische Feldtheorie.) Sie können also die Observablen frei permutieren. Mehr ist nicht dabei.
Das Minkowski-Pfadintegral beinhaltet auch nur pendelnde Größen – die Felder sind nur Funktionale innerhalb des Pfadintegrals – und doch pendeln die Minkowski-Felder NICHT in zeitlichen Abständen innerhalb von Korrelationsfunktionen. Daher ist es für mich überhaupt nicht offensichtlich, wie das Aufschreiben der Pfadintegralformel selbst dazu beiträgt, zu sehen, dass die euklidischen Felder bei allen Trennungen pendeln. Sie beanspruchen, was gezeigt werden soll.
Ich verstehe, wogegen Sie Einwände erheben. Meine Antwort ist, dass Minkowski-Pfadintegrale nicht wirklich auf die gleiche Weise existieren wie euklidische und dass die formale Manipulation, die Sie beschreiben, nicht gültig ist. Um sie zu definieren, müssen Sie einige zusätzliche Regularisierungsinformationen hinzufügen (z. B. die + ich ϵ Verschreibung). Diese zusätzlichen Regularisierungsinformationen kodieren die Nichtkommutativität und entpuppen sich im Allgemeinen als äquivalent zu der Angabe, auf welchem ​​Zweig der analytischen Erweiterung der euklidischen Korrelationsfunktion Sie sich befinden.
@ user1504 Ich glaube, es wäre sehr hilfreich, wenn Sie in Ihrer Antwort angeben könnten, wie genau Nichtkommutativität durch diesen Mechanismus entsteht.
@SolenodonParadoxus: Auf der Ebene der Störungstheorie sollte das leicht zu erkennen sein + ich ϵ Und ich ϵ führt zu unterschiedlichen zeitlichen Anordnungen. Dies ist die allgemeine Geschichte. Für Details müssen Sie in Streater & Wightman nachsehen.
Lassen Sie mich noch hinzufügen: Ich bin ziemlich genervt. Ich habe im euklidischen Fall, worum es bei der Frage ging, eine richtige Antwort gegeben. Und ich werde anscheinend herabgestuft, weil die Leute durch den subtileren Minkowski-Fall verwirrt sind.
Sie haben meinen vorherigen Einwand zufriedenstellend behandelt – der, wie ich jetzt erkenne, auf einer allzu wörtlichen Interpretation der Minkowski-Pfad-Integralformel beruhte.