Help us understand the problem. What is going on with this article?

社会人のための量子コンピューター超入門 ゲート方式編 ~「Hello Quantum」はゲート方式の入り口となるか?~

More than 1 year has passed since last update.

メリークリスマスイブの投稿

Advent Calendar24日目の投稿になります。
https://qiita.com/advent-calendar/2018/quantum2

なぜ、この日なのかということは気にしないでおいてください。
ということで、筆者からのクリスマスプレゼントです。
めり~くりすます!

今回も初心者向けの内容になっています。

Hello Quantumとは

量子コンピューターの操作イメージをスマホ/タブレット上でパズル感覚で遊べるアプリです。
https://helloquantum.mybluemix.net/

この記事を書くにあたって、全ての内容をやりきりましたが、1時間もあれば終わるぐらいの分量なので、気軽に遊んでみてください。

実はIBMが提供しています。IBMは、ついにスマホアプリまで公開するようになったんですね!もっというと、IBM Researchというガチンコの研究所が作成しているようです。

Hello Quantumの画面上での操作

では実際の画面を見てみましょう。

スタート画面

IMG_0282.JPG
起動するとこんな画面な画面が出てきます。 

How to Playを読んでみる

次にHow to Playを眺めてみましょう。チュートリアルのようなものを期待します。
IMG_0283.JPG
量子状態をオセロのように表現しているようですね。
白がonで|1>、黒がoffが|0>、灰色がramdomなので重ね合わせの状態を表現しているのでしょう。
ここまでは直感的です。

IMG_0284.JPG
ゲートは4種類で、X、Z、H、CZ(Controlled-Z)という、比較的基本的なゲートだけに絞っているようですね。
位相ゲートは表現しづらかったり、初学者にはわかりにくこともあり削ったのかもしれませんね。
IMG_0285.JPG
これがゲーム画面のようです。それぞれが何を表すかはこれだけではわかりませんが、「target」となる状態に遷移させることがゲームの目的です。

実際のゲーム画面

実際にゲームを始めるとこんな画面が出てきます。
IMG_0286.JPG
これでやっと見方がわかってきた気がしました。
まず、使えるゲートは限られているようです。この状態ではXゲートだけですね。
では、それをやってみましょう。

Xゲート

Xゲートがon ⇔ offと変換できることを考えると、オセロの白と黒を入れるかだけの操作ということになりますね。
とりあえず、左側のXゲートを押してみます。
IMG_0296.JPG
お!クリアしてしまいました。
想像どおり、左下のオセロの色がひっくり返されました。それと一緒に、真ん中にあるオセロもひっくり返りいましたね。どうやら、同じラインに乗っかっているオセロがひっくり返るようです。

これ以外に、random状態のときにXゲートを作用させるとどうなるでしょうか?
こんな状態でやってみます。
IMG_0303.JPG

Xゲートを押しても、ramdom状態はramdom状態のままであることがわかります。

Hゲート

Hゲートを使う例です。
初期状態はここからスタートです。
IMG_0297.JPG
そして、左のHゲートを押してみます。
IMG_0298.JPG
動きを見ると、左下にある2つオセロのラインがそっくり入れ替えられていますね。
Hゲートが、|0>や|1>から重ね合わせ状態(=random状態)にする操作なので、それは理解できます。

Zゲート

次に、Zゲートです。
IMG_0299.JPG
こんな状態からスタートして、左下のZゲートを押してみます。
IMG_0300.JPG
なるほど、白のオセロが黒のオセロになりました。ここはXゲート同じ動きをするようです。

CZゲート

最後に、CZゲートです。
IMG_0301.JPG
CZゲートを押してみます。
IMG_0302.JPG
すると、左にあるゲートの白の部分と黒の部分が入れ替わりました。
うん?どういうことだ?
そもそも、CZゲートは、コントロールビットとターゲットビットがあって始めて成立するはずなのですが、これはどちらがコントロールビットでターゲットビットになっているのでしょうか?直感的にはわかりにくいですね。

Hello Quantumを通じて見る、量子ゲートの数理的基本

ここまでの操作を見て、このゲームの量子系は、以下のように見ることになります。
image.png

まず、右と左の白枠の部分はそれぞれの1ビットを表しています。なので、2ビットの状態を操作していくことになっています。
そして、Xゲートが繋がっている方は、Z軸基底の方向で見たときの|0>と|1>をそれぞれonとoffにみなしたものと理解できます。
そうなっていることを簡単な計算で確かめてみましょう。

Xゲートの数理

Xがonとoffの入れ替えなので、以下のようにXゲートの操作と同義です。

X|0>=|1> \\
X|1>=|0>

これをrandom状態に作用させて結果が変わらないことが計算でわかります。

X*\frac{1}{\sqrt{2}}(|0>+|1>)=\frac{1}{\sqrt{2}}(X|0>+X|1>)=\frac{1}{\sqrt{2}}(|1>+|0>)

足し算の順番が変わったくらいですが、これであれば、最初と同じ状態です。
なので、これもramdom状態にXゲートを作用させてもそのままであるというゲームの動きと同じであることがわかりました。

Hゲートの数理

