Zustand (Quantenmechanik)
# Zustand (Quantenmechanik)

Ein quantenmechanischer Zustand ist die Beschreibung des Zustands eines physikalischen Systems nach den Regeln der Quantenmechanik. Sie unterscheidet sich grundlegend von der Beschreibung des Zustands nach den Regeln der klassischen Physik, damit die an quantenphysikalischen Systemen gemachten Beobachtungen erfasst werden können. Zu den verschiedenen Interpretationen der Quantenmechanik gehören unterschiedliche Zustandsbegriffe. Dieser Artikel behandelt den Zustandsbegriff der weit verbreiteten Kopenhagener Interpretation.

## Überblick

### Physikalischer Gehalt

Im Gegensatz zum klassischen Begriff legt der Zustand in der Kopenhagener Interpretation der Quantenmechanik nicht für jede am System durchführbare Messung einen mit Sicherheit zu erwartenden Messwert fest, sondern nur für jeden möglichen Messwert die Wahrscheinlichkeit $P$, dass gerade dieser Wert eintritt. Den Grenzfall $P=1$ für einen Messwert (und damit $P=0$ für alle anderen), was die sichere Voraussage eines Messwerts bedeutet, gibt es nur bei denjenigen Zuständen, die Eigenzustände zu der betreffenden Messgröße sind. Ebenfalls im Gegensatz zum klassischen Zustand ist die Zeitentwicklung des quantenmechanischen Zustands nicht durchgehend deterministisch festgelegt. Stattdessen wird im Allgemeinen durch eine Messung der Zustand des Systems auf eine Weise verändert, die nicht beeinflusst und nur mit gewisser Wahrscheinlichkeit vorhergesagt werden kann.

Die sogenannte „Präparation“ eines Systems in einem bestimmten Zustand erfolgt durch die gleichzeitige Messung eines maximalen Satzes kommensurabler physikalischer Größen. Nach dieser Messung befindet sich das System in einem wohldefinierten gemeinsamen Eigenzustand aller dieser Messgrößen, sodass diese bestimmte Werte besitzen. Wenn das System nicht schon vorher in einem solchen gemeinsamen Eigenzustand war, verursacht die Messung schlagartig eine Zustandsreduktion, auch Kollaps genannt, sodass danach alle anderen möglichen Messwerte dieser Größen die Wahrscheinlichkeit Null haben. Die Zustandsreduktion ist kein physikalischer Vorgang, sondern beschreibt die durch die Messung eingetretene genauere Information des Beobachters. Zwischen zwei Messungen ist die Zeitentwicklung des Zustands durch eine Bewegungsgleichung deterministisch festgelegt; im nichtrelativistischen Fall durch die Schrödinger-Gleichung, im relativistischen, abhängig von Spin und Masse des Teilchens, durch die Klein-Gordon-Gleichung (Spin 0), die Dirac-Gleichung (massiv, Spin ½), die Weyl-Gleichung (masselos, Spin ½), die Proca-Gleichung (massiv, Spin 1) oder die Maxwell-Gleichungen (masselos, Spin 1).

### Mathematische Darstellung

Mathematisch wird der quantenmechanische Zustand meist durch einen normierten Zustandsvektor im Hilbertraum beschrieben. Mithilfe einer Basis des Hilbertraums mit diskretem Index kann dieser Zustandsvektor als Linearkombination der Basisvektoren geschrieben werden, oder bei einer Basis mit kontinuierlichem Index als Wellenfunktion. Zu jedem der möglichen Messwerte einer physikalischen Größe besitzt der Zustandsvektor mindestens eine Komponente. Die Stärke einer Komponente (genauer: das Betragsquadrat ihrer Amplitude) bestimmt die Wahrscheinlichkeit, mit der der betreffende Messwert als Ergebnis einer Messung auftritt.

Die Zuordnung von Zustand und Zustandsvektor ist nicht umkehrbar eindeutig, denn Zustandsvektoren, die sich nur durch einen konstanten komplexen Phasenfaktor unterscheiden, beschreiben denselben physikalischen Zustand. Die Linearkombination der Zustandsvektoren zweier Zustände ist selbst ein möglicher Zustandsvektor; er beschreibt einen von den beiden überlagerten Zuständen physikalisch verschiedenen Zustand, wobei es auch auf die relative komplexe Phase der beiden überlagerten Zustandsvektoren ankommt. Die theoretischen Grundlagen der Beschreibung als Linearkombination wurden 1925 von Werner Heisenberg in der Matrizenmechanik entwickelt, die Beschreibung als Wellenfunktion in der Orts- oder Impulsbasis 1926 von Erwin Schrödinger in der Wellenmechanik. Die beiden Beschreibungen beruhen auf derselben tiefer liegenden mathematischen Struktur. In dieser wird ein Zustand als eine Abbildung aufgefasst, die jedem der Operatoren, die eine Messgröße darstellen, eine reelle Zahl zuordnet. Diese Zahl gibt den Erwartungswert der möglichen Messergebnisse an, die bei einzelnen Messungen dieser Größe in diesem Zustand erhalten werden können. Dies wurde 1931 von John von Neumann ausgearbeitet.

