Gibt es eine intuitive Beschreibung der Vakuumverschränkung?

Die Leute beziehen sich oft auf die Tatsache, dass das Vakuum ein verschränkter Zustand ist (es wird sogar als maximal verschränkter Zustand bezeichnet ).

Ich habe versucht, ein Gefühl dafür zu bekommen, was das wirklich bedeutet. Das Problem ist, dass die meisten Beschreibungen davon im Formalismus von AQFT erfolgen, mit dem ich nicht sehr vertraut bin. Die Verstrickungsdefinitionen, für die ich ein gewisses Gefühl habe, sind die der Form

System S Hilbertraum H faktorisiert als H = H EIN H B wobei A und B zwei Subsysteme von S sind. Ein verschränkter Zustand kann nicht in die Form geschrieben werden ϕ EIN ϕ B

Dafür gibt es dann verschiedene Maße, wie zum Beispiel die Verschränkungsentropie.

Meine Frage ist also: Ist es möglich, die Verschränkung des QFT-Vakuums mit diesen bekannteren Begriffen zu beschreiben?

Kann eine solche Beschreibung für ein einfaches QFT-Beispiel gegeben werden, sagen wir ein Klein-Gordon-Feld im Minkowski-Raum?

Ich habe diese Seite zufällig entdeckt. Vielleicht werfe man zur Beantwortung einen Blick in das folgende Manuskript. Gegenseitige Entstehung von nichtkausaler optischer Reaktion und Nichtklassizität in einem optomechanischen System arxiv.org/abs/1502.01294 Mit freundlichen Grüßen.
Eine Folge der Vakuumverschränkung ist der Unruh-Effekt : Beschränkt man den Vakuumzustand auf die in einem Rindler-Keil befindlichen Observablen, erhält man einen thermischen Zustand, siehe zB math.univ-lille1.fr/~debievre/Talks/unruhrolla09A.pdf, arxiv .org/abs/0802.1854, Bisognano-Wichmann-Theorem

Antworten (4)

Wenn Sie einen harmonischen Oszillator in x haben, ist die Grundzustandswellenfunktion eine Gaußsche Funktion;

H = p 2 2 + ω 2 x 2 2

ψ 0 ( x ) = e ω x 2 2

Wenn Sie zwei unabhängige Oszillatoren x,y;

H = p x 2 2 + p j 2 2 + ω 1 2 x 2 2 + ω 2 2 j 2 2

Der Grundzustand ist ein Produkt:

ψ 0 ( x , j ) = e ω 1 x 2 2 e ω 2 j 2 2

Es gibt also keine Verschränkung im Grundzustand zwischen x und y. Aber wenn Sie es rotierend betrachten (und ω 1 ω 2 ), liegt eine Verstrickung vor.

Für ein skalares Quantenfeld in einem räumlichen Gitter in endlichem Volumen (die Zeit ist immer noch kontinuierlich) haben Sie (wenn Sie eine Fourier-Transformation im Raum durchführen) eine Reihe entkoppelter harmonischer Oszillatoren (die Summe von k liegt über nicht redundanten k für einen echten Skalar Feld, das ist die Hälfte des vollen Platzes k x > 0 ):

H = k 1 2 ϕ k ˙ 2 + k 2 + m 2 2 ϕ 2

Das ist ein Haufen entkoppelter Oszillatoren, also der Grundzustand;

ψ 0 ( ϕ k ) = k e k 2 + m 2 | ϕ k | 2 2

Das ist nicht verstrickt in Bezug auf ϕ k , aber in Bezug auf die ϕ x (auf dem Gitter), es ist verheddert. Die Gaußsche Vakuumwellenfunktion kann hier ausgedrückt werden als:

ψ 0 ( ϕ ) = e x , j ϕ ( x ) J ( x j ) ϕ ( j )

Wo J ( x j ) = 1 2 2 + m 2 ist nicht der Propagator, sondern dieser seltsame nichtlokale Quadratwurzeloperator.

Das Vakuum für bosonische Feldtheorien ist eine statistische Verteilung, es ist eine Wahrscheinlichkeitsverteilung, die die Wahrscheinlichkeit ist, eine Feldkonfiguration zu finden ϕ in einer Monte-Carlo-Simulation zu einem beliebigen imaginären Zeitabschnitt in einer Simulation (wenn Sie die t-Koordinate lang machen). Dies ist eine Interpretation der Tatsache, dass es real und positiv ist. Die Korrelationen in dieser Wahrscheinlichkeitsverteilung sind die Vakuumkorrelationen und für freie Felder einfach zu berechnen.

