Axiomatische Quantenfeldtheorie: Unterschied zwischen den Versionen

Axiomatische Quantenfeldtheorie: Unterschied zwischen den Versionen

109.40.0.172 (Diskussion)
 
imported>UdalricusS
(Verlinkung zu den von mir erstellten Artikel über die Wightman-Axiome)
 
Zeile 5: Zeile 5:
== Frühe axiomatische Quantenfeldtheorie ==
== Frühe axiomatische Quantenfeldtheorie ==
=== Feldoperatoren ===
=== Feldoperatoren ===
Die axiomatischen Beschreibungen der Quantenfeldtheorie basieren auf dem [[Heisenberg-Bild]] der [[Quantenmechanik]], in dem die Zustände als raumzeitunabhängig betrachtet werden, während die Operatoren raumzeitabhängig sind. Die Quantenfelder werden also als raumzeitabhängige Feldoperatoren beschrieben.
Die axiomatischen Beschreibungen der Quantenfeldtheorie basieren auf dem [[Heisenberg-Bild]] der [[Quantenmechanik]], in dem die Zustände als [[raumzeit]]<nowiki/>unabhängig betrachtet werden, während die Operatoren raumzeitabhängig sind. Die Quantenfelder werden also als raumzeitabhängige Feldoperatoren beschrieben.


Schon früh wurden hierbei zwei Probleme deutlich. Ein Feld kann Singularitäten besitzen, so dass eine Beschreibung als operatorwertige [[Funktion (Mathematik)|Funktion]] nicht angemessen ist. Außerdem lässt sich die Wirkung der Feldoperatoren nicht auf allen Zuständen definieren.
Schon früh wurden hierbei zwei Probleme deutlich:
# Ein Feld kann Singularitäten besitzen, so dass eine Beschreibung als operatorwertige [[Funktion (Mathematik)|Funktion]] nicht angemessen ist.
# Außerdem lässt sich die Wirkung der Feldoperatoren nicht auf allen Zuständen definieren.


Das erste Problem lässt sich lösen, indem die Feldoperatoren als operatorwertige [[Distribution (Mathematik)|Distributionen]] aufgefasst werden. Distributionen sind allgemeinere Objekte als Funktionen, die insbesondere eine einfache Behandlung von Singularitäten ermöglichen. Ein Distributionsraum ist immer zu einem zugehörigen Funktionsraum, dem sogenannten Testfunktionenraum definiert, und bildet jede Testfunktion auf eine Zahl bzw. hier einen Operator ab. In der Quantenfeldtheorie werden schnell abfallende Funktionen von Raum und Zeit als Testfunktionen gewählt.
Das erste Problem lässt sich lösen, indem die Feldoperatoren als operatorwertige [[Distribution (Mathematik)|Distributionen]] aufgefasst werden. Distributionen sind allgemeinere Objekte als Funktionen, die insbesondere eine einfache Behandlung von Singularitäten ermöglichen. Ein Distributionsraum ist immer zu einem zugehörigen Funktionsraum, dem [[Testfunktion]]en<nowiki/>raum, definiert und bildet jede Testfunktion auf eine Zahl bzw. hier einen Operator ab. In der Quantenfeldtheorie werden schnell abfallende Funktionen von Raum und Zeit als Testfunktionen gewählt.


Zur Lösung des zweiten Problems wird – ebenso wie bei den [[Observable]]n der Quantenmechanik – angenommen, dass die Feldoperatoren nur auf einem [[Dichte Teilmenge|dichten]] Teilraum des Hilbertraums definiert sind. Die Operatoren werden dann als ''[[Dicht definierter Operator|dicht definiert]]'' bezeichnet.
Zur Lösung des zweiten Problems wird – ebenso wie bei den [[Observable]]n der Quantenmechanik – angenommen, dass die Feldoperatoren nur auf einem [[Dichte Teilmenge|dichten Teilraum]] des [[Hilbertraum]]s definiert sind. Die Operatoren werden dann als ''[[Dicht definierter Operator|dicht definiert]]'' bezeichnet.


Die erste axiomatische Beschreibung von Quantenfeldtheorien, die diese Aspekte beinhaltete, wurde von [[Lars Gårding]] und [[Arthur Strong Wightman]] in Form der [[Gårding-Wightman-Axiome]] entwickelt.<ref>A. S. Wightman: ''Les Problèmes mathématiques de la théorie quantique des champs'', Centre National de la Recherche Scientifique, Paris (1959), Seite 11-19</ref><ref>A. S. Wightman, L. Gårding: ''Fields as Operator-Valued Distributions in Quantum Field Theory''</ref>
Die erste axiomatische Beschreibung von Quantenfeldtheorien, die diese Aspekte beinhaltete, wurde von [[Lars Gårding]] und [[Arthur Strong Wightman]] in Form der [[Wightman-Axiome|Gårding-Wightman-Axiome]] entwickelt.<ref>A. S. Wightman: ''Les Problèmes mathématiques de la théorie quantique des champs'', Centre National de la Recherche Scientifique, Paris (1959), Seite 11–19</ref><ref>A. S. Wightman, L. Gårding: ''Fields as Operator-Valued Distributions in Quantum Field Theory''</ref>