一方で、Zゲートに繋がっている方は、X軸基底の方向で見たときの、|+>と|->をそれぞれoffとonにみなしたものと理解できるわけです。
|0>と|1>、|+>と|->はHゲートを通じて次のような関係で繋がっています。

H|0>=\frac{1}{\sqrt{2}}(|0>+|1>)=|+> \\
H|1>=\frac{1}{\sqrt{2}}(|0>-|1>)=|->

逆もまた然りで、|+>と|->はHを使って、|0>と|1>に戻せます。

H|+>=\frac{H}{\sqrt{2}}(|0>+|1>)=\frac{H}{\sqrt{2}}|0>+\frac{H}{\sqrt{2}}|1>=\frac{1}{2}(|0>+|1>+|0>-|1>)=|0> \\
H|->=\frac{H}{\sqrt{2}}(|0>-|1>)=\frac{H}{\sqrt{2}}|0>-\frac{H}{\sqrt{2}}|1>=\frac{1}{2}(|0>+|1>-|0>+|1>)=|1> \\

言い換えると、HゲートはX軸基底での見方とZ軸基底の見方を入れ替える操作とも読み取れるわけです。

Zゲートの数理

Zゲートの操作について見てみます。
Zゲートを|0>に作用させても、そのままだけど、|1>の符号は変える操作をします。つまり、

Z|0>=|0> \\
Z|1>=-|1>

それを踏まえて、|+>と|->にZゲートを作用させるとどうなるかというと、

Z|+>=\frac{Z}{\sqrt{2}}(|0>+|1>)=\frac{1}{\sqrt{2}}(Z|0>+Z|1>)=\frac{1}{\sqrt{2}}(|0>-|1>)=|-> \\
Z|->=\frac{Z}{\sqrt{2}}(|0>-|1>)=\frac{1}{\sqrt{2}}(Z|0>-Z|1>)=\frac{1}{\sqrt{2}}(|0>+|1>)=|+>

つもり、ZゲートとはX軸基底で見たときに、onとoffを入れ替えるという操作に相当していることがわかりますし、ゲーム上での動きと同じであることが見て取れると思います。

CZゲートの数理

ゲームをやっていて一番理解に時間がかかったのは、CZゲートの動きでした。
順を追って説明していきます。

まず、CZゲートとは、コントロールビットが|0>であればターゲットビットの状態は変えず、|1>であればターゲットビット状態にZを作用させるものです。
1つ目の量子ビットとターゲットビット、2つ目の量子ビットをコントロールビットとすると、以下のような数式で表現されます。識別のため、添え字にターゲットビットはtを、コントロールビットにはcをつけておきます。

CZ(|0>_{t} \otimes |0>_{c}) =|0>_{t} \otimes |0>_{c} \\
CZ(|1>_{t} \otimes |0>_{c}) =|1>_{t} \otimes |0>_{c} \\
CZ(|0>_{t} \otimes |1>_{c}) =|0>_{t} \otimes |1>_{c} \\
CZ(|1>_{t} \otimes |1>_{c}) =-|1>_{t} \otimes |1>_{c} 

このルールに基づいて、ターゲットビットを|+>と|->にすると、以下のようになることがわかります。少し計算すればすぐに出てきます。

CZ(|+>_{t} \otimes |0>_{c}) =|+>_{t} \otimes |0>_{c} \\
CZ(|->_{t} \otimes |0>_{c}) =|->_{t} \otimes |0>_{c} \\
CZ(|+>_{t} \otimes |1>_{c}) =|->_{t} \otimes |1>_{c} \\
CZ(|->_{t} \otimes |1>_{c}) =|+>_{t} \otimes |1>_{c} \\

ここまでの数理的な計算は機械的な話なので、ルールに沿うだけで計算できます。問題はこれが数式とゲームの動きがどう関係しているかです。
実は、上述した画像に答えがあります。
そこをもう一度良く見てみると、左側の量子ビットがターゲットビットで右側の量子ビットがコントロールビットになっていることがわかるのです!え?わからない?

このゲームをやっていて一番悩んだというか混乱したところが、「どちらがコントロールビットでどちらがターゲットビットなのか」でした。Controlled-hogehogeゲートは、常にコントロールビットとターゲットビットがどの量子ビットに対応しているかが決まっています。
しかしゲームをやっていても、どちらがコントロールビットでターゲットビットであるという表現はされていまん。それもそのはずで、どちらもコントロールにもターゲットにも成りえます。どちらかのビットがZ軸基底の状態になったときに、そちらがコントロールビットになるように動くのです!
それを証明するために、コントロールビットが重ね合わせで表現されていた場合にCZゲートを作用させるとどうなるかです。ターゲットビットは|0>と|1>のどちらかにしてみましょう。すると、、、

