特論12の参考資料
以下の資料を参考にして、講義の準備をしている。
- （受講に際して、購入の必要はない。）
- 中原幹夫「量子計算入門」物性研究83-6, p699-786. web にあり。例が適切。随所にある短いコメントも初学者（＝私）にとって親切であり、とても良い。願わくば、目次があると良いと思ったので目次作りました。
- 縫田光司「量子計算、量子アルゴリズムと有限群の表現論」2009年度表現論シンポジウム報告集。12ページ。web にあり。数学者が数学者に向けて書いたものであり、他の本などでもやもやしてわかりづらく思う点が、ズバリ解消されている。この短い論説だけでは説明が足りないと思うが、他の分野向け（情報科学者向け、工学者向け、物理学者向け）の本と併用して読むと良い。
- 上坂吉則「量子コンピュータの基礎数理」コロナ社、2000年。数学的な箇所が数学者に読みやすいような印象を受ける。なぜだろう？
- 宮野健次郎、古澤明「量子コンピュータ入門（第２版）」日本評論社, 2016年。なお、初版は2008年。他の本よりも平易。その分、例えば Shor のアルゴリズムでは 15=5*3 の分解のみ（すなわち、素因子が全てフェルマー素数）の場合のみを紹介している。あとがき p162 が６行しかないのだが、ちょっとキレ気味で面白いというか、でも、この本の読者レベルでは何にキレているのかがわからない。
- 西野哲朗「量子コンピュータ入門」東京電機大学出版局、1997年。例えば p116 の式が書かれていることなどはいい印象を持った。ただし mod 2 ではなくてもっと大きな数字にしたほうがよかったとは思うが。1 = -1 mod 2 なので、式(a)=式(d) になっちゃうので。
- Nielsen, Chuang 「量子コンピュータと量子通信II 量子コンピュータとアルゴリズム」オーム社、2005年。定本のようであり、確かにしっかりとした記述がなされている。 和訳は３冊に分かれていて、索引はその本に掲載されているものしかリストされていないので、適切な巻で探さないと目的の単語が見つからない。これが初学者にはきつい。目次から掲載巻がわかるようになれば、すでに理解が少し進んだ段階である。
- 阿部英介、古田彩、山口文子 「量子コンピュータ授業」慶應大学、YouTubeに動画あり、web にスライドあり。スライドでこのスピードの講義は初学者にはきついんじゃないかなあと思うけど、わからないところは何度も見返せるという状況であればあり得ると思います。なお、個人的には数学よりも、第８回「黎明期の歴史」が面白かった。
補足：
- web 上の資料はリンクを貼ることもできるのだが、すぐにリンク切れになるのでリンクは貼らない。著者やタイトルなどで検索するとすぐにヒットするので手間はかかるが検索してほしい。
- この講義の力点（強調点）は、多くの既存資料とは必ずしも一致しないが、その中でも比較的近いものを上では挙げた。
一方で、読んではみたものの、この講義ではあまり使わない資料を以下にリストする。（これらの資料に問題があるのではなく、この講義の方向性や講義の時間的な制約との絡みで。）
- 日経サイエンス2018年４月号「特集 量子コンピューター 米国の開発最前線を行く」p32-45。実装の（最新の）現状については講義では扱わない。ただし、教養として知っておくこと、主要な素材や人物についてコンサイスにまとめられているので講義は扱わないものの、自学の価値は十分にある。
- Yu. I. Manin, Classical computing, quantum computing, and Shor's factoring algorithm, arXiv 9903008. 同年のブルバキセミナーのためのノート。文献を入れて27ページの分量。話題が多く、しかもフォーカスが「広い」。したがって、それぞれの話題への数学的な掘り下げの記述の分量は足りていない。ブルバキセミナーという時間的な制約もあっただろうし、ブルバキセミナーの聴衆であれば常識で補えるのであろうが、ここから入門をスタートするのは現実的でなかろう。
- 細谷暁夫「量子コンピュータの基礎 第２版」別冊数理科学SGCライブラリ69巻、サイエンス社、2009年。初版は1999年、SGCライブラリ第4巻。「はじめに」の『私の考えでは、その論理構成に猫などはどうでもよく、抽象的で透明な数学的枠組みが必要であると考えて、、、』から度肝を抜かれた。かなり網羅的であり、しかも配列が整序されておらず話題があちこち飛んでいる感じ。ひとつひとつの話題への掘り下げも他の文献ほどは深くない。反面、専門外からの視点による私見は他本には書かれておらず、その私見が参考になる。
- ベルマン他「入門 量子コンピュータ」パーソナルメディア、2002年。なお、Shor のアルゴリズムは第６章（全部で２ページ）ならびに訳者あとがきのp182 に触れられている。訳者あとがきに描かれている(p187)「本書は29章に細かく分けられているので、それらの関連性について少し補足しておきたい。」がもう少し初学者に配慮のあるものであると良いように思う。この部分や序 piii を手掛かりにこの本の大まかな構成をまとめる（例えば全体を5つのパートに分ける）ことができれば、むしろ初学者卒業と言えるだろう。
- ウィリアムズ他「量子コンピューティング」シュプリンガージャパン、2000年。Explorations in Quantum Computing. 英語版2011の Figure 12.1 には Tokyo Teleport Station でのJozsa と Bennett の写真がある。
著者まえがきに「本書は、量子コンピューティングに関する初めての本である。」と書かれている。また、CD-ROM が付録として付いている。 以下は瑣末なこと：p128, line -1「$q$ が小さな素因子を持たねばならない」は、「$q$ の素因子はどれも小さい」という意味。この周辺では、p121 の$n=pq$ という設定と、p129 の本文の連分数による近似での $p/q$ と、p129 の表１のStep 1 の $q$ と、３種類の異なる $q$ が用いられている。ここの $q$ は３つ目の $q$ の意味で使われているが、多くの本では、$N$ など、別のアルファベットが使われている。
- Williams, Explorations in Quantum Computing, 2nd edition, Springer, 2011. 第２版は単著に変更されている。上記の和訳は第１版に基づくものと思われ、大幅に異なる。
- 中山茂「量子アルゴリズム」技報堂出版、2014. この本は見出し本文索引と一貫して「テレポーティション」と書いている。
- 中山茂「クラウド量子計算入門」、カットシステム、2016. グローバーのアルゴリズムを $N=4$ の時に説明している。この単純化は意味がわかりやすい。オラクルを一回しか利用していない説明もわかりやすい。
- マーミン「量子コンピュータ科学の基礎」丸善出版、2009年。これもこれから見る。
- 西野哲朗、岡本龍明、三原孝志「量子計算」、ナチュラルコンピューティングシリーズ第６巻、近代科学社, 2015.
- 石坂など「量子情報科学入門」共立出版、2012.
- 松枝宏明「量子系のエンタクグルメントと幾何学--ホログラフィ原理に基づく異分野横断の数理」森北出版、2016年。他の本に比べてとびきり難しく感じる。講義のレベル（＝話し手である私のレベル）に比べて詳細に過ぎる。
- Mingshing Ying, 量子プログラミングの基礎、共立出版、2017。Nielsen-Chuang との棲み分けは第２章の冒頭p12 に明記されている。実際、この２章の短いサーベイは交通標識のようなものとして、自分の理解無理解のチェックリストとして機能している。なお、2.2.4 の「マルチプレクサ」という単語(multiplexer)があるのを恥ずかしながら知らなかった。
- 林正人、量子情報理論入門、SGC32, サイエンス社、2004.
- 林正人、量子論のための表現論、共立出版, 2014.
- 林正人、量子情報への表現論的アプローチ、共立出版、2014。最大エンタングル状態、という概念を早いうち(p7)から積極的に導入し、使っている。
- Bouwmeester, Ekert, Zeilinger編「量子情報の物理-- 量子暗号、量子テレポーテーション、量子計算」共立出版、2007.
著者42名、訳者10名。担当箇所は明示されている。
- 大矢雅則、渡邉昇「量子暗号と量子テレポーテーション：新たな情報通信プロトコル」共立出版、2006。
タイトルが縦書きで一瞬びっくりしたが、普通の横書き。
- 佐川弘幸、吉田宣章「量子情報理論」Spriger ジャパン, 2009. p7, p43, p47 など微妙に赤青で色付けがされている。
- 竹内繁樹「量子コンピュータ」Blue Backs Y940, 講談社, 2016.
思ったこと
- Shor のアルゴリズムの中盤で、「第２成分に関して観測した後、第１成分に関して量子フーリエ変換して、第１成分を観測する」と書かれている文献が多いように思うが、第２成分と第１成分への演算は可換なので、「第１成分に関して量子フーリエ変換して、第１成分第２成分を観測する」としても結果は同じである。後者のように記述しているのは、細谷SGC。
- Deutsch-Jozsa のアルゴリズムの意味の理解には、石坂他3.1節 p61-62 が良い。執筆者は河内亮周。量子状態識別、という問題意識を導入し、直交性がその鍵であると明快である。
- $\mathbb{Z}_N$ 上の量子フーリエ変換を効率的に実装する方法は知られている。石坂他p78。そしてここの説明では、いわゆる「連分数」的なステップは記述が一切ない。p72, line 2 「Shor のアルゴリズムの中心的なアイディアは以下の周期発見問題を解く量子アルゴリズムに集約される。」とし、$N$ が既知の場合の $\mathbb{Z}_N$ の議論を展開している。
素因数分解 $N=pq$ の設定では、周期発見における $N$ は $(p-1)(q-1)$ なので未知であることを注意する必要がある。
- 一方、細谷7.2-7.4節では、連分数的な議論にも説明が多く割かれている。どちらを「主要部」とみなすかは、実装の進歩に関係する？無関係？
- 中山茂「アルゴリズム」第１０章の扉の文章「因数分解アルゴリズムは位数発見アルゴリズムへ、またさらに、位数発見アルゴリズムは位相推定アルゴリズムへと還元される」「周期発見アルゴリズム$\to$位数発見アルゴリズム$\to$位相推定アルゴリズム」が基本となる。が良い。
量子テレポーテーション。
- Nielsen-Chuang 1.3.7節。宮野古澤 4.5節と７章。クラウド15.2節。ウイリアムズ９章。林 3.2節。
- 中山茂「クラウド」15.2節冒頭。「量子転送の基本的な考え方は(5.4.1 で説明した)交換ゲート」。
- 宮野古澤 p126「量子テレポーテーションのゲートは恒等変換の量子論理ゲート」。
- 宮野古澤 p109「個々の量子ビットに関して何も情報を得ない測定は許される。」ちょっと意味が取りづらい。中山茂「クラウド」16.1.2 節では「シンドローム診断」という用語を導入している。
- Nielsen-Chuang 1.3.7. 「一緒にいるとき彼らはEPR対を生成し、... 別れた経緯がある。」この説明は納得がいくのだが、欲を言えば「別れた」の数学的な意味を（すなわち別れているから数学的にどのような操作が許されないのかを）定義して欲しい感じ。宮野古澤のp128 の第２段落や第３段落のオフライン量子操作もその辺が説明されているようではあるが今ひとつストンと落ちてこない。
- 林正人「アプローチ」 3.2節。一般の状況のみが１ページで書かれていて、普通の場合との対応がわからない。$d=2$ だと思うのだが、それだと古典情報のサイズが $d^2$ であるという記述と合わない。また、積分変数の g と測定値 g が同じ文字だったり、Haar 測度 dg と次元 d が近い位置に使われていたりと、主要公式が一目で読み取りづらい。参考文献に論文タイトルも入っている点は好ましい。
- 中山「アルゴリズム」13.2節。アリスとボブがしていいことを明示している点がわかりやすい。EPRを「ボブが」生成して片方をアリスに送る、って説明が新!。
- もつれ：entanglementの和訳。絡まった。
1605
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
