Quantenmechanik/ Messungen/ Bayes

Aus Wikibooks
Zur Navigation springen Zur Suche springen

Der Bayesianismus[Bearbeiten]

Der nach Bayes benannte Blickwinkel auf die Wahrscheinlichkeit sieht diese Zahl als das Mittel an zu Vorhersage, Prognose, Schätzung, Orakel, Wette. Die Formel von Bayes enthält den klassischen Algorithmus, mit dem ein Orakel auf den neuesten Stand gehoben wird, immer wenn neue Daten verfügbar sind.
Die Bayes-Interpretation der Quantentheorie besteht grob gesagt darin, das Wort 'Zustand' zu streichen und durch 'Orakel' zu ersetzen. Die Wellenfunktion bewegt sich physikalisch weder unitär noch durch Kollaps. Solche Änderungen der Welle frischen einfach nur die Vorhersage-Informationen auf, die beste derzeitige Einschätzung der Lage. Beispielsweise sagt der Algorithmus Wellenausbreitung-plus-Born-Regel: Ist bekannt, durch welche Öffnung die Teilchen am Doppelspalt gehen, kommen keine Interferenzstreifen. Ist der Weg unbestimmt, gibt es Interferenz bei großen Zahlen von Ereignissen. Im ersten Fall wird zur Vorhersage quadriert und dann addiert, im zweiten Fall wird addiert und dann erst quadriert.

Auch der Eigenwert einer Observablen wird nicht als neue definitive Eigenschaft des System nach einer Messung akzeptiert! Sondern nur als ein weiterer Schätzwert, der die prinzipiell immer noch unzulängliche Kenntnis auffrischt. Die Wahrscheinlichkeit 1 ist so schlecht erreichbar wie Temperatur 0 Kelvin. Bayes-Wahrscheinlichkeiten sind nicht erst nach länglichen Versuchsreihen als eventuelle Grenzwerte von Häufigkeiten definiert. Nein, auch für seltene Ereignisse soll ein brauchbarer Formalismus der Statistik bereit stehen.

Im 'Bayesianismus' ist die Quantenmechanik reine Theorie von Schätzungen, Orakeln, Glaubensvorstellungen. Sie macht genau Null Aussagen über die physikalische Realität. Sie weiß nichts von der Technik der Maschine. Die Physik gibt nur eine Gebrauchsanleitung, ein paar empirische Spielregeln, um sich nicht im Urwald zu verirren. Experten gibts keine, nur laienhafte Endverbraucher. Wie die Mehrheit von uns beim Auto, Klapprechner, Smartphone. Die Bayes-Interpretation ist streng "epistemisch" im Gegensatz zu "ontisch".

Beschränkt sich der Bayesianismus nun auf allgemeines Geplauder, auf eine zugespitzte Version der Denkweise aus Kopenhagen? Nicht ganz, er schlägt einige technisch-formale Mittel vor, um die Theorie ganz in Wahrscheinlichkeits-Maßen zu umschreiben und den Begriff des 'Zustands' völlig rauszuwerfen.

Nach Cox muss jede Bewertung zum Erraten von ungewissen Ereignissen, wenn sie Aristotel'scher Logik folgt, den Regeln gehorchen (AB = Ereignisse A und B):

P(A|B) ist die Wahrscheinlichkeit von A, wenn B vorausgesetzt wird. P() wird dargestellt durch eine Maßtheorie von Mengen, die Teil eines 'Wahrscheinlichkeitsraums' sind. Jedes Ereignis ist sozusagen eine Menge von infinitesimalen, atomaren Mikro-Ereignissen, je mit einem Gewicht versehen. Das Maß m() ist daher additiv für disjunkte Mengen und zu Eins normiert.
Ganz klar mit Mengenmaß

Es folgt die Bayes-Regel, um die Wahrscheinlichkeiten von möglichen kommenden Ereignissen zu aktualisieren, sobald das Ereignis B bekannt wird:

Benötigt wird konkret dafür ein Modell, das die Zahlen proportional zu liefert. Der Nenner P(B) ist Normalisierung. Ist die Vereinigung der disjunkten der gesamte Ereignisraum, folgt nämlich aus der Maßtheorie:

Verteilungen verkleidet als Bornsche Regel[Bearbeiten]

Die Produkt-,Summen- und Bayes-Regeln der Wahrscheinlichkeitsrechnung bleiben unverändert für Quanten-Ereignisse, die auf streng orthogonale Mengen von Wellen abgebildet sind. Andernfalls kommt mit Interferenz-Phänomenen eine Erweiterung der Algorithmen ins Spiel. Die klassische Wahrscheinlichkeit kann als Teilmenge der Quantenmechanik technisch gerechtfertigt werden. Mit Hilfe eines Lemmas von Riesz-Fejér kann jede Verteilung wie die Born-Regel aussehen.

