講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋な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]。
- 論理展開:
- Googleの量子優越性論文が2019年10月23日にNatureで発表される [p.6]。
- 民主党大統領候補が「クラックできないコードはない」と発言するなど、政治・社会的な反響が即座に広がる [p.8], [p.9]。
- IBMとの間で激しい技術的・言語的論争が勃発する [p.13]。
■ Part 2: なぜ量子優越性を示すことが重要だったのか
- この部の核心:
「量子優越性」という概念の思想的起源と、その実証に向けて研究コミュニティがいかに収斂していったかを丹念に追う部です。ファインマン（1982年）からプレスキル（2012年）、そしてNISQ時代（2018年）の課題設定へと至る知的系譜が明確に描かれます [p.15], [p.39]。
- 論理展開:
- プレスキルが2012年に「Classical systems cannot in general simulate quantum systems efficiently」という命題から「量子優越性」概念を定式化する [p.16]。
- Googleチーム（Martinis et al.）が2016年に近距離デバイスでの量子優越性の特徴づけを提唱し、約48 qubit・深さ40程度でスーパーコンピュータがシミュレート不能になると予測する [p.31], [p.32]。
- アーロンソンらが複雑性理論から実験の基礎づけに取り組み、量子優越性を「中心的マイルストーン」と位置づける [p.33], [p.34]。
- プレスキルが2018年に「NISQ時代」を定義し、50〜100 qubitデバイスの可能性と限界を整理する [p.40], [p.41]。
■ Part 3: Googleはどんな実験をしたのか — 量子ビットの基礎
- この部の核心:
Google論文の技術的内容を理解するための基礎として、量子ビットの重ね合わせ・観測・ゲートという三つの概念を丁寧に図解する部です。n個のqubitが2ⁿ個の状態の重ね合わせを持つという指数関数的な計算空間の広がりが、量子優越性の物理的根拠であることが示されます [p.52], [p.64]。
- 論理展開:
- 1 qubitは`a|0⟩ + b|1⟩`という重ね合わせ状態を持ち、観測によって0または1に確率的に収縮する [p.56], [p.66]。
- n個のqubitは2ⁿ個の基底状態の重ね合わせを持ち、53 qubitでは2⁵³≈10¹⁶という巨大な計算空間に対応する [p.64], [p.50]。
- Hadamardゲート（H）、CNOT等の量子ゲートがqubitの状態を変換する仕組みを図解する [p.77], [p.79]。
■ Part 4: Googleはどんな実験をしたのか — ランダム量子回路と実験の構造
- この部の核心:
量子優越性実証の中核的手法である「ランダム量子回路サンプリング」の概念と、実際の実験の進め方を解説する部です。なぜランダム回路が選ばれたのか、出力の確率分布がどのように回路固有の特徴を反映するのかが明確にされます [p.80], [p.88]。
- 論理展開:
- ランダムに生成された量子回路の出力をサンプリングすると、回路固有の確率分布が得られる [p.85], [p.86]。
- Sycamoreプロセッサ（53 qubit）で20ステップの回路を100万回実行し、約200秒で完了した [p.88], [p.143]。
- スーパーコンピュータによるシミュレーションはGoogleの試算で「1万年」、IBMの反論で「2.5日」とされた [p.88], [p.151]。
- アーロンソンの試算では、基本演算数の比率はSycamoreの5×10⁹量子ゲートに対しSummitが2×10²⁰ FLOPsであり、400億倍の差がある [p.156]。
■ Part 5: IBM論文の指摘とAaronsonの反論
- この部の核心:
IBMが提示した「2.5日でシミュレート可能」という技術的主張の内実を精査し、それでもなお量子優越性が成立すると論じるアーロンソンの反論を詳細に検討する部です [p.150], [p.154]。
- 論理展開:
- IBMはSummitの250ペタバイトのディスクに2⁵³個の量子状態を格納するアイデアで「2.5日」のシミュレーションを主張した [p.152]。64ビット実数なら128ペタバイト必要でギリギリ可能という試算も示される [p.153]。
- しかしqubitが53から55に増えるだけでSummitが2台必要になり、70 qubitではSummit 3,000台以上が必要になると指摘される [p.157]。
- 「3分 vs. 2.5日」は1,200倍の速度差であり、量子優越性は依然として成立するとアーロンソンは断言する [p.156]。
■ Part 6: 量子優越性をめぐる「論争」
- この部の核心:
技術的議論を超えて、「量子優越性」という言葉そのものをめぐる言語的・政治的・商業的論争が展開された経緯を批判的に分析する部です。IBM Research Blogの論理的誤りと、プレスキルの発言を意図的に歪曲した引用の問題が俎上に載ります [p.169], [p.177]。
- 論理展開:
- IBM Research Blogは「量子優越性とは古典コンピュータでできないことを示すもの」と定義し直し、条件未達成と断じたが、プレスキルの原文には「efficiently（効率的に）」という決定的な語があり、これを削除した誤謬がある [p.179], [p.181], [p.182]。
- Nature誌への投稿（2019年12月）が「Supremacy is for racists」と主張し「quantum advantage」への言い換えを提唱した [p.189], [p.190]。
- ダボス会議でIBMのArVind Krishnaが「量子優越性の概念を全面拒否する」と発言し、商業的価値のみを判断基準とした [p.196]。これはプレスキルのNISQ論文の慎重な見通しとは大きく異なる立場である [p.198], [p.199]。
■ Part 7: 「拡大されたチャーチ＝チューリング・テーゼ」の終焉
- この部の核心:
量子優越性の実証を、計算複雑性理論の歴史的文脈に位置づける部です。ファインマン（1982年）、ドイッチェ（1985年）、バーンスタイン＆ヴァジラニ（1993年）、ショア（1994年/1997年）という一連の理論的系譜をたどり、「拡大されたチャーチ＝チューリング・テーゼ」への反例としての量子コンピュータの意義が明確に示されます [p.201], [p.243]。
- 論理展開:
- ファインマン（1982年）が「古典コンピュータは量子系を確率論的にシミュレートできない」と指摘し、量子コンピュータのアイデアを提唱した [p.207], [p.208]。
- ドイッチェ（1985年）が「万能量子チューリング・マシン」を構成し、「チャーチ＝チューリング＝ドイッチェのテーゼ」として計算可能性概念を物理化した [p.211], [p.213]。
- バーンスタイン＆ヴァジラニ（1993年）がBQP（有界誤り量子多項式時間）クラスを定義し、`BPP ⊆ BQP ⊆ PSPACE`を証明した [p.220], [p.227]。
- ショア（1994年/1997年）が素因数分解のBQP帰属を示し、「拡大されたチャーチ＝チューリング・テーゼ」への反例が現実味を帯びた [p.234], [p.235]。
- Googleの実験は、「古典コンピュータでは指数関数的時間を要するが量子コンピュータでは多項式時間で解ける問題がある」というテーゼの実験的証拠として位置づけられる [p.183]。