Bellsche Ungleichung

aus Wikipedia, der freien Enzyklopädie

Die bellsche Ungleichung oder das bellsche Theorem zeigt einen Weg zur Beantwortung der durch das EPR-Paradoxon aufgeworfenen Fragen nach der Vollständigkeit der Quantenmechanik und bestimmten kontroversen Aspekten der Theorie, besonders der lokalen Beschränktheit von Korrelationen. Sie wurde 1964 von John Stewart Bell entwickelt.

Inhaltsverzeichnis 1 Bellsche Ungleichung 1.1 Übersicht 1.2 Lokal realistische Theorien 1.3 Herleitung der Ungleichung 1.4 Verborgene Variablen 2 Vergleich mit der Quantenmechanik 3 Experimentelle Bestätigungen 4 Kritik an den Experimenten 5 Konsequenzen aus der Verletzung der bellschen Ungleichung 6 Gedankenexperimente 7 Literatur 8 Weblinks

[Bearbeiten] Bellsche Ungleichung

[Bearbeiten] Übersicht

Bei der Herleitung der bellschen Ungleichung geht man davon aus, dass zwei Parteien - meist Alice und Bob genannt - jeweils ein physikalisches Teilsystem von einem Gesamtsystem kontrollieren und daran verschiedene Messungen durchführen können. Ein Beispiel wären Photonenpaare, die aus einer Quelle kommen, bei den Messungen handelt es sich dann um Polarisationsmessungen in verschiedene Richtungen. Die Wahrscheinlichkeiten für die Messergebnisse sollen von einer physikalischen Theorie erklärt werden, die folgende vier Ausgangsbedingungen erfüllt:

1. Lokalität
2. Realismus
3. freier Wille
4. kontrafaktische Bestimmtheit (Counterfactual Definiteness = CFD)

Dabei versteht man unter freiem Willen die Annahme, dass Alice und Bob ihre Messungen frei wählen können und die Wahl nicht von der Theorie beeinflusst wird. Realismus meint, dass das Gesamtsystem bereits die vollständige Information über mögliche Wahrscheinlichkeiten von Messergebnissen enthält, also dass es eine beobachterunabhängige Realität gibt. Unter Lokalität versteht man, dass die Messwahrscheinlichkeiten bei Alice nicht von Bobs Wahl der Messrichtung abhängen, also die Unmöglichkeit der Signalübertragung mit Überlichtgeschwindigkeit. (Sie können allerdings von seinem Messergebnis abhängen, wenn er eine Messrichtung gewählt hat.) So eine Theorie bezeichnet man auch als eine lokal-realistische Theorie. Unter kontrafaktischer Bestimmtheit versteht man die Eindeutigkeit von Zuständen, also z.B. dass ein Apfel nicht grün sein kann wenn er rot ist.

Unter diesen Annahmen kann man eine Ungleichung für Messwahrscheinlichkeiten herleiten, die alle lokal-realistischen Theorien erfüllen müssen - die bellsche Ungleichung. Diese Ungleichung wird von einigen Zuständen der Quantenmechanik verletzt. Diese Verletzung ist auch in Experimenten beobachtet worden. Das heißt zum einen, dass die Quantenmechanik keine lokal-realistische Theorie ist und weiterhin, dass die Natur nicht durch lokal-realistische Theorien beschrieben werden kann.

Für die oben erwähnte Kombination von vier Ausgangsbedingungen stellt die bellsche Ungleichung ein so-genanntes No-Go-Theorem dar. Dies bedeutet, dass auf Grund der Verletzung dieser Ungleichung durch die Ergebnisse der EPR-Experimente (z.B. Experiment von Alain Aspect), zumindest eine der vier genannten Ausgangsbedingungen unzutreffend sein muss. Entgegen zahlreicher populärwissenschaftlicher und esoterischer Autoren bedeutet es aber keineswegs, dass die Realität nichtlokal sein muss, sondern nur dass sie entweder nichtlokal ist (Bohmsche Mechanik und Transaktionsinterpretation der Quantenmechanik), oder nicht beobachterunabhängig real ist (Idealistische Interpretation der Quantenmechanik), oder nicht eindeutig ist (Viele-Welten-Interpretation der Quantenmechanik), oder dass es keine Willensfreiheit gibt (Hyperdeterminismus). Die bellsche Ungleichung liefert zudem keinerlei Rechtfertigung für die gleichzeitige Zurückweisung von mehr als einer der vier Ausgangsbedingungen. Letzteres findet sich u.a. im "Idealistischen Monismus" des Quantenphysikers Amit Goswami, der eine sehr esoterische Interpretation der Quantenmechanik vertritt, die sowohl den Realismus als auch die Lokalität über Bord wirft und dies in unzulässiger Weise mit der Verletzung der bellschen Ungleichung begründet.

