In der Quantenphysik ist eine Messung das Testen oder Manipulieren eines physikalischen Systems, um ein numerisches Ergebnis zu erhalten.Die Vorhersagen der Quantenphysik sind im Allgemeinen probabilistisch. Die mathematischen Werkzeuge zur Vorhersage, welche Messergebnisse auftreten können, wurden im 20. Jahrhundert entwickelt und verwenden lineare Algebra und Funktionsanalyse.
Die Quantenphysik hat sich als empirischer Erfolg erwiesen und ist weitreichend anwendbar.Auf einer philosophischeren Ebene werden jedoch weiterhin Debatten über die Bedeutung des Messkonzepts geführt.
Inhalt
1 Mathematischer Formalismus
1.1 „Observables“ als selbstadjunkte Operatoren
1.2 Projektive Messung
1.3 Verallgemeinerte Messung (POVM)
1.4 Zustandsänderung aufgrund von Messung
1.5 Beispiele
2 Geschichte des Messkonzepts
2.1 Die "alte Quantentheorie"
2.2 Übergang zur „neuen“ Quantentheorie
2.3 Von der Unsicherheit zu nicht versteckten Variablen
In der Quantenmechanik ist jedes physikalische System einem Hilbert-Raum zugeordnet, von dem jedes Element eine Wellenfunktion ist, die einen möglichen Zustand des physikalischen Systems darstellt.Der von John von Neumann kodifizierte Ansatzstellt eine Messung eines selbstadjunkten Operators an einem Hilbert-Raumauf einem physikalischen System dar, der als "beobachtbar" bezeichnet wird.Diese Observablen spielen die Rolle messbarer Größen, die aus der klassischen Physik bekannt sind: Position, Impuls, Energie, Drehimpuls und so weiter.Die Dimension des Hilbert-Raums kann unendlich sein, ebenso wie der Raum quadratintegrierbarer Funktionen auf einer Linie, mit dem die Quantenphysik eines kontinuierlichen Freiheitsgrades definiert wird.Alternativ kann der Hilbert-Raum endlichdimensional sein, wie dies für Spin- Freiheitsgrade derFall ist.Viele Behandlungen der Theorie konzentrieren sich auf den endlichdimensionalen Fall, da die Mathematik etwas weniger anspruchsvoll ist.In der Tat beschönigen einführende physikalische Texte zur Quantenmechanik häufig mathematische Techniken, die sich für kontinuierlich bewertbare Observablen und unendlich dimensionale Hilbert-Räume ergeben, wie beispielsweise die Unterscheidung zwischen begrenzten und unbegrenzten Operatoren. Fragen der Konvergenz (ob die Grenze einer Folge von Hilbert-Raum-Elementen auch zum Hilbert-Raum gehört), exotische Möglichkeiten für Mengen von Eigenwerten wie Cantor-Mengen ;und so weiter.Diese Probleme können mithilfe der Spektraltheorie zufriedenstellend gelöst werden.Der vorliegende Artikel wird sie nach Möglichkeit vermeiden.
Die Eigenvektoren eines von Neumann-Observablen bilden eine orthonormale Basis für den Hilbert-Raum, und jedes mögliche Ergebnis dieser Messung entspricht einem der Vektoren, aus denen die Basis besteht.Ein Dichteoperator ist ein positiv-semidefiniter Operator im Hilbert-Raum, dessen Kurve gleich 1 ist. Für jede Messung, die definiert werden kann, kann die Wahrscheinlichkeitsverteilung über die Ergebnisse dieser Messung aus dem Dichteoperator berechnet werden.Das Verfahren hierfür ist die Born-Regel, die dies besagt
Dabeihandelt es sich um den Dichteoperator undden Projektionsoperator auf den Basisvektor, der dem Messergebnis entspricht.Der Durchschnitt der Eigenwerte eines von Neumann-Observablen, gewichtet mit den Born-Regel-Wahrscheinlichkeiten, ist der Erwartungswert dieses Observablen.Für einen beobachtbaren, da der Erwartungswert eines Quantenzustandist
Ein Dichteoperator, der eine Rang-1-Projektion ist, wird als reiner Quantenzustand bezeichnet, und alle Quantenzustände, die nicht rein sind, werden als gemischt bezeichnet. Reine Zustände werden auch als Wellenfunktionen bezeichnet. Das Zuweisen eines reinen Zustands zu einem Quantensystem impliziert die Gewissheit über das Ergebnis einer Messung an diesem System (dhfür ein bestimmtes Ergebnis).Jeder gemischte Zustand kann als konvexe Kombination reiner Zustände geschrieben werden, wenn auch nicht auf einzigartige Weise. Der Zustandsraum eines Quantensystems ist die Menge aller Zustände, rein und gemischt, die ihm zugeordnet werden können.
Die Born-Regel ordnet jedem Einheitsvektor im Hilbert-Raum eine Wahrscheinlichkeit zu, so dass diese Wahrscheinlichkeiten für jeden Satz von Einheitsvektoren, die eine orthonormale Basis umfassen, 1 ergeben.Darüber hinaus ist die mit einem Einheitsvektor verbundene Wahrscheinlichkeit eine Funktion des Dichteoperators und des Einheitsvektors und nicht von zusätzlichen Informationen wie der Wahl der Basis für die Einbettung dieses Vektors. Der Satz von Gleason legt das Gegenteil fest: alle Zuordnungen von Wahrscheinlichkeiten zu Einheitsvektoren (oder gleichwertig mit den Operatoren, die auf sie projizieren), die diese Bedingungen erfüllen, haben die Form, die Born-Regel auf einen Dichteoperator anzuwenden.
In der Funktionsanalyse und der Quantenmesstheorie ist ein Positiv-Operator-Wert-Maß (POVM) ein Maß, dessen Werte positive semidefinitive Operatoren auf einem Hilbert-Raum sind. POVMs sind eine Verallgemeinerung von Projektionswertmaßen (PVMs), und dementsprechend sind Quantenmessungen, die von POVMs beschrieben werden, eine Verallgemeinerung von Quantenmessungen, die von PVMs beschrieben werden.In grober Analogie ist ein POVM ein PVM, ein gemischter Zustand ein reiner Zustand. Gemischte Zustände sind erforderlich, um den Zustand eines Teilsystems eines größeren Systems anzugeben (siehe Schrödinger-HJW-Theorem );In analoger Weise sind POVMs erforderlich, um die Auswirkung einer projektiven Messung, die an einem größeren System durchgeführt wird, auf ein Subsystem zu beschreiben.POVMs sind die allgemeinste Art der Messung in der Quantenmechanik und können auch in der Quantenfeldtheorie verwendet werden. Sie werden häufig im Bereich der Quanteninformation eingesetzt.
In der Quantenmechanik ist das POVM-Elementdem Messergebnis zugeordnet, so dass die Wahrscheinlichkeit, es bei einer Messung des Quantenzustands zu erhalten, gegeben ist durch
,
Woist der Trace- Operator ? Wenn der gemessene Quantenzustand ein reiner Zustand ist, reduziert sich diese Formel auf
Eine Messung an einem Quantensystem führt im Allgemeinen zu einer Änderung des Quantenzustands dieses Systems.Das Schreiben eines POVM liefert nicht die vollständigen Informationen, die zur Beschreibung dieses Statusänderungsprozesses erforderlich sind.Um dies zu beheben, werden weitere Informationen angegeben, indem jedes POVM-Element in ein Produkt zerlegt wird:
Dienach Karl Kraus benannten Kraus-Betreiber geben eine Spezifikation des Zustandsänderungsprozesses.Sie sind nicht unbedingt selbstadjunkt, aber die Produktesind.Wenn bei der Durchführung der Messung das Ergebniserhalten wird, wird der Ausgangszustand aufaktualisiert
Ein wichtiger Sonderfall ist die nach Gerhart Lüders benannte Lüders-Regel.Wenn das POVM selbst ein PVM ist, können die Kraus-Operatoren als Projektoren auf die Eigenräume des von Neumann-Observablen angesehen werden:
Wenn der Anfangszustandist rein, und die Projektorenhaben Rang 1, können sie als Projektoren auf die Vektoren geschrieben werdenund, respectively.Die Formel vereinfacht sich somit zu
Dies ist historisch als "Reduktion des Wellenpakets" oder " Zusammenbruch der Wellenfunktion " bekannt.Der reine Zustandimpliziert eine Wahrscheinlichkeits-Eins-Vorhersage für jede von Neumann-beobachtbare Eigenschaft, dieals Eigenvektor gilt.Einführungstexte zur Quantentheorie drücken dies häufig aus, indem sie sagen, dass, wenn eine Quantenmessung schnell hintereinander wiederholt wird, beide Male dasselbe Ergebnis erzielt wird.Dies ist eine übermäßige Vereinfachung, da die physikalische Durchführung einer Quantenmessung einen Prozess wie die Absorption eines Photons beinhalten kann;Nach der Messung existiert das Photon nicht mehr, um erneut gemessen zu werden.
Wir können eine lineare, spurenerhaltende, vollständig positive Karte definieren, indemwiralle möglichen Nachmessungszustände eines POVM ohne Normalisierung summieren:
Es ist ein Beispiel für einen Quantenkanal und kann so interpretiert werden, dass es ausdrückt, wie sich ein Quantenzustand ändert, wenn eine Messung durchgeführt wird, das Ergebnis dieser Messung jedoch verloren geht.
Beispiele
Blochkugeldarstellung von Zuständen (in blau) und optimalem POVM (in rot) für eine eindeutige Quantenzustandsunterscheidung zwischen den Zuständenund.Beachten Sie, dass auf der Bloch-Kugel orthogonale Zustände antiparallel sind.
Das prototypische Beispiel eines endlichdimensionalen Hilbert-Raums ist ein Qubit, ein Quantensystem, dessen Hilbert-Raum zweidimensional ist.Ein reiner Zustand für ein Qubit kann als lineare Kombination zweier orthogonaler Basiszuständeundmit komplexen Koeffizienten geschrieben werden:
Eine Messung in derBasis ergibt ein Ergebnismit Wahrscheinlichkeitund ein Ergebnismit Wahrscheinlichkeit, also durch Normalisierung,
Ein beliebiger Zustand für ein Qubit kann als lineare Kombination der Pauli-Matrizen geschrieben werden, die eine Grundlage fürselbstadjunkte Matrizen bilden:
wobei die reellen Zahlendie Koordinaten eines Punktes innerhalb der Einheitskugel sind und