Bei unvollständiger Präparation eines Anfangszustands oder in der Quantenstatistik wird zwischen reinen und gemischten Zuständen unterschieden. Zu deren Beschreibung muss der Zustandsvektor zum Dichteoperator (auch Zustandsoperator genannt) erweitert werden. Dieser Formalismus vermeidet auch die eben genannte Unbestimmtheit der komplexen Phase, erschwert aber die manchmal für die Anschauung hilfreiche Vorstellung einer Wellenfunktion.

## Grundbegriffe

### Unterschied zur klassischen Physik

Die Einführung von Wahrscheinlichkeiten verschiedener Ergebnisse anstelle einer eindeutigen Voraussage bedeutet eine grundsätzliche Abkehr von der klassischen Physik. Dort ist nämlich mit der Angabe des momentanen Systemzustands das Ergebnis jeder möglichen Messung eindeutig festgelegt (immer fehlerfreie Messung vorausgesetzt). Dies trifft für makroskopische Systeme (z. B. aus dem Alltag) im Allgemeinen sehr gut zu. Beispielsweise lassen sich einer Schrotkugel oder einem Sandkorn in jedem Moment mit praktisch eindeutiger Genauigkeit ein bestimmter Ort und eine bestimmte Geschwindigkeit zuschreiben.

Für immer kleinere Systeme wird dies jedoch zunehmend falsch, für ein Ensemble quantenmechanischer Teilchen ist es ausgeschlossen. Die streng gültige Heisenbergsche Unschärferelation von 1927 besagt nämlich: liegt der Aufenthaltsort eindeutig fest, dann kann eine Messung der Geschwindigkeit mit gleicher Wahrscheinlichkeit jeden beliebigen Wert ergeben, und umgekehrt; d. h. zu jeder Zeit kann nur eine der beiden Größen eindeutig bestimmt werden. Diese Unbestimmtheit lässt sich auch durch das präziseste Präparieren des Systemzustands nicht beseitigen. Sie ist mathematisch rigoros, relativ einfach zu beweisen und bildet eine zentrale begriffliche Grundlage der Physik.

### Reiner Zustand und Zustandsgemisch

Zusätzliche Unsicherheit über das zu erwartende Messergebnis entsteht, wenn der Zustand des Systems nicht eindeutig festgelegt ist. Das gilt z. B. für den häufigen Fall, dass das beobachtete System aus einer Anzahl gleichartiger Systeme herausgegriffen wird, die nicht alle im selben Zustand präpariert sind. Die unterschiedlichen Zustände, in denen sich das beobachtete System (mit möglicherweise unterschiedlicher Wahrscheinlichkeit) befinden kann, bilden dann ein Zustandsgemisch.

Hier ließe sich die Unsicherheit über die zu erwartenden Messergebnisse verringern, indem nur Systeme im selben Zustand zur Messung ausgewählt werden. Zur Verdeutlichung des Unterschieds zum Zustandsgemisch wird ein eindeutig präparierter Zustand gelegentlich auch als reiner Zustand bezeichnet.

Im Folgenden bedeutet Zustand hier immer reiner Zustand.

### Eigenzustand

Ein Zustand, in dem für eine bestimmte Messgröße der zu erwartende Messwert eindeutig festliegt, heißt Eigenzustand zu dieser Messgröße. Beispiele sind

* das Teilchen ist an einem Ort lokalisiert (Ortseigenzustand)
* das Teilchen hat eine bestimmte Geschwindigkeit oder Impuls (Impulseigenzustand)
* das Teilchen ist in einem gebundenen Zustand bestimmter Energie (Energieeigenzustand).

Die Beispiele 1 und 2 sind streng genommen (wegen einer mathematischen Subtilität: des Vorliegens eines „kontinuierlichen Spektrums“) nur im Grenzfall zulässig (beim Beispiel 2 etwa im „monochromatischen Grenzfall“ eines unendlich ausgedehnten Wellenpakets, während das Beispiel 1 daraus durch eine Fouriertransformation erhalten wird). Beide Beispiele spielen eine bedeutende Rolle in der theoretischen Beschreibung.

