Gibt es irgendein Theorem, das darauf hindeutet, dass QM+SR eine Operatortheorie sein muss?


AKTUALISIEREN

Um meine Frage zu präzisieren, werde ich definieren, was ich unter einer Operatortheorie verstehe:

  • Eine Operatortheorie ist eine Theorie, in der die dynamischen Objekte Operatoren sind, dh die Bewegungsgleichungen werden Operatoren auferlegt.

  • Eine Wellenfunktionstheorie hingegen ist eine Theorie, in der die dynamischen Objekte Funktionen der Raumzeit sind, dh den Funktionen die Bewegungsgleichungen auferlegt werden.

In Wellenfunktionstheorien haben wir Differentialoperatoren (z. B. ich ), aber diese sind nicht dynamisch, daher gibt es eine klare Unterscheidung zwischen einem Operator und einem Differentialoperator. Um die Unterscheidung deutlicher zu machen, platziere ich Hüte ^ über dynamische Operatoren.


In den Anfängen der alten (nicht-relativistischen) Quantentheorie entwickelte Heisenberg eine Theorie, in der die fundamentalen Objekte Operatoren waren, nämlich die Orts- und Impulsoperatoren:

(QM.1) ich d d t X ^ ( t ) = [ X ^ , H ^ ] ich d d t P ^ ( t ) = [ P ^ , H ^ ]

Etwa ein Jahr später veröffentlichte Schrödinger eine neue Theorie, in der das fundamentale Objekt nur eine Funktion der Raumzeit ist:

(QM.2) ich t ψ ( x ) = 1 2 m Δ ψ ( x ) + v ( x ) ψ ( x )

Später bewies Schrödinger, dass die beiden Formulierungen tatsächlich äquivalent sind .

Heutzutage haben wir QFT, eine Operatortheorie , weil die Bewegungsgleichungen Feldern, dh Operatoren, auferlegt werden. Zum Beispiel ein Skalarfeld ϕ ^ entwickelt sich durch

(QFT.1) ich d d t ϕ ^ ( x ) = [ ϕ ^ , H ^ ] ich d d t π ^ ( x ) = [ π ^ , H ^ ]
wo π ^ ist das zu konjugierte Feld ϕ ^ .

Mir erscheint es mehr oder weniger selbstverständlich, nach einem möglichen zu fragen ( Q F T .2 ) , dh eine Formulierung der QFT als Wellenfunktionstheorie :

nicht relativistisch relativistisch Operatortheorie ( Q M .1 ) ( Q F T .1 ) Wellenfunktionstheorie ( Q M .2 ) ? ?

IMHO gehören funktionale Methoden (dh Pfadintegrale) zu einer Operatorsicht. Ich glaube, es ist nicht möglich, Pfadintegrale zu verwenden, um zum Beispiel Streuamplituden zu berechnen, ohne früher oder später Operatoren zu verwenden, was bedeutet, dass Pfadintegrale nicht wirklich in die passen ? ? Slot.

Meine Frage(n) :

  • Hat jemand etwas Ähnliches wie Schrödinger getan, im Sinne einer Neuformulierung von QFT unter ausschließlicher Verwendung von Funktionen der Raumzeit und Differentialoperatoren? Gibt es eine Theorie der relativistischen Quantenmechanik, in der die Formalismen aus PDEs bestehen?

  • Wenn die Antwort auf die erste Frage lautet, dass es bis heute keine Wellenfunktionstheorie gibt, gibt es dann einen Grund zu der Annahme, dass es nie eine geben wird? Ich meine: Gibt es ein No-Go-Theorem oder ein Argument, das darauf hindeutet, dass es unmöglich ist, QFT als Wellenfunktionstheorie zu formulieren?


Meine Gedanken dazu