Das axiomatische Feldtheorie-Material ist meiner Meinung nach nicht lesenswert. Es ist verwirrend und verrät die Unkenntnis der grundlegenden Ideen des Feldes, einschließlich Monte Carlo und Pfad-Integral.

Allgemeine Vakuumwellenfunktion für bosonische Felder

In jedem Pfadintegral für bosonische Felder mit realer Aktion (PT-Invariantentheorie), und dazu gehören die reine Yang-Mills-Theorie und Theorien mit herausintegrierten Fermionen, ist die Vakuumwellenfunktion genau dasselbe wie die Wahrscheinlichkeitsverteilung der Feldwerte in der euklidischen Zeit Formulierung der Theorie. Dies gilt außerhalb der Störungstheorie und macht es völlig lächerlich, dass die strenge mathematische Theorie nicht existiert. Der Grund dafür ist, dass die Grenzen von Wahrscheinlichkeitsverteilungen auf Feldern, wenn das Gitter feiner wird, in der Maßtheorie lästig zu definieren sind, da sie zu Maßen für Verteilungen werden.

Um dies zu sehen, beachten Sie, dass bei t = 0 weder die imaginäre Zeit noch die Echtzeittheorie irgendwelche Zeitentwicklungsfaktoren haben, also sind sie äquivalent. In einer unbegrenzten imaginären Box in der Zeit sind die erwarteten Werte in der euklidischen Theorie in einer Zeitscheibe also gleich den gleichen Zeitvakuum-Erwartungswerten in den Lorentzschen Theorien.

Dies gibt Ihnen eine Monte-Carlo-Definition der Vakuumwellenfunktion jeder PT-invarianten bosonischen Feldtheorie, frei oder nicht. Dies ist die wichtigste Erkenntnis zu Grundzuständen von Feynman, die in den 1950er Jahren explizit im Pfadintegral und in der Arbeit zum Grundzustand von flüssigem He4 beschrieben wurde (dies ist auch ein bosonisches System, daher ist der Grundzustand eine Wahrscheinlichkeitsverteilung). Es wird verwendet, um das 2+1 Yang-Mills-Vakuum im Jahr 1981 von Feynman (seinem letzten veröffentlichten Artikel) zu beschreiben, und diese Arbeit wird erweitert, um die Saitenspannung von Karbali und Nair vor etwa einem Jahrzehnt zu berechnen.