Beispiel 3 ist ein Zustand, in dem eine physikalische Größe (nämlich die Energie) einen bestimmten Wert hat, während sowohl für den Ort als auch für den Impuls nur Wahrscheinlichkeiten für verschiedene Messergebnisse angegeben werden können (für den Ort z. B. durch das Orbital, für den Impuls durch das Betragsquadrat der Fouriertransformierten der betreffenden Ortswellenfunktion).

### Superposition von Zuständen

Für ein Teilchen in Gestalt eines Massepunkts ist in der klassischen Mechanik der Zustand durch den Ort und den Impuls gegeben, also durch einen Punkt im sechsdimensionalen Phasenraum. Da bei Teilchenstrahlen aber auch Interferenzeffekte beobachtet werden (Welle-Teilchen-Dualismus), muss auch die Möglichkeit, dass die Superposition (oder Überlagerung, Linearkombination mit komplexen Faktoren) mehrerer Zustände einen möglichen Zustand bildet, zugelassen werden (siehe Materiewellen). So ist jeder Zustand, für den die Quantenmechanik zu einer Messgröße mehrere mögliche Messwerte mit je eigenen Wahrscheinlichkeiten voraussagt, eine Superposition derjenigen Zustände, die die zu diesen Messwerten gehörigen Eigenzustände sind. Die Wahrscheinlichkeit, einen bestimmten dieser Eigenwerte als Messergebnis zu erhalten, ist durch das Betragsquadrat seiner Wahrscheinlichkeitsamplitude festgelegt. Die Wahrscheinlichkeitsamplitude ist der (im Allgemeinen komplexe) Faktor, mit dem der betreffende Eigenzustand in dieser Superposition vorkommt.

Es gibt keinen prinzipiellen Unterschied zwischen den Eigenschaften, Superpositionszustand oder Basis- oder Eigenzustand zu sein: Jeder Zustand eines Systems kann als Basiszustand einer geeignet gewählten Basis betrachtet werden, aber auch als Superpositionszustand von den Basisvektoren einer anderen Basis. Jeder Zustand kann mit jedem anderen Zustand desselben Systems überlagert werden, und jeder Zustand kann als Überlagerung anderer Zustände dargestellt werden. Zustände, die als Superposition definiert wurden, sind also auch reine Zustände im obigen Sinn. Gelegentlich werden sie jedoch ungenau als gemischte Zustände angesprochen, was aber vermieden werden sollte, weil Verwechslungen mit dem Begriff Zustandsgemisch auftreten könnten.

### Zustand und statistisches Gewicht

Der quantenmechanische Phasenraum wird durch die Möglichkeit der Superposition erheblich mächtiger als der Phasenraum der klassischen Mechanik für dasselbe System. Als Maß dieses erweiterten Raumes gilt in der statistischen Quantenphysik aber nicht die Größe dieser Menge selbst, sondern ihre Dimension; das ist die kleinstmögliche Zahl der Zustände, aus denen sich durch Superposition alle überhaupt möglichen Zustände des Systems ergeben können. Innerhalb dieser kleinstmöglichen Teilmenge ist demnach keiner der Zustände als Superposition der anderen darstellbar, deshalb sind sie linear unabhängig und bilden eine Basis des ganzen Phasenraums.

Im Vergleich mit der Zustandsdichte in der klassischen statistischen Physik zeigt sich, dass jeder quantenmechanische Zustand einer solchen Basis das „Phasenraumvolumen“ $(2\pi \hbar )^{n}=h^{n}$ belegt, wobei $n$ die Anzahl unabhängiger Ortskoordinaten ist und $h$ das Plancksche Wirkungsquantum. Die physikalische Dimension dieses „Volumens“ ist für $n=1$ die einer Wirkung = Energie mal Zeit, oder = Ort mal Impuls.

## Mathematische Darstellung

### Mathematische Grundlagen

Im mathematischen Formalismus der Quantenmechanik und Quantenfeldtheorie ist ein Zustand eine Abbildungsvorschrift, die jeder physikalischen Größe ihren Erwartungswert zuordnet. Diese Definition schließt Zustandsgemische mit ein. Da die physikalischen Größen durch lineare Operatoren dargestellt werden, die eine Untermenge einer C*-Algebra bilden, ist ein Zustand $\psi$ in mathematisch strikter Benennung ein lineares Funktional ${\mathcal {A}}$, das von der C*-Algebra auf die komplexen Zahlen $\mathbb {C}$ abbildet, und für das gilt: $\psi (AA^{*})\;\geq 0\;\forall A\in {\mathcal {A}}$ und $\psi (1)=1$. Dabei ist die $1$ als Argument des Funktionals das Einselement der Algebra, und die $1$ auf der rechten Seite die Eins der komplexen Zahlen.