=== Zustandsraum ===
=== Zustandsraum ===
Der Zustandsraum wird wie in der Quantenmechanik als [[Hilbertraum]] angenommen. In der Quantenfeldtheorie werden jedoch besondere Hilberträume, sogenannte [[Fockraum|Fockräume]] als Zustandsräume angenommen. Diese Hilberträume sind ähnlich dem Zustandsraum des [[Harmonischer Oszillator (Quantenmechanik)|quantenmechanischen harmonischen Oszillators]] und es lassen sich analog Auf- und Absteigeoperatoren definieren. Außerdem gibt es in Fockräumen einen eindeutigen Grundzustand.
Der Zustandsraum wird wie in der Quantenmechanik als [[Hilbertraum]] angenommen. In der Quantenfeldtheorie werden jedoch besondere Hilberträume, sogenannte [[Fockraum|Fockräume]] als Zustandsräume angenommen. Diese Hilberträume sind ähnlich dem Zustandsraum des [[Harmonischer Oszillator (Quantenmechanik)|quantenmechanischen harmonischen Oszillators]] und es lassen sich analog Auf- und Absteigeoperatoren definieren. Außerdem gibt es in Fockräumen einen eindeutigen Grundzustand.


Das skalare Feld wird durch die [[Klein-Gordon-Gleichung]] beschrieben, deren Lösungen denen des harmonischen Oszillators entsprechen. Man erhält eine Sammlung von harmonischen Oszillatoren mit den Frequenzen <math>\omega_k = \sqrt{k^2 + m^2}</math> beschrieben, wobei ''m'' die Masse und ''k'' der Impuls des Feldes ist. Da der Impulsbetrag jede positive reelle Zahl sein kann erhält man auf diese Weise unendlich viele Oszillatoren, aus denen das skalare Feld zusammengesetzt ist. Der Grundzustand oder das ''Vakuum'' des Fockraums ist der Zustand, in dem alle harmonischen Oszillatoren im Grundzustand sind. Alle anderen Zustände erhält man durch Anwendung von Produkten von Aufsteigeoperatoren auf das Vakuum.
Das skalare Feld wird durch die [[Klein-Gordon-Gleichung]] beschrieben, deren Lösungen denen des harmonischen Oszillators entsprechen. Man erhält eine Sammlung von harmonischen Oszillatoren mit den Frequenzen <math>\omega_k = \sqrt{k^2 + m^2}</math>, wobei ''m'' die Masse und ''k'' der Impuls des Feldes ist. Da der Impulsbetrag jede positive reelle Zahl sein kann, erhält man auf diese Weise unendlich viele Oszillatoren, aus denen das skalare Feld zusammengesetzt ist. Der Grundzustand oder das ''Vakuum'' des Fockraums ist der Zustand, in dem alle harmonischen Oszillatoren im Grundzustand sind. Alle anderen Zustände erhält man durch Anwendung von Produkten von Aufsteigeoperatoren auf das Vakuum.


=== N-Punkt-Funktionen ===
=== N-Punkt-Funktionen ===
Wightman entwickelte die axiomatische Theorie weiter, indem er feststellte, dass sich eine Quantenfeldtheorie eindeutig durch ihre N-Punkt-Funktionen beschreiben lässt. Eine N-Punkt-Funktion ist der Erwartungswert des Produkts von N Feldoperatoren in einem Zustand des Fockraums. Diese Objekte sind also Distributionen in N Argumenten, sie bilden also N Testfunktionen auf eine Zahl ab. Aufgrund des [[Kernsatz von Schwartz|Nuklearsatzes]] von [[Laurent Schwartz]] lässt sich jeder Distribution in N Argumenten eindeutig eine Distribution von Testfunktionen in N Variablen zuordnen, was die mathematische Behandlung erheblich vereinfacht.
Wightman entwickelte die axiomatische Theorie weiter, indem er feststellte, dass sich eine Quantenfeldtheorie eindeutig durch ihre N-Punkt-Funktionen beschreiben lässt. Eine N-Punkt-Funktion ist der Erwartungswert des Produkts von N Feldoperatoren in einem Zustand des Fockraums. Diese Objekte sind also Distributionen in N Argumenten, sie bilden also N Testfunktionen auf eine Zahl ab. Aufgrund des [[Kernsatz von Schwartz|Nuklearsatzes]] von [[Laurent Schwartz]] lässt sich jeder Distribution in N Argumenten eindeutig eine Distribution von Testfunktionen in N Variablen zuordnen, was die mathematische Behandlung erheblich vereinfacht.