Ich habe noch nie jemanden gesehen, der Wahrscheinlichkeiten dafür gemessen hat, etwas in imaginärer Zeit zu finden. Es ist eine rein formale Analogie. - Ihre geringe Wertschätzung für die axiomatische Feldtheorie ist nicht gut begründet, sondern nur ein Hinweis darauf, dass Sie ihre Sprache nicht gut genug kennen, um ihre Erkenntnisse in gewöhnliche QFT-Begriffe zu übersetzen.
@ArnoldNeumaier: Ich kenne die Sprache der axiomatischen Feldtheorie, ich kann jede Aussage übersetzen. Es ist dumm, es ist formell und es ist trivial. Sie sollten wissen, dass die Grundzustandswellenfunktion eines bosonischen Feldes (oder einer beliebigen bosonischen Variablen) gleich der Quadratwurzel der Wahrscheinlichkeitsdichte ist, um diese Feldkonfiguration in imaginärer Zeit entlang einer Zeitscheibe zu finden. Dies ist eine exakte Identität. Dies ermöglicht es Schwinger, das Vakuumwellenfunktional von QED in irgendein physikalisches Messgerät zu schreiben.
Wie erklären Sie sich dann, dass ich viel von AQFT gelernt habe, was ich von der traditionellen QFT-Behandlung a la Peskin/Schroeder oder Weinberg nicht unterscheiden konnte? Bei AQFT passieren viele interessante Dinge, die einfach nicht zu Ihren Interessen passen.
@ArnoldNeumaier: Ich denke, das ist falsch. Wenn ich mir AQFT anschaue, sehe ich Ergebnisse, die so verschleiert sind, dass sie maximal unklar sind, aufgrund einer falschen Aufmerksamkeit für Strenge, die in diesem Stadium ungerechtfertigt ist, weil die Konstruktion nicht vorhanden ist. Die Beziehung zur statistischen Theorie ist am wichtigsten, weil sie ein praktisches Werkzeug zur strengen Definition der Theorie ist und auch weil sie Beziehungen, die in der AQFT-Sprache unklar sind, offensichtlich macht. Können Sie mir sagen, was jetzt in AQFT enthalten ist? Ich habe die jüngsten Entwicklungen nicht verfolgt.
Interessant - ich hatte noch nie von dieser Technik gehört. Ich denke, es ist die hier beschriebene imaginäre Zeitausbreitungsmethode (für die Schrödinger-Gleichung) ?
Auch AQFT fand ich lange Zeit obskur und habe wenig davon profitiert. Heute weiß ich, dass das daran lag, dass ich nicht wirklich verstand, was vor sich ging. -- „Können Sie mir sagen, was jetzt in AQFT enthalten ist? Ich habe die jüngsten Entwicklungen nicht verfolgt.“ Stellen Sie die Frage als echte Frage, da sie viel mehr Platz einnimmt als in einem Kommentar.
@twistor59: Die Fortsetzung der imaginären Zeit verwandelt das schlecht definierte Feynman-Funktionsintegral in etwas wohldefiniertes. Es ist die Wurzel der sogenannten euklidischen QFT. Beispielsweise werden Gittereichtheorien in der euklidischen Version numerisch erprobt und Ergebnisse analytisch fortgeführt.
@ArnoldNeumaier: Ja, in der Tat. Diese spezielle Methode zum Auffinden des Grundzustands war mir jedoch nicht bekannt.
@twistor59: Leider funktioniert diese Formel (eine Gaußsche im Funktionsraum) für den Grundzustand nur für freie QFTs.
@twistor59: Dies ist eines der grundlegenden Werkzeuge von Pfadintegralen. Ich habe es in den Kommentaren etwas falsch gesagt (was ich gesagt habe, ist wahr, wenn Sie einen Gradiententerm hinzufügen, um die Zeitableitungen der euklidischen Theorie zu reinen Vorwärtsableitungen zu machen, es ist nicht wahr, wenn die Zeitableitungen zentrierte Ableitungen sind, dann der Boden Zustandswellenfunktion ist genau dasselbe wie die Wahrscheinlichkeitsverteilung für ein Feld im euklidischen Raum, nicht die Quadratwurzel davon, aber es ist albern, auf diese Details auf dieser Ebene einzugehen).
Die Formel funktioniert (offensichtlich) nicht für Wechselwirkungsfeldtheorien, aber Sie benötigen keine Formel, um die Korrelationen im Wechselwirkungsvakuum zu berechnen. Die wechselwirkende Vakuumverschränkung in einer bosonischen Theorie wird immer noch durch die Wahrscheinlichkeitsverteilung auf einer Scheibe im euklidischen Raum bestimmt. Die Tatsache, dass AQFT-Leute vorgeben, über diese Menge in hochtrabenden Worten voller großer Worte und kleiner Gehirne zu sprechen, ohne jemals die eine und einzige exakte Lösung zu erwähnen, die sie abbauen, um alle ihre Ergebnisse zu erhalten, zeigt mir, dass sie obskurantistische Betrüger sind, nicht wert, darauf zu achten.
@ArnoldNeumaier: Ich habe auch Einwände dagegen, das Feynman-Integral als schlecht definiert zu bezeichnen oder zu sagen, dass die Fortsetzung der imaginären Zeit es in irgendetwas "verwandelt". Feynman machte von Anfang an eine leichte Fortsetzung (eine i\epsilon-Rotation) im Pfadintegral, und er und Kac verstanden die Verbindung zur stochastischen Pfadintegration nach Weiner von Anfang an. Das Bahnintegral wurde immer über diese Rotation (zumindest infinitesimal) definiert und war somit immer wohldefiniert.
@RonMaimon: Sie beziehen sich wahrscheinlich auf das freie funktionale Integral, während ich mich auf das mit einer nichtquadratischen Aktion im Exponenten beziehe. Wenn dieses funktionale Integral in 4D wohldefiniert wäre, würden QED, QCD und das Standardmodell mit mathematischer Strenge existieren. Aber viele Physiker denken, dass QED nicht streng existiert, und es gibt einen Preis von einer Million Dollar, um die Existenz nur für Yang-Mills zu beweisen.
@RonMaimon: Beachten Sie, dass Summers in seinen Folien nicht davon ausgeht, dass der QFT kostenlos ist. Ihre Erklärung bezieht sich jedoch nur auf den freien Fall. Dies ist unzureichend, da die wechselwirkenden Korrelationsfunktionen von den nicht wechselwirkenden nur durch eine Potenzreihe bestimmt werden, deren Konstruktion eine Renormierung mit all ihren Schwierigkeiten erfordert und deren Konvergenz mit ziemlicher Sicherheit nicht der Fall ist. Summers arbeitet störungsfrei und wird dadurch nicht gestört.
@ArnoldNeumaier: Die Vakuumwahrscheinlichkeitsverteilung existiert in der reinen Eichtheorie und in jeder echten bosonischen Theorie, frei oder nicht. Es existiert in QED, nachdem Sie die Fermionen herausintegriert haben, aber dann haben Sie eine nichtlokale Aktion. Die Identität der Grundzustandswellenfunktion mit der Wahrscheinlichkeitsverteilung im euklidischen Raum ist allgemein, sie erfordert keine Störungstheorie, sie wird von Feynman und später Karabali und Nair ausgenutzt, um das 2+1 reine Yang-Mills-Vakuum zu beschreiben. Sie haben Recht, dass es angesichts dieser Identität völlig lächerlich ist, dass es keine mathematische Theorie der QCD gibt.