Die Menge dieser Zustände ist eine konvexe Menge, das heißt, wenn $\psi$ und $\phi$ Zustände sind und $a\leq 1$, dann ist auch $a\psi +(1-a)\phi$ ein Zustand. Ein Zustand heißt rein, wenn er sich nur trivial zerlegen lässt, das heißt, wenn $a=0$ oder $a=1$ ist. Diese reinen Zustände sind genau die Extremalpunkte dieser Menge; jeder gemischte Zustand kann als Integral über reine Zustände geschrieben werden.

Jedem Zustand kann mittels der GNS-Konstruktion eine Hilbertraum-Darstellung $\pi \colon {\mathcal {A}}\to {\mathcal {B}}({\mathcal {H}})$ zugeordnet werden. Jeder normierte Vektor $|\psi \rangle$ im Hilbertraum, ${\big \|}|\psi \rangle {\big \|}=1$, entspricht einem Zustand $\psi$ in ${\mathcal {A}}$ und umgekehrt kann jedem Zustand ein Vektor zugeordnet werden. Es gilt

    $\psi (a)\ \Leftrightarrow \ \langle \psi |\pi (a)\psi \rangle$

wobei $\langle \psi |\pi (a)\psi \rangle$ das Skalarprodukt im Hilbertraum aus $|\psi \rangle$ und $|\pi (a)\psi \rangle$ bezeichnet. Die reinen Zustände bilden die irreduziblen Darstellungen im Hilbertraum.

### Physikalische Implikationen

Für die mathematische Darstellung des oben physikalisch definierten reinen Zustands eignen sich zwei Formen, die zueinander äquivalent sind:

* ein Zustandsvektor in einem abzählbar-unendlich-dimensionalen Vektorraum mit einem Skalarprodukt, der als Hilbertraum bezeichnet wird. Diese Darstellung geht zurück auf Werner Heisenberg und Paul Dirac und hat oft den Vorzug der übersichtlichen Darstellung in algebraischen Gleichungen. Ein Zustand wird hier als Vektor notiert, wofür sich nach Dirac das Ket-Symbol $\vert \psi \rangle$ durchgesetzt hat.
* eine Zustandsfunktion, z. B. die orts- und zeitabhängige Materiewelle. Ein Zustand wird hier als Wellenfunktion notiert, z. B. $\psi (t,{\vec {r}})$. Diese Darstellung geht auf Erwin Schrödinger zurück und ist oft leichter zu veranschaulichen, vor allem, wenn es sich nur um einziges Teilchen handelt.

**Zustandsvektor und Kovektor**

Der Zustandsvektor $|\psi \rangle$ im Hilbertraum ${\mathcal {H}}$ ist, wie auch ein Ortsvektor ${\vec {x}}$, ein mathematisches, abstraktes Objekt. So wie der Ortsvektor in einer Basisdarstellung

    ${\vec {x}}=\sum _{i=1}^{3}{\vec {e}}_{i}\left({\vec {e}}_{i}\cdot {\vec {x}}\right)=\sum _{i=1}^{3}x_{i}{\vec {e}}_{i}$

geschrieben werden kann, wobei ${\vec {e}}_{i}$ drei zueinander orthogonale Vektoren im dreidimensionalen euklidischen Raum sind, kann der Zustandsvektor in jeder beliebigen vollständigen Orthonormalbasis entwickelt werden. Für diese Entwicklung ist es nötig, den Kovektor $\langle \psi |$ einzuführen, der als Bra-Vektor im Dualraum zum Hilbertraum ansässig ist. Mathematisch betrachtet ist ein Bra-Vektor ein lineares Funktional, das auf dem Hilbertraum in die komplexen Zahlen opereriert. Wie für Vektoren im euklidischen Raum gilt analog als Entwicklung

    $|\psi \rangle =\sum _{i=1}^{\infty }|\phi _{i}\rangle \langle \phi _{i}|\psi \rangle =\sum _{i=1}^{\infty }c_{i}|\phi _{i}\rangle$

mit $c_{i}=\langle \phi _{i}|\psi \rangle \in \mathbb {C}$. Da die Basisvektoren $|\phi _{i}\rangle$ eine Orthonormalbasis bilden, gilt

    $\langle \phi _{i}|\phi _{j}\rangle =\delta _{ij}$

