Kurs:Quantencomputing/Lösungen

Diese Seite beinhaltet Lösungen zu allen Aufgaben aus den einzelnen Kapiteln des Kurs Quantencomputing.

Mathematische Vorkenntnisse

Ableitungen

• $f^{\prime }(x)=6x-2\sin (x)-2x\cos (x)+6\sin (3x)$
• $g^{\prime }(x)={\cos }^2(x)-{\sin }^2(x)-12x{\mathrm{e}}^{-2x^2}$

Integrale

• $F(x)=x^3+2x\cos (x)-2\sin (x)+x-\frac{3}{2}\sin (2x)+c$
• $\underset{0}{\overset{\pi /2}{\int }}\mathrm{d}x\cos (x)\cdot \sin (\sin (x))=1-\cos (1)$

Vektoren

• $|\lambda \overrightarrow{v}+\mu \overrightarrow{u}|=\sqrt{150}$
• $\overrightarrow{v}\cdot \overrightarrow{u}=0$

Matrizen

• $A\overrightarrow{v}=\left(\begin{array}{c}-4\\ 9\end{array}\right)$
• $AB=\left(\begin{array}{cc}0& 17\\ 31& -9\end{array}\right)BA=\left(\begin{array}{ccc}16& 8& -1\\ 13& -14& 12\\ -9& 14& -11\end{array}\right)$
• ${\overrightarrow{v}}^T\overrightarrow{u}=-5\overrightarrow{v}{\overrightarrow{u}}^T=\left(\begin{array}{ccc}2& -3& 1\\ 4& -6& 2\\ -2& 3& -1\end{array}\right)(AB{)}^T=\left(\begin{array}{ccc}-3& 1& 2\\ 1& 1& 4\\ 1& 3& 5\end{array}\right)$
• ${\overrightarrow{v}}_{+}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}1\\ 1\end{array}\right){\overrightarrow{v}}_{-}=\frac{1}{\sqrt{2}}\left(\begin{array}{c}-1\\ 1\end{array}\right)$
• $0=A^T-A$ also muss auch

$0={\overrightarrow{v}}_1^T(A^T-A){\overrightarrow{v}}_2=(A{\overrightarrow{v}}_1{)}^T{\overrightarrow{v}}_2-{\overrightarrow{v}}_1^{T}A{\overrightarrow{v}}_2={\lambda }_1{\overrightarrow{v}}_1^T{\overrightarrow{v}}_2-{\lambda }_2{\overrightarrow{v}}_1^T{\overrightarrow{v}}_2=({\lambda }_1-{\lambda }_2){\overrightarrow{v}}_1^T{\overrightarrow{v}}_2$

gelten. Da die Eigenwerte unterschiedlich sein sollen ${\lambda }_1-{\lambda }_2\ne 0$ muss demnach ${\overrightarrow{v}}_1^T{\overrightarrow{v}}_2=0$ gelten. Daher sind Eigenvektoren zu verschiedenen Eigenwerten einer symmetrischen Matrix $A=A^T$ orthogonal.

Komplexe Zahlen

• $(2+\mathrm{i})+(3-2\mathrm{i})=5-\mathrm{i}$
• $(1+\mathrm{i})\cdot (-2+3\mathrm{i})=-5+\mathrm{i}$
• $\frac{1-2\mathrm{i}}{3+4\mathrm{i}}=-\frac{1}{5}-\frac{2}{5}\mathrm{i}$
• $\mathrm{R}\mathrm{e}((1-2\mathrm{i})-(4+5\mathrm{i}))=-3$
• ${\mathrm{e}}^{\mathrm{i}\frac{\pi }{4}}=\cos (\pi /4)+\mathrm{i}\sin (\pi /4)=\frac{1+\mathrm{i}}{\sqrt{2}}$

Mathematische Grundlagen

Gruppen

• $M=\{0,1\}$ ist mit der Verknüpfung $\oplus$ und dem Neutralen Element $0$ eine abelsche Gruppe. Um das zu zeigen, ist es hilfreich zuerst an der Verknüpfungstabelle abzulesen, dass die Verknüpfung
  • abgeschlossen
  • kommutativ ($\Rightarrow$ abelsch)

ist. Die Assoziativität $a\oplus (b\oplus c)$ kann für die acht möglichen Fälle ausprobiert werden. Das Inverse Element zu $0$ ist $0$ und das Inverse Element zu $1$ ist $1$. Insgesamt handelt es sich also um eine abelsche Gruppe.

