Store:QLMde08
3.4. Allgemeine Theorie (Davies–Lewis–Ozawa)
Schließlich formulieren wir den allgemeinen Begriff des Quanteninstruments. Ein Superoperator, der eingreift Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mathcal{L}(\mathcal{H})} heißt positiv, wenn es die Menge der positiven semidefiniten Operatoren in sich selbst abbildet. Wir bemerken das für jeden Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x,\Im_A(x)} gegeben durch (13) kann als lineare positive Abbildung betrachtet werden.
Im Allgemeinen jede Karte , wo für jeden Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , die Karte Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A(x)} ein positiver Superoperator ist, wird Davies-Lewis-Quanteninstrument (Davies und Lewis, 1970) genannt.
Hier Index Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A} bezeichnet die an dieses Instrument gekoppelte Observable. Die Wahrscheinlichkeiten von Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A} -Ergebnisse sind durch die Bornsche Regel in Form (15) und die Zustandsaktualisierung durch Transformation (14) gegeben. Yuen (1987) wies jedoch darauf hin, dass die Klasse der Davies-Lewis-Instrumente zu allgemein ist, um physikalisch nicht realisierbare Instrumente auszuschließen. Ozawa (1984) führte die wichtige zusätzliche Bedingung ein, um sicherzustellen, dass jedes Quanteninstrument physikalisch realisierbar ist. Dies ist die Bedingung vollständiger Positivität.
Ein Superoperator heißt vollständig positiv, wenn seine natürliche Erweiterung Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \jmath\otimes I} zum Tensorprodukt Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mathcal{L}(\mathcal{H})\otimes\mathcal{L}(\mathcal{H})=\mathcal{L}(\mathcal{H}\otimes\mathcal{H})} liegt wieder ein positiver Superoperator an Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mathcal{L}(\mathcal{H})\otimes\mathcal{L}(\mathcal{H})} . Eine Karte Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\rightarrow\Im_A(x)} , wo für jeden Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle x} , die Karte Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A(x)} ein vollständig positiver Superoperator ist, heißt Davies-Lewis-Ozawa (Davies und Lewis, 1970, Ozawa, 1984) Quanteninstrument oder einfach Quanteninstrument. Wie wir in Abschnitt 4 sehen werden, ist vollständige Positivität eine hinreichende Bedingung dafür, dass ein Instrument physikalisch realisierbar ist. Andererseits wird die Notwendigkeit wie folgt hergeleitet (Ozawa, 2004).
Alles beobachtbar Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A} eines Systems Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S} wird mit dem Beobachtbaren identifiziert Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A\otimes I} eines Systems Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S+S'} mit jedem System Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S'} extern zuFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S} .10
Dann jedes physikalisch realisierbare Instrument Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A} messung Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A} sollte mit dem Instrument identifiziert werden Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Im_A{_\otimes}_I } messung Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A{\otimes}I } so dass Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Im_A{_\otimes}_I(x)=\Im_A(x)\otimes I } . Dies impliziert das Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Im_A(x)\otimes I } ist wieder ein positiver Superoperator, so dass Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A(x)} ist absolut positiv.
Ebenso jedes physikalisch realisierbare Instrument Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A(x)} Messsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S} sollte sein erweitertes Instrument haben Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Im_A(x)\otimes I } Messsystem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S+S'} für jedes externe SystemFailed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle S'} . Dies ist nur dann erfüllt, wenn Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A(x)} ist absolut positiv. Daher ist vollständige Positivität eine notwendige Bedingung für Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Im_A} ein physikalisch realisierbares Instrument zu beschreiben.