Jede relativistische Wechselwirkungstheorie muss in der Lage sein, Phänomene der Schöpfung/Vernichtung zu beschreiben, was Operatoren leicht tun (durch a , a ). Aber eine einzelne Wellenfunktion muss eine feste Anzahl von Raum-Zeit-Argumenten haben, also muss die Anzahl der Teilchen fest sein. Das bedeutet, dass eine Wellenfunktion nicht ausreicht.

Eine Wellenfunktions-Wechselwirkungstheorie muss also aus unendlich vielen Wellenfunktionen mit jeweils unterschiedlich vielen Raum-Zeit-Argumenten bestehen:

ψ ( x 1 ) ψ ( x 1 , x 2 ) ψ ( x 1 , x 2 , x 3 )
was bedeutet, dass wir eine unendliche Anzahl von PDEs haben müssen, einen für jeden ψ . Und die Lösungen müssen mit der Operatorformulierung der QFT konsistent sein, dh wir müssen beweisen, dass die neue Formulierung mit der alten äquivalent ist.

Ich glaube, dass der einfachere Weg, dies zu archivieren, darin besteht, die Korrelationsfunktionen von QFT (bzw n -Punkt-Funktionen)

ψ ( x 1 ) = ϕ ^ ( x 1 ) ψ ( x 1 , x 2 ) = ϕ ^ ( x 1 ) ϕ ^ ( x 2 ) ψ ( x 1 , x 2 , x 3 ) = ϕ ^ ( x 1 ) ϕ ^ ( x 2 ) ϕ ^ ( x 3 )

Damit sollte es prinzipiell möglich sein, die PDE's für die zu finden ψ ist in Bezug auf die PDE's für ϕ ^ . Das heißt, wir sollten verwenden ( 2 + m 2 ) ϕ ^ = j ^ bekommen

Ö 1   ψ ( x 1 ) = J ( x 1 ) Ö 2   ψ ( x 1 , x 2 ) = J ( x 1 , x 2 ) Ö 3   ψ ( x 1 , x 2 , x 3 ) = J ( x 1 , x 2 , x 3 )
für einige Differentialoperatoren Ö ich und einige Quellen J . Sobald wir das Passende gefunden haben Ö ich , J , wird es keinen expliziten Verweis auf einen Operator geben, und wir verwenden nur Wellenfunktionen (natürlich haben diese Wellenfunktionen nicht die gleiche probabilistische Interpretation der nicht-relativistischen QM, aber das ist irrelevant: Der Punkt ist zu finden eine äquivalente Formulierung von QFT, die nur Funktionen der Raumzeit verwendet).

Ich weiß nicht, ob das viel Sinn macht oder ob es einen besseren Ansatz gibt. Jeder Kommentar wird geschätzt.

