Reiner Zustand und Zustandsgemisch

Die Begriffe reiner und gemischter Zustand (besser: Zustandsgemisch) bezeichnen in der Quantenmechanik bestimmte Arten von quantenmechanischen Zuständen von einem oder mehreren Teilchen. Eine Beschreibung, die für beide Fälle geeignet ist, ist durch den Dichteoperator gegeben.

Reiner Zustand

Ein reiner Zustand liegt vor, wenn das betrachtete System mit der Wahrscheinlichkeit $p=1$ in einem fest definierten Zustand ist. Wird dieser durch einen Zustandsvektor $|\psi \rangle$ aus dem Hilbertraum beschrieben, dann beschreiben auch alle Vektoren $e^{\mathrm {i} \varphi }|\psi \rangle$ mit beliebiger Phase $\varphi$ denselben Zustand. Somit ist der Dichteoperator

$\rho _{\psi }=P_{\psi }=|\psi \rangle \langle \psi |$

gerade die Projektion auf den eindimensionalen Unterraum, der durch den Vektor $|\psi \rangle$ als Repräsentant definiert ist. Die Projektion ist idempotent, d. h., es gilt $\rho _{\psi }^{2}=\rho _{\psi }$. Jeder Projektionsoperator auf einen eindimensionalen Unterraum des Hilbertraums beschreibt einen reinen Zustand.

Jede Linearkombination $|\psi \rangle =a_{1}|\psi _{1}\rangle +a_{2}|\psi _{2}\rangle +...,$ von reinen Zuständen $|\psi _{i}\rangle$ mit komplexen Koeffizienten $a_{i}$ stellt daher auch einen reinen Zustand dar. Er wird als kohärente Überlagerung der $|\psi _{i}\rangle$ bezeichnet, weil es außer von den Beträgen $|a_{i}|$ auch von den komplexen Phasen $\arg(a_{i})$ abhängt, welcher Zustand $|\psi \rangle$ sich bildet.

Eine andere Definition eines reinen Zustandes, die insbesondere die mathematischen Probleme mit überabzählbarer, nicht normierbarer Basis vermeidet, aber ansonsten äquivalent zu der obigen ist, geht von dem allgemeineren Zustandsbegriff für C*-Algebren von Operatoren aus. Hier ist ein Zustand auf einer C*-Algebra $A$ ein positives lineares Funktional mit Norm 1, also eine Abbildung $\varphi \colon A\to \mathbb {K}$ mit $\varphi (A_{+})\subseteq \mathbb {R} _{+}$ und $\|\varphi \|=1$. Die Menge dieser Zustände $S(A)=\{\varphi \}$ bildet eine konvexe Menge. Ein reiner Zustand wird hier dadurch definiert, dass er ein extremales Element von $S(A)$ ist. D. h., ein reiner Zustand lässt sich nicht als Konvexkombination zweier anderer Zustände aus $S(A)$ beschreiben. Die Konvexkombination ist eine Linearkombination $\varphi =a\varphi _{1}+(1-a)\varphi _{2}$ mit positiven Koeffizienten $a>0,(1-a)>0$, deren Summe 1 ergibt. Sie entspricht der weiter unten beschriebenen inkohärenten Überlagerung der Zustände $\varphi _{1},\ \varphi _{2}$.

Zustandsgemische

Das Gegenstück zu einem reinen Zustand ist ein Zustandsgemisch. Damit ist zunächst ein Ensemble aus vielen Objekten in reinen Zuständen $|\psi _{i}\rangle$ bezeichnet, die mit relativen Häufigkeiten $p_{i}>0$, $\textstyle \sum _{i}p_{i}=1$, zufällig gemischt sind. Ein solcher Zustand inkohärenter Mischung wird dann auch jedem einzelnen Objekt des Ensembles zugeschrieben. Manchmal wird hierfür auch die Bezeichnung gemischter Zustand benutzt, wobei aber diese Bezeichnung abhängig vom Kontext auch den Fall der kohärenten Überlagerung meinen kann. Bei einer kohärenten Überlagerung werden Wellenfunktionen oder Zustandsvektoren $|\psi _{i}\rangle$ linear superponiert, $|\psi \rangle =a_{1}|\psi _{1}\rangle +a_{2}|\psi _{2}\rangle +...,$, und stellen abhängig von den Phasen der $a_{i}$ physikalisch verschiedene Zustände dar. Dagegen spielen die Phasen beim Zustandsgemisch keine Rolle, ebenso wenig wie bei einem Zustandsgemisch in der klassischen Physik. Ein wichtiger Unterschied zum klassischen Analogon eines Zustandsgemischs ist, dass die relative Häufigkeit $p_{i}>0$, mit der ein Zustand $|\psi _{i}\rangle$ bei der Präparation des Gemischs beteiligt wird, nicht mit der Häufigkeit übereinstimmen muss, mit der dieser Zustand bei einer Messung gefunden wird. Übereinstimmung ist nur dann gesichert, wenn alle zusammengemischten Zustände orthogonal zueinander sind.