Aus den Axiomen für die Feldoperatoren und den Zustandsraum folgerte Wightman einen Satz von Eigenschaften der N-Punkt-Funktionen. Werden diese Eigenschaften für N-Punkt-Funktionen vorausgesetzt, lassen sich daraus der Zustandsraum und die Feldoperatoren rekonstruieren. Die Eigenschaften die die N-Punkt-Funktionen dazu erfüllen müssen, werden als [[Wightman-Axiome]] bezeichnet. N-Punkt-Funktionen, die diese Axiome erfüllen, werden als Wightmanfunktionen bezeichnet, obwohl sie eigentlich Distributionen sind.
Aus den Axiomen für die Feldoperatoren und den Zustandsraum folgerte Wightman einen Satz von Eigenschaften der N-Punkt-Funktionen. Werden diese Eigenschaften für N-Punkt-Funktionen vorausgesetzt, lassen sich daraus der Zustandsraum und die Feldoperatoren rekonstruieren. Die Eigenschaften, die die N-Punkt-Funktionen dazu erfüllen müssen, werden als [[Wightman-Axiome]] bezeichnet. N-Punkt-Funktionen, die diese Axiome erfüllen, werden als Wightmanfunktionen bezeichnet, obwohl sie eigentlich Distributionen sind.


Ein Satz von Wightmanfunktionen bestimmt über den Rekonstruktionssatz eindeutig eine Quantenfeldtheorie. Damit ist es möglich, eine Quantenfeldtheorie ohne Angabe von Feldoperatoren oder eines Fockraums zu definieren.
Ein Satz von Wightmanfunktionen bestimmt über den Rekonstruktionssatz eindeutig eine Quantenfeldtheorie. Damit ist es möglich, eine Quantenfeldtheorie ohne Angabe von Feldoperatoren oder eines Fockraums zu definieren.


=== Kausale Störungstheorie ===
=== Kausale Störungstheorie ===
Die bisher beschriebenen Ansätze können keine wechselwirkenden Quantenfeldtheorien beschreiben. Insbesondere die Ergebnisse der [[Renormierung|renormierten]] [[Störungstheorie (Quantenfeldtheorie)|Störungstheorie]] können damit nicht reproduziert werden. Die Physiker Henri Epstein und [[Vladimir Jurko Glaser]] entwickelten 1973 mit der [[FQFT|kausalen Störungstheorie]] ein Verfahren, das es ermöglichte, in mathematisch wohldefinierter Weise eine renormierte Störungstheorie für wechselwirkende Quantenfeldtheorien zu entwickeln.<ref>Henri Epstein, Vladimir Jurko Glaser: ''The role of locality in perturbation theory'', Annales Poincaré Phys. Theor. A19, S.211, 1973</ref> In ihrer ursprünglichen Arbeit untersuchten sie nur [[spin]]lose, skalare Felder, doch inzwischen wurde ihr Ansatz auf andere Theorien, insbesondere auf [[Eichtheorie]]n wie die [[Quantenelektrodynamik]] erweitert.
Die bisher beschriebenen Ansätze können keine wechselwirkenden Quantenfeldtheorien beschreiben. Insbesondere die Ergebnisse der [[Renormierung|renormierten]] [[Störungstheorie (Quantenfeldtheorie)|Störungstheorie]] können damit nicht reproduziert werden. Die Physiker Henri Epstein und [[Vladimir Jurko Glaser]] entwickelten 1973 mit der [[FQFT|kausalen Störungstheorie]] ein Verfahren, das es ermöglichte, in mathematisch wohldefinierter Weise eine renormierte Störungstheorie für wechselwirkende Quantenfeldtheorien zu entwickeln.<ref>Henri Epstein, Vladimir Jurko Glaser: ''The role of locality in perturbation theory'', Annales Poincaré Phys. Theor. A19, S. 211, 1973</ref> In ihrer ursprünglichen Arbeit untersuchten sie nur [[spin]]lose, skalare Felder, doch inzwischen wurde ihr Ansatz auf andere Theorien, insbesondere auf [[Eichtheorie]]n wie die [[Quantenelektrodynamik]] erweitert.


== Algebraische Quantenfeldtheorie ==
== Algebraische Quantenfeldtheorie ==
[[Irving Segal]] hatte bereits in den späten 1940er Jahren die Vermutung aufgestellt, dass sich Quantenmechanik und Quantenfeldtheorie mittels [[C*-Algebra|C*-Algebren]] beschreiben lassen könnten. Eine genaue Formulierung gelang ihm jedoch nicht.
[[Irving Segal]] hatte bereits in den späten 1940er Jahren die Vermutung aufgestellt, dass sich Quantenmechanik und Quantenfeldtheorie mittels [[C*-Algebra|C*-Algebren]] beschreiben lassen könnten. Eine genaue Formulierung gelang ihm jedoch nicht.


