Kochen-Specker-Theorem

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" (Unmöglichkeitsbeweis) ü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].

Inhaltsverzeichnis

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 Verborgene-Variablen-Modells zu, dieses 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, wobei sie allerdings gleichzeitig von zahlreichen namhaften Physiker vertreten wird.

Das Kochen-Specker-Theorem schränkt die Möglichkeit eines Verborgene-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 genannten 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 Andrew 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) (Wert-Definiertheit) 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) (Nicht-Kontextualität) 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 (NK) sind allerdings, so bescheiden sie auch zunächst daherkommen, 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-Theorems ist ein eher unscheinbarer Satz über die geometrische Struktur des quantenmechanischen 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 eines reinen Zustandes. Observablen werden durch selbstadjungierte Operatoren beschrieben, deren Eigenwerte 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:

\mathbb{E}_\rho(\lambda \mathbf{A}+\mu\mathbf{B})=\lambda\mathbb{E}_\rho( \mathbf{A})+\mu\mathbb{E}_\rho(\mathbf{B}).

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 eine Messung der Observablen C=A+B und D=AB impliziert, indem man die Messwerte einfach addiert, bzw. multipliziert. Unter der Annahme der Wert-Definitheit werden nun jedem Einzelsystem des Ensembles Werte

\text{(KSa)}\qquad\,\nu(\mathbf{A}),\,\nu(\mathbf{B}),\,\nu(\mathbf{C})\,\text{und }\nu(\mathbf{D})

zugeordnet, die die Messwerte bei einer möglichen Messung bestimmen. Insbesondere müssen die Werte der zusammengesetzten Observablen die Bedingung

