Ein No-Go-Theorem, das die Unmöglichkeit zeigt, allen Projektionsobservable in einem Hilbertraum der Dimension mindestens drei nichtkontextuelle eindeutige Werte (0 oder 1) zuzuschreiben, wobei funktionale Relationen erhalten bleiben sollen; es beweist, dass Messergebnisse nicht unabhängig vom Messkontext vorab zugewiesen werden können.

Prinzip

Nichtkontextuelle verborgene Variablen-Zuweisungen, die algebraische Relationen zwischen Observablen respektieren, sind mit der Projektorstruktur höherdimensionaler Hilberträume unvereinbar; daher ist Kontextualität erforderlich, wenn deterministische Wertezuteilungen gewahrt bleiben sollen.

Demonstration

Man konstruiert eine endliche Menge von Projektionsoperatoren (eine Kochen–Specker-Konfiguration) in einem dreidimensionalen Hilbertraum, so dass jeder Versuch, 0/1-Werte konsistent über die Menge zuzuweisen, zu einem Widerspruch führt; explizite Orthogonalitätsgraphen liefern das konkrete Hindernis.

Fehlanwendung

Den Satz so zu verwenden, dass er alle Formen verborgener-Variablen-Theorien ausschließt — Kochen–Specker verbietet nur nichtkontextuelle deterministische Zuweisungen, die funktionale Relationen erhalten, nicht aber kontextuelle oder stochastische Modelle oder Ontologien außerhalb des Standardformalismus.

Konsequenz

Stellt Kontextualität als fundamentales Merkmal der Quantenmechanik für Dimensionen ≥ 3 fest und schränkt realistische Rekonstruktionen ein, die Messergebnisse unabhängig vom Messkontext vorab festlegen wollen.

Umkehrung

Erlaubt man kontextabhängige Wertezuweisungen oder schwächt man die Forderung, alle funktionalen Relationen zu erhalten, so werden konsistente Zuweisungen möglich und die Kochen–Specker-Blockade entfällt.

Abgrenzung

Gilt für projektive Messungen in Hilberträumen der Dimension drei oder mehr und für Modelle, die nichtkontextuelle Wertabbildungen respektierend funktionale Komposition verlangen; gilt nicht unmittelbar für verallgemeinerte Messungen (POVMs) ohne Übersetzung, noch für klassische Systeme.

Semantische Spannung

Es besteht Spannung zu Interpretationen, die Kontextualität mit Beobachterabhängigkeit oder bloßer epistemischer Unsicherheit verwechseln; Kochen–Specker ist eine strukturelle Aussage über Wertezuweisungen und lässt offen, ob Kontextualität ontisch oder operationell zu verstehen ist.

Synthese

Der Kochen–Specker-Satz zeigt, dass in ausreichend reichen Hilberträumen keine konsistente globale Zuweisung definiter, nichtkontextueller Werte zu Projektionsobservable existiert, die funktionale Relationen bewahrt; dies zwingt zu Kontextualität oder anderen Abschwächungen in jedem realistischen Versuch deterministischer Vorabzuweisungen.