$$
\def\bra#1{\mathinner{\left\langle{#1}\right|}}
\def\ket#1{\mathinner{\left|{#1}\right\rangle}}
\def\braket#1#2{\mathinner{\left\langle{#1}\middle|#2\right\rangle}}
$$
ブロッホ球
三角関数の単位円みたいなもの。量子ビットの状態を表す球体。量子ビットに演算子を適用すると、量子ビットの状態を表すベクトルが、この球体の表面上を動き回る。
出典：wikipedia
\begin{align}
\psi &= \cos (\theta / 2) \ket{0} + e^{i \phi} \sin (\theta / 2) \ket{1} \\
&= \cos (\theta / 2) \ket{0} + ( \cos \phi + i \sin \phi) \sin (\theta / 2)\ket{1}
\end{align}
ブラケット記法
ケット
\ket 0 =
\begin{pmatrix}
1 \\
0
\end{pmatrix} \\
\ket 1 =
\begin{pmatrix}
0 \\
1
\end{pmatrix}
ブラ
\bra 0 =
\begin{pmatrix}
1 & 0
\end{pmatrix} = \ket 0 ^{\dagger} \\
\bra 1 =
\begin{pmatrix}
0 & 1
\end{pmatrix} = \ket 1 ^{\dagger} \\
ブラケット
\braket 0 0 = 1 \\
\braket 0 1 = 0 \\
\braket 1 0 = 0 \\
\braket 1 1 = 1
量子ビット
1量子ビット
\ket{0} =
\begin{pmatrix}
1 \\
0
\end{pmatrix} \\
\ket{1} =
\begin{pmatrix}
0 \\
1
\end{pmatrix}
2量子ビット
\ket{00} =
\begin{pmatrix}
1 \\
0 \\
0 \\
0
\end{pmatrix} \\
\ket{01} =
\begin{pmatrix}
0 \\
1 \\
0 \\
0
\end{pmatrix} \\
\ket{10} =
\begin{pmatrix}
0 \\
0 \\
1 \\
0
\end{pmatrix} \\
\ket{11} =
\begin{pmatrix}
0 \\
0 \\
0 \\
1
\end{pmatrix}
n量子ビット
\ket{0...0}, \ket{0...1}, ...
演算子
パウリ演算子
恒等演算子
ブロッホ球に対して、量子を回転させない演算子。
I=\ket{0}\bra{0}+\ket{1}\bra{1}=
\begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix}
ビット反転演算子
ブロッホ球に対して、量子を+X軸に$\pi$回転させる演算子。
X=\ket{0}\bra{1}+\ket{1}\bra{0}=
\begin{pmatrix}
0 & 1 \\
1 & 0
\end{pmatrix}
┌───┐
q_0: |0>┤ X ├
└───┘
ビット・位相反転演算子
ブロッホ球に対して、量子を+Y軸方向に$\pi$回転させる演算子。
Y=i(\ket{0}\bra{1}-\ket{1}\bra{0})=
\begin{pmatrix}
0 & -i \\
i & 0
\end{pmatrix}
┌───┐
q_0: |0>┤ Y ├
└───┘
位相反転演算子
ブロッホ球に対して、量子を+Z軸方向に$\pi$回転させる演算子。
Z=\ket{0}\bra{0}-\ket{1}\bra{1}=
\begin{pmatrix}
1 & 0 \\
0 & -1
\end{pmatrix}
┌───┐
q_0: |0>┤ Z ├
└───┘
アダマール演算子
ブロッホ球に対して、量子を+Y軸方向に$\pi/2$回転させる演算子。
H=\frac{1}{\sqrt{2}}(\ket{0}\bra{0}+\ket{0}\bra{1}+\ket{1}\bra{0}-\ket{1}\bra{1})=
\frac{1}{\sqrt{2}}
\begin{pmatrix}
1 & 1 \\
1 & -1
\end{pmatrix}
┌───┐
q_0: |0>┤ H ├
└───┘
位相演算
ブロッホ球に対して、量子を+Z軸方向に$\pi/2$度回転させる位相演算。
S=\ket{0}\bra{0}+i\ket{1}\bra{1}=
\begin{pmatrix}
1 & 0 \\
0 & i
\end{pmatrix}
┌───┐
q_0: |0>┤ S ├
└───┘
ブロッホ球に対して、量子を+Z軸方向に$\pi/4$回転させる位相演算。
T=\ket{0}\bra{0}+e^{\frac{i \pi}{4} }\ket{1}\bra{1}=
\begin{pmatrix}
1 & 0 \\
0 & e^{\frac{i \pi}{4} }
\end{pmatrix}
┌───┐
q_0: |0>┤ T ├
└───┘
回転演算
Rx
ブロッホ球に対して、量子をX軸方向に$\theta$回転させる位相演算。
\begin{align}
R_x(\theta) =& \cos\frac{\theta}{2}(\ket{0}\bra{0}+\ket{1}\bra{1})-i\sin\frac{\theta}{2}(\ket{1}\bra{0}+\ket{0}\bra{1}) \\
=& \begin{pmatrix}
\cos\frac{\theta}{2} & -i\sin\frac{\theta}{2} \\
-i\sin\frac{\theta}{2} & \cos\frac{\theta}{2}
\end{pmatrix}
\end{align}
ここで、X軸方向に$\theta$回転させることは、行列指数関数の級数展開の定義を使うことで示すことができる。
\begin{align}
R_x(\theta ) &= e^{-i\frac{\theta}{2} X} \\
&= \sum _{k=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{k}}{k!} X^{k} \\
&= \sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l}}{(2l)!} X^{2l} +
\sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l+1}}{(2l+1)!} X^{2l+1} \\
&= \sum _{l=0} ^{\infty} \frac{(-1) ^{l}\frac{\theta}{2} ^{2l}}{(2l)!} I
- i\sum _{l=0} ^{\infty} \frac{(-1) ^{l} \frac{\theta}{2} ^{2l+1}}{(2l+1)!} X\\
&= \cos \frac{\theta}{2} I - i \sin \frac{\theta}{2} X \\
&= \cos \frac{\theta}{2} \begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix} - i \sin \frac{\theta}{2} \begin{pmatrix}
0 & 1 \\
1 & 0
\end{pmatrix} \\
&= \begin{pmatrix}
\cos\frac{\theta}{2} & -i\sin\frac{\theta}{2} \\
-i\sin\frac{\theta}{2} & \cos\frac{\theta}{2}
\end{pmatrix}
\end{align}
Ry
ブロッホ球に対して、量子をY軸方向に$\theta$回転させる位相演算。
\begin{align}
R_y(\theta) &= \cos\frac{\theta}{2}(\ket{0}\bra{0}+\ket{1}\bra{1})+
\sin\frac{\theta}{2}(\ket{1}\bra{0}-\ket{0}\bra{1}) \\
&= \begin{pmatrix}
\cos\frac{\theta}{2} & -\sin\frac{\theta}{2} \\
\sin\frac{\theta}{2} & \cos\frac{\theta}{2}
\end{pmatrix}
\end{align}
ここで、Y軸方向に$\theta$回転させることは、行列指数関数の級数展開の定義を使うことで示すことができる。
\begin{align}
R_y(\theta ) &= e^{-i\frac{\theta}{2} Y} \\
&= \sum _{k=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{k}}{k!} Y^{k} \\
&= \sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l}}{(2l)!} Y^{2l} +
\sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l+1}}{(2l+1)!} Y^{2l+1} \\
&= \sum _{l=0} ^{\infty} \frac{(-1) ^{l}\frac{\theta}{2} ^{2l}}{(2l)!} I
- i\sum _{l=0} ^{\infty} \frac{(-1) ^{l} \frac{\theta}{2} ^{2l+1}}{(2l+1)!} Y\\
&= \cos \frac{\theta}{2} I - i \sin \frac{\theta}{2} Y \\
&= \cos \frac{\theta}{2} \begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix} - i \sin \frac{\theta}{2} \begin{pmatrix}
0 & -i \\
i & 0
\end{pmatrix} \\
&= \begin{pmatrix}
\cos\frac{\theta}{2} & -\sin\frac{\theta}{2} \\
\sin\frac{\theta}{2} & \cos\frac{\theta}{2}
\end{pmatrix}
\end{align}
Rz
ブロッホ球に対して、量子をZ軸方向に$\theta$回転させる位相演算。
\begin{align}
R_z(\theta) &= e^{-i\frac{\theta}{2}}\ket{0}\bra{0}+e^{i\frac{\theta}{2}}\ket{1}\bra{1} \\
&= \begin{pmatrix}
e^{-i\frac{\theta}{2}} & 0 \\
0 & e^{i\frac{\theta}{2}}
\end{pmatrix}
\end{align}
ここで、Z軸方向に$\theta$回転させることは、行列指数関数の級数展開の定義を使うことで示すことができる。
\begin{align}
R_z(\theta ) &= e^{-i\frac{\theta}{2} Z} \\
&= \sum _{k=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{k}}{k!} Z^{k} \\
&= \sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l}}{(2l)!} Z^{2l} +
\sum _{l=0} ^{\infty} \frac{(-i\frac{\theta}{2} ) ^{2l+1}}{(2l+1)!} Z^{2l+1} \\
&= \sum _{l=0} ^{\infty} \frac{(-1) ^{l}\frac{\theta}{2} ^{2l}}{(2l)!} I
- i\sum _{l=0} ^{\infty} \frac{(-1) ^{l} \frac{\theta}{2} ^{2l+1}}{(2l+1)!} Z\\
&= \cos \frac{\theta}{2} I - i \sin \frac{\theta}{2} Z \\
&= \cos \frac{\theta}{2} \begin{pmatrix}
1 & 0 \\
0 & 1
\end{pmatrix} - i \sin \frac{\theta}{2} \begin{pmatrix}
1 & 0 \\
0 & -1
\end{pmatrix} \\
&= \begin{pmatrix}
\cos\frac{\theta}{2} - i\sin\frac{\theta}{2} & 0 \\
0 & \cos\frac{\theta}{2} + i\sin\frac{\theta}{2}
\end{pmatrix} \\
&= \begin{pmatrix}
e^{-i\frac{\theta}{2}} & 0 \\
0 & e^{i\frac{\theta}{2}}
\end{pmatrix}
\end{align}
2量子ビット演算子
制御NOT演算子(CNOT)
第1ビットが$\ket 1$場合に第2ビットをビット反転する演算。
より一般的に第nビットが$\ket 1$場合に第mビットをビット反転する演算を$\Lambda(X)_{n,m}$とよぶ。
\Lambda(X)_{1,2}=\ket{00}\bra{00}+\ket{01}\bra{01}+\ket{10}\bra{11}+\ket{11}\bra{10}=
\begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 \\
0 & 0 & 1 & 0
\end{pmatrix}
q_0: |0>──■──
┌─┴─┐
q_1: |0>┤ X ├
└───┘
SWAPゲート
\Lambda(X)=\ket{00}\bra{00}+\ket{01}\bra{10}+\ket{10}\bra{01}+\ket{11}\bra{11}=
\begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & 0 & 1 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1
\end{pmatrix}
ユニタリ演算
第1ビットが$\ket 1$場合にユニタリ行列$U$を作用させる演算。
\Lambda(U)=\ket 0 \bra 0 I \otimes \ket 1 \bra 1 U
3量子ビット演算
トフォリゲート(CCNOT)
第1,2ビットが$\ket 1$の場合に第3ビットをビット反転する演算。
q_0: |0>──■──
│
q_1: |0>──■──
┌─┴─┐
q_2: |0>┤ X ├
└───┘
アルゴリズム
アダマールテスト
( H \otimes I ) \Lambda(U) ( H \otimes I )( \ket 0 \otimes \ket \psi )