LoginSignup
1

More than 5 years have passed since last update.

『量子計算理論 量子コンピュータの原理』演習(第4章1節&2節)

Last updated at Posted at 2017-11-22

来るべき量子コンピュータ時代に備えて、『量子計算理論 量子コンピュータの原理』の輪読を始めました :muscle:

「人類がつくりうる究極の計算機は何だろうか?」
...
現在最も正しいと考えられている物理理論である量子論に基づく計算機が、その答えとなる。

という文章から始まるので、否が応でもテンション上がってしまいますね :raised_hands:
いくつか演習問題があるので解いていきます。間違ってたら、ごめんネ :pray:

『量子計算理論 量子コンピュータの原理』演習(第2章&第3章)
『量子計算理論 量子コンピュータの原理』演習(第4章4節)混合状態

4 量子計算(発展)

4.1 量子ゲートの例と量子回路

パウリ演算子は以下の性質を満たすことを確認せよ。
$X^2 = Y^2 = Z^2 = I$

\begin{align}
X^2 = \begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix}
\begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
1 & 0 \\
0 & 1 \\
\end{pmatrix} \\
Y^2 = \begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix}
\begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
1 & 0 \\
0 & 1 \\
\end{pmatrix} \\
Z^2 = \begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix}
\begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix} &=
\begin{pmatrix}
1 & 0 \\
0 & 1 \\
\end{pmatrix} \\
I &=
\begin{pmatrix}
1 & 0 \\
0 & 1 \\
\end{pmatrix}
\end{align}

$XY = -YX = iZ$

\begin{align}
XY =
\begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix}
\begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
i & 0 \\
0 & -i \\
\end{pmatrix} \\
-YX = -
\begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix}
\begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
i & 0 \\
0 & -i \\
\end{pmatrix} \\
iZ &=
\begin{pmatrix}
i & 0 \\
0 & -i \\
\end{pmatrix}
\end{align}

$YZ = -ZY = iX$

\begin{align}
YZ =
\begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix}
\begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix} &=
\begin{pmatrix}
0 & i \\
i & 0 \\
\end{pmatrix} \\
-ZY =
\begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix}
\begin{pmatrix}
0 & -i \\
i & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
0 & i \\
i & 0 \\
\end{pmatrix} \\
iX &=
\begin{pmatrix}
0 & i \\
i & 0 \\
\end{pmatrix}
\end{align}

$ZX = -XZ = iY$

\begin{align}
ZX =
\begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix}
\begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix} &=
\begin{pmatrix}
0 & 1 \\
-1 & 0 \\
\end{pmatrix} \\
-XZ = -
\begin{pmatrix}
0 & 1 \\
1 & 0 \\
\end{pmatrix}
\begin{pmatrix}
1 & 0 \\
0 & -1 \\
\end{pmatrix} &=
\begin{pmatrix}
0 & 1 \\
-1 & 0 \\
\end{pmatrix} \\
iY &=
\begin{pmatrix}
0 & 1 \\
-1 & 0 \\
\end{pmatrix}
\end{align}

また、パウリ演算子の固有値、固有ベクトルを求めよ。

\begin{align}
X
\begin{pmatrix}
1 \\
1 \\
\end{pmatrix} &=
1
\begin{pmatrix}
1 \\
1 \\
\end{pmatrix} \\
X
\begin{pmatrix}
1 \\
-1 \\
\end{pmatrix} &=
-1
\begin{pmatrix}
1 \\
-1 \\
\end{pmatrix} \\
Y
\begin{pmatrix}
1 \\
i \\
\end{pmatrix} &=
1
\begin{pmatrix}
1 \\
i \\
\end{pmatrix} \\
Y
\begin{pmatrix}
1 \\
-i \\
\end{pmatrix} &=
-1
\begin{pmatrix}
1 \\
-i \\
\end{pmatrix} \\
Z
\begin{pmatrix}
1 \\
0 \\
\end{pmatrix} &=
1
\begin{pmatrix}
1 \\
0 \\
\end{pmatrix} \\
Z
\begin{pmatrix}
0 \\
1 \\
\end{pmatrix} &=
-1
\begin{pmatrix}
0 \\
1 \\
\end{pmatrix}
\end{align}