Ein analoger Unterschied besteht in der Optik zwischen der kohärenten Addition von Amplituden (Wellenoptik) und der inkohärenten Addition von Intensitäten (Strahlenoptik).

In dem Zustandsgemisch ist der Erwartungswert eines beliebigen Operators ${\hat {O}}$ die gewichtete Summe der Erwartungswerte in den einzelnen reinen Zuständen $|\psi _{i}\rangle$.

$\langle {\hat {O}}\rangle =\sum _{i}p_{i}\;\langle \psi _{i}|{\hat {O}}|\psi _{i}\rangle$

Dies lässt sich mithilfe des Dichteoperators

${\hat {\rho }}=\sum _{i}p_{i}|\psi _{i}\rangle \langle \psi _{i}|$.

einfach durch die Spur ausdrücken:

$\langle {\hat {O}}\rangle =\mathrm {Sp} ({\hat {\rho }}\cdot {\hat {O}})$

denn mit einem beliebigen Satz Basisvektoren $|\Phi _{j}\rangle$ ist:

$\mathrm {Sp} ({\hat {\rho }}\cdot {\hat {O}})=\sum _{j}\langle \Phi _{j}|{\hat {\rho }}\cdot {\hat {O}}\ |\Phi _{j}\rangle =\sum _{i}\sum _{j}p_{i}\ \langle \Phi _{j}|\psi _{i}\rangle \ \langle \psi _{i}|{\hat {O}}|\Phi _{j}\rangle =\sum _{i}\sum _{j}p_{i}\ \langle \psi _{i}|{\hat {O}}|\Phi _{j}\rangle \langle \Phi _{j}|\psi _{i}\rangle =\sum _{i}p_{i}\ \langle \psi _{i}|\ {\hat {O}}\cdot \ \underbrace {\sum _{j}|\Phi _{j}\rangle \langle \Phi _{j}|} _{{\text{Einheitsoperator}}\mathbf {1} }\ \psi _{i}\rangle =\sum _{i}p_{i}\;\langle \psi _{i}|{\hat {O}}\cdot \mathbf {1} |\psi _{i}\rangle$

Ein Zustandsgemisch ist also (ebenso wie ein reiner Zustand) durch seinen Dichteoperator physikalisch vollständig charakterisiert. Unterschiedlich präparierte Zustandsgemische, die den gleichen Dichteoperator haben, lassen sich physikalisch (d. h. durch Messungen) nicht mehr unterscheiden, sie sind also trotz unterschiedlicher Präparationsverfahren im gleichen Zustand und damit physikalisch identisch. Ein einfaches Beispiel ist ein Gemisch von Spin-½-Teilchen, die (bei gleichen Ortswellenfunktionen) parallel bzw. antiparallel zu einer bestimmten Achse ausgerichtet sind. Unabhängig von der Wahl der Richtung dieser Achse im Raum ergibt sich immer der gleiche Dichteoperator, wenn die Teilchen genau zur Hälfte in der parallelen bzw. antiparallelen Richtung ausgerichtet sind. In diesem Fall hat man also physikalisch immer dasselbe Zustandsgemisch präpariert und kann nachträglich nicht mehr feststellen, welches die ausgezeichnete Achse war. Allgemein gilt: nur bei unterschiedlichen Besetzungszahlen der (orthogonalen) Basiszustände des Gemischs lässt sich eindeutig feststellen, welche Basiszustände im Gemisch vorkommen.