Das Lemma von Fejér und Riesz zeigt, wie man aus einer Wahrscheinlichkeits- Verteilung auf dem Intervall [-π,π] bzw. auf dem Einheitskreis sozusagen die Wurzel zieht. Das heißt, sie lässt sich als Betragsquadrat einer "Wellenfunktion" darstellen. Zu klassischen positiven Funktionen schafft das Lemma einen Unterbau, ein Schema von versteckten Variablen, das wie die Quantenmechanik ausieht.

Behauptung. Gegeben sei eine Funktion und ihre beste trigonometrische Approximation (Fourier-Summe) der Ordnung n:

Dann gibt es (in keiner Weise eindeutige) Wellenfunktionen der Ordnung n, mit

Beweis mit Konstruktion.

Mit diesem Polynom ist
z=0 ist keine Nullstelle von
Andere Nullstellen haben die Symmetrie

Es gibt also Paare von Nullstellen mit
denn eine Nullstelle ergäbe unerlaubtes w(x)=0.

Also folgt:

Auf dem Einheitskreis mit wird ein Faktor davon

Der Betrag von kann dann mit Wurzeln der geschrieben werden:

Der Ausdruck im Betrag ist ein Polynom der Ordnung n in der Variablen z, daher folgt wie behauptet

Positive Operatorwertige Maße[Bearbeiten]

Der Formalismus der Urgleichung ersetzt das Rechnen mit Zuständen durch die Manipulation von Verteilungen, ganz im Sinne der Bayes-Interpretation. Vorher müssen hier ein paar technische Definitionen eingeschleppt werden.

Der Einfachheit halber sei der Hilbertraum von endlicher Dimension. Ein System von Orthogonal-Projektions-Operatoren (PVM, projektor-wertiges Maß)

dient dazu, die Wahrscheinlichkeiten von Messungen zu berechnen:

Reine Zustände:
Gemischte Zustände:

Der Operator ρ heißt Zustandsoperator, in alter Literatur auch Statistischer Operator, Dichte-Operator, oder gar Dichtematrix genannt. Ein Zustandsvektor enthält nur die reine quantentypische Unschärfe. Ein Zustandsoperator hat eine zusätzlich eingebaute Streubreite wegen Unkenntnis der Einzelheiten; reine Zustände werden verschmiert mit einer klassischen statistischen Verteilung

Ein Positiv-Operatorwertiges Maß (POVM) ist eine Menge von Operatoren/Matrizen, die positiv-semidefinit sind und deren Summe Eins ergibt. Dies verallgemeinert etwas die Systeme von Projektoren PVM und die Idee von Quantenmessungen.

Die Wahrscheinlichkeiten mit Zustandsoperator ρ sind

Noch allgemeiner werden projektorwertige und operatorwertige Maße definiert, wenn statt jedes Indexes i eine messbare Menge das Argument wird. Die Menge solcher Mengen bilden eine Sigma-Algebra. Eine Vereinigung disjunkter Mengen wird auf die Summe ihrer Maß-Operatoren abgebildet.

Nach einem Satz von Naimark kann zu einem POVM ein 'größerer' Hilbertraum gefunden werden, auf dem jeder Operator der Familie zu einer Projektion wird. Hier nur die Anfänger-Version mit endlichen Dimensionen: Sei ein POVM auf dem Raum dann gibt es einen Raum eine Isometrie und eine Projektor-Familie so dass
Isometrie = skalarprodukt-erhaltende lineare Abbildung, nicht immer umkehrbar.
Das nicht gerade sparsamste Beispiel ist mit Orthogonalbasis

Die Operatoren haben nichtnegatives Spektrum und daher Quadratwurzeln.

Die Auswertung von Zustand ρ auf der Familie kann dann nach folgendem Schema auf einfache Projektonsmessungen mit der Familie reduziert werden.

  • Definiere einen unitären Operator U auf und einen 'Vakuumvektor' so dass
  • Präpariere den Zustand des Operators und transformiere ihn mit dem Operator U

Mit einem beliebigen unitären

machen die Isometrie und das zugehörige ebenfalls die Familie zu Projektionen. Ein reiner Zustand wird so abgebildet

Wenn die 'Kollapsmessung' mit dem Projektionsmaß das Ergebnis liefert, kommt heraus.

Allgemein auf gemischtem Zustand:

Der Kollaps in einem POVM-Modell von Messungen hängt vom willkürlich gewählten S ab. Außerdem sind die Operatoren nicht orthogonal und nicht idempotent wie Projektoren. Daher kann die Wiederholung einer Messung abweichende Resultate ergeben. Die Wahrscheinlichkeit von k nach dem Kollaps auf ein anderes j ist nämlich nicht Null:

Symmetrische informationell vollständige POVM (SIC-POVM)[Bearbeiten]