• $({\mathbb{N}}_0,+,0)$ ist ein Monid, da die Addition der nicht negativen Zahlen abgeschlossen und assoziativ ist. $0$ ist das Inverse Element der Addtion und Teil der Menge ${\mathbb{N}}_0$. Es handelt sich um keine Gruppe, da die Gleichung $a+x=0$ keine Lösung in ${\mathbb{N}}_0$ hat, wenn $a\ne 0$ ist.
• $(\mathbb{Q}\setminus \{0\},\cdot ,1)$ ist eine abelsche Gruppe, da die Multiplikation rationaler Zahlen abgeschlossen, assoziativ und kommutativ ist. Das Neutrale Element ist $1$ und in der Menge $\mathbb{Q}\setminus \{0\}$ enthalten. Jedes Element $x=\frac{n}{m}$ hat das Inverse Element $x^{-1}=\frac{m}{n}$ in der betrachten Menge, da $0$ nicht Teil der Menge ist und daher $n\ne 0$ ist.
• $(ℝ,+,0)$ ist eine abelsche Gruppe, da die Additon reeller Zahlen abgeschlossen, assoziativ und kommutativ ist. Das neutrale Element $0$ ist eine relle Zahl und zu jeder Zahl $x$ ist das additive Inverse $-x$ Teil der Menge.
• $({ℝ}^{n\times n},\cdot ,I)$ ist ein Monoid. Die Matrixmultiplikation ist abgeschlossen und assoziativ. Sie ist nicht kommutativ! Das Neutrale Element $I$ ist Teil der rellen $n\times n$ Matrizen. Jedoch ist nicht jede Matrix Invertierbar. Eine Matrix die nur Nullen als Eintrag hat, kann bspw. durch keine Matrixmultiplikation das Ergebnis $I$ haben. (Würde die Invertierbarkeit gefordert werdeb, durch $\det (A)\ne 0$, würde es sich um eine Gruppe handeln, die aber nach wie vor nicht abelsch ist.)

Körper

