2008-06-23 10:39:00 +00:00
\chapter { Quanten-Kinematik des Spin 1/2 Systems}
\paragraph { Idee} Kombination der Prinzipien und Experimente führt auf $ \hilbert $ und die konkreten Formen der Zustände und Operatoren.
\section { Hilbertraum und $ \sigma _ z $ -Darstellung}
\begin { itemize}
2008-08-08 12:26:06 +00:00
\item immer nur $ \pm 1 $ als Messwert $ \rightarrow $ $ \dim ( \hilbert ) = 2 $
2008-06-23 10:39:00 +00:00
\item wähle als Basis $ \set { \ket { 1 } , \ket { 2 } } = \set { \ket { z + } , \ket { z - } } = \set { \inlinematrix { 1 \\ 0 } , \inlinematrix { 0 \\ 1 } } $ die Eigenvektoren des zu ``Spin in z-Richtung'', $ \sigma _ z $ , gehörenden Operatoren:
\begin { align}
\sigma _ z \ket { z+} & = (+1) \ket { z+} \\
\sigma _ z \ket { z-} & = (-1) \ket { z-}
\end { align}
zugehörige Bra: $ \bra { z + } \cequiv ( 1 , 0 ) $ und $ \bra { z - } \cequiv ( 0 , 1 ) $
\begin { equation}
\sigma _ z \cequiv \inlinematrix { 1 & 0 \\ 0 & -1}
\end { equation}
\item beliebiger Zustand $ \psi = c _ 1 \ket { z + } + c _ 2 \ket { z - } $ mit normierung $ \braket { \psi } { \psi } = 1 \Rightarrow c _ 1 c _ 1 ^ * + c _ 2 c _ 2 ^ * = 1 $
\end { itemize}
\subsection * { Ex. 1}
2008-08-08 12:26:06 +00:00
\begin { figure} [H] \centering
\includegraphics { pdf/I/04-01-00.pdf}
2008-06-23 10:39:00 +00:00
\end { figure}
\begin { align}
\prob { \left . \sigma _ z \cequiv +1 \right | \ket { \psi _ 0} = \ket { z+} } & = \abs { \braket { z+} { \psi _ 0} } ^ 2\\
& = \abs { \braket { z+} { z+} } ^ 2 = 1\\
\prob { \left . \sigma _ z \cequiv -1 \right | \ket { \psi _ 0} = \ket { z-} } & = \abs { \braket { z-} { \psi _ 0} } ^ 2\\
& = \abs { \braket { z-} { z+} } ^ 2 = 0
\end { align}
\section { Spin-Operatoren}
\paragraph { Frage}
Welcher Operator $ \sigma _ z $ entspricht der physikalischen Größe Spin in n-Richtung?
\paragraph { Wir wissen}
(1) $ \sigma _ n \cequiv 2 \times 2 $ Matrix, hermitesch, $ \inlinematrix { a & b \\ b ^ * & d } $ (2) mit Eigenwetren $ \pm 1 $ : $ \tr \sigma _ n = 0 $ , $ \det \sigma _ n = 1 $
\begin { equation}
\rightarrow \sigma _ n = \inlinematrix { a & b \\ b^ * & -a}
\end { equation}
\begin { align}
\det \sigma _ n = -a^ 2-bb^ * & = -1\\
\rightarrow a^ 2+bb^ * & = 1
\end { align}
\paragraph { Ansatz}
\begin { equation}
\sigma _ n = \inlinematrix { \cos \beta & e^ { -i \alpha } \sin \beta \\ e^ { i \alpha } \sin \beta & -\cos \beta } \text { mit } \alpha = \alpha (n), \beta = \beta (n)
\end { equation}
\[
(\alpha (n=z) = 0; \beta (n=z) = 0)
\]
\paragraph { Eigenvektoren}
\begin { equation}
\sigma _ n \underbrace { { \inlinematrix { \cos \frac { \beta } { 2} \\ e^ { i \alpha } \sin \frac { \beta } { 2} } } } _ { \equiv \ket { n+} } = +1 \inlinematrix { \cos \frac { \beta } { 2} \\ e^ { i \alpha } \sin \frac { \beta } { 2} } \text { (Phase ist Konvention)}
\end { equation}
\begin { equation}
\rightarrow \sigma _ n \ket { n+} = \ket { n+}
\end { equation}
\begin { equation}
\sigma \inlinematrix { \cos \frac { \beta } { 2} \\ e^ { -i \alpha } \sin \frac { \beta } { 2} } = (-1) \inlinematrix { \cos \frac { \beta } { 2} \\ e^ { -i \alpha } \sin \frac { \beta } { 2} } \equiv (-1) \ket { n-}
\end { equation}
\paragraph { Form von $ \sigma _ x $ }
\begin { equation}
\ket { x+} = \inlinematrix { \cos \frac { \beta _ x} { 2} \\ e^ { i \alpha _ x} \sin \frac { \beta _ x} { 2} }
\end { equation}
\subsection * { Ex. 2a}
2008-08-08 12:26:06 +00:00
\begin { figure} [H] \centering
\includegraphics { pdf/I/04-02-00.pdf}
2008-06-23 10:39:00 +00:00
\end { figure}
\begin { align}
\prob { \left . \sigma _ x \cequiv +1 \right | \ket { \psi _ 0} = \ket { z+} } \stackrel { Ex} { =} \frac { 1} { 2} & =\stackrel { P2b} { =} \abs { \braket { x+} { z+} } ^ 2\\
& = \abs { (\cos \frac { \beta _ x} { 2} , e^ { -i \alpha _ x} \sin \frac { \beta _ x} { 2} ) \inlinematrix { 1 \\ 0} } ^ 2\\
& = \cos ^ 2 \frac { \beta _ x} { 2}
\end { align}
\begin { equation}
\rightarrow \beta _ x = \frac { \pi } { 2}
\end { equation}
\begin { equation}
\Rightarrow \sigma _ x = \inlinematrix { 0 & e^ { -i \alpha _ x} \\ e^ { i \alpha _ x} & 0}
\end { equation}
\subsection * { Ex. 2b}
analog zu Ex. 2a:
\begin { equation}
\Rightarrow \sigma _ y = \inlinematrix { 0 & e^ { -i \alpha _ y} \\ e^ { i \alpha _ y} & 0}
\end { equation}
\subsection * { Ex. 2c}
2008-08-08 12:26:06 +00:00
\begin { figure} [H] \centering
\includegraphics { pdf/I/04-02-01.pdf}
2008-06-23 10:39:00 +00:00
\end { figure}
\begin { align}
\prob { \left . \sigma \cequiv +1 \right | \ket { x+} } \stackrel { Ex} { =} \frac { 1} { 2} & \stackrel { P2b} { =} \abs { \braket { y+} { x+} } ^ 2\\
& = \abs { (\frac { 1} { \sqrt { 2} } , \frac { 1} { \sqrt { 2} } e^ { -i \alpha _ y} ) \inlinematrix { \frac { 1} { \sqrt { 2} } \\ \frac { 1} { \sqrt { 2} } e^ { i \alpha _ x} } } ^ 2\\
& = \abs { \frac { 1} { 2} (1 + e^ { i(\alpha _ x - \alpha _ y)} )} ^ 2\\
& = \frac { 1} { 4} \abs { 1 + \underbrace { e^ { i(\alpha _ x - \alpha _ y)} } _ { \stackrel { !} { =} \pm i} } ^ 2
\end { align}
\begin { equation}
\rightarrow \alpha _ x - \alpha _ y = \pm \frac { \pi } { 2}
\end { equation}
Konvention: $ \alpha _ x = 0 ; $ $ \alpha _ x = \frac { \pi } { 2 } $
\section * { Zusammenfassung}
% \begin{displaymath}
% \begin{array}{lllr}
% \sigma_z = \inlinematrix{1 & 0 \\ 0 & -1} & \ket{z+} = \inlinematrix{1 \\ 0} & \ket{z-} = \inlinematrix{0 \\ 1} & \refstepcounter{equation}(\theequation)\\
% \sigma_x = \inlinematrix{0 & 1 \\ 1 & 0} & \ket{x+} = \frac{1}{\sqrt{2}}\inlinematrix{1 \\ 1} & \ket{x-} = \frac{1}{\sqrt{2}}\inlinematrix{1 \\ -1}\\
% \sigma_y = \inlinematrix{0 & -i \\ i & 0} & \ket{y+} = \frac{1}{\sqrt{2}}\inlinematrix{1 \\ i} & \ket{y-}= \frac{1}{\sqrt{2}}\inlinematrix{1 \\ -i}
% \end{array}
% \end{displaymath}
\begin { align}
\sigma _ z & = \inlinematrix { 1 & 0 \\ 0 & -1} & \ket { z+} & = \inlinematrix { 1 \\ 0} & \ket { z-} & = \inlinematrix { 0 \\ 1} \\
\sigma _ x & = \inlinematrix { 0 & 1 \\ 1 & 0} & \ket { x+} & = \frac { 1} { \sqrt { 2} } \inlinematrix { 1 \\ 1} & \ket { x-} & = \frac { 1} { \sqrt { 2} } \inlinematrix { 1 \\ -1} \\
\sigma _ y & = \inlinematrix { 0 & -i \\ i & 0} & \ket { y+} & = \frac { 1} { \sqrt { 2} } \inlinematrix { 1 \\ i} & \ket { y-} & = \frac { 1} { \sqrt { 2} } \inlinematrix { 1 \\ -i}
\end { align}
\section * { Paulimatrizen}
\begin { equation}
\sigma _ i \sigma _ j = \delta _ { i,j} + i \sum _ k \epsilon _ { i,j,k} \sigma _ k
\end { equation}
\begin { align}
\rightarrow \sigma _ \alpha ^ 2 & = \one \\
\sigma _ x \sigma _ y & = i \sigma _ z \text { etc. cyclisch} \\
\left [ \sigma_i, \sigma_j \right] & = 2i \epsilon _ { i,j,k} \sigma _ k
\end { align}
\section * { Allgemeine Form von $ \sigma _ n $ }
2008-08-08 12:26:06 +00:00
\begin { figure} [H] \centering
\includegraphics { pdf/I/04-05-00.pdf}
2008-06-23 10:39:00 +00:00
\end { figure}
\begin { equation}
\vec { n} = \inlinematrix { n_ x\\ n_ y\\ n_ z} = \inlinematrix { \sin \theta \cos \phi \\ \sin \theta \sin \phi \\ \cos \theta }
\end { equation} \\
Die Wahrscheinlichkeiten
\begin { equation}
\prob { \left . \sigma _ z \cequiv +1 \right | \ket { n+} } = p_ { z+} (n)
\end { equation}
bilden nun die Erwartungswerte:
\begin { align}
< \sigma _ x >_ \ket { n+} & = \dirac { n+} { \sigma _ x} { n+} \left (= p_ { x+} (n) - p_ { x-} (n) \right )\\
< \sigma _ y >_ \ket { n+} & = \dirac { n+} { \sigma _ y} { n+} \\
< \sigma _ z >_ \ket { n+} & = \dirac { n+} { \sigma _ z} { n+}
\end { align} \\
Fasse die Erwartungswerte zu einem Vektor zusammen:
\begin { equation}
< \vec (\sigma ) >_ \ket { n+} = \inlinematrix { < \sigma _ x >\\ < \sigma _ y >\\ < \sigma _ z >}
\end { equation} \\
Es gilt (experimentell oder aus Rotationsinvarianz):
\begin { equation}
< \vec { \sigma } >_ \ket { n+} = \vec { n}
\end { equation} \\
Konkret:
\begin { align}
\dirac { n+} { \sigma _ x} { n+} & = \left ( \cos \frac { \beta } { 2} , e^ { -i \alpha } \sin \frac { \beta } { 2} \right ) \inlinematrix { 0 & 1 \\ 1 & 0} \inlinematrix { \cos \frac { \beta } { 2} \\ e^ { i \alpha } \sin \frac { \beta } { 2} } \\
& = \left ( e^ { i \alpha } + e^ { -i \alpha } \right ) \sin \frac { \beta } { 2} \cos \frac { \beta } { 2} \\
& = 2 \cos \alpha \frac { 1} { 2} \sin \beta \\
& = \cos \alpha \sin \beta \\
& \stackrel { !} { =} \sin \theta \cos \phi \\ [15pt]
\dirac { n+} { \sigma _ y} { n+} & = ... = \sin \alpha \sin \beta \\
& \stackrel { !} { =} \sin \theta \sin \phi \\ [15pt]
\dirac { n+} { \sigma _ z} { n+} & = ... = \cos \beta \\
& \stackrel { !} { =} \cos \theta \\ [15pt]
\rightarrow \beta & = 0\\
\alpha & = \phi
\end { align}
\subsection * { zu Ex 4}
2008-08-08 12:26:06 +00:00
\begin { figure} [H] \centering
\includegraphics { pdf/I/04-05-01.pdf}
2008-06-23 10:39:00 +00:00
\end { figure}
In den 2. SG,z:
\begin { align}
\ket { \psi } & = \left ( \ket { x+} \braket { x+} { z+} + \ket { x-} \braket { x-} { z+} \right )\\
& = \frac { 1} { \sqrt { 2} } \inlinematrix { 1\\ 1} \frac { 1} { \sqrt { 2} } + \frac { 1} { \sqrt { 2} } \inlinematrix { 1\\ -1} \frac { 1} { \sqrt { 2} } \\
& = \inlinematrix { 1\\ 0} \\
& = \ket { z+}
\end { align}
d.h. bei Nichtmessung (von $ \sigma _ z $ ) gilt die Superposition der Zustände mit den Wahrscheinlichkeitsamplituden.
\section { Quantenkryptographie}
\paragraph { Ziel} Abhörsichere Versendung von Codes
\paragraph { Situation} Alice (A) sendet Bob (B) eine Nachricht. Eve (E) versucht heimlich abzuhören ohne dass A und B das merken.
\paragraph { Vorgehensweise} Bennett-Bassard Protokoll (binär $ 1 , 0 \cequiv \ket { + } , \ket { - } $ )
%TODO: darstellung der basiswahl etc.
\begin { itemize}
\item A wählt für sich zufällig für jedes Bit eine $ x $ oder $ z $ Basis.
\item B wählt eine zufällige Basis und misst.
\item B sendet A seine Basenwahlsequenz öffentlich.
\item A identifiziert die Bits (genauer: deren Nummer) bei denen sie beide zufällig dieselbe Basis hatten und sendet B öffentlich die Positionen. Beide streichen die anderen Bits.
\item B sendet A öffentlich Position und Ergebnis einer Untermenge der verbl. Bits.: $ ( 2 \rightarrow 0 ) $ , $ ( 4 \rightarrow 1 ) $ , $ ( 8 \rightarrow 0 ) $
\item Alice überprüft die Resultate
\begin { itemize}
\item [Fall 1] $ 100 \% $ übereinstimmung $ \Rightarrow $ E war nicht dazwischen
\item [Fall 2] $ 25 \% $ Fehler: E hat abgehört
\end { itemize}
Falls E abhört muss sie für jedes Bit eine Basis wählen, zu $ 50 \% $ wählt sie eine andere Basis als A, zu weiteren $ 50 \% $ misst B dann das falsche Bit.
\item Die restlichen Bits stehen nun als Verschlüsselung zur Verfügung.
\end { itemize}