Diese Frage ist sehr vage und schlecht definiert. Damit es ein "Theorem" geben kann, müssten Sie genaue Vorstellungen von "Wellenfunktionstheorie" und "Operatortheorie" haben. Wie Sie sagen, sind diese beiden Begriffe im QM nur äquivalente Ausdrücke füreinander. Es ist nicht so, dass der eine Operatoren hat und der andere nicht, sie konzentrieren sich nur auf verschiedene Aspekte. Zu sagen "In der Wellenmechanik brauchen wir keine Operatoren" ist einfach lächerlich, eine PDE ist nichts anderes als ein (Differential-)Operator, der auf einen Zustand in angewendet wird L 2 ( R n ) . Sie können das Wort "Operator" vermeiden, aber es ist da.
Ich habe die genaue Bedeutung von "Wellenfunktionstheorie" und "Operatortheorie" nicht spezifiziert, weil ich annehme, dass diejenigen, die diese Frage beantworten können, verstehen, was diese Begriffe bedeuten. Wenn Ihr Problem mit meiner Frage auf den Wortlaut angewiesen ist, können Sie "Theorem" durch "theoretische Beweise" oder ähnliches ersetzen.
1. Kennen Sie den Wellenfunktionsformalismus für QFT? 2. Die Begriffe haben meines Erachtens keine genaue Bedeutung. "Operatortheorie" könnte sich mehr mit abstrakten Hilbert-Räumen befassen, während "Wellenfunktionstheorie" es vorziehen könnte, einen herausragenden wie diesen auszuwählen L 2 ( R n ) , aber nun, ich verstehe wirklich nicht, wie diese beiden Ansätze jemals nicht gleichwertig sein könnten, weil sie sich nur darin unterscheiden, wie Sie die symbolischen Manipulationen durchführen, nicht im physischen Inhalt.
Ich bin nicht. Diese Art von Antworten habe ich erwartet, also danke. Gibt es einen kanonischen Hinweis auf den Wellenfunktionsformalismus?
Vielleicht gibt es Hinweise darauf, dass der Hilbert-Raum der QFT niemals isomorph zu ist L p , was ein vollkommen vernünftiger "Beweis" dafür wäre, dass QFT nicht als Wellenfunktionstheorie umformuliert werden kann. Ihre Antwort deutet jedoch darauf hin, dass dies nicht der Fall ist.
Da die Schrödinger-Gleichung nur dann eine Funktion der Raumzeit ist, wenn es im gesamten Universum ein einzelnes Teilchen gibt, warum sollte die spezielle Relativitätstheorie sie selbst in eine Funktion der Raumzeit umwandeln? In der QFT wird der Funktionenraum der Raumzeit zum Konfigurationsraum.
@AccidentalFourierTransform, vielleicht möchten Sie sich die Schwinger-Dyson-Gleichung ansehen, die im Grunde genau das ist, was Sie vorgeschlagen haben, dh Bewegungsgleichungen für Korrelationsfunktionen. Es wird in den meisten QFT-Büchern nicht behandelt, da es alt ist, aber das neue QFT-Buch von Schwartz enthält einige Seiten.
@knzhou Ich werde es auf jeden Fall überprüfen! vielen Dank für deinen Kommentar (und dein Kopfgeld)!
Hallo @knzhou, ich habe diese Frage gerade noch einmal gelesen und festgestellt, dass Ihr Kommentar zu den Schwinger-Dyson-Gleichungen genau das ist, wonach ich gesucht habe. Seitdem Sie sie erwähnt haben, benutze ich sie oft und ich bin Ihnen wirklich dankbar, dass Sie sie mir vorgestellt haben. Wann immer Sie Zeit haben, denken Sie bitte daran, eine Antwort zu posten, die sie kurz erklärt :-)

Antworten (2)

Was Sie eine Operatortheorie nennen, wird normalerweise das Heisenberg-Bild der Quantenmechanik genannt. Was Sie eine Wellenfunktionstheorie nennen, wird gewöhnlich das Schrödinger-Bild der Quantenmechanik genannt.

Es ist bekannt, dass für jedes quantenmechanische Modell das Heisenberg-Bild und das Schrödinger-Bild durch eine duale Beschreibung völlig gleichwertig sind, solange man Zeitkorrelationen nicht berücksichtigt.

Dies gilt daher auch für Quantenfeldtheorien, die Sonderfälle von Quantentheorien sind. Im Schrödinger-Bild der Quantenfeldtheorie nimmt die gewöhnliche Schrödinger-Gleichung die Form einer funktionalen Schrödinger-Gleichung an. Hier werden Zustände einer QFT als Funktionale der Feldkoordinaten behandelt, genauso wie Zustände in der QM als Funktionen der Ortskoordinaten behandelt werden. Eine gründliche Diskussion des funktionalen Schrödinger-Bildes findet sich in dem Artikel von Jackiw, Analysis on infinite dimensional mannigfaltigkeiten: Schrödinger-Darstellung für quantisierte Felder (S. 78-143 des verlinkten Dokuments).

