Zustand (Quantenmechanik)
Ein quantenmechanischer Zustand ist die Beschreibung des Zustands eines physikalischen Systems nach den Regeln der Quantenmechanik. Diese Beschreibung unterscheidet sich grundlegend von derjenigen nach den Regeln der klassischen Physik, damit die an quantenphysikalischen Systemen beobachteten Phänomene erfasst werden können. Zu den verschiedenen Interpretationen der Quantenmechanik gehören zum Teil unterschiedliche Zustandsbegriffe. Dieser Artikel behandelt den Zustandsbegriff der weit verbreiteten Kopenhagener Interpretation.
Überblick
Physikalischer Gehalt
Viele der physikalischen Beobachtungen, die an Quantensystemen gemacht werden, sind auf der Grundlage der Zustandsbegriffe der klassischen Physik nicht mehr zu erfassen.[1]
Streuung der Messwerte, Wahrscheinlichkeitsaussagen
In der klassischen Physik ist der Zustand eines Systems zu jedem Zeitpunkt durch bestimmte Werte für jeden der Freiheitsgrade des Systems gegeben. Aus diesen lässt sich für jede am System beobachtbare physikalische Größe der aktuelle Wert berechnen. Diese Werte sind damit auch eindeutig als die Messwerte vorhergesagt, die bei einer (idealen) entsprechenden Messung gemessen werden würden. Beispiele sind Ort oder Geschwindigkeit eines Körpers. Auch in der Quantenmechanik stellt der Zustand die genaueste physikalische Beschreibung dar, die physikalisch möglich ist, kann aber im Gegensatz zum klassischen Zustand nicht für jede Messung einen mit Sicherheit zu erwartenden Messwert festlegen, sondern nur für jedes der möglichen Messergebnisse die Wahrscheinlichkeit (), dass gerade dieser Wert eintritt (siehe z. B. Quantenmechanische Messung). Nur im Grenzfall für einen Messwert (und damit für alle anderen) ist dieser Messwert sicher vorhergesagt. Diesen Fall gibt es nur bei besonderen Zuständen, die als Eigenzustände zu der betreffenden Messgröße bezeichnet werden. In allen anderen Zuständen zeigen wiederholte Messwerte eine Streuung oder Unbestimmtheit, die für die ganze Quantenphysik charakteristisch ist, weil es keine andere Beschreibung gibt, in der die Messwerte genauer vorherzusagen wären. Dann nimmt das System erst durch die Messung einen bestimmten Wert für die gemessene Größe an. Sein Zustand geht damit auch unstetig in den entsprechenden Eigenzustand über (Zustandsreduktion), sodass gewährleistet ist, dass für eine unmittelbar folgende Wiederholung der Messung mit Sicherheit derselbe Messwert vorhergesagt wird. Die Zustandsreduktion läuft nicht als ein physikalischer Vorgang ab, sondern beschreibt den durch die Messung gewonnenen Informationszuwachs des Beobachters. So wird durch eine Messung der Zustand des Systems im Allgemeinen auf eine Weise verändert, die nur mit gewisser Wahrscheinlichkeit vorhergesagt und nicht weiter beeinflusst werden kann.[2] Daher findet eine deterministische Zeitentwicklung des quantenmechanischen Zustands nur im Zeitraum zwischen zwei aufeinanderfolgenden Messungen statt. In diesem Zeitraum entwickelt sich der Zustand gemäß einer deterministischen Bewegungsgleichung: im nichtrelativistischen Fall gemäß der Schrödinger-Gleichung, im relativistischen, abhängig von Spin und Masse des Teilchens, gemäß der Klein-Gordon-Gleichung (Spin 0), der Dirac-Gleichung (massiv, Spin ½), der Weyl-Gleichung (masselos, Spin ½), der Proca-Gleichung (massiv, Spin 1) oder der Maxwell-Gleichungen (masselos, Spin 1).
Für zwei verschiedene Messgrößen existieren in vielen Fällen keine gemeinsamen Eigenzustände. Solche Paare von physikalischen Größen können daher in keinem Zustand gleichzeitig mit scharfen Werten vorliegen, so z. B. der Ort und die Geschwindigkeit eines Körpers. Zwei Messgrößen dieser Art heißen zueinander inkommensurabel. Die Präparation eines Systems in einem bestimmten Zustand kann daher nicht so erfolgen, dass für sämtliche Freiheitsgrade feste Werte vorgegeben werden, sondern bestenfalls für einen maximalen Satz solcher physikalischer Größen, die untereinander alle kommensurabel sind.[3] Anschließend befindet sich das System in einem wohldefinierten gemeinsamen Eigenzustand aller dieser Größen, während für alle zum gewählten Satz nicht kommensurablen Größen die Messwerte streuen. Diese Unbestimmtheit wird durch die Heisenbergsche Unschärferelation ausgedrückt.
Unvollständige Präparation, statistisches Gemisch, inkohärente Überlagerung
Werden viele gleichartige Systeme so präpariert, dass sie nur für eine Auswahl der kommensurablen Größen denselben Eigenzustand haben, liegt eine unvollständige Präparation vor (z. B., wenn die Elektronen in einem Elektronenstrahl nur in den drei Komponenten des Impulses übereinstimmen, aber nicht in der Ausrichtung ihrer Spins). So erhält man ein statistisches Gemisch von Systemen, die hinsichtlich der zur Präparation ausgewählten Größen alle im selben Eigenzustand sind, hinsichtlich der anderen (kommensurablen) Größen aber in verschiedenen Eigenzuständen. Die Messwerte dieser Größen streuen dann nicht wegen der quantenmechanischen Unbestimmtheit, sondern weil sie schon vor der Messung verschiedene Werte hatten. Diese Form der Überlagerung wird als inkohärente Überlagerung oder Zustandsgemisch bezeichnet. Sie ist in der klassischen Physik genau so möglich, zeigt in der Quantenmechanik jedoch neue Eigenschaften.[4]
Kohärente Überlagerung und Interferenz (Superposition)
In der klassischen Physik kann es eine kohärente Überlagerung von zwei Zuständen – aus der ein einziger neuer Zustand hervorgeht – nur bei Schwingungen und Wellen geben, nicht bei Teilchen. In der Quantenphysik hingegen muss bei jedem System die Überlagerung zweier Zustände einen möglichen Zustand ergeben. Anders wäre das Entstehen von Interferenzmustern durch konstruktive und destruktive Interferenz nicht zu verstehen. Ein Beispiel zeigt sich im Doppelspaltexperiment, wo man am Intensitätsmuster auf dem Schirm ablesen kann, dass sich die zwei Zustände überlagern, bei denen dasselbe Teilchen nur von dem einen bzw. nur von dem anderen Spalt aus zum Schirm fliegt.
Zusammengesetzte Systeme, Quantenverschränkung
Diese beiden Charakteristika zusammengenommen ergeben weiterhin die Möglichkeit, dass zwei Teile eines größeren Systems eine Art von Verschränkung zeigen, die in der klassischen Physik nicht vorkommt.[5]
Dies sei hier am Beispiel eines zusammengesetzten Systems dargestellt, das sich in einem seiner eindeutig bestimmten Zustände befindet, wo es also unmöglich ist, für diesen Zustand eine noch detailliertere Beschreibung zu geben. Wenn es sich zum Beispiel um einen Energieeigenzustand des Gesamtsystems handelt, dann liegt der Wert der Gesamtenergie fest, aber es ist damit nicht immer festgelegt, dass auch jedes Teilsystem in einem seiner Energieeigenzustände ist. Verschränkung der beiden Teilsysteme bedeutet dann vielmehr, dass in dem wohlbestimmten Zustand des Gesamtsystems die Möglichkeit von mehreren verschiedenen Aufteilungen der Energie auf die Teilsysteme angelegt ist, bei denen nur die Summe mit der Energie des Gesamtsystems übereinstimmt. Daher kann die Messung der Energie des ersten Teilsystems verschiedene Werte ergeben, wobei durch die entsprechende Zustandsreduktion des Zustands des Gesamtsystems wegen der Verschränkung stets sichergestellt ist, dass danach das zweite System genau den dazu passenden Energieinhalt besitzt. Das heißt, nach der Messung am ersten Teilsystem befindet sich nicht nur dieses in einem seiner Energieeigenzustände, sondern auch das zweite, auch dessen Zustand hat sich geändert. Das gilt entgegen aller alltäglichen Anschauung auch dann, wenn die Messung das zweite System sonst in keiner Weise beeinflusst hat, einschließlich des Falls, dass die beiden Teilsysteme beliebig weit voneinander entfernt sind.
Bei dieser quantenmechanischen Verschränkung ist zu beachten, dass die Energieeigenzustände eines Teilsystems, beispielsweise des ersten, die mit gewissen Wahrscheinlichkeiten im Gesamtzustand enthalten sind, eine inkohärente Überlagerung bilden, keine kohärente. Interferenzeffekte zwischen verschiedenen solcher Zustände des einen Teilsystems sind ausgeschlossen, außer in dem Sonderfall, dass sie durch die Verschränkung nicht an verschiedene Eigenzustände des anderen Teilsystems gekoppelt sind, sondern an exakt denselben. Ohne den Nachweis von Interferenzen kann aber durch keine Beobachtung ausgeschlossen werden, dass jedes der beiden Teilsysteme schon vor der Messung jeweils in einem bestimmten Zustand gewesen sei, man aber nur nicht wisse, in welchem. Man kann diese Folge der quantenmechanischen Verschränkung insoweit ebenso gut als Folge der bloßen Unkenntnis einer Verteilung begreifen, die schon vor der Messung real vorliegt (wobei es gleichzeitig für das Gesamtsystem keine vollständigere Beschreibung geben kann als durch seinen – hier als bekannt vorausgesetzten – quantenmechanischen Zustand). Dann wäre sie noch mit dem klassischen Zustandsbegriff verträglich.[4] (Beim Würfeln sind verschiedene Augenzahlen möglich und jeweils mit bestimmten festgelegten Konsequenzen verknüpft. Man weiß aber auch erst nach dem Aufdecken des Würfelbechers, welche der Kombinationen von Augenzahl und Konsequenz eingetreten ist.) Im obigen Beispiel etwa kann man sich vorstellen, dass zwischen den beiden Teilsystemen ständig Energie ausgetauscht wird, wie etwa zwischen zwei Systemen im thermischen Gleichgewicht, nur dass die momentane Energieverteilung im Augenblick der Messung nicht vorhersagbar ist. Demnach beruht diese Verschränkung, genau wie bei der oben erwähnten unvollständigen Präparation, auf partieller Unkenntnis des genauen Zustands und widerspricht nicht der klassischen Vorstellung, dass jedes Teilsystem zu jedem Zeitpunkt einen wohlbestimmten Zustand habe.
Diese klassisch und anschaulich mögliche Vorstellung kann aber in der Quantenphysik letztendlich doch nicht aufrechterhalten werden. Denn anders, als in der klassischen Physik denkbar, kann die Verschränkung in bestimmten Experimenten (siehe Quantenradierer) von der inkohärenten Überlagerung zu einer kohärenten umgewandelt werden, indem die Unterschiede zwischen den Zuständen des zweiten Systems, die die Interferenz verhindern, zum Verschwinden gebracht werden. Dann erscheinen die Interferenzmuster aufs Neue und zeigen, dass das Teilsystem nun nicht mehr entweder in dem einen oder in dem anderen Zustand war, sondern im Zustand einer kohärenten Überlagerung beider. Das gelang bisher allerdings nur, wenn das zweite Teilsystem ein Quantensystem aus höchstens wenigen Teilchen ist. Quantenmechanische Verschränkungen mit großen, z. B. makroskopischen Systemen, sind daher durch Beobachtungen nicht vom klassischen Fall der Verschränkung durch Unkenntnis eines real vorliegenden Zustands zu unterscheiden (siehe z. B. Schrödingers Katze und Dekohärenz).
Mathematische Darstellung
Mathematisch wird der quantenmechanische Zustand meist durch einen auf den Betrag 1 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 (bei gegebenem Zustand) möglichen Messwerte einer physikalischen Größe besitzt der zugehörige Zustandsvektor mindestens eine Komponente. Die Stärke einer Komponente, ihre „Amplitude“, bestimmt die Wahrscheinlichkeit, mit der der betreffende Messwert als Ergebnis einer Messung auftritt; diese Wahrscheinlichkeit ist das Betragsquadrat der Amplitude.
Die Zuordnung von einem gegebenen Zustand zu einem Zustandsvektor ist nicht eindeutig, denn Zustandsvektoren, die sich nur durch einen konstanten komplexen Phasenfaktor unterscheiden, beschreiben denselben physikalischen Zustand. Jede Linearkombination der Zustandsvektoren zweier verschiedener Zustände ist (nach Normierung) selbst ein möglicher Zustandsvektor, der als kohärente Überlagerung der beiden Zustände bezeichnet wird. Diese Überlagerung ist kohärent, weil es von der (relativen) Phase der beiden komplexen Koeffizienten abhängt, welcher von den möglichen physikalisch verschiedenen Zuständen durch die Linearkombination beschrieben wird. Die theoretischen Grundlagen für eine Beschreibung des quantenmechanischen Zustands als Hilbertraumvektor mit der Möglichkeit der 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. Ein solcher Zustand wird auch als reiner Zustand bezeichnet, um ihn von dem Fall des gemischten Zustands zu unterscheiden, der ein mit einem anderen System verschränktes System beschreibt.
Die beiden Beschreibungen als Vektor oder Wellenfunktion beruhen auf derselben tiefer liegenden mathematischen Struktur, die auch für die klassische Physik gilt. Jeder Zustand wird mit einer mathematischen Funktion identifiziert, die jedem der Operatoren, die eine Messgröße darstellen, eine reelle Zahl zuordnet. Der Zustand wird hier also als eine Abbildung von der Menge der Operatoren in die Menge der reellen Zahlen aufgefasst. Der Funktionswert ist in der klassischen Physik der sicher zu erwartende Messwert, in der Quantenmechanik aber der Erwartungswert, der sich als Mittelwert der bei einzelnen Messungen streuenden möglichen Messergebnisse ergibt. Bei dieser Begriffsbildung, die 1931 von John von Neumann ausgearbeitet wurde, reicht ein Vektor oder eine Wellenfunktion nicht mehr aus, vielmehr ist der Zustand im Allgemeinen durch einen Dichteoperator zu beschreiben. Dies umfasst auch den Fall, dass statt eines Zustands mit einem bestimmten Zustandsvektor ein inkohärentes Gemisch verschiedener Zustände vorliegt, wie z. B. häufig nach der in realen Experimenten meistens nicht ganz idealen und damit unvollständigen Präparation, aber auch in der Theorie der Vielteilchensysteme in der Quantenstatistik. Ein reiner Zustand hat als Dichteoperator einen Projektionsoperator auf den 1-dimensionalen Unterraum, der durch seinen Zustandsvektor definiert ist. Das entspricht genau der obigen Definition durch einen bis auf einen Phasenfaktor festgelegten Hilbertraumvektor. Die beliebige Phase ist damit aus dem Formalismus eliminiert. Der Dichteoperator für einen gemischten Zustand ist eine mit relativen Häufigkeiten, also reellen Zahlen zwischen Null und Eins, gewichtete Summe solcher Projektionsoperatoren auf verschiedene 1-dimensionale Unterräume.
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[6] ist es ausgeschlossen. Die streng gültige Heisenbergsche Unschärferelation von 1927 besagt nämlich: Liegt der Aufenthaltsort mathematisch 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 sein. Diese Unbestimmtheit lässt sich auch durch das präziseste Präparieren des Systemzustands nicht beseitigen. Sie ist mathematisch rigoros, relativ einfach zu beweisen[7] und bildet eine zentrale begriffliche Grundlage der Physik.
Reiner Zustand und Zustandsgemisch
Die maximale Kenntnis der momentanen physikalischen Eigenschaften eines Systems wird durch einen Zustandsvektor oder eine Wellenfunktion wiedergegeben. Eine noch genauere Kenntnis des Zustands ist undenkbar. Die Streuung des Messergebnisses oder die Unsicherheit bei der Vorhersage des Wertes für eine Größe, für die der Zustand nicht ein Eigenzustand ist, ist eine unausweichliche physikalische Gegebenheit.
Zusätzliche Unsicherheit über das zu erwartende Messergebnis entsteht, die Information über den Zustand des Systems nicht maximal, also unvollständig ist. Das gilt z. B. für den häufig vorkommenden Fall, dass das beobachtete System aus einer Anzahl gleichartiger Systeme herausgegriffen wird, die nicht alle im selben Zustand präpariert sind. Dann kann das System nicht durch eine einzige Wellenfunktion bzw. Zustandsvektor vollständig beschrieben werden, denn das System kann sich in verschiedenen Zuständen befinden. Diese Zustände befinden sich in einer inkohärenten Überlagerung und bilden ein Zustandsgemisch (früher auch „Gemenge“ genannt).
Bei einem Zustandsgemisch ließe sich die Unsicherheit über die zu erwartenden Messergebnisse im Allgemeinen noch verringern, indem zur Messung nur ein Teil der Systeme ausgewählt werden, die im selben Zustand sind. 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.[8]
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 kohärente Ü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 Linearkombination vorkommt.
Es gibt keinen prinzipiellen Unterschied zwischen den Eigenschaften, Superpositionszustand zu sein oder Basis- bzw. Eigenzustand: Jeder Zustand eines Systems kann als Basiszustand in einer geeignet gewählten Basis betrachtet werden, aber auch als kohärenter Superpositionszustand der Basisvektoren einer anderen Basis. Jeder Zustand kann mit jedem anderen Zustand desselben Systems kohärent überlagert werden, und jeder Zustand kann als kohärente Überlagerung anderer Zustände dargestellt werden. Zustände, die als kohärente Superposition beschrieben werden, sind also auch reine Zustände im obigen Sinn, genauso „rein“ wie die Zustände, aus denen sie durch Linearkombination gebildet wurden. Gelegentlich werden sie trotzdem ungenau als gemischte Zustände angesprochen, was aber vermieden werden sollte, weil Verwechslungen mit dem Begriff Zustandsgemisch, das auch als inkohärente Superposition bezeichnet wird und durch einen Dichteoperator dargestellt werden muss, 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;[9] 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 ein gleich großes „Phasenraumvolumen“ belegt, wobei die Anzahl unabhängiger Ortskoordinaten ist und die Planck-Konstante. Die physikalische Dimension dieses „Volumens“ ist für die einer Wirkung = Energie mal Zeit, oder = Ort mal Impuls.
Mathematische Darstellung
Mathematische Grundlagen
Zu einem allgemeineren Begriff eines quantenmechanischen Zustands kommt man, wenn der Begriff nicht wie oben als Ausgangspunkt der Beschreibung definiert wird, sondern aus allgemeineren Annahmen abgeleitet wird. Dem mathematisch strikten Aufbau der Quantenmechanik wird nur zugrunde gelegt, dass es physikalische Größen gibt, die an einem physikalischen System gemessen werden können, wobei sie je nach Zustand des Systems bestimmte Werte zeigen. Die physikalischen Größen haben (wegen der Möglichkeiten der Produktbildung (insbesondere Vertauschungsrelationen) und Linearkombination etc.) eine algebraische Struktur und bilden z. B. eine Untermenge einer C*-Algebra.[10] Ihre Werte sind eine Untermenge der komplexen Zahlen . Der Zustand des Systems ist diejenige Abbildung der C*-Algebra auf , die jeder physikalischen Größe (unter Wahrung der Linearität) ihren Erwartungswert zuweist.[11]
Diese Abbildung ist in mathematisch strikter Benennung ein lineares Funktional auf der Algebra der Observablen. Damit eine Abbildung von der C*-Algebra auf die komplexen Zahlen einen quantenmechanischen Zustand darstellt, muss das Funktional positiv und normiert sein, d. h., es muss gelten: und . Dabei ist das Einselement der Algebra.
Die Menge dieser Zustände ist eine konvexe Menge, das heißt, wenn und Zustände sind und , dann ist auch ein Zustand. Zustände , die sich nicht mit einem so in zwei andere zerlegen lassen, heißen Extremalpunkte der Menge. Sie haben die Eigenschaften der oben mittels Hilbertraumvektoren definierten reinen Zustände. Alle anderen Elemente der Menge sind Zustandsgemische, die als Summe oder Integral über reine Zustände ausgedrückt werden können.
Jedem Zustand kann mittels der GNS-Konstruktion eine Hilbertraum-Darstellung zugeordnet werden. Jeder normierte Vektor im Hilbertraum, , entspricht einem reinen Zustand auf und umgekehrt kann jedem reinen Zustand ein Vektor zugeordnet werden. Es gilt
- ,
wobei das Skalarprodukt im Hilbertraum aus und 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[12] und Paul Dirac[13] 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 durchgesetzt hat.
- Eine Zustandsfunktion, z. B. die orts- und zeitabhängige Materiewelle. Ein Zustand wird hier als Wellenfunktion notiert, z. B. . Diese Darstellung geht auf Erwin Schrödinger zurück[14] und ist oft leichter zu veranschaulichen, vor allem, wenn es sich nur um einziges Teilchen handelt.
Zustandsvektor und Kovektor
Der Zustandsvektor im Hilbertraum ist, wie auch ein Ortsvektor , ein mathematisches, abstraktes Objekt. So wie der Ortsvektor in einer Basisdarstellung
geschrieben werden kann, wobei 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 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
mit . Da die Basisvektoren eine Orthonormalbasis bilden, gilt
mit dem Kronecker-Delta und
mit der unendlichdimensionalen Einheitsmatrix . 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
mit der Dirac-Distribution beziehungsweise
- .
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:
- bezeichnet den Ortseigenzustand eines Teilchens.
- den Impulseigenzustand.
- den Energieeigenzustand. Dabei kann 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 für das -te Energieniveau , Quantenzahlen 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: ).
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
gelten. Allerdings legt dies den Vektor nicht umkehrbar eindeutig fest, sondern nur bis auf einen konstanten Faktor , also eine komplexe Zahl mit Betrag 1. Diese wird auch als quantenmechanische Phase des Zustands bzw. Zustandsvektors bezeichnet. Die Vektoren , die alle denselben Zustand beschreiben, spannen einen eindimensionalen Unterraum (Strahl) auf.
Wellenfunktion
Die Wellenfunktionen beziehungsweise sind die Entwicklungskoeffizienten des Zustandsvektors in der Orts- beziehungsweise Impulsbasis:[15]
Messung
Eine messbare physikalische Größe wird durch einen Operator dargestellt, der im Hilbertraum eine lineare Transformation bewirkt. Messgröße und zugehöriger Operator werden zusammengefasst Observable genannt. Die möglichen Messergebnisse sind die Eigenwerte des Operators. Das heißt, es gilt für einen Eigenzustand des Operators:
Da alle möglichen Messergebnisse reelle Zahlen sind, muss der Operator hermitesch sein, d. h. folgende Bedingung erfüllen:
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 der Messgröße als Betragsquadrat aus dem Skalarprodukt des betreffenden Eigenvektors mit dem Zustandsvektor des Systems:
Nach der Messung ist der Zustandsvektor auf den zum entsprechenden Eigenwert zugehörigen Unterraum kollabiert, das heißt:
Dadurch ist gleichzeitig das System im Eigenzustand 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 wird der Mittelwert vieler Einzelmessungen der Observable an immer gleichen Systemen im selben Zustand bezeichnet. Aus dem Spektrum aller möglicher Einzelergebnisse und ihren Wahrscheinlichkeiten ergibt sich:
Phasenfaktor und Superposition
Linearkombinationen zweier Zustandsvektoren, also z. B. mit komplexen Zahlen beschreiben ebenfalls erlaubte Zustände, wenn die beiden Faktoren so gewählt sind, dass (s. o. Superposition von Zuständen). Hierbei ist, anders als bei einem einzelnen Zustandsvektor, die relative Phase der Faktoren, d. h. die komplexe Phase im Quotienten , nicht mehr beliebig; je nach Phase hat der Überlagerungszustand verschiedene physikalische Eigenschaften.[16] 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 und , superponiert werden.
Zustandsgemisch und Dichteoperator
Ein Zustandsgemisch, in dem sich das System mit Wahrscheinlichkeit im Zustand (mit ) befindet, wird durch den Dichteoperator dargestellt, das ist die Summe der entsprechenden Projektionsoperatoren:
Im Gegensatz zu einer kohärenten Superposition derselben im Gemisch vertretenen Zustände bleibt der Dichteoperator unverändert, wenn die mit beliebigen Phasenfaktoren versehen werden; im Zustandsgemisch werden die Zustände also inkohärent überlagert.
Der Erwartungswert einer Messung der Observable ist dementsprechend die gewichtete Summe der Erwartungswerte der einzelnen Bestandteile des Gemisches:
Dies kann auch als Spur des Operators dargestellt werden:
Die letzte Gleichung hat den Vorzug, dass sie gleichermaßen für Gemische und für reine Zustände gilt. (Bei einem reinen Zustand ist der zum Zustand gehörige Projektionsoperator.)
Der Dichteoperator wird auch als „Zustandsoperator“ bezeichnet.
Zustände von zusammengesetzten Systemen, Tensorraum
Wenn ein Teilsystem mit Zuständen und ein Teilsystem mit Zuständen als ein zusammengesetztes System mit Zuständen beschrieben werden soll, dann gibt es für zwei Möglichkeiten. Ein separabler Zustand liegt vor, wenn einen bestimmten Zustand und einen bestimmten Zustand einnimmt. Dann schreibt man
- oder
Zusätzlich gibt es verschränkte Zustände des Gesamtsystems, die sich nur als kohärente Superpositionen von mindestens zwei separablen Zuständen darstellen lassen. Beispiel:
- , mit
Hier befindet sich System weder ganz im Zustand noch im Zustand , sondern (wenn die Zustände orthogonal sind) mit den Wahrscheinlichkeiten im ersten und im zweiten. Solche verschränkten Zustände kommen in der klassischen Physik beim Zusammensetzen von Systemen nicht vor.
Wenn das Teilsystem die Basiszustände hat, und das Teilsystem Basiszustände , dann bilden die separablen Zustände eine Basis für den Zustandsraum des zusammengesetzten Systems . Dieser Raum wird auch als der Tensorproduktraum oder Tensorraum der Zustandsräume von und bezeichnet.[17][18] Seine Dimension ist , wenn die Zustandsräume der Teilsysteme die endlichen Dimensionen bzw. haben.
Diese Erweiterung des Zustandsraums gilt nicht nur beim Zusammenfassen verschiedener physikalischer Quantensysteme zu einem Gesamtsystem, sondern auch schon beim Hinzufügen weiterer Freiheitsgrade zu einem Quantensystem. Der Zustandsraum des Elektrons z. B. ist der Tensorproduktraum aus dem Hilbertraum der Wellenfunktionen für die Ortsfreiheitsgrade und dem 2-dimensionalen Hilbertraum für den Spinfreiheitsgrad.
Teleportation von Quantenzuständen
Mit dem Verfahren der Quantenteleportation kann bei Verschränkung der quantenmechanische Zustand eines Quantensystems (Quelle), z. B. eines Photons oder eines Qubits, auf ein anderes Quantensystem (Ziel) übertragen werden.[19]
Beispiele
- Die Zustände eines Teilchens im (eindimensionalen) Kasten der Breite (von 0 bis ) können als Superpositionen von Eigenzuständen des Hamiltonoperators geschrieben werden. Dessen Eigenzustände im Ortsraum sind
- und die zugehörigen Energieeigenwerte zu sind:
- 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 :
- Aufgrund der Energie-Entartung bezüglich der Quantenzahl reicht im Allgemeinen eine Messung der Energie nicht aus, um den Zustand eindeutig zu bestimmen.
- Die Spineigenzustände zu eines (fermionischen) Teilchens werden einfach als und geschrieben.
- Der Zustand eines Systems, das durch den s-Wellen-Zerfall eines einzigen gebundenen Elementarteilchensystems in zwei Spin-1/2-Teilchen entsteht, ist . 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, aber auch, wenn das System als Teil eines zusammengesetzten Systems betrachtet werden muss und die übrigen Bestandteile des Systems von der Präparation oder der Messung nicht betroffen sind). Dann können den verschiedenen möglicherweise vorkommenden reinen Zuständen oder den zugeordneten Projektionsoperatoren nur Wahrscheinlichkeiten 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. Der zugehörige Dichteoperator ist der Operator für die Projektion auf diesen Unterraum. Es gilt (Idempotenz). Für Zustandsgemische dagegen gilt . Eine Beschreibung durch einen einzigen Strahl ist dann nicht möglich.
Charakteristische Merkmale dieser Zustandsbeschreibung sind die kohärente Superponierbarkeit der reinen Zustände und die daraus folgenden Phänomene der Interferenz und Quantenverschränkung, während bei den Zustandsgemischen die Beiträge der verschiedenen beteiligten reinen Zustände inkohärent summiert werden.
Wenn ein Quantensystem sich nicht in einem reinen Eigenzustand einer Messgröße befindet, ergeben wiederholte Messungen dieser Größe an exakt gleich präparierten Systemen auch bei reinen Zuständen unterschiedliche Messwerte. Bei Zustandsgemischen werden zusätzlich die Ergebnisse der beteiligten reinen Zustände (inkohärent!)[20] mit den Gewichten gemittelt. Die Verteilung hängt von dem quantenmechanischen Zustand und der Observablen für den Messprozess ( repräsentiert i. W. die Messapparatur) ab. Für reine Zustände folgt aus der Quantenmechanik: Der Mittelwert der durch Wiederholung erzeugten Messreihe ist der quantenmechanische Erwartungswert .
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 Wahrscheinlichkeitsverteilung um einen Erwartungswert angebbar (deshalb heißt es im Folgenden nicht das Resultat, sondern das zu erwartende Resultat, s. u.). Für Zustandsgemische gilt wegen der eine zusätzliche (inkohärente!) Unbestimmtheit:
Also selbst das zu erwartende Resultat des Ausgangs einer einzelnen Messung kann nur in Spezialfällen (etwa ) sicher vorhergesagt werden. Nur die (speziellen!) Eigenzustände der betrachteten Observable oder die zugehörigen Eigenwerte kommen bei gegebenem überhaupt als Messwerte in Frage, und selbst in dem oben angegebenen Fall eines reinen Zustands, etwa , d. h. selbst bei vollständig bekannter Wellenfunktion, können für die verschiedenen Eigenzustände bei gegebenem nur Wahrscheinlichkeiten angegeben werden, obwohl der Zustand 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).[21] Es gilt ferner
d. h., dass die Projektionsoperatoren mit Wahrscheinlichkeiten versehen werden und nicht etwa die zu den Projektionsoperatoren gehörigen Kets superponiert werden.
Insgesamt gilt also: , wobei sich der Index i auf die (reinen) Zustände im Gemisch und der Index k auf die Eigenzustände der Messgröße bezieht.
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, , ist gleich für Zustandsgemische. Für reine Zustände ist sie Null (man beachte für ). Dabei wurden Boltzmann’sche Einheiten benutzt, insbesondere ist die Boltzmann-Konstante. In Shannon’schen Einheiten wird dagegen diese Konstante durch Eins und der natürliche Logarithmus durch den binären Logarithmus ersetzt.
Siehe auch
- Quantenmechanische Messung
- Quantentomografie
- Heisenbergsche Unschärferelation
- Einstein-Podolsky-Rosen-Paradoxon
Einzelnachweise und Fußnoten
- ↑ Das wird in fast allen Lehrbüchern der Quantenphysik ausführlich dargestellt. Z. B. in Richard Feynman: Feynman-Vorlesungen über Physik Band 3, Quantenmechanik, Kap. 16. ISBN 0-201-02115-3 (dt. Vorlesungen über Physik. Oldenbourg Wissenschaftsverlag, München 2007, ISBN 978-3-486-58444-8), zuerst 1963/1965 bei Addison/Wesley.
- ↑ John von Neumann: Mathematische Grundlagen der Quantenmechanik. Springer-Verlag, 1996, ISBN 978-3-642-64828-1, doi:10.1007/978-3-642-61409-5. Insbesondere Kap. VI, Der Meßprozeß.
- ↑ Wolfgang Nolting: Grundkurs Theoretische Physik 5/1; Quantenmechanik – Grundlagen. 5. Auflage. Springer, Berlin/Heidelberg 2002, ISBN 3-540-42114-9, S. 119.
- ↑ a b Erwin Schrödinger nennt diese Art der Unbestimmtheit „Boltzmannisch“, weil sie in der klassischen statistischen Physik, z. B. in der kinetischen Gastheorie, der Unkenntnis des Zustands eines herausgegriffenen Teilchens entspricht. Die quantenmechanische Unbestimmtheit, die durch die Unschärferelation ausgedrückt wird und die schon in einem einzelnen wohldefinierten Zustand vorliegen kann, nennt er „Heisenbergisch“.
Karl von Meyenn: Eine Entdeckung von ganz außerordentlicher Tragweite – Schrödingers Briefwechsel zur Wellenmechanik und zum Katzenparadoxon, Springer Verlag, 2011, S. 566. - ↑ Peter Mittelstaedt: 100 Jahre Quantenphysik: Universell und inkonsistent? Quantenmechanik am Ende des 20. Jahrhunderts. In: Physikalische Blätter 56.12 (2000). Band 56, Nr. 12, 2000, S. 65–68 (online [PDF; abgerufen am 20. Juli 2024]).
- ↑ Für ein einzelnes Elektron in einem Teilchenstrahl ist zwar eine gleichzeitige „scharfe“ registrierende Messung von Impuls und Ort durch ein und dieselbe Messapparatur („Zähler“) möglich. In einem Magnetspektrometer z. B. wird sogar der Auftreffort als diejenige Messgröße genutzt, aus der der Impuls berechnet werden kann. Eine Vorhersage, welcher Zähler aus einer vorgegebenen Anordnung, die alle Möglichkeiten abdeckt, beim anschließend folgenden Elektron anspricht, oder zumindest die Gleichzeitigkeit „scharfer“ Mittelwerte von Ort und Impuls bei einer Messreihe, sind dagegen ausgeschlossen. Vgl. Feynman-Vorlesungen über Physik. 3 Bände, ISBN 0-201-02115-3 (dt. Vorlesungen über Physik. Oldenbourg Wissenschaftsverlag, München 2007, ISBN 978-3-486-58444-8), zuerst 1963/1965 bei Addison/Wesley. In Band 3, Quantenmechanik, Kap. 16, wird ausführlich die Begrifflichkeit der Heisenbergschen Unschärferelation behandelt.
- ↑ Siehe Artikel Heisenbergsche Unschärferelation oder zum Beispiel Albert Messiah: Quantenmechanik, de Gruyter 1978, Band 1, unveränderter Nachdruck 1981, S. 121 ff.
- ↑ Bei ungebundenen Eigenzuständen des Energieoperators treten analoge Grenzwertprobleme wie bei Beispiel 1 und 2 (s. u.) auf.
- ↑ Diese Dimension kann endlich sein oder abzählbar-unendlich (wie im Standardfall des Hilbertraums) oder sogar überabzählbar-unendlich (wie bei den Gelfandschen Raumtripeln, einer Verallgemeinerung des Hilbertraums zur besseren Erfassung kontinuierlicher Spektren).
- ↑ Auch Systeme mit physikalischen Größen, die durch unbeschränkte Operatoren (wie z. B. den Ortsoperator) beschrieben werden, lassen sich C*-algebraisch behandeln. Statt der unbeschränkten Operatoren, die nicht Teil der C*-Algebra sind, werden geeignete beschränkte Funktionen davon betrachtet, z. B. die durch sie generierten unitären Gruppen.
- ↑ Walter Thirring: Quantenmechanik von Atomen und Molekülen. In: Lehrbuch der Mathematischen Physik. 3. Auflage. Band 3. Springer, Wien 1994, ISBN 3-211-82535-5, S. 26.
- ↑ W. Heisenberg: Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen. In: Zeitschrift für Physik. Band 33, 1925, S. 879–893. Digitalisat.
- ↑ P.A.M. Dirac: On the theory of quantum mechanics. In: Proceedings of the Royal Society of London A. Band 112, 1926, S. 661–677.
- ↑ E. Schrödinger: „Quantisierung als Eigenwertproblem I“, Annalen der Physik 79 (1926), 361–376.
E. Schrödinger: „Quantisierung als Eigenwertproblem II“, Annalen der Physik 79 (1926), 489–527.
E. Schrödinger: „Quantisierung als Eigenwertproblem III“, Annalen der Physik 80 (1926), 734–756.
E. Schrödinger: „Quantisierung als Eigenwertproblem IV“, Annalen der Physik 81 (1926), 109–139. - ↑ Torsten Fließbach: Quantenmechanik. 4. Auflage. Spektrum, München 2005, ISBN 3-8274-1589-6, S. 231.
- ↑ Beispiel: Wenn die Eigenzustände zum Spin „auf“ oder „ab“ in z-Richtung sind, dann ist der Eigenzustand „auf“ in x-Richtung, aber der Eigenzustand „auf“ in y-Richtung (der Normierungsfaktor wurde fortgelassen).
- ↑ Claude Cohen-Tannoudji: Quantenmechanik. de Gruyter, 1999, ISBN 3-11-016458-2. Abschnitt 2.6
- ↑ Norbert Straumann: Quantenmechanik. 2. Auflage. Springer Spektrum, 2012, ISBN 978-3-642-32174-0, S. 119, doi:10.1007/978-3-642-32175-7.
- ↑ Lexikon der Physik. Quantenteleportation. In: Spektrum.de. Abgerufen am 3. Juli 2024.
- ↑ „Inkohärent“ deshalb, weil die mit einem quadratischen Ausdruck in den gewichtet werden.
- ↑ Das heißt unter anderem, dass die nicht durch Angabe der und der bestimmt werden können.