さらに、n量子ビットパウリ演算子は掛け算について群をなすことを確かめよ。

1量子ビットパウリ演算子が群をなせば、そのテンソル積であるn量子ビットパウリ演算子も群をなす。
1量子ビットパウリ演算子が群であることは、次のように確かめられる。

  • 演算が閉じていること:上記の計算式より
  • 結合法則: 行列の結合法則より
  • 単位元: $I$
  • 逆元: $X, Y, Z$ の逆元は自身
\newcommand{\bra}[1]{\left\langle #1 \right|}
\newcommand{\ket}[1]{\left| #1 \right\rangle}
\newcommand{\bracket}[2]{\left\langle #1 \middle| #2 \right\rangle}
\newcommand{\braccket}[3]{\left\langle #1 \middle| #2 \middle| #3 \right\rangle}

CZゲートは、コントロールとターゲットを入れ替えても等価であることを示せ。つまり、
$\ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes Z = I \otimes \ket{0}\bra{0} + Z \otimes \ket{1}\bra{1}$
が成り立つことを示せ。

\begin{align}
&\ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes Z \\
= \ &\ket{0}\bra{0} \otimes ( \ \ket{0}\bra{0} + \ket{1}\bra{1} \ ) \ + \ \ket{1}\bra{1} \otimes ( \ \ket{0}\bra{0} - \ket{1}\bra{1} \ ) \\
= \ &( \ \ket{0}\bra{0} + \ket{1}\bra{1} \ ) \otimes  \ket{0}\bra{0} \ + \ ( \ \ket{0}\bra{0} - \ket{1}\bra{1} \ ) \otimes  \ket{1}\bra{1} \\
= \ &I \otimes \ket{0}\bra{0} + Z \otimes \ket{1}\bra{1}
\end{align}

また、図4.1(f)のようにCXゲートをコントロールとターゲットを入れ替えて3回作用させると、量子ビットを交換するゲート $\ket{\psi} \otimes \ket{\phi} \rightarrow \ket{\phi} \otimes \ket{\psi}$ になってることを示せ。

\begin{align}
( \ &I \otimes \ket{0}\bra{0} + X \otimes \ket{1}\bra{1} \ ) \\
( \ &\ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes X \ ) \\
= \ &( \ I \ket{0}\bra{0} \otimes \ket{0}\bra{0} I \ ) \ + \ ( \ X \ket{0}\bra{0} \otimes \ket{1}\bra{1} I \ ) \ + \ ( \ I \ket{1}\bra{1} \otimes \ket{0}\bra{0} X \ ) \ + \ ( \ X \ket{1}\bra{1} \otimes \ket{1}\bra{1} X \ ) \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} + \ket{1}\bra{0} \otimes \ket{1}\bra{1} + \ket{1}\bra{1} \otimes \ket{0}\bra{1} + \ket{0}\bra{1} \otimes \ket{1}\bra{0} \\
\\
( \ &\ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes X \ ) \\
( \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} + \ket{1}\bra{0} \otimes \ket{1}\bra{1} + \ket{1}\bra{1} \otimes \ket{0}\bra{1} + \ket{0}\bra{1} \otimes \ket{1}\bra{0} \ ) \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} + \ket{1}\bra{0} \otimes \ket{0}\bra{1} + \ket{1}\bra{1} \otimes \ket{1}\bra{1} + \ket{1}\bra{1} \otimes \ket{1}\bra{0} \\
= \ &\ket{00}\bra{00} + \ket{10}\bra{01} + \ket{11}\bra{11} + \ket{01}\bra{10}
\end{align}

CCZゲートは、図4.2の回路と等価であることを確認せよ。

\begin{align}
( \ &\ket{0}\bra{0} \otimes I \otimes I + \ket{1}\bra{1} \otimes X \otimes I \ ) \\
( \ &\ket{0}\bra{0} \otimes I \otimes I + \ket{1}\bra{1} \otimes I \otimes R_{\pi/2} \ ) \\
= \ &\ket{0}\bra{0} \otimes I \otimes I + \ket{1}\bra{1} \otimes X \otimes R_{\pi/2} \\
\\
( \ &I \otimes \ket{0}\bra{0} \otimes I + I \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger \ ) \\
( \ &\ket{0}\bra{0} \otimes I \otimes I + \ket{1}\bra{1} \otimes X \otimes R_{\pi/2} \ ) \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{0}\bra{1} \otimes  R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{1}\bra{0} \otimes R_{\pi/2}^\dagger R_{\pi/2} \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{0}\bra{1} \otimes  R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{1}\bra{0} \otimes I \\
\\
( \ &\ket{0}\bra{0} \otimes I \otimes I + \ket{1}\bra{1} \otimes X \otimes I \ ) \\
( \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{0}\bra{1} \otimes  R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{1}\bra{0} \otimes I \ ) \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{1}\bra{1} \otimes R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{0}\bra{0} \otimes I \\
\\
( \ &I \otimes \ket{0}\bra{0} \otimes I + I \otimes \ket{1}\bra{1} \otimes R_{\pi/2} \ ) \\
( \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{1}\bra{1} \otimes R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{0}\bra{0} \otimes I \ ) \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes R_{\pi/2} R_{\pi/2}^\dagger + \ket{1}\bra{1} \otimes \ket{1}\bra{1} \otimes R_{\pi/2} R_{\pi/2} + \ket{1}\bra{1} \otimes \ket{0}\bra{0} \otimes I \\
= \ &\ket{0}\bra{0} \otimes \ket{0}\bra{0} \otimes I + \ket{0}\bra{0} \otimes \ket{1}\bra{1} \otimes I + \ket{1}\bra{1} \otimes \ket{1}\bra{1} \otimes Z + \ket{1}\bra{1} \otimes \ket{0}\bra{0} \otimes I \\
= \ &( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes I + \ket{11} \bra{11} \otimes Z
\end{align}

図4.3の回路において、一番上の量子ビットを測定したときに0が得られる確率は
$\frac{2 + \braccket{\psi}{U}{\psi} + \braccket{\psi}{U^\dagger}{\psi}}{4}$
であることを確認せよ。ただし、Uは任意のユニタリ演算子である。このような回路はアダマールテスト(Hadamard test)とよばれ、よく使われる。

\begin{align}
&( \ H \otimes I \ ) \ \ ( \ \ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes U \ ) \ \ ( \ H \otimes I \ ) \ \ ( \ \ket{0} \otimes \ket{\psi} \ ) \\
= \ &( \ H \otimes I \ ) \ \ ( \ \ket{0}\bra{0} \otimes I + \ket{1}\bra{1} \otimes U \ ) \ \ ( \ \frac{1}{\sqrt{2}} \ket{0} \otimes \ket{\psi} + \frac{1}{\sqrt{2}} \ket{1} \otimes \ket{\psi} \ ) \\
= \ &( \ H \otimes I \ ) \ \ ( \ \frac{1}{\sqrt{2}} \ket{0} \otimes \ket{\psi} + \frac{1}{\sqrt{2}} \ket{1} \otimes U \ket{\psi} \ ) \\
= \ &\frac{1}{2} \ket{0} \otimes \ket{\psi} + \frac{1}{2} \ket{1} \otimes \ket{\psi} + \frac{1}{2} \ket{0} \otimes U \ket{\psi} - \frac{1}{2} \ket{1} \otimes U \ket{\psi} \\
\end{align}

一番上の量子ビットを測定したときに0が得られる確率は、

\begin{align}
&( \ \frac{1}{2} \bra{0} \otimes \bra{\psi} + \frac{1}{2} \bra{1} \otimes \bra{\psi} + \frac{1}{2} \bra{0} \otimes \bra{\psi} U^\dagger - \frac{1}{2} \bra{1} \otimes \bra{\psi} U^\dagger \ ) \\
&( \ \ket{0}\bra{0} \otimes I \ ) \\
&( \ \frac{1}{2} \ket{0} \otimes \ket{\psi} + \frac{1}{2} \ket{1} \otimes \ket{\psi} + \frac{1}{2} \ket{0} \otimes U \ket{\psi} - \frac{1}{2} \ket{1} \otimes U \ket{\psi} \ ) \\
= \ &( \ \frac{1}{2} \bra{0} \otimes \bra{\psi} + \frac{1}{2} \bra{0} \otimes \bra{\psi} U^\dagger) \ \
( \ \frac{1}{2} \ket{0} \otimes \ket{\psi} + \frac{1}{2} \ket{0} \otimes U \ket{\psi} \ ) \\
= \ &\frac{1}{4} \bracket{0}{0} \bracket{\psi}{\psi} + \frac{1}{4} \bracket{0}{0} \braccket{\psi}{U^\dagger}{\psi} + \frac{1}{4} \bracket{0}{0} \braccket{\psi}{U}{\psi} + \frac{1}{4} \bracket{0}{0} \braccket{\psi}{U^\dagger U}{\psi} \\
= \ &\frac{1}{4} + \frac{1}{4} \braccket{\psi}{U^\dagger}{\psi} + \frac{1}{4} \braccket{\psi}{U}{\psi} + \frac{1}{4} \\
= \ &\frac{2 + \braccket{\psi}{U}{\psi} + \braccket{\psi}{U^\dagger}{\psi}}{4}
\end{align}

4.2 ユニバーサルな量子ゲートセット

複素係数表示における $\Lambda(R_{\pi/2})$ は、実係数表示において
$T(I \otimes I \otimes H)T(I \otimes I \otimes H)$
を作用させることによりシミュレートできることを示せ。

\begin{align}
\Lambda(R_{\pi/2}) \ket{\phi}
&= ( \ \ket{0} \bra{0} \otimes I \ + \ \ket{1} \bra{1}  \otimes ( \ \ket{0} \bra{0} + i \ket{1} \bra{1} \ ) \ ) \ \sum_{z \in \{0, 1\}^2} c_z \ket{z} \\
&= \left( \sum_{z \in \{0, 1\}^2  \setminus \{11\}} c_z \ket{z} \right) + i c_{11} \ket{11} \\
&= \left( \sum_{z \in \{0, 1\}^2  \setminus \{11\}} (\alpha_z + i \beta_z) \ket{z} \right) - \beta_{11} \ket{11} + i \alpha_{11} \ket{11} \\
\end{align}

これを実係数表示をすると

\left( \sum_{z \in \{0, 1\}^2 \setminus \{11\}} \alpha_z \ket{z} \ket{0} + \beta_z \ket{z} \ket{1} \right) - \beta_{11} \ket{11} \ket{0} + \alpha_{11} \ket{11} \ket{1}

また、

\begin{align}
T(I \otimes I \otimes H)
&= ( \ ( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes I + \ket{11} \bra{11} \otimes X \ ) \ ( \ I \otimes I \otimes H \ ) \\
&= ( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes H + \ket{11} \bra{11} \otimes X H
\end{align}

よって、

\begin{align}
T(I \otimes I \otimes H)T(I \otimes I \otimes H)
&= ( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes H H + \ket{11} \bra{11} \otimes X H X H \\
&= ( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes I + \ket{11} \bra{11} \otimes
\begin{pmatrix}
0 & -1 \\
1 & 0 \\
\end{pmatrix}

\end{align}

すなわち、

\begin{align}
&T(I \otimes I \otimes H)T(I \otimes I \otimes H) \ket{\tilde{\phi}} \\
= \ &\left( ( \ I \otimes I - \ket{11} \bra{11} \ ) \otimes I + \ket{11} \bra{11} \otimes
\begin{pmatrix}
0 & -1 \\
1 & 0 \\
\end{pmatrix}
\right) \left( \sum_{z \in \{0, 1\}^2} \alpha_z \ket{z} \ket{0} + \beta_z \ket{z} \ket{1} \right) \\
= \ &\left( \sum_{z \in \{0, 1\}^2 \setminus \{11\}} \alpha_z \ket{z} \otimes I \ket{0} + \beta_z \ket{z} \otimes I \ket{1} \right) + \left( \sum_{z \in \{11\}} \alpha_z \ket{z} \otimes 
\begin{pmatrix}
0 & -1 \\
1 & 0 \\
\end{pmatrix}
\ket{0} + \beta_z \ket{z} \otimes 
\begin{pmatrix}
0 & -1 \\
1 & 0 \\
\end{pmatrix}
\ket{1} \right) \\
= \ &\left( \sum_{z \in \{0, 1\}^2 \setminus \{11\}} \alpha_z \ket{z} \ket{0} + \beta_z \ket{z} \ket{1} \right) - \beta_{11} \ket{11} \ket{0} + \alpha_{11} \ket{11} \ket{1}
\end{align}

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
1