講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは、2019年10月23日にGoogleがNature誌上で発表した「量子優越性（Quantum Supremacy）の実証」という歴史的事件を軸に、量子コンピュータ研究の現在地を多角的に問い直すものです [p.6]。
中心的な「問い」は、「なぜ量子優越性を示すことが重要だったのか」という一点に収斂します。この問いに答えるため、講義はまず1982年のファインマンにまで遡ります [p.17]。ファインマンは「古典コンピュータは量子システムを効率的にシミュレートできない」という根本的洞察を提示し、それが2012年のプレスキルによる「量子優越性」という概念の定式化へと継承されました [p.16]。すなわち本セミナーは、40年近い思想的系譜の上に今回の実験を位置づけるものです。
実験の技術的核心は、Googleの53量子ビット超伝導プロセッサ「Sycamore」を用いたランダム量子回路のサンプリングです [p.50, p.51]。同回路の100万回サンプリングを約200秒で完了した一方、世界最高峰のスーパーコンピュータでは同等のタスクに「1万年」（IBMの反論では「2.5日」）を要するとされ、この圧倒的な速度差が「量子優越性」の実験的証拠とされました [p.88, p.151]。
しかし本セミナーはGoogleの成果を称賛するだけに留まりません。IBMによる技術的反論、「量子優越性」という言葉をめぐる政治的・社会的論争、ダボス会議でのIBM経営幹部の発言に至るまで、科学・産業・社会が交差する「論争」の全体像を精緻に描き出します [p.150, p.177, p.193]。
さらに講義の末尾では、この実験の意義を「拡大されたチャーチ＝チューリング・テーゼ」の終焉という計算複雑性理論の文脈に位置づけ、BQPという量子計算の複雑性クラスの確立からショアのアルゴリズムに至る理論的系譜を俯瞰します [p.201, p.234]。量子優越性の実証とは、単なる工学的成果ではなく、「計算とは何か」という問いそのものへの物理学からの回答である本セミナーはそのような深い洞察を、具体的な数理と歴史的文脈を織り交ぜながら提示します。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: 2019年10月23日の前後に起きたこと
GoogleのNature論文発表という「事件」が社会に与えた衝撃を概観する導入部です。暗号解読への懸念、メディアの過熱報道、そしてIBMとの激しい論争の幕開けという、科学的成果が社会に着地する際の摩擦を示します [p.5, p.13]。
■ Part 2: なぜ量子優越性を示すことが重要だったのか
「量子優越性」という概念の思想的起源と、その実証に向けて研究コミュニティがいかに収斂していったかを丹念に追う部です。ファインマン（1982年）からプレスキル（2012年）、そしてNISQ時代（2018年）の課題設定へと至る知的系譜が明確に描かれます [p.15, p.39]。
■ Part 3: Googleはどんな実験をしたのか 量子ビットの基礎
Google論文の技術的内容を理解するための基礎として、量子ビットの重ね合わせ・観測・ゲートという三つの概念を丁寧に図解する部です。n個のqubitが2ⁿ個の状態の重ね合わせを持つという指数関数的な計算空間の広がりが、量子優越性の物理的根拠であることが示されます [p.52, p.64]。
■ Part 4: Googleはどんな実験をしたのか ランダム量子回路と実験の構造
量子優越性実証の中核的手法である「ランダム量子回路サンプリング」の概念と、実際の実験の進め方を解説する部です。なぜランダム回路が選ばれたのか、出力の確率分布がどのように回路固有の特徴を反映するのかが明確にされます [p.80, p.88]。
■ Part 5: IBM論文の指摘とAaronsonの反論
IBMが提示した「2.5日でシミュレート可能」という技術的主張の内実を精査し、それでもなお量子優越性が成立すると論じるアーロンソンの反論を詳細に検討する部です [p.150, p.154]。
■ Part 6: 量子優越性をめぐる「論争」
技術的議論を超えて、「量子優越性」という言葉そのものをめぐる言語的・政治的・商業的論争が展開された経緯を批判的に分析する部です。IBM Research Blogの論理的誤りと、プレスキルの発言を意図的に歪曲した引用の問題が俎上に載ります [p.169, p.177]。
■ Part 7: 「拡大されたチャーチ＝チューリング・テーゼ」の終焉
量子優越性の実証を、計算複雑性理論の歴史的文脈に位置づける部です。ファインマン（1982年）、ドイッチェ（1985年）、バーンスタイン＆ヴァジラニ（1993年）、ショア（1994年/1997年）という一連の理論的系譜をたどり、「拡大されたチャーチ＝チューリング・テーゼ」への反例としての量子コンピュータの意義が明確に示されます [p.201, p.243]。
ページのナビゲート