Die bellsche Ungleichung und das Kochen-Specker-Theorem zeigen besonders markante Punkte, an denen die Quantenmechanik von der klassischen Physik abweicht.

Im Folgenden soll das von David Bohm und Eugene Wigner entwickelte EPR-Szenario vereinfacht dargestellt werden.

[Bearbeiten] Lokal realistische Theorien

Einstein zufolge sollten physikalische Theorien nicht nur korrekte Vorhersagen machen, sondern auch bestimmte weitere Bedingungen erfüllen. Eine Theorie muss realistisch sein, das heißt, dass die Theorie von einer physisch-physikalischen Realität ausgeht. Diese Realität existiert unabhängig von Beobachtern und Physiker können darin Messungen vornehmen. Lokalität oder auch Einstein-Separabilität ist die Forderung, dass kein Objekt in der Realität auf ein anderes schneller als mit Lichtgeschwindigkeit wirken kann. Das heißt, dass räumlich getrennte Objekte sich nicht sofort beeinflussen können. Versteckte Parameter sind veränderliche Größen in der Realität, die wir nicht kennen, die aber Messergebnisse beeinflussen.

[Bearbeiten] Herleitung der Ungleichung

Alice und Bob sind zwei räumlich getrennte Beobachter. Zwischen ihnen produziert ein Apparat kontinuierlich Elektronenpaare. Eines dieser Elektronen wird in Richtung von Alice geschossen, das andere in Richtung von Bob.

Gegeben seien drei beliebige Richtungen a, b, und c in denen Alice und Bob den Spin der Elektronen messen, die sie empfangen. Man setze drei verborgene Variablen für die drei Spinrichtungen pro Elektron voraus. Zudem sollen diese verborgenen Variablen jedem Elektronenpaar auf konsistente Weise zugeteilt werden und nach der Emittierung sich nicht ändern. Für die Wahrscheinlichkeitsverteilungen der Variablen sei nichts vorausgesetzt.

Die Elektronenpaare sind so vorbereitet, dass die Beobachter bei der Messung des Spins ihres Elektrons an derselben Achse stets entgegengesetzte Ergebnisse erhalten. Wenn sie zum Beispiel beide die z-Komponente der Spins messen, wird Alice nach den Regeln der Quantenmechanik mit gleicher Wahrscheinlichkeit +1/2 oder -1/2 messen. Wenn Alice +1/2 misst, wird Bob zwangsläufig -1/2 messen, und umgekehrt.

Mathematisch kann der Zustand des zusammengesetzten Systems je zweier Elektronen durch folgenden Zustandsvektor beschrieben werden:

.

Jedes Ket ist mit der Richtung des Elektronenspins bezeichnet. Der oben angeführte Zustand wird als Spin-Singlet bezeichnet. Die z-Komponente des Spins entspricht dem Operator (1/2)σ_z, wobei σ_z die dritte Pauli-Matrix ist.

[Bearbeiten] Verborgene Variablen

Für dieses Phänomen gibt es eine Erklärung ohne Zuhilfenahme der Quantenmechanik. Man nehme an, der die Elektronen produzierende Apparat würde jedem Elektron einen Parameter, eine verborgene Variable, zuteilen, je einem die Bezeichnung "Spin +1/2", dem anderen "Spin -1/2". Ein klassischer Wahrscheinlichkeitsprozess entscheide, welches Elektron zu Alice entsendet werden soll. Wenn Alice jetzt die z-Komponente des Spins als +1/2 misst, wird Bob -1/2 erhalten, schließlich trägt sein Elektron diese Bezeichnung. Hierdurch werden die quantenmechanischen Effekte reproduziert, ohne das Prinzip der Lokalität zu verletzen.

