QCoder

解説

問題 A4 では、3つの計算基底状態 $\ket{00},\ \ket{10},\ \ket{01}$ の重ね合わせ状態 $\frac{1}{\sqrt{2}} \ket{00} + \frac{1}{2}(\ket{10} + \ket{01})$ を生成しました。

この問題では3つの計算基底状態の複素振幅をすべて $1/\sqrt{3}$ に揃える必要があります。

これは、回転ゲートを利用し、問題 A4 解説 $(1)$ 式のアダマールゲートを回転ゲートで置き換え、遷移後の状態を $\frac{1}{\sqrt{3}} \ket{00} + \sqrt{\frac{2}{3}} \ket{10}$ とすることで解決できます。

\begin{align} \ket{00} &\xrightarrow{Ry(\theta, 0)} \frac{1}{\sqrt{3}} \ket{00} + \sqrt{\frac{2}{3}} \ket{10} \nonumber\\ &\xrightarrow{CH(0, 1)} \frac{1}{\sqrt{3}} (\ket{00} + \ket{10} + \ket{11}) \nonumber\\ &\xrightarrow{CX(1, 0)} \frac{1}{\sqrt{3}} (\ket{00} + \ket{10} + \ket{01}) \end{align}

ここで、任意の $1$ 量子ビットの状態 $\ket{\psi}$ は 2つの角度パラメータ $\theta,\ \phi$ により次式で表現できます。

\begin{equation} \ket{\psi} = \cos(\theta/2) \ket{0} + (\cos(\phi) + i \sin(\phi))\sin(\theta/2) \ket{1} \end{equation}

このように $1$ 量子ビットの量子状態を半径1の球面上に表す方法は、ブロッホ球と呼ばれており、角度パラメータ $\theta,\ \phi$ を元に位相ゲートや回転ゲートを用いて任意の $1$ 量子ビットの状態を異なる任意の状態に遷移させることができます。

ブロッホ球

では、状態 $\frac{1}{\sqrt{3}} \ket{00} + \sqrt{\frac{2}{3}} \ket{10}$ の角度パラメータ $\theta,\ \phi$ を求めます。

虚数成分は $0$ なので、 $\phi = 0$ としてよく、次の連立方程式を立式できます。

\begin{equation} \left\{ \, \begin{aligned} & \cos(\theta/2) = 1/\sqrt{3} \\ & \sin(\theta/2) = \sqrt{2/3} \end{aligned} \right. \end{equation}

方程式を解くと、 $0 \leq \theta < 2 \pi$ の範囲で次の解が得られます。

\begin{equation} \theta = 4 \arctan\left(\frac{\sqrt{6}}{3 + \sqrt{3}}\right) \end{equation}

ここで、ブロッホ球をみると角度パラメータ $\theta$ は $y$ 軸上の回転角を表すことがわかります。

よって、 $y$ 軸上の回転ゲートである $R_y$ ゲートを利用して、 $\theta$ の回転を加えることで、 $\ket{00} \xrightarrow{Ry(\theta, 0)} \frac{1}{\sqrt{3}} \ket{00} + \sqrt{\frac{2}{3}} \ket{10}$ の遷移を実現できます。

結果として、次のような遷移によってこの問題を解くことができます。

\begin{align} \ket{00} &\xrightarrow{Ry(\theta, 0)} \frac{1}{\sqrt{3}} \ket{00} + \sqrt{\frac{2}{3}} \ket{10} \nonumber \\ &\xrightarrow{CH(0, 1)} \frac{1}{\sqrt{3}} (\ket{00} + \ket{10} + \ket{11}) \nonumber \\ &\xrightarrow{CX(1, 0)} \frac{1}{\sqrt{3}} (\ket{00} + \ket{10} + \ket{01}) \end{align}

解答例

解答例は以下の通りです。

from qiskit import QuantumCircuit
import math
 
def solve() -> QuantumCircuit:
    qc = QuantumCircuit(2)
 
    theta = 4 * math.atan(math.sqrt(6)/ (3 + math.sqrt(3)))
 
    qc.ry(theta, 0)
    qc.ch(0, 1)
    qc.cx(1, 0)
 
    return qc

A5: Generate state 13(∣0⟩+∣1⟩+∣2⟩))\frac{1}{\sqrt{3}} (\ket{0} + \ket{1} + \ket{2}))3​1​(∣0⟩+∣1⟩+∣2⟩)) II

解説

解答例

A5: Generate state $\frac{1}{\sqrt{3}} (\ket{0} + \ket{1} + \ket{2}))$ II