Um auf die Frage „Gibt es eine intuitive Beschreibung der Vakuumverschränkung? -Produkt lokaler Hilberträume: H t Ö t = ich H ich . (Zum Beispiel in einem Gittermodell H ich kann der Hilbertraum vor Ort sein- ich .) Eine solche Direktproduktstruktur kann als UV-Vervollständigung einer Quantenfeldtheorie angesehen werden. Um die Vakuumverschränkung zu diskutieren, müssen wir daher davon ausgehen, dass der gesamte Hilbert-Raum unseres Universums die Struktur hat H t Ö t = ich H ich . Die folgende Diskussion basiert auf einer solchen Annahme, bei der das "Vakuum" einfach der Grundzustandsvektor im gesamten Hilbert-Raum ist H t Ö t .

Die Grundzustände fast aller Hamiltonoperatoren sind verschränkt (da diese Grundzustände im Allgemeinen keine Produktzustände sind). Das Vakuum ist also wie ein generischer Grundzustand auch ein verschränkter Zustand.

Das Vakuum unseres Universums ist jedoch sehr speziell: Unser Vakuum ist eigentlich ein langreichweitiger verschränkter Zustand , oder mit anderen Worten, ein topologisch geordneter Zustand . Dies liegt daran, dass bekannt ist, dass nur weitreichende verschränkte Zustände elektromagnetische Wellen erzeugen, die die Maxwell-Gleichung erfüllen, und Fermionen, die die Dirac-Gleichungen erfüllen (als kollektive Anregungen über dem Grundzustand). Ich habe einen Artikel geschrieben, um dies im Detail zu beschreiben. Siehe auch die PE- Frage .

Die Tatsache, dass unser Vakuum Photonen und Fermionen (als Quasiteilchen) unterstützt, impliziert also, dass unser Vakuum ein langreichweitiger verschränkter Zustand ist.

Danke für deine Antwort. Im OP habe ich wirklich versucht zu verstehen, in welchem ​​Sinne der Begriff "Verschränkung" auf das Vakuum der konventionellen relativistischen QFT angewendet wurde - wie Sie sagen, das Vakuum ist kein Produktzustand, aber ich war neugierig, was das ist Subsysteme waren, um sogar darüber zu diskutieren, ob es sich um ein Produkt handelt oder nicht. Nach den obigen Antworten bin ich jetzt damit einverstanden. Habe ich recht, wenn ich sage, dass Ihre Beschreibung des Vakuums hier in Bezug auf die topologische Ordnung usw. eine sehr spezielle ist, die spezifisch für ein bestimmtes Modell ist - die String-Netz-Theorie?
Sie haben in Ihrem Kommentar zum Subsystem einen sehr guten Punkt angesprochen. Ich aktualisiere meine Antwort, um sie genauer zu machen. Ich habe Ihre ursprüngliche Frage nicht direkt beantwortet, da ich der Meinung bin, dass das Problem des Subsystems (oder der Direktproduktstruktur des gesamten Hilbert-Raums) wichtiger ist. Meine Beschreibung des Vakuums ist keine besondere. Ich nehme einfach an, dass der gesamte Hilbert-Raum eine Direktproduktstruktur hat und der Hamilton-Operator eine lokale Beziehung zur Direktproduktstruktur hat. Unter diesen beiden allgemeinen Annahmen muss das Vakuum langreichweitig verschränkt sein, um austretende Photonen und Fermionen zu haben.