Der Charme dieses Erklärungsmusters verblasst mit der Erkenntnis, dass Alice und Bob nicht nur die z-Komponente des Spins messen können. Tatsächlich können sie die Komponente in einer beliebigen Richtung messen und erhalten immer +1/2 oder -1/2 am einen Ende der Kommunikation, und zwangsläufig -1/2 oder +1/2 am anderen. Es müsste also jedes Elektron eine unendliche Anzahl verborgener Variablen besitzen, je eine für jede mögliche Messung .

Das wäre zwar nicht schön, aber an sich nicht fatal. Bell zeigte jedoch, dass Alice und Bob durch die Auswahl von nur drei Messungsrichtungen zwischen verborgenen Variablen und Quantenmechanik unterscheiden können.

Alice				Bob			Wahrscheinlichkeit
a	b	c		a	b	c
+	+	+		-	-	-	N1
+	+	-		-	-	+	N2
+	-	+		-	+	-	N3
+	-	-		-	+	+	N4
-	+	+		+	-	-	N5
-	+	-		+	-	+	N6
-	-	+		+	+	-	N7
-	-	-		+	+	+	N8

Jede Reihe beschreibt eine mögliche Form eines Elektronenpaars mit den Werten der verborgenen Variablen und der Wahrscheinlichkeit N. Alice messe den Spin in Richtung a und Bob in Richtung b. Die Wahrscheinlichkeit, dass Alice +1/2 und Bob +1/2 erhält, ist gegeben durch

P(a+,b+) = N₃ + N₄.

Entsprechend ist die Wahrscheinlichkeit, dass beide +1/2 messen, wenn Alice in Richtung a und Bob in Richtung c misst, gegeben durch

P(a+,c+) = N₂ + N₄.

Wenn Alice in Richtung c und Bob in Richtung b misst, ist die Wahrscheinlichkeit, dass beide +1/2 messen,

P(c+,b+) = N₃ + N₇.

Weil die Wahrscheinlichkeiten N nie negativ sind, gilt:

N₃ + N₄ ≤ N₃ + N₄ + N₂ + N₇

Daraus folgt

P(a+,b+) ≤ P(a+,c+) + P(c+,b+) ,

die bellsche Ungleichung. Sie muss von jeder auf verborgenen Variablen beruhenden Theorie erfüllt werden, die unsere Annahmen bezüglich der Lokalität befriedigt.

Jetzt soll gezeigt werden, dass die Quantenmechanik die Ungleichung verletzt.

[Bearbeiten] Vergleich mit der Quantenmechanik

Es sollen a, b, und c auf der x-z Ebene liegen, wobei c die Winkelhalbierende von a und b im Winkel θ ist. Mit dem Rotationsoperator können die Wahrscheinlichkeiten berechnet werden.

Man betrachte P(c+,b+), wobei Alice in c-Richtung misst und mit der Wahrscheinlichkeit 1/2 den Wert +1/2 erhält. Dadurch kollabiert die Wellenfunktion zu |c-〉_B. Im Zustandsraum von Bobs Elektron kann die bedingte Wahrscheinlichkeit berechnet werden, dass Bob bei der Messung in Richtung b +1/2 erhält (die Indizes für b sind weggelassen):

P(c+,b+) = 1/2 | 〈c+|b-〉 |²

= 1/2 | 〈c+| D(y, θ) |c-〉 |²

= 1/2 | 〈c+| exp(i θ σ_y) |c-〉 |²

= 1/2 ( | 〈c+| cos θ |c-〉 |² + | 〈c+| i sin θ |c+〉 |² )

= 1/2 sin² θ

wobei σ_y die zweite Pauli-Matrix ist, die den Rotationsoperator D(y,θ) liefert. Auf ähnlichem Weg errechnet man die anderen Wahrscheinlichkeiten, so dass nach Bells Ungleichung gelten würde:

1/2 sin² 2θ ≤ 1/2 sin² θ + 1/2 sin² θ.

