Kochen-Specker-Theorem

Das Kochen-Specker-Theorem (KS-Theorem) ist ein Satz aus dem Bereich der Grundlagen der Quantenmechanik, der die Unmöglichkeit eines nicht kontextuellen Modelles mit verborgenen Variablen der Quantenmechanik beweist. Neben der Bell'schen Ungleichung ist es das wohl zweitbekannteste so genannte No-Go-Theorem über verborgene Variablen in der Quantenmechanik. Das KS-Theorem wurde in seiner ursprünglichen Form von Simon Kochen und Ernst Specker im Jahre 1967 formuliert^[1].

Weiteres empfehlenswertes Fachwissen

Richtiges Wägen mit Laborwaagen: Die Wägefibel

Leitfaden zu den grundlegenden Laborkenntnissen

Empfindlichkeitsprüfung von Laborwaagen

Einführung

Die Debatte um die Vollständigkeit der Quantenmechanik im Sinne einer realistischen physikalischen Theorie nahm ihren Ursprung in der berühmten Kritik von Albert Einstein, Boris Podolsky und Nathan Rosen im Jahre 1935, die als EPR-Paradoxon in die Wissenschaftsgeschichte eingegangen ist. Nachdem die Debatte für mehr als zwanzig Jahre zu einem aus heutiger Sicht eher unbefriedigenden Stillstand gekommen war, kam erst Mitte der 1960er Jahre wieder einige Bewegung in die Diskussion. Vornehmlicher Grund dafür war, dass John Bell in einer Reihe von Veröffentlichungen und insbesondere durch die nach ihm benannte Ungleichung die von EPR aufgeworfenen Fragen in einen allgemeinen mathematischen Kontext stellte, präzisierte und vor allem die experimentelle Überprüfbarkeit klar darlegte. Die Leistung Bells kann dabei so beschrieben werden, dass er den eventuell missverständlichen Realitätsbegriff aus der EPR-Kritik in den Kontext einer allgemeinen Theorie mit lokalen verborgenen Variablen übersetzte. Aus der für solche Theorien immer gültigen Ungleichung können, wie im zugehörigen Artikel nachzulesen ist, Ungleichungen für die Erwartungswerte bestimmter quantenmechanischer Observablen abgeleitet werden, die in der mathematischen Formulierung der Quantenmechanik klar verletzt werden.

Betrachtet man die experimentelle Überprüfung der Verletzung der Bell'schen Ungleichung in der Quantenmechanik als zweifelsfrei (auch wenn dies nach wie vor in der wissenschaftlichen Gemeinschaft diskutiert wird), so bleibt nur die Wahl zwischen zwei Wegen:

• (NL) Die Quantenmechanik lässt eine realistische Interpretation im Sinne eines Verborgenen-Variablen-Modells zu, diese Modell ist aber nicht lokal. Dieser Interpretation folgt z. B. die Bohm'sche Mechanik.
• (NR) Die Quantenmechanik ist eine lokale Theorie und lässt daher keine realistische Interpretation zu. Diesem Weg folgt insbesondere die operationelle Interpretation, die zumindest als Minimal-Interpretation von praktisch allen Wissenschaftlern anerkannt wird.

Die Bell'schen Ungleichungen zwingen uns also, wenn wir an einer realistischen Interpretation interessiert sind (und das ist wahrscheinlich die Mehrzahl der Wissenschaftler), ein nicht lokales Modell zu wählen. Obwohl die Nicht-Lokalität eines solchen Modells zwar keinerlei Verstoß gegen das Kausalitätsprinzip (und damit z. B. gegen die Relativitätstheorie) in irgendeinem operationellen Sinne impliziert, d. h. man kann z. B. keine Geräte bauen, die etwa Information instantan von A nach B übermitteln, ist es gerade die realistische Interpretation des Modells, die wiederum den meisten Wissenschaftlern Kopfschmerzen bereitet. Die realistische Interpretation besagt ja gerade, dass wir die Messergebnisse, die wir in einer einzelnen Messung an einem individuellen Quantensystem erhalten haben, als echte Eigenschaften dieses individuellen Systems interpretieren. Dann sind wir aber gezwungen auch die instantane Veränderung der Eigenschaften eines weit entfernten Systems als realen Effekt zu betrachten (auch wenn dieser nicht messbar ist). Diese spukhafte Fernwirkung wird von der Mehrheit der Wissenschaftler als gegen den Geist der Relativitätstheorie aufgefasst und daher verworfen. Die Mindermeinung wird allerdings von einer durchaus nicht geringen Anzahl namhafter Physiker vertreten.

Das Kochen-Specker-Theorem schränkt die Möglichkeit eines Verborgen-Variablen-Modells der Quantenmechanik allerdings in einer weiteren Richtung ein. Während sich die Diskussion von EPR bis Bell vornehmlich auf die notwendigerweise nicht lokalen Aspekte solcher Modelle bezog, griffen Kochen und Specker im Jahre 1967 eine Diskussion auf, die bereits John von Neumann 1932 angestoßen hatte, und sich mit der so genannte Kontextualität der Modelle in Bezug auf Messungen an Einzelsystemen befasste.

