クローン不可能定理クローン不可能定理
定理
次のようにキュービットを複製する量子ゲートは存在しない。
(C2)⊗2∣x⟩⊗∣0⟩→(C2)⊗2↦∣x⟩⊗∣x⟩,∀∣x⟩∈C2
ここで(C2)⊗2はベクトル空間のテンソル積、∣a⟩⊗∣b⟩は積ベクトルだ。
説明
量子コンピューターを用いた計算が古典コンピューターの計算と根本的に異なる理由の一つは、量子情報を複製できないためだ。
この定理の意味に注意が必要だ。定理が言っているのは、特定のキュービットを複製できないわけではない。与えられた任意のキュービット∣x⟩∈C2を複製するゲートが存在しないということだ。任意のキュービットではなく、特定のキュービットを複製する量子ゲートは存在する。例えば、下の定理の結果によりαまたはβが0である場合、複製が可能かもしれないが、量子CNOTゲートがその例だ。つまり量子コンピューティングでは、正確に2つのキュービット∣0⟩、∣1⟩だけが複製可能で、一般的な重ね合わせ状態は不可能だ。
CNOTq(∣00⟩)=∣00⟩CNOTq(∣10⟩)=∣11⟩
証明
戦略: 背理法で証明する。
表記: ∣ab⟩=∣a⟩⊗∣b⟩
任意の∣x⟩=α∣0⟩+β∣1⟩∈C2(0=α,β∈C,∣α∣2+∣β∣2=1)に対して(1)を満たす量子ゲートGが存在すると仮定する。ユニタリ演算子は線形なので、次が成り立つ。
G(∣x⟩⊗∣0⟩)=G((α∣0⟩+β∣1⟩)⊗∣0⟩)=G(α∣0⟩⊗∣0⟩+β∣1⟩⊗∣0⟩)=αG(∣00⟩)+βG(∣10⟩)=α∣00⟩+β∣11⟩
さらに、Gは(1)を満たすため、次が成り立つ。
G(∣x⟩⊗∣0⟩)=G((α∣0⟩+β∣1⟩)⊗∣0⟩)=(α∣0⟩+β∣1⟩)⊗(α∣0⟩+β∣1⟩)=α2∣00⟩+αβ∣10⟩+αβ∣01⟩+β2∣11⟩
これらの式から、次を得る。
α∣00⟩+β∣11⟩=α2∣00⟩+αβ∣10⟩+αβ∣01⟩+β2∣11⟩⟹α2=α,β2=β,αβ=0
これはα,β=0という仮定に矛盾するため、任意のキュービットを複製する量子ゲートGは存在しないと結論づけることができる。
■