mit dem Kronecker-Delta $\delta _{ij}$ und

    $\sum _{i=1}^{\infty }|\phi _{i}\rangle \langle \phi _{i}|=I$

mit der unendlichdimensionalen Einheitsmatrix $I$. Da in der Quantenmechanik – im Gegensatz zum euklidischen Vektorraum – auch kontinuierliche Basen auftreten können, gilt für eine Entwicklung in einer kontinuierlichen Basis entsprechend

    $\langle x|y\rangle =\delta (x-y)$

mit der Dirac-Distribution $\delta (x-y)$ beziehungsweise

    $\int \mathrm {d} x\,|x\rangle \langle x|=I$.

Um in der Schreibweise nicht zwischen kontinuierlichen und diskreten Basen unterscheiden zu müssen, wird teilweise das Symbol ⨋ verwendet.

Wenn der Zustandsvektor in einer Basis dargestellt wird, dann zumeist in der Eigenbasis eines hermiteschen Operators, der mit einer physikalischen Messgröße identifiziert wird. Die Eigenzustände eines solchen Operators werden häufig mit dem Formelzeichen der entsprechenden physikalischen Größe bezeichnet:

* $|x\rangle$ bezeichnet den Ortseigenzustand eines Teilchens,
* $|p\rangle$ den Impulseigenzustand,
* $|E\rangle$ den Energieeigenzustand. Dabei kann $E$ sowohl diskrete Werte annehmen (z. B. bei gebundenen Zuständen) als auch kontinuierliche Werte (z. B. bei ungebundenen Zuständen).
* Wird einem Eigenwert eine Quantenzahl zugeordnet (z. B. Quantenzahl $n$ für das $n$-te Energieniveau $E_{n}$, Quantenzahlen $j,\,m$ für Betrag und z-Komponente des Drehimpulses), so wird der zugehörige Eigenzustand angegeben durch Angabe der Quantenzahl(en) oder durch ein extra vereinbartes Symbol (Beispiele: $|n\rangle ,|j,m\rangle ,\left|{\uparrow }\right\rangle$).

Damit die Wellenfunktion nach der Bornschen Regel als Wahrscheinlichkeitsamplitude aufgefasst werden kann, ist es nötig, den Zustandsvektor zu normieren. Das heißt, für einen physikalischen Zustand muss

    $\langle \psi |\psi \rangle =1$

gelten. Allerdings legt dies den Vektor $|\psi \rangle$ nicht umkehrbar eindeutig fest, sondern nur bis auf einen konstanten Faktor $a=e^{\mathrm {i} \alpha },\ \alpha \in \mathbb {R}$, also eine komplexe Zahl mit Betrag Eins. Diese wird auch als quantenmechanische Phase des Zustands bzw. Zustandsvektors bezeichnet. Die Vektoren $e^{\mathrm {i} \alpha }|\psi \rangle$, die alle denselben Zustand beschreiben, spannen einen eindimensionalen Unterraum (Strahl) auf.

**Wellenfunktion**

Die Wellenfunktionen $\psi (x)$ beziehungsweise $\psi (p)$ sind die Entwicklungskoeffizienten des Zustandsvektors in der Orts- beziehungsweise Impulsbasis:

    $|\psi \rangle =\int \mathrm {d} x\,|x\rangle \langle x|\psi \rangle =\int \mathrm {d} x\,|x\rangle \psi (x)$
    $|\psi \rangle =\int \mathrm {d} p\,|p\rangle \langle p|\psi \rangle =\int \mathrm {d} p\,|p\rangle \psi (p)$

**Messung**

Eine messbare physikalische Größe wird durch einen Operator dargestellt, der im Hilbertraum eine lineare Transformation bewirkt. Messgröße $A$ und zugehöriger Operator ${\hat {A}}$ werden zusammengefasst Observable genannt. Die möglichen Messergebnisse $A_{i}$ sind die Eigenwerte des Operators. Das heißt, es gilt für einen Eigenzustand $|A_{i}\rangle$ des Operators

    ${\hat {A}}|A_{i}\rangle =A_{i}|A_{i}\rangle$

Da alle möglichen Messergebnisse reelle Zahlen sind, muss der Operator hermitesch sein, d. h. folgende Bedingung erfüllen:

    $\langle \phi \vert {\hat {A}}\vert \psi \rangle =\langle \psi \vert {\hat {A}}\vert \phi \rangle ^{*}.$