• Damit es sich um einen Körper handelt, muss $(K\setminus \{0\},\cdot ,1)$ eine abelsche Gruppe sein. Nun ist aber $(\mathbb{Z}\setminus \{0\},\cdot ,1)$ keine Gruppe, da es für die Gleichung $a\cdot x=1$ keine Lösung in $\mathbb{Z}\setminus \{0\}$ gibt. Es gibt also keine Inversen.
• Die fehlenden Inversen im Fall von $\mathbb{Z}$ werden durch das Betrachten von $\mathbb{Q}$ umgangen. Die rationalen Zahlen bilden sowohl bzgl. der Addition, wie auch bzgl. der Multiplikation (unter Herausnehmen des Elements $0$) jeweils eine abelsche Gruppe. In den rationalen Zahlen gilt das Distributivgesetz.
• (optional) Die Elemente von $\mathbb{Z}/n\mathbb{Z}$ sind durch $\{0,1,\dots ,n-1\}$ gegeben.
  • $\mathbb{Z}/n\mathbb{Z}$ ist bezüglich der Addition eine abelsche Gruppe, denn die Addition ist abgeschlossen, assoziativ und kommutativ. Das Neutrale Element ist $0$ und es gibt zu jedem Element ein additives Inverses. (Ist $a$ das Element, so ist $n-a$ das Inverse.
  • Auf $\mathbb{Z}/n\mathbb{Z}$ gilt das Distributivgesetz.
  • $(\mathbb{Z}/n\mathbb{Z}\setminus \{0\},\cdot ,1)$ ist im Allgemeinen jedoch keine abelsche Gruppe, da es teilweise keine Inversen gibt. Als Beispiel kann hier $\mathbb{Z}/4\mathbb{Z}$ mit den Elementen $\{0,1,2,3\}$ betrachtet werden. Es zeigt sich, dass $2\cdot x=1$ keine Lösung in der betrachteten Menge hat.
  • Es handelt sich um einen Körper, falls $n$ eine Primzahl ist.
  • Bei $\mathbb{Z}/n\mathbb{Z}$ handelt es sich im allgemeinen um einen sogenannten Ring.

Vektorräume

• $\left(\begin{array}{c}2+\mathrm{i}\\ -3+2\mathrm{i}\end{array}\right)+\left(\begin{array}{c}-1+3\mathrm{i}\\ 5-2\mathrm{i}\end{array}\right)=\left(\begin{array}{c}1+4\mathrm{i}\\ 2+0\mathrm{i}\end{array}\right)$
• $(2+3\mathrm{i})\cdot \left(\begin{array}{c}1+\mathrm{i}\\ -3+2\mathrm{i}\end{array}\right)=\left(\begin{array}{c}-1+5\mathrm{i}\\ -12-5\mathrm{i}\end{array}\right)$
• Ist ${ℂ}^N$ ein Vektorraum?
  • Die Innere und Äußere Verknüpfung sind abgeschlossen, da sie komponentenweise stattfinden und die Addition bzw. Multiplikation in $ℂ$ abgeschlossen sind.
  • $(ℂ,+,0)$ ist eine abelsche Gruppe, da die Innere Verknüpfung komponentenweise stattfindet und die Eigenschaften der Inneren Verknüpfung auf die Eigenschaften der Addition in $ℂ$ zurückgeführt werden können.
  • Das Eins-Axiom $1\cdot |v⟩=|v⟩$ ist erfüllt, da die Äußere Verknüpfung komponentenweise stattfindet und auf die Eigenschaft des multiplikativen neutralen Elements zurück geführt werden kann.
  • $(\lambda \cdot \mu )\odot |v⟩=\lambda \odot (\mu \odot |v⟩)$ ist ebenfalls erfüllt, da die Äußere Verknüpfung komponentenweise abläuft und sich somit auf die Assoziativität der Multiplikation in $ℂ$ zurückführen lässt.
  • $\lambda \odot (|v⟩\oplus |w⟩)=\lambda \odot |v⟩\oplus \lambda \odot |w⟩$ ist erfüllt, da die Innere und Äußere Verknüpfung komponentenweise definiert sind und sich dies Eigenschaft auf das Distributivgesetz in $ℂ$ zurückführen lässt.
  • $(\lambda +\mu )\odot |v⟩=\lambda \odot |v⟩\oplus \mu \odot |v⟩$ ist erfüllt, da die Innere und Äußere Verknüpfung komponentenweise definiert sind und sich dies Eigenschaft auf das Distributivgesetz in $ℂ$ zurückführen lässt.

Hilberträume

• Eine Norm auf dem ${ℂ}^N$, welche der Norm auf dem ${ℝ}^n$ ähnelt ist durch

$\Vert |v⟩\Vert =\sqrt{\sum _{k=0}^{N-1}|v_k{|}^2}$ 

gegeben. Damit lässt sich für den gegebenen Vektor $\Vert |v⟩\Vert =\sqrt{18}=3\sqrt{2}$ bestimmen.

• Die Sesquilinearität lässt sich zeigen, indem sie auf die Linearität von Summen zurückgeführt wird. Die Hermitizität lässt sich durch einsetzen zeigen. Die Positive Definitheit lässt sich durch die Positive Definitheit des Betrags in den Komplexen Zahlen zeigen.
• $⟨\lambda v+\mu w|u⟩={\lambda }^{*}⟨v|u⟩+{\mu }^{*}⟨w|u⟩$
• Die passende Wahl ist $\lambda =\frac{⟨w|v⟩}{⟨w|w⟩}$
• Die Vektoren sind linear unabhänigig. Schon in der ersten Zeile würde sich bei Trennung von Real- und Imaginärteil $\lambda =0$ und $\lambda +2\mu =0$ ergeben.
• Die Linearkombination $\sum _m{\lambda }_m|v_m⟩=0=0$ lässt sich in ein Skalarpdukt mit $|v_n⟩$ mit einem beliebigen aber festen $n$ nehmen. Wegen der Orthogonalität muss daher ${\lambda }_n⟨v_n|v_n⟩=0$ gelten, was ${\lambda }_n=0$ nach sich zieht. Da $n$ beliebig war, gilt dies für jedes $n$.
• Durch einfaches Einsetzen kann die Aussage bewiesen werden. Für den ${ℂ}^N$ kann die Basis $|n⟩$ gewählt werden. In dieser ist die $n$-te Komponente des Vektors gerade Eins. Üblicherweise wird die Zahl $n$ dabei in Binärdarstellung angegeben, wodurch sich bspw.

$|010⟩=\left(\begin{array}{c}0\\ 0\\ 1\\ 0\\ 0\\ 0\\ 0\\ 0\end{array}\right)\in {ℂ}^8$

ergibt.

Operatoren

• Die gegebenen Vektoren bilden eine Orthonormalbasis, da $⟨0|0⟩=⟨1|1⟩=1$ und $⟨0|1⟩=0$ gelten. Damit lassen sich die Matrixelemente

$⟨0|A|0⟩=0⟨0|A|1⟩=-\mathrm{i}⟨1|A|0⟩=\mathrm{i}⟨1|A|1⟩=0$

bestimmen. Die Matrix selbst ist daber durch

$A=\left(\begin{array}{cc}-1& 0\\ 0& 1\end{array}\right)=-Z$

gegeben.

• Es lassen sich

$\lambda A|v⟩=\left(\begin{array}{c}-6-3\mathrm{i}\\ 19+2\mathrm{i}\end{array}\right)$

und

$⟨v|A^{†}{\lambda }^{*}=\left(\begin{array}{cc}-6+3\mathrm{i}& 19-2\mathrm{i}\end{array}\right)$

finden.

• Mit $h_1=h_2=h$ lässt sich

$0=(H|h⟩{)}^{†}|h⟩-⟨h|(H|v⟩)=(h^{*}-h)⟨h|h⟩$

finden. Da $0$ kein Eigenvektor sein darf, muss $h-h^{*}=0\Rightarrow h=h^{*}$ sein. Mit $h_1\ne h_2$ wird stattdessen der Ausdruck

$0=(h_1-h_2)⟨h_1|h_2⟩$

gefunden. Da $h_1\ne h_2$ ist, muss $⟨h_1|h_2⟩=0$ sein, die Vektoren sind daher orthogonal.

• Durch Einsetzen wird die Aussage bewiesen
• Mit

$U^{†}=\left(\begin{array}{cc}\cos (\theta /2)& {\mathrm{e}}^{-\mathrm{i}\varphi }\sin (\theta /2)\\ -{\mathrm{e}}^{-\mathrm{i}\lambda }\sin (\theta /2)& {\mathrm{e}}^{-\mathrm{i}(\varphi +\lambda )}\cos (\theta /2)\end{array}\right)$

lässt sich auch

$U^{†}U=\left(\begin{array}{cc}\cos (\theta /2)& {\mathrm{e}}^{-\mathrm{i}\varphi }\sin (\theta /2)\\ -{\mathrm{e}}^{-\mathrm{i}\lambda }\sin (\theta /2)& {\mathrm{e}}^{-\mathrm{i}(\varphi +\lambda )}\cos (\theta /2)\end{array}\right)\left(\begin{array}{cc}\cos (\theta /2)& -{\mathrm{e}}^{\mathrm{i}\lambda }\sin (\theta /2)\\ {\mathrm{e}}^{\mathrm{i}\varphi }\sin (\theta /2)& {\mathrm{e}}^{\mathrm{i}(\varphi +\lambda )}\cos (\theta /2)\end{array}\right)=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$

ermitteln. Es ist zu beachten, dass $U^{†}\ne U(-\theta ,-\lambda ,-\varphi )$ gilt.

• Es lassen sich die beiden Produkte

$XY=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& -\mathrm{i}\\ \mathrm{i}& 0\end{array}\right)=\mathrm{i}\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)YX=\left(\begin{array}{cc}0& -\mathrm{i}\\ \mathrm{i}& 0\end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)=\mathrm{i}\left(\begin{array}{cc}-1& 0\\ 0& 1\end{array}\right)$