CZ(|0>_{t} \otimes |+>_{c}) =\frac{CZ}{\sqrt{2}} (|0>_{t} \otimes (|0>_{c}+|1>_{c}) = \frac{CZ}{\sqrt{2}}( |0>_{t} \otimes |0>_{c} +  |0>_{t} \otimes |1>_{c} ) =  \frac{1}{\sqrt{2}}( |0>_{t} \otimes |0>_{c} +  |0>_{t} \otimes |1>_{c} ) = |0>_{t} \otimes |+>_{c} \\
CZ(|1>_{t} \otimes |+>_{c}) =\frac{CZ}{\sqrt{2}} (|1>_{t} \otimes (|0>_{c}+|1>_{c}) = \frac{CZ}{\sqrt{2}}( |1>_{t} \otimes |0>_{c} +  |1>_{t} \otimes |1>_{c} ) =  \frac{1}{\sqrt{2}}( |1>_{t} \otimes |0>_{c} -  |1>_{t} \otimes |1>_{c} ) = |1>_{t} \otimes |->_{c} \\
CZ(|0>_{t} \otimes |->_{c}) =\frac{CZ}{\sqrt{2}} (|0>_{t} \otimes (|0>_{c}-|1>_{c}) = \frac{CZ}{\sqrt{2}}( |0>_{t} \otimes |0>_{c} -  |0>_{t} \otimes |1>_{c} ) =  \frac{1}{\sqrt{2}}( |0>_{t} \otimes |0>_{c} -  |0>_{t} \otimes |1>_{c} ) = |0>_{t} \otimes |->_{c} \\
CZ(|1>_{t} \otimes |->_{c}) =\frac{CZ}{\sqrt{2}} (|1>_{t} \otimes (|0>_{c}-|1>_{c}) = \frac{CZ}{\sqrt{2}}( |1>_{t} \otimes |0>_{c} -  |1>_{t} \otimes |1>_{c} ) =  \frac{1}{\sqrt{2}}( |1>_{t} \otimes |0>_{c} + |1>_{t} \otimes |1>_{c} ) = |1>_{t} \otimes |+>_{c}  

この結果をよ~く眺めてみると、ある事実に気づきます。コントロールビットとターゲットビットを入れ替えてみてみると気づきます。ターゲットビットが|1>のときに、コントロールビットの|+>と|->が入れ替わっています!
そう、コントロールビットとターゲットビットを入れ替えただけの上述の計算と一緒になるのです!コントロールビットの値でターゲットビットに演算がかかるかを制御していたはずなのに、ターゲットビットの値によってコントロールビットのほうが制御されてしまっているのです!意味が逆転しています!
不思議なことが起こっているように見えますが、これが言わんとしていることは、シンプルです。「CZゲートはどちらがコントロールビットでもどちらをターゲットビットでも良い」ということです!もっと言い換えると、どちらがコントロールだターゲットだと気にする必要はなかったのです。これは量子コンピューターの教科書に載っているぐらいの事実なのでした。
つまり、その事実を忘れていたために、自爆気味に混乱していたことになります。。。

なお、このコントロールビットとターゲットビットを入れ替えても等価であるという事実は、一般のControlled-hogehogeゲートでは通用しない話なので、ご注意ください。

Hello QuantumはQuantum Nativeの学びに役立つか?

取っ掛かりとしては、気軽に触れるの良いと思いますが、これだけで量子コンピューターを理解してどうなるというものではないとは思いました。なので、タイトルに対する答えとしては、入り口としては十分と思いますが、本館的に勉強するとなると、別の仕組みが必要になります。
一方で、ゲーム上の動作とここで導出した数式を対比させてみると、初心者にとって見通しが立ちやすいことあるとは思います。
なので、こうやって整理してみると、とても良くできていることがわかりました。
Hello Quantumを通じて、Quantum Nativeの若者がたくさん出てきてくれることを祈るばかりです。
(将来的には、ビットが重なり合っていることが普通になって、重なり合っていない古典ビットが馬鹿にされる時代が来るかもしれない恐怖はありますが)

最後に、このHello Quantumに1つ不満があるすれば、解説がわかりにいくということでしょうか。初学者を対象としているのかしれませんが、中級者以上の少し慣れた人では逆に直感的にはわかりにくい説明に思えました。

他に初学者が勉強するツールはある?

あります。
ここで動きと数式を理解したら、次はEntanglionというボードゲームがありますので、そちらに進むと良いでしょう。こちらも、IBM Researchが開発したものです。IBMはシステムだけではなく、ボードゲームまで開発してるんですね!
https://entanglion.github.io/

なお、Githubから画像をダウンロードして印刷すれば、ほぼタダで遊べます!
https://github.com/Entanglion/entanglion

いずれ、こちらの連載にENTANGLIONの解説を書いてみたいと思います。
某量子コンピューターのコミュニティでゲーム大会みたいな会を催そうとしているので、それまでに勉強してこちらの記事にまとめていきたいと思います。

最後に余談ですが、噂によると、プロ中のプロの量子コンピューター研究者がEnatnglionはまっているとかw

Ayumu_walker
IT万屋だったけど、最近はデータサイエンティストになりつつあります。IBM認定の量子コンピューターエンジニアQiskit Advocateです。 元はDb2のインフラ系エンジニア。アプリ開発から、機械学習、深層学習、数理最適化、最新技術のつまみ食い中。 元理論物理学徒(量子情報理論、一般相対性理論、宇宙論、熱力学)。 あくまで個人の意見で記事を書いています。
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away