Die Folien von Summers missbrauchen die herkömmliche Terminologie (allerdings aus einem formal gerechtfertigten Grund, der weiter unten erläutert wird), wodurch Verwirrung entsteht.

Verschränkte Zustände werden durch die herkömmliche Definition (wie zB von Wikipedia angegeben) in einem Tensorprodukt mit mehr als einem Dimensionsfaktor definiert > 1 .

Andererseits ist der Vakuumzustand einer freien Theorie und jeder asymptotischen Darstellung einer interagierenden Theorie ein Zustand, der in einem Fock-Raum definiert ist, der eine direkte Summe aller Tensorprodukträume ist H N Vertretung der N -Partikelsektor ( N = 0 , 1 , 2 , ). Definitionsgemäß überspannt der Vakuumzustand die 0 -Teilchensektor, der ein 1-dimensionaler Raum ist und nicht Teil eines der Tensorprodukträume innerhalb des Fock-Raums.

Daher ist es sinnlos (dh nicht durch konsistente formale Definitionen gestützt), den Vakuumzustand im herkömmlichen Sinne verschränkt zu nennen.

Um die Dinge weiter zu entwirren, kann es eine gute Übung sein, die nichtrelativistische QM im zweiten Quantisierungsformalismus zu betrachten, der in der statistischen Mechanik verwendet wird. Dort ist das Obige ordentlich dargestellt und in Form gewöhnlicher Mehrteilchen-Wellenfunktionen interpretierbar, und es wird deutlich, dass Summers Anwendung des herkömmlichen Verschränkungskonzepts auf den Vakuumzustand falsch ist.

Summers führt jedoch in Folie 12 ein anderes Verschränkungskonzept ein, das an Zustände in einer Quantenfeldtheorie angepasst ist, die für den Vakuumzustand gilt. Es ist lose mit gewöhnlicher Verstrickung verbunden, da die N = 1 Sektor einer QFT wird durch 2-Punkt- Vakuumkorrelationsfunktionen dargestellt , obwohl keiner der Zustände mit N = 1 ist ein Vakuumzustand. Daher kann man in diesem Rahmen die üblichen Bell-Ungleichungen nachahmen.

Nach dieser Definition machen die Aussagen von Summers über den Vakuumzustand Sinn. Aber sie sollten nicht mit gewöhnlicher Verschränkung verwechselt werden, da sie, übersetzt in gewöhnliche QM, eher Aussagen über Paare von 1-Teilchen-Zuständen als Aussagen über das Vakuum darstellen.

Bearbeiten: Die Analogie, in der die Dinge betrachtet werden sollten, ist, dass sich das Tensorprodukt im QFT-Fall nicht auf dem Raum der Zustände befindet, sondern auf einem geeignet gewählten Raum der Operatoren. Aus diesem Grund kann die formale Glockenmaschine an diese Situation angepasst werden.