Aber diese Gleichung ist für θ = π/8 nicht erfüllt, denn

0.25 > 0.1464...

Wenn Alice und Bob das Experiment genau wie oben beschrieben mit im Winkel von π/8 zueinander stehenden Achsen ausführen und dann die quantenmechanisch vorhergesagten Wahrscheinlichkeiten erhalten, werden diese Ergebnisse die bellsche Ungleichung nicht erfüllen und damit alle vorgeschlagenen auf lokalen verborgenen Variablen basierenden Theorien widerlegen.

[Bearbeiten] Experimentelle Bestätigungen

Seit Ende der sechziger Jahre wurden viele Experimente durchgeführt, um eine Verletzung einer bellschen Ungleichung nachzuweisen:

• Kocher und Commins (1967) beobachteten Korrelationen in Photonenpaaren, die von angeregten Kalziumatomen ausgesandt werden.

• Freedman und Clauser (1972) benutzten diesen Prozess, um eine erste Verletzung einer bellschen Ungleichung zu demonstrieren.

• Aspect, Dalibard und Roger (1982) benutzten einen anderen Prozess im Kalziumatom, der höhere Zählraten und dadurch eine signifikantere Verletzung ergab. Außerdem waren Alice und Bob 12 m entfernt und die Wahl der Messrichtungen erfolgte durch einen schnellen Zufallsgenerator, so dass die Entscheidung der Messrichtung erst nach Trennung der Teilchen fiel.

• Weihs und Mitarbeiter (1998) benutzten polarisationsverschränkte Photonen, die durch parametrische Niederkonversion erzeugt worden waren. Dadurch erzielten sie eine Verletzung um 35 Standardabweichungen. Außerdem waren Alice und Bob nun 400 m entfernt, so dass eine Informationsübertragung über die Messrichtung wegen der endlichen Lichtgeschwindigkeit nicht möglich war.

• Rowe und Mitarbeitern (2001) gelang es, eine Verletzung der Ungleichung anhand von Messungen an Ionen in einer Falle zu demonstrieren. Dabei konnten alle Ereignisse detektiert werden (siehe: Kritik an den Experimenten).

[Bearbeiten] Kritik an den Experimenten

Um eine überzeugende Verletzung einer bellschen Ungleichung zu demonstrieren, muss ein Experiment einige Bedingungen erfüllen.

Zum einen müssen Alice und Bob wirklich raumzeitlich getrennt sein, d. h. es muss ausgeschlossen werden, dass Bobs Wahl der Messrichtung Alice bekannt wird. Das geschah in den Experimenten von Aspect und Weihs dadurch, dass Alice und Bob weit entfernt waren, und dass Alice und Bob ihre Entscheidungen so schnell trafen, dass eine Informationsübertragung wegen der Endlichkeit der Lichtgeschwindigkeit nicht möglich war. Wenn diese Bedingung nicht erfüllt ist, könnte es immer noch einen anderen physikalischen Prozess geben, der Alice Bobs Messrichtung bekannt macht und dann ist die Lokalitätsbedingung nicht mehr erfüllt. Man spricht auch von dem locality loophole, das es zu schließen gilt.

Die Experimente mit Photonen werfen jedoch ein anderes Problem auf: Von einem Photonendetektor wird immer nur ein kleiner Teil der Photonen detektiert (im Experiment von Weihs nur 5%). Man muss also zusätzlich annehmen, dass die nicht nachgewiesenen Photonen dieselben Eigenschaften haben wie die nachgewiesenen. Das ist das sogenannte detection loophole. Das Experiment von Rowe schließt dieses detection loophole, aber nicht das locality loophole.

Ein Experiment, das beide loopholes gleichzeitig schließt, steht noch aus.

[Bearbeiten] Konsequenzen aus der Verletzung der bellschen Ungleichung

Es gibt mehrere populäre Reaktionen auf diese Situation:

Zunächst könnte man einfach annehmen, dass die Quantenmechanik falsch ist. Sie wird jedoch experimentell gestützt: Alice und Bob haben tatsächlich Ergebnisse erhalten wie quantenmechanisch vorhergesagt.