[[Hans-Jürgen Borchers]] entdeckte 1961, dass den Wightmanfunktionen eine algebraische Struktur zugrunde liegt.<ref>H. J. Borchers: ''On the structure of the algebra of field operators'', Nuovo Cimento, 24 (1962), Seite 214-236</ref> Er konstruierte sogenannte Wightmanfunktionale, die aus Wightmanfunktionen für alle Argumentanzahlen N zusammengesetzt sind und formulierte für diese die Wightman-Axiome. Er entdeckte, dass die Wightmanfunktionale eine topologische *-Algebra bilden. Damit legte er den Grundstein für die Entwicklung einer rein algebraischen Beschreibung von Quantenfeldtheorien.
[[Hans-Jürgen Borchers]] entdeckte 1961, dass den Wightmanfunktionen eine algebraische Struktur zugrunde liegt.<ref>H. J. Borchers: ''On the structure of the algebra of field operators'', Nuovo Cimento, 24 (1962), Seite 214–236</ref> Er konstruierte sogenannte Wightmanfunktionale, die aus Wightmanfunktionen für alle Argumentanzahlen N zusammengesetzt sind, und formulierte für diese die Wightman-Axiome. Er entdeckte, dass die Wightmanfunktionale eine topologische *-Algebra bilden. Damit legte er den Grundstein für die Entwicklung einer rein algebraischen Beschreibung von Quantenfeldtheorien.


[[Rudolf Haag]] und [[Daniel Kastler]] untersuchten die algebraische Struktur der Quantenfeldtheorien weiter und formulierten 1964 die [[Haag-Kastler-Axiome]] für [[Netz (Topologie)|Netz]]e von C*-Algebren.<ref>R. Haag, D. Kastler: ''An Algebraic Approach to Quantum Field Theory'', Journal of Mathematical Physics, Volume 5, Number 7 (1964), Seite 848-861</ref> Sie definierten auch den Begriff des ''algebraischen Zustandes'' über einer C*-Algebra, der [[Linearform]]en auf der Algebra bezeichnet und den Begriff des Zustandes in einem Hilbertraum verallgemeinert. Mittels der [[GNS-Konstruktion]] lassen sich aus algebraischen Zuständen Darstellungen der C*-Algebren auf Hilberträumen konstruieren. Diese Darstellungen erfüllen die Gårding-Wightman-Axiome für Quantenfeldtheorien außer der Existenz eines Vakuums und der Forderung, dass der Zustandsraum ein Fockraum ist. Ein eindeutiges Vakuum ergibt sich für Zustände die eine bestimmte Eigenschaft erfüllen und als ''reine Zustände'' bezeichnet werden, während sogenannte ''quasifreie Zustände'' eine Darstellung in einem Fockraum induzieren. Weitere bedeutende Arbeiten zur algebraischen Quantenfeldtheorie wurden von [[Huzihiro Araki]] geleistet.
[[Rudolf Haag]] und [[Daniel Kastler]] untersuchten die algebraische Struktur der Quantenfeldtheorien weiter und formulierten 1964 die [[Haag-Kastler-Axiome]] für [[Netz (Topologie)|Netze]] von C*-Algebren.<ref>R. Haag, D. Kastler: ''An Algebraic Approach to Quantum Field Theory'', Journal of Mathematical Physics, Volume 5, Number 7 (1964), Seite 848–861</ref> Sie definierten auch den Begriff des ''algebraischen Zustandes'' über einer C*-Algebra, der [[Linearform]]en auf der Algebra bezeichnet und den Begriff des Zustandes in einem Hilbertraum verallgemeinert. Mittels der [[GNS-Konstruktion]] lassen sich aus algebraischen Zuständen Darstellungen der C*-Algebren auf Hilberträumen konstruieren. Diese Darstellungen erfüllen die Gårding-Wightman-Axiome für Quantenfeldtheorien außer der Existenz eines Vakuums und der Forderung, dass der Zustandsraum ein Fockraum ist. Ein eindeutiges Vakuum ergibt sich für Zustände, die eine bestimmte Eigenschaft erfüllen und als ''reine Zustände'' bezeichnet werden, während sogenannte ''quasifreie Zustände'' eine Darstellung in einem Fockraum induzieren. Weitere bedeutende Arbeiten zur algebraischen Quantenfeldtheorie wurden von [[Huzihiro Araki]] geleistet.


Aus ihren Axiomen folgerten Haag und Kastler, dass Quantenfeldtheorien, deren zugehörige C*-Algebren isomorph sind, ''physikalisch äquivalent'' sind, also bei einer Folge von Messungen dieselben Ergebnisse liefern. Damit konnte erstmals gezeigt werden, dass auch Darstellungen von Quantenfeldtheorien, die nicht [[Unitäre Äquivalenz|unitär äquivalent]] sind, physikalisch äquivalent sein können. Der Kernpunkt dieser Betrachtung ist das Lokalitätsaxiom, das von Borchers aus der Hilbertraumformulierung in die algebraische Quantenfeldtheorie überführt wurde.
Aus ihren Axiomen folgerten Haag und Kastler, dass Quantenfeldtheorien, deren zugehörige C*-Algebren isomorph sind, ''physikalisch äquivalent'' sind, also bei einer Folge von Messungen dieselben Ergebnisse liefern. Damit konnte erstmals gezeigt werden, dass auch Darstellungen von Quantenfeldtheorien, die nicht [[Unitäre Äquivalenz|unitär äquivalent]] sind, physikalisch äquivalent sein können. Der Kernpunkt dieser Betrachtung ist das Lokalitätsaxiom, das von Borchers aus der Hilbertraumformulierung in die algebraische Quantenfeldtheorie überführt wurde.