Andererseits ist das Heisenberg-Bild allgemeiner als das Schrödinger-Bild, da es die Diskussion von Zeitkorrelationen beobachtbarer Größen erlaubt. Dies ist wichtig in der statistischen Mechanik und wesentlich für das Studium der Quantenfeldtheorie in endlicher Zeit durch den Formalismus des engen Zeitpfads (CTP). Zu letzterem siehe zB Introduction to the nonequilibrium Functional Renormalization Group von Berges.

Wie in den Kommentaren erwähnt, ist der Fall der relativistischen 4D-QFT etwas eigenartig, da es immer noch ungelöste grundlegende Probleme im Zusammenhang mit der nicht-perturbativen Renomalisierung gibt. Wie Dirac sagt, agieren die „Operatoren“ im Heisenberg-Bild nicht mehr im Fock-Raum, also gibt es kein Fock-Raum-Schrödinger-Bild. Allerdings, und das sagt Dirac nicht, liefert das Heisenberg-Bild (vermutlich nur in niedrigeren Dimensionen bewiesen) eine gültige Operatorbeschreibung in einem anderen Hilbert-Raum, und mit dem Zeitgenerator der entsprechenden unitären Darstellung der Poincare-Gruppe erhält man a entsprechendes Schrödinger-Bild auf diesem renormierten Hilbert-Raum.

(+1) Vielen Dank für deine Antwort. Ich lese gerade Ihre erste Referenz und sie sieht sehr gut aus. Wie auch immer, ich würde gerne Ihre Meinung zu Diracs Artikel Quantenelektrodynamik ohne totes Holz hören , in dem er darauf hinweist, dass Heisenberg & Schrödinger-Bilder tatsächlich nicht gleichwertig sind. Was denkst du darüber?
@AccidentalFourierTransform: Das Heisenberg-Bild ist das grundlegendere. Das Schrödinger-Bild ist nicht äquivalent, da es nicht mehrere Male aufnehmen kann. Für Erwartungen, die nur von einer einzigen Zeit abhängen, sind die beiden Bilder jedoch völlig äquivalent, wenn man einen ausreichend allgemeinen Begriff des Zustands annimmt, und zwar durch ein einfaches Dualitätsargument, das in vielen Büchern vorgetragen wird.
@AccidentalFourierTransform: Diracs Arbeit befasst sich auch mit den noch ungelösten Problemen der relativistischen Quantenfeldtheorie. Die offensichtliche Nichtäquivalenz, die für QED angegeben wird, ist auf das Ignorieren von Renormalisierungsproblemen in der Schrödinger-Version zurückzuführen. Dies ist jedoch kein grundlegendes Merkmal, sondern ein Fehler des jeweils gewählten Hamilton-Operators.
@AccidentalFourierTransform: In meinen Worten sagt Dirac, dass er weiß, wie man das Heisenberg-Bild renormiert, aber nicht, wie man das Schrödinger-Bild renormiert (wo er nur die naive Version präsentiert), und kommt etwas voreilig zu dem Schluss, dass nur ersteres für Quantenfelder verwendet werden kann .

Es gibt tatsächlich eine Theorie von Differentialoperatoren, die auf Wellenfunktionen (oder genauer gesagt Wellenfunktionen) angewendet werden, den Schrödinger-Funktionsformalismus, obwohl er in den meisten Anwendungen nicht häufig verwendet wird. Es wird durch ein Wellenfunktional zu einem Zeitpunkt t definiert

Ψ [ ϕ ( x ) , t ]

Worauf wirken Differentialoperatoren, definiert durch

ϕ ^ Ψ [ ϕ ( x ) , t ] = ϕ Ψ [ ϕ ( x ) , t ] π ^ Ψ [ ϕ ( x ) , t ] = ich δ δ ϕ ( x ) Ψ [ ϕ ( x ) , t ]

Würden Sie diese Antwort bitte mit einer Referenz unterstützen?
Hier ist ein Beispiel: arxiv.org/abs/hep-th/0012084
Dieses funktionale Schroedinger-Bild wird ausführlich unter physicaloverflow.org/22145 und den dortigen verwandten Threads diskutiert.