Der Dichteoperator ist hermitesch. Wenn die Zustände $|\psi _{i}\rangle$ orthogonal sind, sind sie die Eigenzustände des Dichteoperators und haben die Eigenwerte $p_{i}$. In dieser Basis ist die Dichtematrix diagonal mit den $p_{i}$ auf der Hauptdiagonalen. Hat das Gemisch mindestens zwei Zustände, gilt $p_{i}^{2}<p_{i}$ für alle $i$ und daher die Ungleichung

${\hat {\rho }}^{2}<{\hat {\rho }}.$

Gilt stattdessen die Gleichung ${\hat {\rho }}^{2}={\hat {\rho }}$, so handelt es sich nicht um ein (inkohärentes) Zustandsgemisch, sondern um einen reinen Zustand, also z. B. um das Ergebnis einer kohärenten Überlagerung.

Beispiele

Unvollständige Messung und Dekohärenz

Wenn ein System aus mehreren Teilen zusammengesetzt ist (oder mehrere Freiheitsgrade besitzt) und eine Messung durchgeführt wird, die nur ein Teilsystem (bzw. eine Teilmenge der Freiheitsgrade) betrifft, dann verhält sich dieses Teilsystem wie ein Zustandsgemisch, auch wenn das Gesamtsystem sich in einem reinen Zustand $|\Psi \rangle$ befindet. Denn der Zustand lässt sich aus Produkten von Basiszuständen $|\psi _{i}\rangle$ der gemessenen und Basiszuständen $|\varphi _{k}\rangle$ der nicht gemessenen Systemkomponenten darstellen:

$|\Psi \rangle =\sum _{i}\sum _{k}c_{ik}|\psi _{i}\rangle |\varphi _{k}\rangle$

Der zugehörige Dichteoperator ${\hat {\rho }}$ ist der Projektionsoperator auf den Vektor $|\Psi \rangle$:

${\hat {\rho }}=|\Psi \rangle \langle \Psi |=\sum _{ik}\sum _{i',k'}|\psi _{i}\rangle |\varphi _{k}\rangle c_{ik}^{*}c_{i'k'}\langle \psi _{i'}|\langle \varphi _{k'}|$

mit den Matrixelementen $\rho _{i'k'ik}=c_{ik}^{*}c_{i'k'}^{\hbox{ }}$.

Der Operator ${\hat {A}}$ für diese Messung wirkt mit einem Teil ${\hat {A}}_{\psi }$ nur auf die Basiszustände $|\psi _{i}\rangle$ der gemessenen Freiheitsgrade. Er verändert die anderen Basiszustände $|\varphi _{k}\rangle$ gar nicht, wirkt bei diesen also wie ein Einheitsoperator ${\hat {\mathbb {1} }}_{\varphi }$. Der ganze Operator ist daher durch das Produkt ${\hat {A}}={\hat {A}}_{\psi }\cdot {\hat {\mathbb {1} }}_{\varphi }$ gegeben. Für den Erwartungswert folgt