== Konstruktive Quantenfeldtheorie ==
== Konstruktive Quantenfeldtheorie ==
Ein Ansatz zur expliziten axiomatischen Konstruktion von Quantenfeldtheorien stammt von [[Konrad Osterwalder]] und [[Robert Schrader]].<ref>K. Osterwalder, R. Schrader: ''Axioms for Euclidean Green's functions I & II'', Comm. Math. Phys. 31 (1973), Seite 83-112; 42 (1975), Seite 281-305</ref> Sie entwickelten die sogenannten [[Osterwalder-Schrader-Axiome]], die eine Quantenfeldtheorie in einem euklidischen Raum erfüllen muss, damit sich daraus eine Quantenfeldtheorie im [[Minkowskiraum]] konstruieren lässt. Damit stellten sie die [[Wick-Rotation]] auf eine mathematische Grundlage.
Ein Ansatz zur expliziten axiomatischen Konstruktion von Quantenfeldtheorien stammt von [[Konrad Osterwalder]] und [[Robert Schrader]].<ref>K. Osterwalder, R. Schrader: ''Axioms for Euclidean Green's functions I & II'', Comm. Math. Phys. 31 (1973), Seite 83–112; 42 (1975), Seite 281–305</ref> Sie entwickelten die sogenannten [[Osterwalder-Schrader-Axiome]], die eine Quantenfeldtheorie in einem euklidischen Raum erfüllen muss, damit sich daraus eine Quantenfeldtheorie im [[Minkowskiraum]] konstruieren lässt. Damit stellten sie die [[Wick-Rotation]] auf eine mathematische Grundlage.


Es gab außerdem verschieden Bestrebungen, auf dieser Arbeit aufbauend, das [[Pfadintegral]] auf eine solide mathematische Basis zu stellen. Die Arbeit von [[Ludwig Streit]] und [[Sergio Albeverio]] zu diesem Thema wird als mathematisch konsistente Beschreibung von Pfadintegralen nicht wechselwirkender Quantenfeldtheorien angesehen. Sie greifen dabei auf den [[Stochastik|stochastischen]] Prozess des [[Weißes Rauschen|weißen Rauschens]] zurück.
Es gab außerdem verschiedene Bestrebungen, auf dieser Arbeit aufbauend, das [[Pfadintegral]] auf eine solide mathematische Basis zu stellen. Die Arbeit von [[Ludwig Streit]] und [[Sergio Albeverio]] zu diesem Thema wird als mathematisch konsistente Beschreibung von Pfadintegralen nicht wechselwirkender Quantenfeldtheorien angesehen. Sie greifen dabei auf den [[Stochastik|stochastischen]] Prozess des [[Weißes Rauschen (Physik)|weißen Rauschens]] zurück.


== Axiomatische S-Matrix-Theorie ==
== Axiomatische S-Matrix-Theorie ==
Einer der ersten Erfolge axiomatischer Ansätze in der Quantenfeldtheorie war die [[LSZ-Reduktionsformel]], die von [[Harry Lehmann]], [[Kurt Symanzik]] und [[Wolfhart Zimmermann]] abgeleitet wurde. Diese Formel ermöglicht es, die [[S-Matrix]] auf zeitgeordnete oder kausale n-Punkt-Funktionen zurückzuführen.
Einer der ersten Erfolge axiomatischer Ansätze in der Quantenfeldtheorie war die [[LSZ-Reduktionsformel]], die von [[Harry Lehmann (Physiker)|Harry Lehmann]], [[Kurt Symanzik]] und [[Wolfhart Zimmermann]] abgeleitet wurde. Diese Formel ermöglicht es, die [[S-Matrix]] auf zeitgeordnete oder kausale n-Punkt-Funktionen zurückzuführen.


Die axiomatische S-Matrix-Theorie verfolgte einen anderen Ansatzpunkt als die Arbeit von Wightman. [[Nikolai Nikolajewitsch Bogoljubow]], [[Konstantin Mikhaĭlovich Polivanov]] und [[B. V. Medvedev]] vertraten die Auffassung, dass die S-Matrix die einzige observable Größe in einer Quantenfeldtheorie darstelle und die Quantenfeldtheorie daher über die S-Matrix definiert werden müsse.
Die axiomatische S-Matrix-Theorie verfolgte einen anderen Ansatzpunkt als die Arbeit von Wightman. [[Nikolai Nikolajewitsch Bogoljubow]], [[Konstantin Mikhaĭlovich Polivanov]] und [[B. V. Medvedev]] vertraten die Auffassung, dass die S-Matrix die einzige observable Größe in einer Quantenfeldtheorie darstelle und die Quantenfeldtheorie daher über die S-Matrix definiert werden müsse.

Aktuelle Version vom 19. Februar 2021, 21:09 Uhr

Die axiomatische Quantenfeldtheorie ist ein Forschungsbereich der mathematischen Physik.