Bei einem Zustand, der nicht Eigenzustand des betreffenden Operators ist, können Messergebnisse nicht sicher, sondern nur mit Wahrscheinlichkeiten vorhergesagt werden. Diese Wahrscheinlichkeiten berechnen sich für jeden Eigenwert als Betragsquadrat aus dem Skalarprodukt des betreffenden Eigenvektors der Messgröße mit dem Zustandsvektor des Systems:

    $P(A_{i})={\Big |}\langle A_{i}|\psi \rangle {\Big |}^{2}$

Nach der Messung ist der Zustandsvektor auf den zum entsprechenden Eigenwert zugehörigen Unterraum kollabiert, das heißt

    $|\psi \rangle _{\text{vor}}\to |\psi \rangle _{\text{nach}}=|A_{i}\rangle$

Dadurch ist gleichzeitig das System im Eigenzustand $|A_{i}\rangle$ präpariert, denn nach dieser Messung liegt es genau in diesem Zustand vor. Eine instantan erfolgende erneute Messung dieser Observable ergibt daher sicher wieder denselben Wert.

Als Erwartungswert $\langle {\hat {A}}\rangle$ wird der Mittelwert vieler Einzelmessungen der Observable an immer gleichen Systemen im selben Zustand $|\psi \rangle$ bezeichnet. Aus dem Spektrum aller möglicher Einzelergebnisse $A_{i}$ und ihren Wahrscheinlichkeiten $P_{i}$ ergibt sich:

    $\langle {\hat {A}}\rangle =\langle \psi \vert {\hat {A}}\vert \psi \rangle$.

**Phasenfaktor und Superposition**

Linearkombinationen zweier Zustandsvektoren, also z. B. $|\psi \rangle =c_{1}|\psi _{1}\rangle +c_{2}|\psi _{2}\rangle$ mit komplexen Zahlen $c_{1},c_{2}$, die die Bedingung $c_{1}c_{1}^{*}+c_{1}c_{2}^{*}+c_{2}c_{1}^{*}+c_{2}c_{2}^{*}=1$ erfüllen, beschreiben ebenfalls erlaubte Zustände (s. o. Superposition von Zuständen). Hierbei ist, anders als bei einem einzelnen Zustandsvektor, die relative Phase der Faktoren, d. h. die komplexe Phase $\phi$ im Quotienten ${\tfrac {c_{2}}{c_{1}}}=\vert {\tfrac {c_{2}}{c_{1}}}\vert e^{i\phi }$, nicht mehr beliebig; je nach Phase hat der Überlagerungszustand $|\psi \rangle$ verschiedene physikalische Eigenschaften. Daher wird von kohärenter Superposition gesprochen, weil wie bei optischer Interferenz mit kohärentem Licht nicht die Betragsquadrate, sondern die „erzeugenden Amplituden“ selbst, also $|\psi _{1}\rangle$ und $|\psi _{2}\rangle$, superponiert werden.

**Zustandsgemisch und Dichteoperator**

Ein Zustandsgemisch, in dem sich das System mit Wahrscheinlichkeit $p_{i}$ im Zustand $\psi _{i}$ (mit $i=1,2,\ldots ,\,n$) befindet, wird durch den Dichteoperator ${\hat {\rho }}$ dargestellt, das ist die Summe der entsprechenden Projektionsoperatoren:

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

Im Gegensatz zur kohärenten Superposition bleibt der Dichteoperator unverändert, wenn die im Gemisch vertretenen Zustände $\psi _{i}$ mit beliebigen Phasenfaktoren versehen werden; im Zustandsgemisch werden die Zustände also inkohärent überlagert.

Der Erwartungswert einer Messung der Observable ${\hat {A}}$ ist dementsprechend die gewichtete inkohärente Summe der Erwartungswerte der einzelnen Bestandteile des Gemischs:

    $\langle {\hat {A}}\rangle =\sum _{i}p_{i}\langle \psi _{i}\vert {\hat {A}}\vert \psi _{i}\rangle$

Dies kann auch als Spur des Operators ${\hat {\rho }}{\hat {A}}$ dargestellt werden:

    $\langle {\hat {A}}\rangle =\operatorname {Sp} ({\hat {\rho }}{\hat {A}})$.

Die letzte Gleichung hat den Vorzug, dass sie gleichermaßen für Gemische und für reine Zustände gilt. (Bei einem reinen Zustand $\psi _{i}$ ist ${\hat {\rho }}=\vert \psi _{i}\rangle \langle \psi _{i}\vert$ der zum Zustand gehörige Projektionsoperator.)

Der Dichteoperator wird auch als „Zustandsoperator“ bezeichnet.

## Beispiele