$\langle \Psi |{\hat {A}}_{\psi }\cdot {\hat {\mathbb {1} }}_{\varphi }|\Psi \rangle =\sum _{ik}\sum _{i',k'}c_{ik}^{*}c_{i'k'}\langle \psi _{i}|{\hat {A}}_{\psi }|\psi _{i'}\rangle \underbrace {\langle \varphi _{k}|{\hat {\mathbb {1} }}_{\varphi }|\varphi _{k'}\rangle } _{\delta _{k\,k'}}=\sum _{i,k}\rho _{i'i}\langle \psi _{i}|{\hat {A}}_{\psi }|\psi _{i'}\rangle$

mit

$\rho _{\psi \,i'i}=\sum _{k}c_{ik}^{*}c_{i'k}^{\hbox{ }}$

Die Koeffizienten $\rho _{\psi \,i'i}$ bilden die Matrix eines Dichteoperators ${\hat {\rho }}_{\psi }$ im Zustandsraum des beobachteten Teilsystems. Er ist unabhängig von der Wahl des Operators ${\hat {A}}$ und wird als der reduzierte Dichteoperator bezeichnet. Mit ihm kann man den Erwartungswert so schreiben, dass die unbeobachteten Freiheitsgrade des Gesamtsystems nicht mehr vorkommen:

$\langle {\hat {A}}_{\psi }\rangle =\mathrm {Sp} ({\hat {\rho }}_{\psi }\cdot {\hat {A}}_{\psi })$.

Mit ${\hat {\rho }}_{\psi }$ als Dichteoperator ist der Zustand des Teilsystems, das in verschränkter Weise in dem reinen Zustand $|\Psi \rangle$ des Gesamtsystems enthalten ist, als ein Zustandsgemisch identifiziert. Bei einer Messung der Größe ${\hat {A}}$ entspricht das Ergebnis der inkohärent überlagerten Eigenzustände von ${\hat {A}}_{\psi }$. Denn wählt man für die $|\psi _{i}\rangle$ von vornherein die Eigenzustände von ${\hat {A}}_{\psi }$ mit Eigenwerten $A_{i}$, dann gilt ${\hat {A}}_{\psi }|\psi _{i'}\rangle =A_{i'}|\psi _{i'}\rangle$ und wegen $\langle \psi _{i}|\psi _{i'}\rangle =\delta _{i\,i'}$ ergibt sich

$\langle \Psi |{\hat {A}}_{\psi }\cdot {\hat {\mathbb {1} }}_{\varphi }|\Psi \rangle =\sum _{i}p_{i}\;A_{i}$

Das ist genau der Erwartungswert für das Gemisch aus den Eigenzuständen des Operators ${\hat {A}}_{\psi }$ mit den Gewichten $p_{i}=\sum _{k}|c_{ik}|^{2}$. Die Gewichte geben die Wahrscheinlichkeit an, das Teilsystem in dem jeweiligen Eigenzustand anzutreffen. Ihre Summe $\sum _{i}p_{i}=1$ ist schon richtig normiert. Dieses Ergebnis gilt für jeden hermiteschen Operator.

Der Zustand eines Teilsystems in einem zusammengesetzten System in einem wohldefinierten verschränkten Zustand ist daher vollständig äquivalent zu einem Zustandsgemisch, auch wenn das Gesamtsystem nur in einem einzigen Exemplar vorliegt. Dies ist grundlegend wichtig für das Phänomen der Dekohärenz, das für die fast völlige Abwesenheit der typischen Quanteneffekte in der makroskopischen Welt verantwortlich ist.

Quantenstatistik

Ein weiteres Beispiel für inkohärente Superposition gibt die Thermodynamik bzw. Statistische Physik (Quantenstatistik). Hier ist $\rho ={\frac {\exp(-\beta {\hat {H}})}{Z(T)}}$. Dabei ist $\beta$ die reziproke Fermi-Temperatur T, genauer: $\beta =1/(k_{\mathrm {B} }\cdot T),$ mit der Boltzmann-Konstante $k_{\mathrm {B} };$  ${\hat {H}}$ ist der Hamiltonoperator (Energieoperator) des Systems; es ist also $p_{i}={\frac {\exp(-\beta E_{i})}{Z(T)}};$  Z(T) schließlich ist die sogenannte Zustandssumme, $Z(T)=\sum _{i}\,\exp(-\beta E_{i}),$ was $\sum _{i}p_{i}=1$ entspricht. Für die thermodynamische Entropie $S(T)$ des Systems gilt: $S(T)=k_{\mathrm {B} }S_{N}\equiv -k_{\mathrm {B} }T\cdot \ln Z(T),$ mit der im Artikel Bell-Zustand statistisch definierten Von-Neumann-Entropie $S_{N}=\sum _{i}-p_{i}\ln p_{i}\ (=-\ \mathrm {Sp} \,\rho \cdot \ln \rho ).$ Beide Entropien sind also im Wesentlichen identisch.

Das wohl prominenteste Beispiel für kohärente Superpositionen ist die Laserstrahlung. Hier strahlen die Atome gleichphasig, also im Takt. Es werden Übergänge zwischen unterschiedlichen „reinen“ Energiezuständen des bestrahlten Systems induziert, wodurch die Übergangrate, das ist die Zahl der Übergänge dividiert durch die Zeit, nicht wie bei inkohärenter Strahlung konstant ist, sondern z. B. über eine gewisse Zeitspanne sehr rasch anwächst. Die erzeugte Strahlungsintensität ($\propto |{\vec {E}}|^{2}$) steigt quadratisch mit der Anzahl $N$ der Atome, statt — wie bei inkohärenter Anregung — linear, und wird daher um viele Zehnerpotenzen größer.