Der Begriff beschreibt verschiedene Ansätze, die Struktur der Quantenfeldtheorie mit mathematischen Mitteln zu beschreiben. Dabei wird meist versucht, einen möglichst kleinen Satz an Axiomen aufzustellen, aus denen die Eigenschaften der Quantenfeldtheorien folgen.

Frühe axiomatische Quantenfeldtheorie

Feldoperatoren

Die axiomatischen Beschreibungen der Quantenfeldtheorie basieren auf dem Heisenberg-Bild der Quantenmechanik, in dem die Zustände als raumzeitunabhängig betrachtet werden, während die Operatoren raumzeitabhängig sind. Die Quantenfelder werden also als raumzeitabhängige Feldoperatoren beschrieben.

Schon früh wurden hierbei zwei Probleme deutlich:

  1. Ein Feld kann Singularitäten besitzen, so dass eine Beschreibung als operatorwertige Funktion nicht angemessen ist.
  2. Außerdem lässt sich die Wirkung der Feldoperatoren nicht auf allen Zuständen definieren.

Das erste Problem lässt sich lösen, indem die Feldoperatoren als operatorwertige Distributionen aufgefasst werden. Distributionen sind allgemeinere Objekte als Funktionen, die insbesondere eine einfache Behandlung von Singularitäten ermöglichen. Ein Distributionsraum ist immer zu einem zugehörigen Funktionsraum, dem Testfunktionenraum, definiert und bildet jede Testfunktion auf eine Zahl bzw. hier einen Operator ab. In der Quantenfeldtheorie werden schnell abfallende Funktionen von Raum und Zeit als Testfunktionen gewählt.

Zur Lösung des zweiten Problems wird – ebenso wie bei den Observablen der Quantenmechanik – angenommen, dass die Feldoperatoren nur auf einem dichten Teilraum des Hilbertraums definiert sind. Die Operatoren werden dann als dicht definiert bezeichnet.

Die erste axiomatische Beschreibung von Quantenfeldtheorien, die diese Aspekte beinhaltete, wurde von Lars Gårding und Arthur Strong Wightman in Form der Gårding-Wightman-Axiome entwickelt.[1][2]

Zustandsraum

Der Zustandsraum wird wie in der Quantenmechanik als Hilbertraum angenommen. In der Quantenfeldtheorie werden jedoch besondere Hilberträume, sogenannte Fockräume als Zustandsräume angenommen. Diese Hilberträume sind ähnlich dem Zustandsraum des quantenmechanischen harmonischen Oszillators und es lassen sich analog Auf- und Absteigeoperatoren definieren. Außerdem gibt es in Fockräumen einen eindeutigen Grundzustand.

Das skalare Feld wird durch die Klein-Gordon-Gleichung beschrieben, deren Lösungen denen des harmonischen Oszillators entsprechen. Man erhält eine Sammlung von harmonischen Oszillatoren mit den Frequenzen $ \omega _{k}={\sqrt {k^{2}+m^{2}}} $, wobei m die Masse und k der Impuls des Feldes ist. Da der Impulsbetrag jede positive reelle Zahl sein kann, erhält man auf diese Weise unendlich viele Oszillatoren, aus denen das skalare Feld zusammengesetzt ist. Der Grundzustand oder das Vakuum des Fockraums ist der Zustand, in dem alle harmonischen Oszillatoren im Grundzustand sind. Alle anderen Zustände erhält man durch Anwendung von Produkten von Aufsteigeoperatoren auf das Vakuum.

N-Punkt-Funktionen

Wightman entwickelte die axiomatische Theorie weiter, indem er feststellte, dass sich eine Quantenfeldtheorie eindeutig durch ihre N-Punkt-Funktionen beschreiben lässt. Eine N-Punkt-Funktion ist der Erwartungswert des Produkts von N Feldoperatoren in einem Zustand des Fockraums. Diese Objekte sind also Distributionen in N Argumenten, sie bilden also N Testfunktionen auf eine Zahl ab. Aufgrund des Nuklearsatzes von Laurent Schwartz lässt sich jeder Distribution in N Argumenten eindeutig eine Distribution von Testfunktionen in N Variablen zuordnen, was die mathematische Behandlung erheblich vereinfacht.

Aus den Axiomen für die Feldoperatoren und den Zustandsraum folgerte Wightman einen Satz von Eigenschaften der N-Punkt-Funktionen. Werden diese Eigenschaften für N-Punkt-Funktionen vorausgesetzt, lassen sich daraus der Zustandsraum und die Feldoperatoren rekonstruieren. Die Eigenschaften, die die N-Punkt-Funktionen dazu erfüllen müssen, werden als Wightman-Axiome bezeichnet. N-Punkt-Funktionen, die diese Axiome erfüllen, werden als Wightmanfunktionen bezeichnet, obwohl sie eigentlich Distributionen sind.

Ein Satz von Wightmanfunktionen bestimmt über den Rekonstruktionssatz eindeutig eine Quantenfeldtheorie. Damit ist es möglich, eine Quantenfeldtheorie ohne Angabe von Feldoperatoren oder eines Fockraums zu definieren.

