😸

ユニタリー演算子の縮約の計算

2023/12/31に公開

テンソルネットワークと量子計算の関係についてのメモ

量子状態

1量子ビットの基底状態|0\rangle|1\rangleは次のように定義されます。

|0\rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \quad |1\rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix}

これらは、\langle m \mid n\rangle=\delta_{m, n}\sum_{m=0,1}|m\rangle\langle m|=\hat{I}の関係を満たします。

2量子ビット状態|\psi\rangleは、1量子ビット状態のテンソル積として次のように展開できます。

|\psi\rangle = \sum_{m=0,1} \sum_{n=0,1} \alpha_{m, n}|m\rangle \otimes |n\rangle

ここで、規格化条件は次のように与えられます。

\sum_{m=0,1} \sum_{n=0,1}|\alpha_{m, n}|^2 = 1

1量子ビットゲート

1量子ビット|j\rangle(j=0,1)とするとユニタリ変換によって以下のように変換する。

|j\rangle \rightarrow \sum_{k=0}^{1}U_{k j}|k\rangle

具体的に
|0\rangle \rightarrow \sum_{k=0}^{1}U_{k 0}|k\rangle = U_{0 0}|0\rangle+U_{1 0}|1\rangle

|1\rangle \rightarrow \sum_{k=0}^{1}U_{k 1}|k\rangle = U_{0 1}|0\rangle+U_{1 1}|1\rangle

例えば、Xゲートの時は、

X = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}

|0\rangle \rightarrow \sum_{k=0}^{1}U_{k 0}|k\rangle = U_{0 0}|0\rangle+U_{1 0}|1\rangle= 0|0\rangle+1|1\rangle=|1\rangle

|1\rangle \rightarrow \sum_{k=0}^{1}U_{k 1}|k\rangle = U_{0 1}|0\rangle+U_{1 1}|1\rangle=1|0\rangle+0|1\rangle=|0\rangle

2量子ビットゲート

|j_1j_2\rangle \rightarrow \sum_{k_1,k_{2}=0}^{1}U_{k_{1}k_{2} j_{1}j_{2}}|k_{1}k_{2}\rangle

具体的に
|00\rangle \rightarrow \sum_{k_1,k_{2}=0}^{1}U_{k_{1}k_{2} 00}|k_{1}k_{2}\rangle=U_{00 00}|00\rangle+U_{10 00}|10\rangle+U_{0100}|01\rangle+U_{11 00}|11\rangle

|10\rangle \rightarrow \sum_{k_1,k_{2}=0}^{1}U_{k_{1}k_{2} 10}|k_{1}k_{2}\rangle=U_{00 10}|00\rangle+U_{10 10}|10\rangle+U_{0110}|01\rangle+U_{11 10}|11\rangle

|01\rangle \rightarrow \sum_{k_1,k_{2}=0}^{1}U_{k_{1}k_{2} 01}|k_{1}k_{2}\rangle=U_{00 01}|00\rangle+U_{10 01}|10\rangle+U_{0101}|01\rangle+U_{11 01}|11\rangle

|11\rangle \rightarrow \sum_{k_1,k_{2}=0}^{1}U_{k_{1}k_{2} 11}|k_{1}k_{2}\rangle=U_{00 11}|00\rangle+U_{10 11}|10\rangle+U_{0111}|01\rangle+U_{11 11}|11\rangle

例えば、CNOTゲートの時は、

\text { CNOT }=\left(\begin{array}{cc} I & O \\ O & X \end{array}\right)=\left(\begin{array}{llll} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{array}\right)

同様に計算できる。

結論

量子計算もテンソルの縮約の計算だとみなすことができた。

Discussion