4. Quanteninstrumente aus dem Schema der indirekten Messungen
Das Grundmodell für den Bau von Quanteninstrumenten basiert auf dem Schema indirekter Messungen. Dieses Schema formalisiert die folgende Situation: Die Ergebnisse der Messung werden durch die Interaktion eines Systems generiert mit einem Messgerät .Dieser Apparat besteht aus einem komplexen physikalischen Gerät, das mit ihm interagiert und einen Zeiger, der das Ergebnis der Messung anzeigt, sagen wir Spin up oder Spin down. Ein Beobachter kann nur Ausgaben des Zeigers sehen und er ordnet diese Ausgaben den Werten der Observablen zu für das System . Somit beinhaltet das indirekte Messschema:
- die Zustände der Systeme und der Apparat
- der Betreiber die Interaktionsdynamik für das System darstellt
- das Messgerät beobachtbar Ausgabe des Zeigers der Vorrichtung.
Ein indirektes Messmodell, eingeführt in Ozawa (1984) als „(allgemeiner) Messprozess“, ist ein Quadrupel
bestehend aus einem Hilbertraum , ein Dichteoperator , ein einheitlicher Operator auf dem Tensorprodukt der Zustandsräume von and und ein hermitescher Operator on .Durch dieses Messmodell entsteht der Hilbert-Raum beschreibt die Zustände des Geräts ,der Einheitsoperator beschreibt die zeitliche Entwicklung des zusammengesetzten Systems ,der Dichteoperator beschreibt den Ausgangszustand des Gerätes , und der hermitesche Operator beschreibt die vom Gerät beobachtbare Messgröße . Dann die ausgegebene Wahrscheinlichkeitsverteilung im Systemzustand wird von gegeben
Wo ist die spektrale Projektion von für den Eigenwert .
Der Zustandswechsel vom System verursacht durch die Messung für das Ergebnis wird mit Hilfe der Karte dargestellt im Raum der Dichteoperatoren definiert als
Wo ist die Teilspur vorbei . Dann die Karte entpuppt sich als Quanteninstrument. Somit werden die statistischen Eigenschaften der Messung durch jedes indirekte Messmodell realisiert wird durch eine Quantenmessung beschrieben. Wir bemerken, dass umgekehrt jedes Quanteninstrument durch das indirekte Messmodell (Ozawa, 1984) dargestellt werden kann. Quanteninstrumente charakterisieren also mathematisch die statistischen Eigenschaften aller physikalisch realisierbaren Quantenmessungen.