Die im QM verwendete Wahrscheinlichkeitstheorie unterscheidet sich grundlegend von der aus folgendem Grund üblicherweise verwendeten: Der Raum der Ereignisse ist nicht kommutativ (genauer gesagt nicht boolesch strong) >) und diese Tatsache beeinflusst die bedingte Wahrscheinlichkeitstheorie zutiefst. Die Wahrscheinlichkeit, dass A passiert, wenn B passiert, wird in der klassischen Wahrscheinlichkeitstheorie und in der Quantentheorie unterschiedlich berechnet, wenn A und B quanteninkompatible Ereignisse sind. In beiden Fällen ist die Wahrscheinlichkeit ein Maß für ein Gitter , im klassischen Fall ist das Gitter jedoch ein Boolesches (eine $ \ sigma $ span> -algebra), im Quantenfall nicht.
Um es klarer zu machen, ist die klassische Wahrscheinlichkeit eine Karte $ \ mu: \ Sigma (X) \ bis [0,1] $ span>, so dass $ \ Sigma (X) $ span> eine Klasse ist von Teilmengen der Menge $ X $ span> einschließlich $ \ Emptyset $ span>, geschlossen in Bezug auf das Komplement und das zählbare Vereinigung und so, dass $ \ mu (X) = 1 $ span> und: $$ \ mu (\ cup_ {n \ in \ mathbb N} E_n) = \ sum_n \ mu (E_n) \ quad \ mbox {wenn $ E_k \ in \ Sigma (X) $ mit $ E_p \ cap E_q = \ Emptyset $ für $ p \ neq q $. } $$ span> Die Elemente von $ \ Sigma (X) $ span> sind die Ereignisse, deren Wahrscheinlichkeit $ \ mu ist $ span>. In dieser Ansicht beispielsweise, wenn $ E, F \ in \ Sigma (X) $ span>, $ E \ cap F. $ span> wird logisch als das Ereignis " $ E $ span> AND $ F $ span>" interpretiert.
In ähnlicher Weise entspricht $ E \ cup F $ span> " $ E $ span> ODER $ F $ span>" und $ X \ setminus F $ span> hat die Bedeutung von "NOT $ F $ span> "und so weiter. Die Wahrscheinlichkeit von $ P $ span>, wenn $ Q $ span> angegeben wird, wird überprüft $$ \ mu (P | Q) = \ frac {\ mu (P \ cap Q)} {\ mu (Q)} \ :. \ tag {1} $$
Wenn Sie stattdessen ein Quantensystem betrachten, gibt es "Ereignisse", dh elementare "Ja / Nein" -Sätze, die experimentell testbar sind und die nicht durch logische Operatoren AND und OR verbunden werden können.
Ein Beispiel ist $ P = $ span> "die $ x $ span> -Komponente des Spins dieses Elektrons ist $ 1/2 $ span> "und $ Q = $ span>" der $ y $ span> -Komponente ist $ 1/2 $ span>". Es gibt kein experimentelles Gerät, das $ P $ span> und $ Q $ span> einen Wahrheitswert zuweisen kann gleichzeitig , so dass elementare Sätze wie " $ P $ span> und $ Q $ span>" keine ergeben Sinn. Satzpaare wie $ P $ span> und $ Q $ span> oben sind physikalisch nicht kompatibel .
In Quantentheorien (die elementarste Version von Neumanns) werden die Ereignisse eines physikalischen Systems durch die orthogonalen Projektoren eines trennbaren Hilbert-Raums dargestellt. $ H. $ span>. Die Menge $ {\ cal P} (H) $ span> dieser Operatoren ersetzt die klassische $ \ Sigma (X) $ .
Im Allgemeinen ist die Bedeutung von $ P \ in {\ cal P} (H) $ span> ungefähr so
"Der Wert des beobachtbaren $ Z $ span> gehört zur Teilmenge $ I \ subset \ mathbb R $ span>" für einige beobachtbare $ Z $ span> und einige setzen $ I $ span>. Es gibt ein Verfahren zum Integrieren einer solchen Klasse von Projektoren, die in realen Teilmengen gekennzeichnet sind, um einen selbstadjunkten Operator $ \ hat {Z} $ span> zu erstellen, der der beobachtbaren $ Z $ span>, und dies ist nichts anderes als die physikalische Bedeutung des spektralen Zerlegungssatzes .
Wenn $ P, Q \ in {\ cal P} (H) $ span>, gibt es zwei Möglichkeiten: $ P $ und $ Q $ span> pendeln oder nicht .
Von Neumanns grundlegendes Axiom besagt, dass Kommutativität die mathematische Entsprechung der physikalischen Kompatibilität ist .
Wenn $ P $ span> und $ Q $ span> pendeln, $ PQ $ span> und $ P + Q-PQ $ span> sind immer noch orthogonale Projektoren, dh Elemente von $ {\ cal P} (H) $ span>.
In dieser Situation entspricht $ PQ $ span> " $ P $ span> AND $ Q $ span> ", während $ P + Q-PQ $ span>" $ P $ span> ODER $ Q $ span>" usw., insbesondere "NOT $ P $ span> "wird immer als orthogonaler Projektor auf $ P (H) ^ \ perp $ span> (der orthogonale Unterraum von $ P (H) $ span>), und jeder klassische Formalismus gilt auf diese Weise.
Tatsächlich hat eine maximale Menge von paarweise pendelnden Projektoren formale Eigenschaften, die mit denen der klassischen Logik identisch sind: ist ein boolescher $ \ sigma $ span> -Algebra.
In diesem Bild ist ein Quantenzustand eine Karte, die die Wahrscheinlichkeit $ \ mu (P) $ span> festlegt, dass $ P $ span> wird experimentell für jeden $ P \ in {\ cal P} (H) $ span> verifiziert muss erfüllen: $ \ mu (I) = 1 $ span> und $$ \ mu \ left (\ sum_ {n \ in \ mathbb N} P_n \ rechts) = \ sum_n \ mu (P_n) \ quad \ mbox {wenn $ P_k \ in {\ cal P} (H) $ mit $ P_p P_q = P_qP_p = 0 $ für $ p \ neq q $.} $$ span>
Der berühmte Gleason-Satz legt fest, dass, wenn $ \ text {dim} (H. ) \ neq 2 $ span>, die Kennzahlen $ \ mu $ span> haben alle die Form $ \ mu (P. ) = \ text {tr} (\ rho_ \ mu P) $ span> für einen gemischten Zustand $ \ rho_ \ mu $ span> (ein positiver Trace-Klassenoperator mit Einheitenspur), biunivokal bestimmt durch $ \ mu $ span> .In der konvexen se Bei den Zuständen sind die extremen Elemente die standardmäßigen reinen Zustände . Sie werden bis zu einer Phase durch Einheitsvektoren $ \ psi \ in H $ span> bestimmt, so dass mit einigen trivialen Berechnungen (Abschluss von $ \ psi_ \ mu $ span> auf eine orthonormale Basis von $ H $ span> und verwendet diese Basis zur Berechnung der Ablaufverfolgung), $$ \ mu (P) = \ langle \ psi_ \ mu | P \ psi_ \ mu \ rangle = || P \ psi_ \ mu || ^ 2 \ :. $$ span>
(Heutzutage gibt es eine verallgemeinerte Version dieses Bildes, in der die Menge $ {\ cal P} (H) $ span> durch die Klasse des begrenzten Positivs ersetzt wird Operatoren in $ H $ span> (die sogenannten "Effekte") und Gleasons Theorem werden durch Buschs Theorem mit einer sehr ähnlichen Aussage ersetzt.)
Die Quantenwahrscheinlichkeit wird daher von der Karte für einen gegebenen allgemein gemischten Zustand angegeben. $ \ rho $ span>, $$ {\ cal P} (H) \ ni P \ mapsto \ mu (P) = \ text {tr} (\ rho_ \ mu P) $$ span>
Es ist klar dass, sobald man sich mit physikalisch inkompatiblen Aussagen befasst, (1) nicht gelten kann, nur weil es nichts gibt wie $ P \ cap Q $ span> in der Menge der physikalisch sinnvollen Quantensätze. All dies liegt an der Tatsache, dass der Raum der Ereignisse $ {\ cal P} (H) $ span> ist jetzt ein nicht kommutativer str Ein Satz von Projektoren, der zu einem nicht-booleschen Gitter führt.
Die Formel, die (1) ersetzt, lautet jetzt:
$$ \ mu (P | Q) = \ frac {\ text {tr} (\ rho_ \ mu QPQ)} {\ text {tr} (\ rho_ \ mu Q)} \ tag {2} \ :. $$ span>
Darin ist $ QPQ $ span> ein orthogonaler Projektor und kann als " $ P interpretiert werden $ span> AND $ Q $ span> "(dh $ P \ cap Q $ span>) wenn $ P $ span> und $ Q $ span> kompatibel sind. In diesem Fall gilt (1) wieder. (2) führt zu allen "seltsamen Dingen", die in Quantenexperimenten auftauchen (wie im Doppelspalt). Insbesondere ergibt sich aus (2) die Tatsache, dass im QM Wahrscheinlichkeiten durch Kombinieren komplexer Wahrscheinlichkeitsamplituden berechnet werden.
(2) stützt sich nur auf das von Neumann-Luders-Reduktionspostulat , das besagt, dass, wenn das Ergebnis der Messung von $ P \ in {\ cal P} (H) $ span> ist JA, wenn der Status $ \ mu $ span> war (dh $ \ rho_ \ mu $ span>), der Status unmittelbar nach der Messung ist $ \ mu '$ span>, der $ \ rho _ {\ mu '} $ span> mit
$$ \ rho _ {\ mu'}: = \ frac { P \ rho_ \ mu P} {\ text {tr} (\ rho_ \ mu P)} \ :. $$ span>
ADDENDUM . Tatsächlich ist es möglich, den Begriff der logischen Operatoren AND und OR für alle Elementpaare in $ {\ cal P} (H) $ span> zu erweitern, und das war das Programm von Neumann und Birkhoff (die Quantenlogik ). Tatsächlich erlaubt es nur die Gitterstruktur von $ {\ cal P} (H) $ span>, oder besser ist es. Mit diesem erweiterten Begriff von AND und OR ist " $ P $ span> AND $ Q $ span>" den orthogonalen Projektor auf $ P (H) \ cap Q (H) $ span> , während " $ P $ span> OR $ Q $ span> "ist der orthogonale Projektor auf die Schließung des Raums $ P (H) + Q (H) $ span> . Wenn $ P $ span> und $ Q $ span> diese Begriffe von AND und OR auf die Standardbegriffe reduzieren. Mit den erweiterten Definitionen wird $ {\ cal P} (H) $ span> jedoch zu einem Gitter im richtiger mathematischer Sinn, wobei die partielle Ordnungsbeziehung durch die Standardeinbeziehung geschlossener Teilräume gegeben ist ( bedeutet $ P \ geq Q $ span>
$ P (H) \ supset Q (H) $ span>). Der Punkt ist, dass die physikalische Interpretation dieser Erweiterung von AND und OR ist unklar. Das resultierende Gitter ist jedoch nicht boolesch. Mit anderen Worten, zum Beispiel sind diese erweiterten UND- und ODER-Verteilungen nicht so verteilend wie die Standard-UND- und ODER-Verknüpfungen (dies zeigt ihre Quantennatur). Behalten Sie jedoch auch die Definition von "NOT $ P $ span>" als orthogonaler Projektor für $ P (H) ^ \ perp bei $ span>, die gefundene Struktur von $ {\ cal P} (H) $ span> ist bekannt: Ein $ \ sigma $ span> -vollständig, begrenzt, orthomodular, trennbar, atomar, irreduzibel und Überprüfung der Bedeckungseigenschaft, Gitter. Um 1995 wurde von Solér definitiv eine Vermutung von Neumanns Behauptung bewiesen, dass es nur drei Möglichkeiten gibt, solche Gitter praktisch zu realisieren: Das Gitter orthogonaler Projektoren in einem trennbaren komplexen Hilbert-Raum, das Gitter von orthogonalen Projektoren in einem trennbaren realen Hilbert-Raum, das Gitter von orthogonalen Projektoren in einem trennbaren quaternionischen Hilbert-Raum.
Der Satz von Gleason ist in den drei Fällen gültig. Die Erweiterung des quaternionc-Falls wurde von Varadarajan in seinem berühmten Buch 1 über die Geometrie der Quantentheorie erhalten, jedoch wurde eine Lücke in seinem Beweis in diesem veröffentlichten Artikel behoben, den ich mitverfasst habe 2
Unter der Annahme einer Poincaré-Symmetrie, zumindest für Elementarsysteme (Elementarteilchen), kann der Fall realer und quaternionischer Hilbert-Räume ausgeschlossen werden (hier sind zwei veröffentlichte Arbeiten, die ich gemeinsam habe) zu diesem Thema verfasst: 3 und 4).
ADDENDUM2 . Nach einer Diskussion mit Harry Johnston denke ich, dass eine interpretative Bemerkung über den probabilistischen Inhalt des Zustands $ \ mu $ span> in dem oben dargestellten Bild erwähnenswert ist. In QM ist $ \ mu (P) $ span> die Wahrscheinlichkeit, dass, wenn ich ein bestimmtes Experiment durchgeführt habe (um $ zu überprüfen P $ span>), $ P $ span> würde sich als wahr herausstellen. Es scheint, dass es hier einen Unterschied in Bezug auf den klassischen Begriff der Wahrscheinlichkeit gibt, auf den angewendet wird klassische Systeme. Dort bezieht sich die Wahrscheinlichkeit hauptsächlich auf etwas, das bereits existiert (und auf unser unvollständiges Wissen darüber). In der oben vorgestellten Formulierung von QM I bezieht sich die Wahrscheinlichkeit stattdessen auf das, was passieren wird, wenn ...
ADDENDUM3 . Für $ n = 1 $ span> ist der Satz von Gleason gültig und trivial. Für $ n = 2 $ span> ist ein Gegenbeispiel bekannt. $ \ mu_ \ nu (P) = \ frac {1} {2} (1+ (v \ cdot n_P) ^ 3) $ span> wobei $ v $ span> ist ein Einheitsvektor in $ \ mathbb R ^ 3 $ span> und $ n_P $ span> ist der Einheitsvektor in $ \ mathbb R ^ 3 $ span>, der dem orthogonalen Projektor $ P zugeordnet ist: \ mathbb C ^ 2 \ bis \ mathbb C ^ 2 $ span> in der Bloch-Sphäre: $ P = \ frac {1} {2} \ left (I + \ sum_ { j = 1} ^ 3 n_j \ sigma_j \ right) $ span>.
ADDENDUM4 . Unter dem Gesichtspunkt der Quantenwahrscheinlichkeit hat das Reduktionspostulat von Neumann-Luders eine sehr natürliche Interpretation. Angenommen, $ \ mu $ span> ist ein Wahrscheinlichkeitsmaß über dem Quantengitter $ {\ cal P} (H) $ span> repräsentiert einen Quantenzustand und nimmt an, dass die Messung von $ P \ in {\ cal P} (H) $ span> in diesem Zustand das Ergebnis $ 1 $ span>. Der Zustand nach der Messung wird daher durch $ \ mu_P (\ cdot) = \ mu (P \ cdot P) $ span> dargestellt, nur im Hinblick auf das oben erwähnte Postulat.
Es ist leicht zu beweisen, dass $ \ mu_P: {\ cal P} (H) \ bis [0,1] $ span> das einzige Wahrscheinlichkeitsmaß ist so dass $$ \ mu_P (Q) = \ frac {\ mu (Q)} {\ mu (P)} \ quad \ mbox {wenn $ Q \ leq P $} \ :. $$ span>