動かして学ぶ量子コンピュータプログラミング ―シミュレータとサンプルコードで理解する基本アルゴリズム

76

4

章 量子テレポーテーション

多重にもつれた状態になったので、少し混乱を生じるかもしれません。ここで少し整理しましょう。

アリスとボブは既に、それぞれ

2

つのもつれたキュビットの

1

つを手に入れました（ステップ

1

で生

成）。いま、アリスはこの（既にもつれている）ペアの半分に別の（積荷）キュビットをもつれさせました。

直感的には、ある意味で、アリスが（代理で）自分の積荷キュビットをボブのもつれたペアの半分にリ

ンクしたことがわかります。ここで、積荷キュビットはまだ変更されていません。彼女の積荷キュビッ

トに関する

READ

の結果は、他の

2

つのキュビットの結果と論理的にリンクされます。このリンクは円

表示で確認することができます。図 4-9 の

QPU

レジスタの状態は、

3

つのキュビットすべての

XOR

が

0

である入力だけになっています。以前には、これは

ep

と

bob

に当てはまるものでした。しかし、現

時点では、

3

つのキュビットすべてがもつれたグループを形成しています。

ステップ

3.2

：積荷キュビットを重ね合わせ状態にする

アリスが積荷キュビットのために作成したリンクを実際に利用するには、図 4-10 に示すように、積

荷キュビットに対して

HAD

演算を行う必要があります。

図 4-10 

アリスがこの

HAD

を必要とする理由を確認するには、図 4-10に示した

3

つのキュビットの状態に対

する円表示を見てください。各列には、ボブが受け取る可能性のあるキュビットを示す円のペアがあ ...