量子計算複雑度クラスの優れた入門資料

量子コンピューティングのコンテキストで、計算の複雑さのクラスについて詳しく知りたい

媒体はそれほど重要ではありません。それは本、オンライン講義ノートなどかもしれません。最も重要なのは内容です。

この資料は、量子計算複雑度クラスの基本をカバーし、それらの類似点、相違点、およびそれらの関係、そしておそらく古典的な計算複雑度クラスについても説明する必要があります。

私は直感的なものよりも厳密な扱いを好みます。著者のスタイルは関係ありません。

前提条件に関しては、私はこのトピックについてほとんど何も知らないので、たぶんもっと自己完結型の資料の方が良いでしょう。そうは言っても、驚異的に優れている場合を除いて、1000ページの本を読むことはおそらくないでしょう。

可用性に関しては、もちろん、何らかのペイウォールの背後になく、オンラインで見つけることができる素材を好みますが、これは厳密な要件ではありません。

何がお勧めですか？

John Watrousの調査は、始めるのに最適な場所だと思います（Watrous教授がずっと以前に私に勧めてくれて、それ以来ずっと夢中になっています！）：

J. Watrous。量子計算の複雑さ。複雑さとシステムの科学の百科事典、Springer、2009。arXiv：0804.3401 [quant-ph]

私の知る限り、ページとページの比率が最も高いクラスです。

スコットアーロンソンの2016年バルバドス講義も本当に気に入っています。

S.アーロンソン（A.ブーランドとL.シェファー）量子状態と変換の複雑さ：量子マネーからブラックホールへ。ECCC TR16-109

オランダの「Mastermath」プログラムのコンテキストで量子コンピューティングについて彼が教えた学期コースに使用されているロナルド・デ・ウルフの講義ノートをお勧めします。

第10章「量子複雑度理論」では、「クラシック」複雑度クラスについて簡単に説明しますが、「量子」複雑度クラスについて説明し、それらをクラシックと比較するための十分な背景を提供します。すべてを網羅しているわけではありませんが、さらに読むために他の資料を参照しています。

第12章「量子通信の複雑さ」も関連性があり、より技術的です。これは、主に通信の複雑さの理論が量子計算に興味深いアプリケーションを持っているためです。