Kausale Störungstheorie

Die bisher beschriebenen Ansätze können keine wechselwirkenden Quantenfeldtheorien beschreiben. Insbesondere die Ergebnisse der renormierten Störungstheorie können damit nicht reproduziert werden. Die Physiker Henri Epstein und Vladimir Jurko Glaser entwickelten 1973 mit der kausalen Störungstheorie ein Verfahren, das es ermöglichte, in mathematisch wohldefinierter Weise eine renormierte Störungstheorie für wechselwirkende Quantenfeldtheorien zu entwickeln.[3] In ihrer ursprünglichen Arbeit untersuchten sie nur spinlose, skalare Felder, doch inzwischen wurde ihr Ansatz auf andere Theorien, insbesondere auf Eichtheorien wie die Quantenelektrodynamik erweitert.

Algebraische Quantenfeldtheorie

Irving Segal hatte bereits in den späten 1940er Jahren die Vermutung aufgestellt, dass sich Quantenmechanik und Quantenfeldtheorie mittels C*-Algebren beschreiben lassen könnten. Eine genaue Formulierung gelang ihm jedoch nicht.

Hans-Jürgen Borchers entdeckte 1961, dass den Wightmanfunktionen eine algebraische Struktur zugrunde liegt.[4] Er konstruierte sogenannte Wightmanfunktionale, die aus Wightmanfunktionen für alle Argumentanzahlen N zusammengesetzt sind, und formulierte für diese die Wightman-Axiome. Er entdeckte, dass die Wightmanfunktionale eine topologische *-Algebra bilden. Damit legte er den Grundstein für die Entwicklung einer rein algebraischen Beschreibung von Quantenfeldtheorien.

Rudolf Haag und Daniel Kastler untersuchten die algebraische Struktur der Quantenfeldtheorien weiter und formulierten 1964 die Haag-Kastler-Axiome für Netze von C*-Algebren.[5] Sie definierten auch den Begriff des algebraischen Zustandes über einer C*-Algebra, der Linearformen auf der Algebra bezeichnet und den Begriff des Zustandes in einem Hilbertraum verallgemeinert. Mittels der GNS-Konstruktion lassen sich aus algebraischen Zuständen Darstellungen der C*-Algebren auf Hilberträumen konstruieren. Diese Darstellungen erfüllen die Gårding-Wightman-Axiome für Quantenfeldtheorien außer der Existenz eines Vakuums und der Forderung, dass der Zustandsraum ein Fockraum ist. Ein eindeutiges Vakuum ergibt sich für Zustände, die eine bestimmte Eigenschaft erfüllen und als reine Zustände bezeichnet werden, während sogenannte quasifreie Zustände eine Darstellung in einem Fockraum induzieren. Weitere bedeutende Arbeiten zur algebraischen Quantenfeldtheorie wurden von Huzihiro Araki geleistet.

Aus ihren Axiomen folgerten Haag und Kastler, dass Quantenfeldtheorien, deren zugehörige C*-Algebren isomorph sind, physikalisch äquivalent sind, also bei einer Folge von Messungen dieselben Ergebnisse liefern. Damit konnte erstmals gezeigt werden, dass auch Darstellungen von Quantenfeldtheorien, die nicht unitär äquivalent sind, physikalisch äquivalent sein können. Der Kernpunkt dieser Betrachtung ist das Lokalitätsaxiom, das von Borchers aus der Hilbertraumformulierung in die algebraische Quantenfeldtheorie überführt wurde.

Konstruktive Quantenfeldtheorie

Ein Ansatz zur expliziten axiomatischen Konstruktion von Quantenfeldtheorien stammt von Konrad Osterwalder und Robert Schrader.[6] Sie entwickelten die sogenannten Osterwalder-Schrader-Axiome, die eine Quantenfeldtheorie in einem euklidischen Raum erfüllen muss, damit sich daraus eine Quantenfeldtheorie im Minkowskiraum konstruieren lässt. Damit stellten sie die Wick-Rotation auf eine mathematische Grundlage.

Es gab außerdem verschiedene Bestrebungen, auf dieser Arbeit aufbauend, das Pfadintegral auf eine solide mathematische Basis zu stellen. Die Arbeit von Ludwig Streit und Sergio Albeverio zu diesem Thema wird als mathematisch konsistente Beschreibung von Pfadintegralen nicht wechselwirkender Quantenfeldtheorien angesehen. Sie greifen dabei auf den stochastischen Prozess des weißen Rauschens zurück.

Axiomatische S-Matrix-Theorie

Einer der ersten Erfolge axiomatischer Ansätze in der Quantenfeldtheorie war die LSZ-Reduktionsformel, die von Harry Lehmann, Kurt Symanzik und Wolfhart Zimmermann abgeleitet wurde. Diese Formel ermöglicht es, die S-Matrix auf zeitgeordnete oder kausale n-Punkt-Funktionen zurückzuführen.

