量子プログラミング入門
•Download as PPTX, PDF•
2 likes•2,614 views
量子プログラミングの基礎 Mingsheng Ying 著・川辺 治之訳 の１～２章を読んだ foundations of quantum programming
Recommended
Recommended
More Related Content
What's hot
What's hot (20)
More from Katsuya Ito
More from Katsuya Ito (17)
量子プログラミング入門
- 2. 今日の目標 • 量子力学の4つのPostulatesを理解する • 量子アルゴリズムについて理解する • 結局量子コンピュータのどこがすごいねん？という疑問に対して ちょっとした解答を得る。(ドイチェ=ジョサのアルゴリズム)
- 3. 有益な文献たち • https://www.cl.cam.ac.uk/teaching/0910/QuantComp/ • Foundations of Quantum Programming • Nielsen, M.A. and Chuang, I.L. (2000). Quantum Computation and Quantum Information. Cambridge University Press. • Mermin, N.D. (2007). Quantum Computer Science. CUP.
- 4. 量子力学の４つのPostulates 1. 孤立量子系の状態空間はヒルベルト空間で表現される 2. 孤立量子系の状態の時間変化は 時間の依存するユニタリ作用素により表現される 3. 量子測定はヒルベルト空間の正規化条件を満たす作用素とし て表現される 4. 複合量子系は個々の状態空間のテンソル積として表現される
- 5. Postulate 1 • Bits • 0と1の離散的な状態の組み合わせ • Qbit • 𝛼 0 + 𝛽 1 など • 状態 0 , 1 を複素数 𝛼, 𝛽によって重ね合わせる。
- 6. Postulate 1 • 結局 𝛼 0 + 𝛽 1 とはなんなのか。 • 0 , 1 はベクトル • 0 が確率 |𝛼|2で観測される。 • 1 が確率 |𝛽|2で観測される。
- 7. Postulate 1 孤立量子系の状態空間はヒルベルト空間で表現される • ヒルベルト空間とは • 内積が定められた空間 • ベクトル空間 • 内積が定まるということは、距離も定まる • 完備空間(任意のコーシー列が収束する) • 極限が存在する Remark:ヒルベルト空間というと普通は無限次元を想像するこの本ではそうでもない
- 8. ヒルベルト空間の書き方 • ::ヒルベルト空間 • 𝜑 , 𝜓 ：ヒルベルト空間の元 • 𝜑 𝜓 ：ヒルベルト空間の内積 • 𝜙 ⊥ 𝜓 ：垂直・内積０ • ：直交空間
- 9. ヒルベルト空間例 ① ②
- 10. 付けたし • 一番有名なヒルベルト空間：𝐿2 • L2空間が完備であることの証明 • 内積（積分）と極限が交換する→Lebesgue積分！ • ヒルベルト空間の正規直交を求めること • フーリエから始まる
- 12. Postulates 2 孤立量子系の状態の時間変化は 時間の依存するユニタリ作用素により表現される • ヒルベルト空間のあいだの写像 が作用素であるとは • 作用素UがUnitary作用素であるとは、 • ただし とは次を満たすもの
- 13. Postulate 2とシュレディンガー方程式 • Schrodinger • →ユニタリー作用素 • Why unitary?
- 17. 量子回路 • 量子回路とはユニタリー作用素の組み合わせである • 各Uは2^n × 2^n 行列である。
- 18. PauliのX,Y,Zゲート
- 19. 量子回路（2ビット以上） • 量子回路は2ビット以上で組まれることが多い。 • 究極の目標は • という関数が与えられたとき • のようなユニタリー作用素の列を作ることである。 • しかし、これはユニタリー作用素ではないこともあるため、 • を考える。
- 21. CNOT
- 22. Controlled U gate • もっと一般化して
- 23. Toffoli gate