Danke, das ist sehr erhellend. Die Antwort auf meine ursprüngliche Frage lautet also "nein". Es ist nicht möglich, die von Werner und Summers erwähnte Vakuumverschränkung in konventionellen ( H EIN H B ) Verschränkungsbedingungen.
Diese Antwort beschreibt nicht, was die Leute mit Vakuumverschränkung meinen - sie meinen die Verschränkung zwischen verschiedenen Feldzuständen im Schrödinger-Wellenfunktional. Dies ist etwas, das sich nicht auf asymptotische Teilchenzustände bezieht, und Sie können es leicht in der Freifeldtheorie ausarbeiten.
@RonMaimon: Aber es ist das, was Summers sagt, Vakuumverschränkung. Wie gesagt, es gibt mehrere Begriffe.
@twistor59: Ich habe am Ende eine Bemerkung hinzugefügt, um zu zeigen, in welchem ​​Sinne man die beiden Begriffe in Einklang bringen kann.
@ArnoldNeumaier: Nein, ist es nicht. Ich habe mir angesehen, was Summers sagt, er sagt nur, dass das Vakuum in Bezug auf die lokalen Observablen in zwei getrennten Regionen verschränkt ist. Für ein freies Feld ist dies dasselbe wie die Verschränkung, wenn Sie den unverschränkten k-Zustand in die x-Zustandsfeldbasis drehen. Es ist eine nicht so aufschlussreiche Aussage.
Betrachten Sie eine Raumzeitregion. Wenn man den Vakuumzustand auf die Algebra der Observablen beschränkt, die in diesem Bereich unterstützt werden, was ist die resultierende Dichtematrix?
@jjcale: Es ist immer noch ein reiner Zustand ψ , also eine Dichtematrix vom Rang 1 ρ = ψ ψ
Wieso den ? Würde das nicht bedeuten, dass es keinen Unruh-Effekt gibt?
@jjcale: Der Unruh-Effekt kann nicht durch Überlagerungen beschrieben werden. Beschleunigte Beobachter sehen einen anderen Hilbertraum. Die Verbindung erfolgt über kohärente Zustände, die durch einheitlich nicht implementierbare Bogoliubov-Transformationen definiert sind.
Haben Sie Referenzen für Ihre Ansprüche? Was bedeutet "anderer Hilbertraum"? Alle trennbaren Hilbert-Räume sind isomorph. Laut math.univ-lille1.fr/~debievre/Talks/unruhrolla09A.pdf: "Beschränkt auf den Rindler-Keil hat der Minkowski-Grundzustand thermische Eigenschaften"
@jjcale: Es bedeutet einen Hilbert-Raum mit einer einheitlich inäquivalenten Darstellung der Feldalgebra. Dies wird in der algebraischen Quantenfeldtheorie unter dem Label der Superselektionssektoren diskutiert. (Der einfachste Fall ist, dass es sinnlos ist, Superpositionen zwischen einem Boson- und einem Fermion-Zustand zu bilden, da die Rotationsgruppe nicht dazu gebracht werden kann, konsistent auf die Superposition einzuwirken.) Unterschiedlicher Grundzustand bedeutet unterschiedlicher Superselektionssektor. Eine Referenz finden Sie unter arxiv.org/abs/hep-th/9906181 (Randbedingungen im Unruh-Problem von Narozhny et al.).
@jjcale: Wenn Sie weitere Diskussionen darüber wünschen, stellen Sie bitte eine neue Frage und verlinken Sie von hier aus darauf.
Ihre Referenz ist nicht Mainstream: Die Autoren glauben nicht an den Unruh-Effekt. Dass aber die Beschränkung des Vakuums auf einen Rindlerkeil ein thermischer Zustand ist, ist für freie Felder bewiesen. Lediglich die physikalische Deutung ist umstritten.
@jjcale: Aber der thermische Zustand lebt in einer anderen Darstellung der C ^ * -Algebra und kann daher nicht als gemischter Zustand der Vakuumdarstellung interpretiert werden. Das bedeutet, dass der Unruh-Effekt als solcher nur in einer Version mit Cutoff interpretierbar ist. Beachten Sie auch, dass durch die GNS-Konstruktion jeder Zustand (einschließlich thermischer Zustände) in einem gewissen Hilbert-Raum als reiner Zustand angesehen werden kann. Daher ist viel mehr Präzision erforderlich, um die Frage richtig zu diskutieren.
Sie irren sich: Siehe zB arxiv.org/pdf/0802.1854v2.pdf: "wenn der Vakuumzustand für jeden Keil W auf R (W) beschränkt ist ..." und viele andere Literatur.

Für ein nicht-wechselwirkendes Quantenfeld ist die gesamte mathematische Struktur von rein Gaußschen VEVs, das heißt der Vakuumzustand, im 2-Punkt-VEV enthalten, was für das KG-Feld die Verteilung ist