Von Neumann hatte bereits zu jener Zeit in seinem bahnbrechenden Buch Die mathematischen Grundlagen der Quantenmechanik die Unvereinbarkeit der Quantenmechanik mit verborgenen Variablen beschrieben. Seine Argumentation erwies sich zwar zunächst als lückenhaft, doch konnten Kochen und Specker mit Hilfe der Erkenntnisse von A.M. Gleason aus dem Jahre 1957 und Bell aus dem Jahre 1966 (allerdings eine andere als die oben angesprochene Veröffentlichung) das Argument präzisieren und in einen mathematischen Satz gießen^[2].

Kontextualität

Die von der mathematischen Theorie vorhergesagten und die im Experiment festgestellten Statistiken von Messergebnissen an einem Ensemble von Quantensystemen stimmen unzweifelhaft bestens überein. Bei dem Versuch, diese Statistiken im Sinne eines Modells mit verborgenen Variablen zu interpretieren, ist die Annahme grundlegend, dass die Messergebnisse der Einzelmessungen reale Bedeutung haben, das heißt tatsächlich Aufschluss geben über den physikalischen Zustand dieses Einzelsystems. Der hier benutzte Begriff des physikalischen Zustandes sei daher derart, dass dieser Zustand durch bestimmte innere Parameter (verborgene Variablen) des Einzelsystems vollständig bestimmt sei und im Kontext der Messung den Messwert genau festlegt. Für den Zusammenhang zwischen den verborgenen Variablen und den erhaltenen Messwerten erscheint es a priori sinnvoll und naheliegend, folgende Annahmen zu machen^[3]:

• (WD) Die Messwerte einer bestimmten Observable an einem Einzelsystem sind definit, d. h. sie liegen zu allen Zeiten konkret fest und determinieren eine Eigenschaft des Einzelsystems.
• (NK) Wenn ein einzelnes Quantensystem eine bestimmte Eigenschaft hat, die zu einem bestimmten Messwert führt, so besitzt das System diese Eigenschaft unabhängig vom Kontext der Messung, insbesondere ist der Messwert also unabhängig davon, wie die Messung speziell aufgebaut ist.

Die Annahme (WD) erwächst natürlich aus unserer empirischen Erkenntnis über Messungen unter der Annahme der Realität der gemessenen Eigenschaft. Diese Annahme und die Annahme der Nicht-Kontextualität (NK) sind allerdings, so bescheiden sie auch zunächst daher kommen, eine wesentliche Einschränkung des Modells. Tatsächlich sind nämlich alle existenten Verborgene-Variablen-Modelle der Quantenmechanik, wie etwa die Bohm'sche Mechanik, kontextuell, und dies nicht ohne Grund: Das KS-Theorem beweist, dass ein Modell mit verborgenen Variablen der Quantenmechanik nicht sowohl (WD) als auch (NK) genügen kann!

Das KS-Theorem

Es gibt kein nicht kontextuelles Modell mit verborgenen Variablen der Quantenmechanik!

Um die obige Aussage zu beweisen ist etwas technischer Vorlauf nötig. Der Kern des KS-Theorem ist ein eher unscheinbarer Satz über die geometrische Struktur des quantenmechanische Hilbertraumes. Seine wesentliche Kraft gewinnt das Theorem allerdings durch die Ableitung bestimmter Rechenregeln für die Messwerte der Einzelsysteme bezüglich verschiedener Observablen, die aus (WD) und (NK) abgeleitet werden können. Wir wollen die Ableitung dieser Regeln hier skizzieren:

Das mathematische Modell der Quantenmechanik beschreibt einen Zustand im Sinne eines Ensembles durch einen Dichteoperator ρ, bzw. durch einen Hilbertraumvektor ψ im Falle eins reinen Zustandes. Observablen werden durch selbstadjungierte Operatoren beschrieben, deren Spektralwerte mögliche Messwerte sind. Für zwei Observablen A und B und einen beliebigen Zustand ρ gilt die folgende Rechenregel (Linearität) für die Erwartungswerte:

Wenn die beiden Observablen kompatibel sind, d. h., wenn sie kommutieren, gilt Ähnliches für das Produkt:

Da nun aber Kompatibilität von Observablen insbesondere gleichzeitige Messbarkeit dieser Observablen bedingt, gilt für kompatible Observablen A und B, dass eine gemeinsame Messung der beiden Observablen auch Messung der Observablen C=A+B und D=A B, indem man die Messwerte einfach addiert, bzw. multipliziert. Unter der Annahme der Wert-Definitheit werden nun jedem Einzelsystem des Ensembles Werte

(KSa) ν(A), ν(B), ν(C)und ν(D)

zugeordnet, die die Messwerte bei einer möglichen Messung bestimmen. Insbesondere müssen aber dann wegen und der Nicht-Kontextualität die Werte der zusammengesetzten Observablen die Bedingung

(KSb) ν(C)=ν(A)+ ν(B) und ν(D)=ν(A) ν(B)

erfüllen, da die Messwerte dieser Observablen ja operationell gerade so bestimmt werden können und diese Werte frei vom Kontext der Messung existieren. Wir kommen damit nun zum Kern des Theorems:

Behauptung:

Die beiden Forderungen aus (KSb) sind für beliebige Paare kompatibler Observablen A und B, die die Werte aus (KSa) definieren, in der Quantenmechanik nicht erfüllbar.

Um den Beweis dieser Behauptung zu führen, werden wir ein Gegenbeispiel konstruieren. Es reicht dazu aus einen endlichdimensionalen Hilbertraum zu wählen und eine endliche Anzahl konkreter Observablen anzugeben, mit denen man dann einen Widerspruch zu (KSa) und (KSb) herbeiführt. Tatsächlich ist der kleinste Hilbertraum, in dem dieser Widerspruch möglich ist, der dreidimensionale Fall. Im zweidimensionalen C² gilt das KS-Theorem, wie man leicht zeigen kann, nicht, dies ist aber kein Problem für die allgemeine Aussage, denn die Quantenmechanik benutzt schließlich in allgemeinen höherdimensionale Räume. Da der Raum, für den das Gegenbeispiel mit den wenigsten Observablen bekannt ist, der C⁴ ist, demonstrieren wir hier dieses Gegenbeispiel von A. Cabello^[4]:

Wir betrachten den Hilbertraum C⁴ mit einer Basis aus orthogonalen Vektoren. Der Projektor P_v auf den von einem Vektor v aufgespannten eindimensionalen Unterraum hat die Eigenwerte 0 und 1 und gehört damit zu einer Ja-Nein-Messungen. Die zur Basis gehörenden Projektoren bis kommutieren paarweise und die zugehörigen Messungen sind folglich miteinander kompatibel. Aus (KSb) folgt für diese Operatoren direkt

denn die Summe der vier Projektoren konstituiert den Einsoperator, der die Observable modelliert, die immer den Messwert 1 liefert. folgt zudem unmittelbar aus der Produktregel in (KSb), da jede Observable mit kompatibel ist und daher gilt. Ebenso sieht man und daher muss ν(P_v) entweder 0 oder 1 sein. Daher ist klar, dass in der obigen Summe genau ein Term 1 sein muss und die anderen drei sind 0.

Wir wählen nun 18 konkrete Vektoren aus dem C⁴ und bilden aus je vier orthogonalen Vektoren neun verschiedene Basen.

Jede Spalte dieser Tabelle stellt eine Basis aus orthogonalen Vektoren dar. Jeder der 18 Vektoren kommt dabei genau zweimal vor (gleiche Vektoren sind in der gleichen Farbe eingefärbt). Für ein gegebenes Einzelsystem gibt es unter der Annahme (KSa) für jeden Vektor v in dieser Tabelle einen Messwert ν(P_v). Da jeder Vektor genau zweimal vorkommt und ν(P_v) entweder 0 oder 1 sein muss, ist die Summe dieser Werte über die gesamte Tabelle auf jeden Fall eine gerade natürliche Zahl. Andererseits muss die Summe dieser Werte in jeder einzelnen Spalte 1 betragen, so dass sich eine Gesammtsumme von 9 ergibt. Dies ist der Widerspruch der dazu führt, dass die Annahme von (KSa) und (KSb) unmöglich ist.

Anmerkungen

Wie bereits oben bemerkt, schließt das Kochen-Specker-Theorem nur eine bestimmte Klasse von Verborgenen-Variablen-Modellen aus, nämlich solche die nicht kontextuell sind. Kontextuelle Modelle, die man tatsächlich konstruieren kann, erfüllen daher die Forderungen nach Wert-Definitheit und Nicht-Kontextualität nicht. Eine Analyse solcher Modelle zeigt schnell, woher die Kontextualität solcher Modelle rührt: es werden nicht nur im Zustandsraum verborgene Variablen eingeführt, sondern auch im Raum der Observablen^[5]. Eine quantenmechanische Observable wird daher im Rahmen eines solchen Modells eine so genannte unscharfe Observable (Fuzzy-Observable) auf dem Raum der Verborgenen-Variablen-Zustände,die die Einzelsystem modellieren, definieren. Diese Fuzzy-Observablen können im analogen Sinne als gemischt aus scharfen Variablen (mit definiten Messwerten) gesehen werden, wie ein gemischter Zustand aus reinen Zuständen zusammengesetzt wird.

Quellen

1. ↑ Kochen, S. und Specker, E: The Problem of Hidden Variables in Quantum Mechanics. Journal of Mathematics and Mechanics 17, 59-87.
2. ↑ Bell, J. On the Problem of Hidden Variables in Quantum Mechanics, Reviews of Modern Physics 38, 447-452 (1966)
3. ↑ Held, Carsten, "The Kochen-Specker Theorem", The Stanford Encyclopedia of Philosophy (Winter 2003 Edition), Edward N. Zalta (ed.)
4. ↑ Cabello, A. Proof wit 18 Vectors of the Bell-Kochen-Specker Theorem, in New Developments on Fundamental Problems in Quantum Physics, Kluwer Ac. Press
5. ↑ Gill, R. A Geometric Proof of the Kochen-Specker No-Go Theorem, J. Phys. A: Math. Gen. 29 (1996)