bestimmen, wodurch sich

$[X,Y]=XY-YX=2\mathrm{i}\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)=2\mathrm{i}Z$

ergibt. Insgesamt erfüllen die Pauli-Matrizen die Kommutatorrelation $[{\sigma }_i,{\sigma }_j]=2\mathrm{i}{ϵ}_{ijk}{\sigma }_k$ wobei ${\displaystyle }$ das Levi-Civita-Symbol beschreibt und $+1$ für eine gerade Permutation von $(123)$, $-1$ für eine ungerade Permutation von $(123)$ und sonst $0$ ist. (Sie können verwendet werden, um den Spin von Teilchen zu beschreiben.)

Grundlegende Begriffe des Quantencomputing

Qubits und Grundlegende Operationen auf einem Qubit

• Es lässt sich die Projektion $⟨0|x⟩=\alpha$ bestimmen, so dass sich die Wahrscheinlichkeit $P(0)=|\alpha {|}^2$ ergeben muss.
• Zunächst lässt sich

$(U(\theta ,\varphi ,\lambda ){)}^{†}=\left(\begin{array}{cc}\cos \left(\frac{\theta }{2}\right)& {\mathrm{e}}^{-\mathrm{i}\varphi }\sin \left(\frac{\theta }{2}\right)\\ -{\mathrm{e}}^{-\mathrm{i}\lambda }\sin \left(\frac{\theta }{2}\right)& {\mathrm{e}}^{-\mathrm{i}(\lambda +\varphi )}\cos \left(\frac{\theta }{2}\right)\end{array}\right)$ 