Ein IC-POVM ist eine Menge von n positiv semidefiniten Operatoren, so dass

  • die Summe ist der Eins-Operator,
  • die Menge spannt den Raum aller linearen Operatoren auf, also

Ein SIC-POVM ist eine Basis des Operator-Raums aus genau Operatoren vom Rang 1 mit folgenden Eigenschaften:

  • ist ein Projektor vom Rang 1,
  • gleiche paarweise innere Produkte:

Das SIC-POVM soll theoretische Messungen darstellen, die einen Quantenzustand vollständig und eindeutig charakterisieren. Die Projektionen sind nicht orthogonal, denn doch sie überlappen sich gleichförmig. Die Erwartungswerte auf einem reinen Zustandsvektor bzw. die Spuren mit einem Zustandsoperator sind eine normierte Wahrscheinlichkeitsverteilung. Die Messungen sind mangels Kommutation nicht gleichzeitig machbar. In einem großen Ensemble von gleich zubereiteten Systemen müsste unabhängig für jeden der Operatoren sein Mittelwert auf einem Teil-Ensemble bestimmt werden.

Exixtieren die SIC-POVM-Mengen? Gibt es Algorithmen, um sie herzustellen? In Dimension 2 ja. 4 Vektoren auf der Blochkugel, die an den Ecken eines regulären Tetraeders sitzen, definieren ein SIC-POVM.

Jedes gehört zu einem Einheitsvektor. Man interessiert sich für unitäre Gruppendarstellungen die als Permutationen auf dieser Vektormenge agieren. Ideal aus einem einzigen Referenzvektor würde die SIC-POVM-Menge erzeugt,
mit der Nebenbedingung
Die meisten SIC-POVM sind kovariant unter Darstellungen der abelschen Gruppen (Addition modulo ).
Sei eine Orthonormalbasis des Vektorraums Definiere

Phasen-Operator
Schiebe-Operator

Die Weyl-Operatoren erzeugen eine projektive unitäre Darstellung der Gruppe G.

(Addition modulo d).

Numerisch wurden SIC-Mengen gefunden bis d=151, mit Hilfe der Kovarianz unter Aktion der Gruppen Für gewisse d gibt es einen Bezugsvektor im Raum dessen Orbit unter G ein SIC-POVM bildet.

Die Urgleichung[Bearbeiten]

Ein Zustandsoperator definiert eine Wahrscheinlichkeitsverteilung auf einem SIC-POVM wegen folgender Gleichung:

ist die Born-Wahrscheinlichkeit, das 'Bit' zu messen. Diese Verteilung soll ρ als Informationsträger des Zustands voll ersetzen. Eine beliebige reale Quantenmessung sei durch ein POVM vorgegeben und habe die Verteilung auf dem Indexbereich der Operatoren. Jede der (nicht immer vertauschenden?) Observablen müsste einzeln oft genug gemessen werden, um diese Verteilung zu schätzen. Es folgt

Dies ist die Urgleichung. Der letzte Term ist die Verteilung für wenn als Zustandsoperator angesehen wird. Die bedingte Wahrscheinlichkeit also in Kaskaden, wenn häufig wiederholt zuerst das Bit 1 fürs Element des SIC-POVM gefunden wird, danach ein Element des POVM gemessen. In der Urgleichung verschwindet der Zustand ρ zu Gunsten der Verteilung
Die Urgleichung ist anders als die konventionelle Wahrscheinlichkeitsregel
Quantentheorie macht eine dimensionsabhängige affine Transformation der klassischen Wahrscheinlichkeit. Die Gleichung für würde eine kohärente Kaskade aus zwei Messungen beschreiben; erst sollte eines der gefunden werden und diese wären disjunkt, orthogonal. In der Urgleichung aber sitzen Wahrscheinlichkeiten, für welche keines der gemessen wird. Die Menge fungiert als Algorithmus für eine umkodierte Zustandsinformation.
Die Urgleichung gilt als quantenphysikalische Relation zwischen verschiedenen 'Kontexten' und berücksischtigt Interferenz von unverträglichen Observablen.

Ein Zustand wird also äquivalent beschrieben durch seine Verteilung Diese dient dazu, im Sinne von Bayes neue Wetten und Orakel zu berechnen. Entwicklung mit einem unitären Zeitentwicklungs-Operator U=U(t):

In der zweiten Form, dem Heisenberg-Bild zuzuordnen, wird der konstante Zustand ρ mit dem variablen POVM gemessen. Die zeitveränderliche Urgleichung enthält die gleiche Information wie die Schrödinger-Gleichung zusammen mit der Born-Regel:

Diese Formel bietet Prognosen jeder Messung als Funktion der Zeit, wenn die zeitveränderliche Verteilung der 'informationell vollständigen' Bezugsmessungen vorliegt.

Wigners-Freund-Paradoxon ?[Bearbeiten]