Zweitens kann man die Vorstellung verborgener Variablen aufgeben und argumentieren, dass die Wellenfunktion keine Informationen über die Werte von Messungen an Teilchen enthält. Das entspricht der Kopenhagener Interpretation der Quantenmechanik.

Man könnte auch das Prinzip der Lokalität aufgeben: Die Verletzung der Ungleichung kann durch eine auf nicht-lokale verborgene Variablen bauende Theorie erklärt werden, nach der Teilchen Informationen über ihre Zustände austauschen. Darauf basiert die Bohmsche Mechanik.

Letztlich ist die unvollständige Bestimmtheit (Counterfactual Definiteness, CFD) eine Voraussetzung für die Ungleichung. In der Realität kann man an einem Teilchen nur eine Messung durchführen (dann ist die Wellenfunktion kollabiert), aber die bellsche Ungleichung bezieht alternative, nicht durchführbare Messungen ein, die wohldefinierte Ergebnisse liefern. Die Aufhebung dieser Annahme kann auch die Ungleichung auflösen. In der Viele-Welten-Interpretation passiert genau das, die "Counterfactual Definiteness" wird aufgegeben, denn nach dieser Interpretation verzweigt sich das Universum in viele verschiedene Betrachter, die jeweils ein anderes Ergebnis erhalten.

Es wird aktiv daran geforscht (Stand 2004), andere versteckte Voraussetzungen in der bellschen Ungleichung zu finden.

[Bearbeiten] Gedankenexperimente

Die CHSH-Ungleichung (1969 von Clauser, Horne, Shimony und Holt entwickelt) verallgemeinert die bellsche Ungleichung auf beliebige Observablen. Sie lässt sich wegen ihrer Formulierung besser experimentell überprüfen.

Bells Gedankenexperiment ist statistisch: Alice und Bob müssen mehrere Experimente durchführen, um P(a+,b+) und die anderen Wahrscheinlichkeiten zu erhalten. 1989 entwarfen Greenberger, Horne, und Zeilinger eine Alternative zu Bells Versuchsaufbau, das GHZ-Experiment. Es braucht drei Beobachter und drei Elektronen, um mit einer einzigen Gruppe von Messungen die Quantenmechanik von verborgenen Variablen zu unterscheiden.

1993 erarbeitete Hardy eine Situation, mit der Nicht-Lokalität ohne Ungleichungen gezeigt werden kann.

[Bearbeiten] Literatur

• J. S. Bell: Speakable and unspeakable in quantum mechanics, Cambridge : Cambridge University Press, 1988 (bündelt Bells Originalaufsätze)

• Hardy, L.: Nonlocality for 2 particles without inequalities for almost all entangled states. Physical Review Letters 71: (11) pp. 1665-1668 (1993)
• A. Aspect: Bell's inequality test: more ideal than ever. Nature, vol 398, 18 March 1999. http://www-ece.rice.edu/~kono/ELEC565/Aspect_Nature.pdf

• James T. Cushing et al. (Hgg.): Philosophical consequences of quantum theory : reflections on Bell's theorem, Notre Dame, Ind. : Univ. of Notre Dame Press 1989
• Michael Redhead: Incompleteness, nonlocality and realism : a prolegomenon to the philosophy of quantum mechanics, Oxford : Clarendon Pr., 1987
• M. Kafatos (Hg.): Bell’s Theorem, Quantum Theory and Conceptions of the Universe, Kluwer, Dordrecht-Boston-London 1989.
• Maudlin, T., Quantum Non-Locality and Relativity, Blackwell, Oxford U.K. and Cambridge MA, 1994

Einführungen in die Quantenmechanik siehe dort.

Lehrbuchdarstellung:

• Sakurai, J.J.: Modern Quantum Mechanics. Addison-Wesley, USA 1994, pp. 174-187, 223-232

• WebLink: http://homepage.univie.ac.at/franz.embacher/Quantentheorie/EPR/

[Bearbeiten] Weblinks

• Eintrag (englisch) in der Stanford Encyclopedia of Philosophy (inkl. Literaturangaben)
• Thomas Hausmaninger: Polarisierte Photonen (enthält eine vereinfachte Widerlegung der bellschen Ungleichung.)