bestimmen. Dies kann mit

$U({\theta }^{\prime },{\varphi }^{\prime },{\lambda }^{\prime })=\left(\begin{array}{cc}\cos \left(\frac{{\theta }^{\prime }}{2}\right)& -{\mathrm{e}}^{\mathrm{i}{\lambda }^{\prime }}\sin \left(\frac{{\theta }^{\prime }}{2}\right)\\ {\mathrm{e}}^{\mathrm{i}{\varphi }^{\prime }}\sin \left(\frac{{\theta }^{\prime }}{2}\right)& {\mathrm{e}}^{\mathrm{i}({\lambda }^{\prime }+{\varphi }^{\prime })}\cos \left(\frac{{\theta }^{\prime }}{2}\right)\end{array}\right)$

verglichen werden, um ${\theta }^{\prime }=\theta$, ${\varphi }^{\prime }=\pi -\lambda$ und ${\lambda }^{\prime }=\pi -\varphi$ zu finden. Also kann

$(U(\theta ,\varphi ,\lambda ){)}^{†}=U(\theta ,\pi -\lambda ,\pi -\varphi )$

geschrieben werden.

• Es kann

$HXYZ|0⟩=\mathrm{i}|0⟩$

gefunden werden.

• Die Wahrscheinlichkeit ist durch

$P(0)=\frac{1}{2}$

gegeben.

Mehrere Qubits und Register

• $|+⟩\otimes |-⟩=\frac{1}{2}\left(\begin{array}{c}1\\ -1\\ 1\\ -1\end{array}\right)$
• Ja, denn

$\Vert |x_1{x}_0⟩{\Vert }^2=|{\alpha }_1{|}^2|{\alpha }_0{|}^2+|{\alpha }_1{|}^2|{\beta }_0{|}^2+|{\beta }_1{|}^2|{\alpha }_0{|}^2+|{\beta }_1{|}^2|{\beta }_0{|}^2=|{\alpha }_1{|}^2\underset{=1}{\underbrace{(|{\alpha }_0{|}^2+|{\beta }_0{|}^2)}}+|{\beta }_1{|}^2\underset{=1}{\underbrace{(|{\alpha }_0{|}^2+|{\beta }_0{|}^2)}}=|{\alpha }_1{|}^2+|{\beta }_1{|}^2=1$

• $P(0,1)=\frac{5}{8}|{R_2}^{\prime }⟩=(\sqrt{\frac{3}{5}}|0⟩-\sqrt{\frac{2}{5}}|1⟩)\otimes |0⟩$
• $I\otimes I=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right)H\otimes I=\frac{1}{\sqrt{2}}\left(\begin{array}{cccc}1& 0& 1& 0\\ 0& 1& 0& 1\\ 1& 0& -1& 0\\ 0& 1& 0& -1\end{array}\right)H\otimes H=\frac{1}{2}\left(\begin{array}{cccc}1& 1& 1& 1\\ 1& -1& 1& -1\\ 1& 1& -1& -1\\ 1& -1& -1& 1\end{array}\right)$
• $C_X|00⟩=|00⟩$, $C_X|01⟩=|01⟩$, $C_X|10⟩=|11⟩$, $C_X|11⟩=|10⟩$
• $|\mathrm{\Psi }⟩=\frac{1}{2}(|000⟩-|010⟩+|1000⟩-|110⟩)$

Nach der Messung ergibt sich mit einer Wahrscheinlichkeit $\frac{1}{2}$ der Zustand

$|{\mathrm{\Psi }}^{\prime }⟩=-\frac{1}{\sqrt{2}}(|010⟩+|110⟩)$

Wird stattdessen $I\otimes X\otimes H$ auf den Zustand $|\mathrm{\Psi }⟩$ angewandt, so kann der Zustand

$\frac{1}{\sqrt{8}}(-|000⟩-|001⟩+|010⟩+|011⟩-|100⟩-|110⟩+|110⟩+|111⟩)$

gefunden werden.

Eine kurze Einführung in Qiskit

• Jupyter Notebook "Einstieg in Qiskit mit Lösungen"

Einige einfachen Quantenalgorithmen

• Jupyter Notebook "Zufallsgenerator mit Lösungen"
• Jupyter Notebook "Das Problem von Deutsch mit Lösungen"

Quantenteleportation und -kryptographie

• Jupyter Notebook "Quantenteleportation - und Kryptographie mit Lösungen"