\text{(KSb)}\qquad\,\nu(\mathbf{C}) = \nu(\mathbf{A}) + \nu(\mathbf{B})\,\text{ und }\, \nu(\mathbf{D}) = \nu(\mathbf{A})\cdot \nu(\mathbf{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. Damit kommt man 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. In zweidimensionalen Vektorräumen über den komplexen Zahlen \mathbb{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 im Allgemeinen höherdimensionale Räume. Da der Raum, für den das Gegenbeispiel mit den wenigsten Observablen bekannt ist, vierdimensional ist, erscheint zur Demonstration hier das Gegenbeispiel von A. Cabello geeignet:[4]

Man betrachte dazu einen vierdimensionalen Vektorraum über \mathbb{C}, mit einer Orthogonalbasis (u1,u2,u3,u4). Der Projektor Pu, auf den von einem Vektor u erzeugten Unterraum, habe die Eigenwerte 0 und 1 und gehöre zu einer „Ja-Nein“-Messung. Die zur Basis gehörenden Projektoren P_{u_1} bis P_{u_4} kommutieren paarweise und sind folglich miteinander kompatibel. Aus (KSb) folgt daher für diese Operatoren

\nu(P_{u_1})+\nu(P_{u_2})+\nu(P_{u_3})+\nu(P_{u_4})=\nu(\mathbf{1})=1,

denn die Summe der vier Projektoren ergibt den Einsoperator, der die Observable darstellt, die immer den Messwert 1 liefert. Die Identität \nu(\mathbf 1)=1 folgt auch aus der Produktregel in (KSb), da jede Observable R mit 1 kompatibel ist und daher \nu(\mathbf R)\,\nu(\mathbf 1)=\nu(\mathbf R\cdot\mathbf 1)=\nu(\mathbf R) gilt. Ebenso sieht man \nu(P_u)= \nu(P_u^2)= \nu(P_u)^2 und daher muss ν(Pu) entweder 0 oder 1 sein. Daraus folgt, dass in der obigen Summe genau ein Term gleich 1 sein muss und die anderen drei gleich 0.

Man wähle nun 18 geeignete Vektoren aus \mathbb{R}^4 und bilde aus je vier orthogonalen Vektoren neun verschiedene Basen:

u1 (0,0,0,1) (0,0,0,1) (1,-1,1,-1) (1,-1,1,-1) (0,0,1,0) (1,-1,-1,1) (1,1,-1,1) (1,1,-1,1) (1,1,1,-1)
u2 (0,0,1,0) (0,1,0,0) (1,-1,-1,1) (1,1,1,1) (0,1,0,0) (1,1,1,1) (1,1,1,-1) (-1,1,1,1) (-1,1,1,1)
u3 (1,1,0,0) (1,0,1,0) (1,1,0,0) (1,0,-1,0) (1,0,0,1) (1,0,0,-1) (1,-1,0,0) (1,0,1,0) (1,0,0,1)
u4 (1,-1,0,0) (1,0,-1,0) (0,0,1,1) (0,1,0,-1) (1,0,0,-1) (0,1,-1,0) (0,0,1,1) (0,1,0,-1) (0,1,-1,0)

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 u in dieser Tabelle einen Messwert ν(Pu). Da jeder Vektor genau zweimal vorkommt und ν(Pu) entweder 0 oder 1 sein muss, ist die Summe dieser Werte über die gesamte Tabelle immer eine gerade natürliche Zahl. Andererseits muss die Summe dieser Werte in jeder einzelnen Spalte 1 betragen, so dass sich eine Gesamtsumme 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 Einzelsysteme 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)

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Kochen-Specker theorem — In quantum mechanics, the Kochen Specker (KS) theorem [S.Kochen and E.P. Specker, The problem of hidden variables inquantum mechanics , Journal of Mathematics and Mechanics 17, 59 87 (1967).] is a no go theorem provedby Simon Kochen and Ernst… …   Wikipedia

  • Ernst Specker — Ernst Specker, 1982 Ernst P. Specker (* 11. Februar 1920 in Zürich) ist ein Schweizer Mathematiker. Specker wuchs in Zürich und Davos auf, wo er sich wegen Tuberkulose (die zu einer bleibenden Behinderung führte) in seiner Jugend einer… …   Deutsch Wikipedia

  • Simon Kochen — Simon Bernhard Kochen (* 1934 in Antwerpen) ist ein US amerikanischer Mathematiker, der sich mit Zahlentheorie, Logik (Modelltheorie) und Quantenmechanik beschäftigt. Kochen wurde 1958 an der Princeton University bei Alonzo Church promoviert… …   Deutsch Wikipedia

  • Free will theorem — The free will theorem of John H. Conway and Simon B. Kochen states that, if we have a certain amount of free will , then, subject to certain assumptions, so must some elementary particles. Conway and Kochen s paper was published in Foundations of …   Wikipedia

  • Bellsches Theorem — Die Bellsche Ungleichung ist eine Schranke an Mittelwerte von Messwerten, die 1964 von John Bell angegeben wurde. Die Ungleichung gilt in allen physikalischen Theorien, die real und lokal sind und in denen man unabhängig vom zu vermessenden… …   Deutsch Wikipedia

  • Variable cachée — En physique quantique, le terme de variable cachée désigne des paramètres physiques hypothétiques qui ne seraient pas pris en compte par les postulats de la mécanique quantique, soit dans la définition de l état quantique, ou dans l évolution… …   Wikipédia en Français

  • Bohm'sche Mechanik — Die De Broglie Bohm Theorie oder auch bohmsche Mechanik ist – je nach Definition der Begriffe – eine alternative Interpretation bzw. Modifikation der Quantenmechanik. Sie reproduziert alle Vorhersagen der (nicht relativistischen) Quantenmechanik …   Deutsch Wikipedia

  • Bohmsche Mechanik — Die De Broglie Bohm Theorie oder auch bohmsche Mechanik ist – je nach Definition der Begriffe – eine alternative Interpretation bzw. Modifikation der Quantenmechanik. Sie reproduziert alle Vorhersagen der (nicht relativistischen) Quantenmechanik …   Deutsch Wikipedia

  • Bell-Ungleichungen — Die Bellsche Ungleichung ist eine Schranke an Mittelwerte von Messwerten, die 1964 von John Bell angegeben wurde. Die Ungleichung gilt in allen physikalischen Theorien, die real und lokal sind und in denen man unabhängig vom zu vermessenden… …   Deutsch Wikipedia

  • David Mermin — N. David Mermin (* 30. März 1935 in New Haven, Connecticut) ist ein US amerikanischer theoretischer Physiker. Er ist emeritierter Professor an der Cornell University. Seine Hauptgebiete sind Statistische Physik …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”