Die axiomatische S-Matrix-Theorie verfolgte einen anderen Ansatzpunkt als die Arbeit von Wightman. Nikolai Nikolajewitsch Bogoljubow, Konstantin Mikhaĭlovich Polivanov und B. V. Medvedev vertraten die Auffassung, dass die S-Matrix die einzige observable Größe in einer Quantenfeldtheorie darstelle und die Quantenfeldtheorie daher über die S-Matrix definiert werden müsse.

Topologische Quantenfeldtheorie

Ein neuerer axiomatischer Ansatz ist die Topologische Quantenfeldtheorie, die topologische Invarianten von Quantenfeldtheorien auf Mannigfaltigkeiten mit nichttrivialer Topologie untersucht. Da das Interesse den topologischen Invarianten gilt, betrachtet man Quantenfeldtheorien, in denen die n-Punkt-Funktionen nicht von der Metrik, sondern nur der topologischen Struktur des Raums abhängig sind. Ein bekanntes Beispiel für eine topologische Quantenfeldtheorie ist die Chern-Simons-Theorie, die zur Erklärung des gebrochenzahligen Quanten-Hall-Effekts benutzt wird.

Eine axiomatische Charakterisierung dieser Theorien stammt von Michael Francis Atiyah.

Erfolge axiomatischer Quantenfeldtheorien

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Bitte hilf der Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

Die axiomatischen Theorien haben vor allem eine mathematisch wohldefinierte Formulierung der Grundprinzipien der Quantenfeldtheorie erreicht. Aus diesen mathematischen Formulierungen ließen sich verschiedene Theoreme ableiten, die alle Quantenfeldtheorien, die den Axiomen genügen, erfüllen.

Spin-Statistik-Theorem

Das Spin-Statistik-Theorem besagt, dass das Verhalten eines statistischen Ensembles vom Spin der konstituierenden mikroskopischen Elemente abhängt. Im Rahmen einer Quantenfeldtheorie bedeutet das, dass Felder mit ganzzahligem Spin Kommutatorrelationen erfüllen müssen, während Felder mit halbzahligem Spin Antikommutatorrelationen erfüllen.

Das Theorem war ursprünglich von Pauli ausgehend von den Bewegungsgleichungen der relativistischen Quantenmechanik, also der Klein-Gordon-Gleichung und der Dirac-Gleichung, für nicht wechselwirkende Teilchen bewiesen worden.[7] Sein Beweis beruht darauf, dass die Annahme falscher Statistik nicht zu einem positiv definiten Hamiltonoperator führt.

Im axiomatischen Kontext konnte genau untersucht werden, welche Axiome für den Beweis notwendig sind. Im Kontext der algebraischen Quantenfeldtheorie, die einen sehr viel abstrakteren und allgemeineren Begriff von Quantenfeldtheorien bietet, als der Hilbertraum-Ansatz, wurde ein analoges Theorem bewiesen, das in den entsprechenden Spezialfällen das Spin-Statistik-Theorem reproduziert. Im algebraischen Kontext wurde mit der Sektortheorie auch gezeigt, dass sich allein aus den Observablen einer Theorie rekonstruieren lässt, ob es eine zugrundeliegende Theorie mit Spinorfeldern gibt.

Das Spin-Statistik-Theorem wurde im Rahmen der algebraischen Quantenfeldtheorie auch auf Quantenfeldtheorien auf gekrümmten Raumzeiten[8] erweitert.

Einzelnachweise

  1. A. S. Wightman: Les Problèmes mathématiques de la théorie quantique des champs, Centre National de la Recherche Scientifique, Paris (1959), Seite 11–19
  2. A. S. Wightman, L. Gårding: Fields as Operator-Valued Distributions in Quantum Field Theory
  3. Henri Epstein, Vladimir Jurko Glaser: The role of locality in perturbation theory, Annales Poincaré Phys. Theor. A19, S. 211, 1973
  4. H. J. Borchers: On the structure of the algebra of field operators, Nuovo Cimento, 24 (1962), Seite 214–236
  5. R. Haag, D. Kastler: An Algebraic Approach to Quantum Field Theory, Journal of Mathematical Physics, Volume 5, Number 7 (1964), Seite 848–861
  6. K. Osterwalder, R. Schrader: Axioms for Euclidean Green's functions I & II, Comm. Math. Phys. 31 (1973), Seite 83–112; 42 (1975), Seite 281–305
  7. W. Pauli, The Connection Between Spin and Statistics, Phys. Rev. 58, 716-722(1940).
  8. D. Guido, R. Longo, J. E. Roberts, R. Verch: "Charged Sectors, Spin and Statistics in Quantum Field Theory on Curved Spacetimes", Rev. Math. Phys. 13, 125 (2001) doi:10.1142/S0129055X01000557

Literatur

  • R. F. Streater, A. S. Wightman: PCT, Spin and Statistics, and all that, W. A. Benjamin, Inc. New York 1964
  • N. Bogoliubov, A. Logunov, I. Todorov: Introduction to Axiomatic Quantum Field Theory, Benjamin Reading, Massachusetts, 1975
  • H. Araki: Mathematical Theory of Quantum Fields, Oxford University Press, 1999