logo

クローン不可能定理

クローン不可能定理

양자정보이론
[ 펼치기 · 접기 ]

定理1

次のようにキュービットを複製する量子ゲートは存在しない。

(C2)2(C2)2x0xx,xC2 \begin{equation} \begin{aligned} (\mathbb{C}^{2})^{\otimes 2} &\to (\mathbb{C}^{2})^{\otimes 2} \\ \ket{x} \otimes \ket{0} &\mapsto \ket{x} \otimes \ket{x},\quad \forall \ket{x} \in \mathbb{C}^{2} \end{aligned} \end{equation}

ここで(C2)2(\mathbb{C}^{2})^{\otimes 2}ベクトル空間のテンソル積ab\ket{a} \otimes \ket{b}積ベクトルだ。

説明

量子コンピューターを用いた計算が古典コンピューターの計算と根本的に異なる理由の一つは、量子情報を複製できないためだ。

この定理の意味に注意が必要だ。定理が言っているのは、特定のキュービットを複製できないわけではない。与えられた任意のキュービットxC2\ket{x} \in \mathbb{C}^{2}を複製するゲートが存在しないということだ。任意のキュービットではなく、特定のキュービットを複製する量子ゲートは存在する。例えば、下の定理の結果によりα\alphaまたはβ\beta00である場合、複製が可能かもしれないが、量子CNOT\operatorname{CNOT}ゲートがその例だ。つまり量子コンピューティングでは、正確に2つのキュービット0\ket{0}1\ket{1}だけが複製可能で、一般的な重ね合わせ状態は不可能だ。

CNOTq(00)=00CNOTq(10)=11 \operatorname{CNOT}_{q} (\ket{00}) = \ket{00} \\[0.5em] \operatorname{CNOT}_{q} (\ket{10}) = \ket{11}

証明

戦略: 背理法で証明する。

表記: ab=ab\ket{ab} = \ket{a} \otimes \ket{b}

任意のx=α0+β1C2\ket{x} = \alpha\ket{0} + \beta\ket{1} \in \mathbb{C}^{2}(0α,βC,α2+β2=1)(0 \ne \alpha, \beta \in \mathbb{C}, \left| \alpha \right|^{2} + \left| \beta \right|^{2} = 1)に対して(1)(1)を満たす量子ゲートGGが存在すると仮定する。ユニタリ演算子は線形なので、次が成り立つ。

G(x0)=G((α0+β1)0)=G(α00+β10)=αG(00)+βG(10)=α00+β11 \begin{align*} G\left( \ket{x} \otimes \ket{0} \right) &= G\left( (\alpha\ket{0} + \beta\ket{1}) \otimes \ket{0} \right) \\ &= G\left( \alpha\ket{0} \otimes \ket{0} + \beta\ket{1} \otimes \ket{0} \right) \\ &= \alpha G( \ket{00} ) + \beta G( \ket{10} ) \\ &= \alpha \ket{00} + \beta \ket{11} \end{align*}

さらに、GG(1)(1)を満たすため、次が成り立つ。

G(x0)=G((α0+β1)0)=(α0+β1)(α0+β1)=α200+αβ10+αβ01+β211 \begin{align*} G\left( \ket{x} \otimes \ket{0} \right) &= G\left( (\alpha\ket{0} + \beta\ket{1}) \otimes \ket{0} \right) \\ &= \left( \alpha\ket{0} + \beta\ket{1} \right) \otimes \left( \alpha\ket{0} + \beta\ket{1} \right) \\ &= \alpha^{2}\ket{00} + \alpha\beta\ket{10} + \alpha\beta\ket{01} + \beta^{2}\ket{11} \\ \end{align*}

これらの式から、次を得る。

α00+β11=α200+αβ10+αβ01+β211    α2=α,β2=β,αβ=0 \alpha \ket{00} + \beta \ket{11} = \alpha^{2}\ket{00} + \alpha\beta\ket{10} + \alpha\beta\ket{01} + \beta^{2}\ket{11} \\[1em] \implies \alpha^{2} = \alpha,\quad \beta^{2} = \beta,\quad \alpha\beta = 0

これはα,β0\alpha, \beta \ne 0という仮定に矛盾するため、任意のキュービットを複製する量子ゲートGGは存在しないと結論づけることができる。


  1. 김영훈·허재성, 양자 정보 이론 (2020), p99 ↩︎