LogoQCoder Programming Contest 003
ログイン
← 前の解説次の解説 →

Ex1: Convert Bit-Flip into Phase-Flip II

実行時間制限：3 秒

メモリ制限：512 MiB

配点：300点

Writer:Not_Leonian

解説

右端の量子ビットに順に XX ゲートと HH ゲートを作用させると、以下のようになります。

∣x⟩n∣0⟩1→X∣x⟩n∣1⟩1→H12(∣x⟩n∣0⟩1−∣x⟩n∣1⟩1)\begin{equation} \ket{x}_n\ket{0}_1 \xrightarrow{X} \ket{x}_n\ket{1}_1 \xrightarrow{H} \frac{1}{\sqrt{2}} (\ket{x}_n\ket{0}_1 - \ket{x}_n\ket{1}_1) \end{equation}

さらに、オラクル OO を作用させると、以下のようになります。

12(∣x⟩n∣0⟩1−∣x⟩n∣1⟩1)→O{12(∣x⟩n∣1⟩1−∣x⟩n∣0⟩1)(f(x)=1)12(∣x⟩n∣0⟩1−∣x⟩n∣1⟩1)(f(x)=0)\begin{equation} \frac{1}{\sqrt{2}} (\ket{x}_n\ket{0}_1 - \ket{x}_n\ket{1}_1) \xrightarrow{O} \begin{cases} \frac{1}{\sqrt{2}} (\ket{x}_n\ket{1}_1 - \ket{x}_n\ket{0}_1) & (f(x)=1) \\ \frac{1}{\sqrt{2}} (\ket{x}_n\ket{0}_1 - \ket{x}_n\ket{1}_1) & (f(x)=0) \end{cases} \end{equation}

12(∣x⟩n∣1⟩1−∣x⟩n∣0⟩1)=−12(∣x⟩n∣0⟩1−∣x⟩n∣1⟩1)\frac{1}{\sqrt{2}} (\ket{x}_n\ket{1}_1 - \ket{x}_n\ket{0}_1) = - \frac{1}{\sqrt{2}} (\ket{x}_n\ket{0}_1 - \ket{x}_n\ket{1}_1) に注目して、右端の量子ビットに順に HH ゲートと XX ゲートを作用させると、以下のようになり、期待される操作が実装できたことになります。

{12(∣x⟩n∣1⟩1−∣x⟩n∣0⟩1)(f(x)=1)12(∣x⟩n∣0⟩1−∣x⟩n∣1⟩1)(f(x)=0)→H{−∣x⟩n∣1⟩1(f(x)=1)∣x⟩n∣1⟩1(f(x)=0)→X{−∣x⟩n∣0⟩1(f(x)=1)∣x⟩n∣0⟩1(f(x)=0)\begin{align} \begin{cases} \frac{1}{\sqrt{2}} (\ket{x}_n\ket{1}_1 - \ket{x}_n\ket{0}_1) & (f(x)=1) \\ \frac{1}{\sqrt{2}} (\ket{x}_n\ket{0}_1 - \ket{x}_n\ket{1}_1) & (f(x)=0) \end{cases} & \xrightarrow{H} \begin{cases} -\ket{x}_n\ket{1}_1 & (f(x)=1) \\ \ket{x}_n\ket{1}_1 & (f(x)=0) \end{cases} \\ & \xrightarrow{X} \begin{cases}-\ket{x}_n\ket{0}_1 & (f(x)=1) \\ \ket{x}_n\ket{0}_1 & (f(x)=0) \end{cases} \end{align}

n=3n = 3 の場合の回路図は、以下の通りです。

解答例

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

from qiskit import QuantumCircuit, QuantumRegister
 
 
def solve(n: int, o: QuantumCircuit) -> QuantumCircuit:
    x, y = QuantumRegister(n), QuantumRegister(1)
    qc = QuantumCircuit(x, y)
 
    qc.x(y)
    qc.h(y)
    qc.compose(o, inplace=True)
    qc.h(y)
    qc.x(y)
 
    return qc