* Die Zustände eines Teilchens im (eindimensionalen) Kasten der Breite $a$ (von 0 bis $a$) können als Superpositionen von Eigenzuständen des Hamiltonoperators ${\hat {H}}$ geschrieben werden. Dessen Eigenzustände im Ortsraum sind

       $\langle x|n\rangle =\sin n{\tfrac {\pi x}{a}},\ n\in \mathbb {N}$
    und die zugehörigen Energieeigenwerte zu ${\hat {H}}|n\rangle =E_{n}|n\rangle$ sind
       $E_{n}=n^{2}{\tfrac {\pi ^{2}\hbar ^{2}}{2ma^{2}}}$
* Für Teilchen in einem Zentralfeld können die Energieeigenzustände so gewählt werden, dass sie auch Eigenzustände des Drehimpulsoperators sind. Dann tragen sie alle drei Quantenzahlen $n,j,m$:

       ${\hat {H}}\vert n,j,m\rangle =E_{n}\vert n,j,m\rangle ,\quad {\hat {J}}^{2}\vert n,j,m\rangle =\hbar ^{2}j(j+1)\vert n,j,m\rangle ,\quad {\hat {J}}_{z}\vert n,j,m\rangle =\hbar m\vert n,j,m\rangle$
    Aufgrund der Energie-Entartung bezüglich der Quantenzahl $m$ reicht im Allgemeinen eine Messung der Energie nicht aus, um den Zustand eindeutig zu bestimmen.
* Die Spineigenzustände zu $m_{s}=\pm {\tfrac {1}{2}}$ eines (fermionischen) Teilchens werden einfach als $\left|{\uparrow }\right\rangle$ und $\left|{\downarrow }\right\rangle$ geschrieben.
* Der Zustand eines Systems, das durch den s-Wellen-Zerfall eines einzigen gebundenen Elementarteilchensystems in zwei Spin-1/2-Teilchen entsteht, ist $|\psi \rangle ={\tfrac {1}{\sqrt {2}}}\left(\left|{\uparrow }\right\rangle _{1}\otimes \left|{\downarrow }\right\rangle _{2}-\left|{\downarrow }\right\rangle _{1}\otimes \left|{\uparrow }\right\rangle _{2}\right)$. Durch die Messung des Spins bei einem Teilchen kollabiert der Zustand instantan, sodass eine unmittelbar folgende Messung beim anderen Teilchen ein eindeutig korreliertes Ergebnis (nämlich das jeweils gegenteilige) liefert. Dies ist ein Beispiel für Quantenverschränkung.

## Reine Zustände und Zustandsgemische

In der Quantenmechanik und der Quantenstatistik wird zwischen reinen Zuständen und Zustandsgemischen unterschieden. Reine Zustände stellen den Idealfall einer maximalen Kenntnis der beobachtbaren Eigenschaften (Observablen) des Systems dar. Häufig ist aber nach der Präparation oder aufgrund von Messungenauigkeiten der Zustand des Systems nur unvollständig bekannt (Beispiel: der Spin des einzelnen Elektrons in einem unpolarisierten Elektronenstrahl). Dann können den verschiedenen möglicherweise vorkommenden reinen Zuständen $|\psi _{i}\rangle$ oder den zugeordneten Projektionsoperatoren $\mathrm {P} _{i}=|\psi _{i}\rangle \langle \psi _{i}|$ nur Wahrscheinlichkeiten $p_{i}$ zugeordnet werden (siehe unten). Solche unvollständig bekannten Zustände werden als Zustandsgemische bezeichnet. Zur Darstellung von Zustandsgemischen wird der Dichteoperator ρ verwendet, der auch Dichtematrix oder Zustandsoperator genannt wird.

Ein reiner Zustand entspricht einem eindimensionalen Unterraum (Strahl) in einem Hilbertraum. Die zugehörige Dichtematrix $\rho =\mathrm {P} _{i}=|\psi _{i}\rangle \langle \psi _{i}|$ ist der Operator für die Projektion auf diesen Unterraum. Sie erfüllt die Bedingung der Idempotenz, d. h. $\rho ^{2}=\rho$. Zustandsgemische sind dagegen nur durch nicht-triviale Dichtematrizen darstellbar, d. h., dass $\rho ^{2}<\rho$ gilt. Eine Beschreibung durch einen Strahl ist dann nicht möglich.

Charakteristische Merkmale dieser Zustandsbeschreibung sind die Superponierbarkeit („Kohärenz“) der reinen Zustände und das daraus folgende Phänomen der Quantenverschränkung, während bei den Zustandsgemischen die Beiträge der verschiedenen beteiligten Zustände inkohärent summiert werden.