0 | ϕ ^ ( x + j ) ϕ ^ ( j ) | 0 = m θ ( x 2 ) 8 π x 2 [ Y 1 ( m x 2 ) + ϵ ( x 0 ) ich J 1 ( m x 2 ) ] ϵ ( x 0 ) ich 4 π δ ( x 2 )
+ m θ ( x 2 ) 4 π 2 x 2 K 1 ( m x 2 ) .
Die zweite Zeile gibt die Korrelationsfunktion bei raumartiger Trennung an, wo gemeinsame Messungen immer möglich sind, während bei zeitartiger oder lichtartiger Trennung der Imaginärteil der ersten Zeile dazu führt, dass Messungen nicht kompatibel sind. Die Messungsinkompatibilität führt natürlich zu Problemen, denen man nicht leicht einen intuitiven Glanz verleiht, aber das Obige zeigt die Art der Korrelationen für den Freifeldfall.

Der Bessel-Funktionsterm bei raumartiger Trennung ist 1 4 π 2 ( x 2 ) bei klein x , während es asymptotisch wird 2 m π 3 x 2 3 exp ( m x 2 ) 8 für groß x .

Für wechselwirkende Felder hat die 2-Punkt-Funktion immer eine vergleichbare Form, verschmiert durch eine Massendichte, die Källén-Lehmann-Darstellung , aber VEVs höherer Ordnung sind relativ nicht trivial.

Danke für die Antwort! Also die Staaten ϕ ( x ) | 0 (lokalisiert bei x) und ϕ ( x + j ) | 0 (lokalisiert bei x+y) in dem durch die Formel angegebenen Ausmaß korreliert. Mein Verständnis der maximalen Verschränkung des Vakuums war, dass Sie jeden bei x + y lokalisierten Zustand nehmen und ihn konstruieren könnten, indem Sie Operatoren lokal zu x auf das Vakuum anwenden (OK, wir sollten wirklich über Regionen und Verschmieren sprechen, aber nehmen Sie das als gelesen ). Gibt es eine Möglichkeit, dies im Fall KG explizit zu demonstrieren?
@twistor59 Entschuldigung, aber ich werde ein paar Haare spalten. ϕ ^ ( x ) | 0 ist eine vektorwertige Verteilung, kein Zustand. Ein Zustand ist eine positive Karte wie z EIN ^ 0 | ϕ ^ f EIN ^ ϕ ^ f | 0 . Ein Zustand ist kein lokales Objekt in dem Sinne, dass er Ihnen mitteilt, welche Ergebnisse Sie erwarten würden, wenn Sie eine lokale Messung durchführen, z EIN ^ , wo auch immer diese Messung durchgeführt wird.
@ twistor59 Das Reeh-Schlieder-Theorem, von dem Sie sprechen, ist subtil. Es besagt, dass, wenn wir Vektoren konstruieren, die nur lokale Operatorwertverteilungen verwenden ϕ ^ ( x ) wirkt auf den Vakuumvektor, mit x in irgendeiner Region Ö , ist dieser Vektorraum ein dichter Unterraum des gesamten Hilbert-Raums. Für jeden gegebenen Vektor im Hilbert-Raum können wir ihn also so gut annähern , wie wir möchten, indem wir nur Ressourcen verwenden, in denen wir konstruieren können Ö . Dazu muss man im Vakuumzustand "die kleinen, aber nicht verschwindenden Fernkorrelationen vernünftig ausnutzen" (Haag, Local Q Physics, II.5.3).
Danke Peter. Ich denke, ich muss mich ein wenig über die rigorose QFT im Wightman-Stil informieren, um mich besser an die Terminologie zu gewöhnen! Ja, es war das Reeh-Schlieder-Theorem, von dem ich sprach. Ich bekomme jedoch den Ausdruck, dass seine Aussagen im Bereich von Existenzbeweisen bleiben - dh sie können nicht in Bezug auf die "Chug and Plug" -Berechnungen der elementaren QFT explizit gemacht werden?
Die einzigen Felder in 3+1, die als Wightman-Felder bekannt sind, sind freie Quantenfelder, also insofern ja. Es wäre schön, Regularisierung und Renormalisierung mit ausreichender Genauigkeit konstruieren zu können, um zu entscheiden, ob ein Reeh-Schlieder-ähnliches Theorem für "Chug and Plug" -Interaktions-QFTs erfüllt ist (auch bekannt als Lagrange-QFT, höre ich, aber ich würde niemals anrufen sie "elementar")).
@twistor59: Das rigorose Theorem ist nicht so überraschend, und diese Antwort ist zu formell.