Das Ergebnis von Messungen an einem Quantensystem ergibt bei Wiederholung an einem exakt gleich präparierten System auch bei reinen Zuständen eine nicht-triviale Verteilung von Messwerten, die in der Quantenstatistik zusätzlich (inkohärent!) mit den $p_{i}$ gewichtet wird. Die Verteilung entspricht im Einzelnen dem quantenmechanischen Zustand $|\psi \rangle$ (oder $|\psi _{i}\rangle$) und der Observablen $\,A$ für den Messprozess ($\,A$ repräsentiert i. W. die Messapparatur). Für reine Zustände $|\psi \rangle$ folgt aus der Quantenmechanik: Der Mittelwert der durch Wiederholung erzeugten Messreihe und der quantenmechanische Erwartungswert $\langle \psi |A|\psi \rangle$ sind identisch.

Für das Ergebnis der Messungen ist also im Unterschied zur klassischen Physik selbst bei reinen (also vollständig bekannten) quantenmechanischen Zuständen nur eine Wahrscheinlichkeit angebbar (deshalb heißt es im Folgenden nicht das Resultat, sondern das zu erwartende Resultat, s. u.). Für Zustandsgemische gilt wegen der $p_{i}$ eine zusätzliche (inkohärente!) Unbestimmtheit: ${\bar {A}}=\sum \,p_{i}\cdot \langle \psi _{i}|A|\psi _{i}\rangle \,.$

Also selbst das zu erwartende Resultat des Ausgangs einer einzelnen Messung kann nur in Spezialfällen (etwa $p_{1}=1,\,\,p_{2}=p_{3}=\dots =0$) sicher vorhergesagt werden. Nur die (speziellen!) Eigenzustände $|\phi _{k}\rangle$ der betrachteten Observable $\,A$ oder die zugehörigen Eigenwerte $\,a_{k}$ kommen bei gegebenem $|\psi \rangle$ überhaupt als Messwerte in Frage, und selbst in dem oben angegebenen Fall eines reinen Zustands, etwa $|\psi \rangle \equiv |\psi _{1}\rangle$, d. h. selbst bei vollständig bekannter Wellenfunktion, können für die verschiedenen Eigenzustände $|\phi _{k}\rangle$ bei gegebenem $|\psi \rangle$ nur Wahrscheinlichkeiten angegeben werden, $w_{k}=|\langle \psi |\phi _{k}\rangle |^{2}\,,$ obwohl der Zustand $|\phi _{k}\rangle$ bei einer unmittelbar anschließenden Folgemessung mit derselben Apparatur genau reproduziert wird. Unbekannte Zustände können dagegen nicht durch Messung bestimmt werden (siehe No-Cloning-Theorem). Es gilt ferner $\rho =\sum p_{i}\,\mathrm {P} _{i}\,,$ d. h., dass jetzt nicht die zu den Projektionsoperatoren gehörigen Kets superponiert werden, sondern die Projektionsoperatoren selbst mit Wahrscheinlichkeiten versehen werden.

Insgesamt gilt also: ${\bar {A}}=\sum \sum \,p_{i}\cdot a_{k}\cdot |\langle \psi _{i}|\phi _{k}\rangle |^{2}$, wobei sich der Index i auf die (reinen) Zustände, der Index k dagegen auf die Messgröße bezieht.

(Wenn auch die $a_{k}$ oder die $\,|\phi _{k}\rangle$ nur „ungefähr“ bekannt wären, müsste die $p_{i}$ noch mit zwei entsprechenden Wahrscheinlichkeitsfaktoren, $q_{k}$ oder $r_{ik}$ multipliziert werden.)

## Informationsentropie

Die Informationsentropie des Zustandes oder die mit der Boltzmannkonstante multiplizierte Von-Neumann-Entropie ist ein quantitatives Maß für die Unkenntnis, die hinsichtlich der möglichen Aussage über das Vorliegen eines bestimmten reinen Zustands besteht. Die Von-Neumann-Entropie, $-k_{\mathrm {B} }\operatorname {Tr} (\rho \ln(\rho ))\,$, ist gleich $-k_{\mathrm {B} }\sum p_{i}\ln p_{i}$ für Zustandsgemische. Für reine Zustände ist sie Null (man beachte $p\ln p\to 0$ für $p\to 0$). Dabei wurden Boltzmann'sche Einheiten benutzt, insbesondere ist $k_{\mathrm {B} }$ die Boltzmann-Konstante. In Shannon'schen Einheiten wird dagegen diese Konstante durch Eins und der natürliche Logarithmus $\ln$ durch den binären Logarithmus $\operatorname {lb}$ ersetzt.

