講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは「量子計算の古典的検証（Classical Verification of Quantum Computation）」という、量子コンピュータ時代の根幹を問う知的挑戦を主題としています。量子コンピュータが実用化されつつある現在、私たちは根本的な問いに直面しています「量子コンピュータが正しく計算したかどうかを、普通のコンピュータを使う人間がどうやって確かめられるのか？」という問いです。
この問いが難しい理由は本質的です。n個のqubitからなる量子コンピュータの状態は2ⁿ個の振幅によって決まりますが、それを観測しようとすれば重ね合わせ状態は崩壊し、得られるのはn個の古典bitに過ぎません [p.23, p.24]。量子コンピュータは圧倒的な計算能力を持ちながらも、その内部状態は人間には直接アクセスできない「秘密主義的」な存在なのです [p.46]。
この問題を2004年にGottesmanが定式化してから長らく未解決でしたが、若き大学院生Urmila Mahadevが「量子計算の古典的検証は可能である」という肯定的な解決を提示しました [p.15]。彼女のアプローチは二つの柱から成ります。第一は「Interactive Proof（対話型証明）」の手法であり、証明者と検証者の対話プロトコルを設計することで量子性を検証します [p.29]。第二は、量子コンピュータでも破れない「ポスト量子暗号」、特にLWE（Learning with Errors）を活用した暗号化技術であり、検証者が量子コンピュータに対して秘密の優位性を持つ構造を作り上げます [p.47, p.48]。
セミナーはこの主題を多角的な背景から照らします。2019年のGoogleとIBMの「量子超越性」をめぐる論争 [p.58～p.70]、ファインマンが1982年に提示した「古典コンピュータは量子をシミュレートできない」という洞察 [p.77]、ベルの定理とその実験的検証 [p.87～p.115]、Interactive Proofが証明概念そのものを転換した歴史 [p.117～p.131]、さらに量子複雑性クラスBQPの発見 [p.137] まで、豊かな知的背景が丁寧に描かれます。
そして準備として、LWE暗号 [p.152～p.168]、Universal Quantum Circuit [p.169～p.187]、Trapdoor Claw-Free Functions [p.188～p.216] が解説され、最終的にMahadevの量子性検証プロトコルの具体的な構造が明かされます [p.218～p.237]。本セミナーは、量子コンピュータと人間の関係における「信頼の根拠」を問う、計算理論・暗号理論・量子情報の三つが交差する知的冒険の記録です。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part I: 「量子計算の古典的検証」問題とは何か？
「量子計算の古典的検証」という問題の意味と難しさを直観的に把握させることがゴールです。量子コンピュータは普通のコンピュータにはない能力に期待が寄せられる一方で、その正しさを人間がチェックできないという根本的な非対称性が存在します。Mahadevはこの問題を「対話型証明」と「暗号化」という二つのアプローチで解決し、「量子計算の古典的検証は可能」と証明しました [p.15]。
■ Part II: 背景
Mahadevの成果が生まれた歴史的・理論的文脈を丁寧に描きます。GoogleとIBMの論争、ファインマンの量子シミュレーション構想、ベルの定理、Interactive Proofによる証明概念の革命、BQPの発見という五つのエピソードが、問題の深さと意義を際立たせます。
■ Part III: 準備
Mahadevのプロトコルを理解するための三つの技術的基盤LWE暗号、Universal Quantum Circuit、Trapdoor Claw-Free Functionsを段階的に構築します。特に、LWEから構成されるNoisy Trapdoor Claw-Free Functions（NTCF）が、プロトコルの暗号論的安全性の核心をなします。
■ Part IV: Mahadev Quantum Certification Protocol
Mahadevの量子性検証プロトコルの全貌を具体的に展開します。VerifierがTrapdoor Claw-Free Function（TCF）ペアを生成してProverに渡し、標準基底またはHadamard基底での測定結果を要求・検証するという4ステップのプロトコルが中心です。Hadamard基底での正答は量子デバイスにのみ可能であり、これが量子性の証明となります。
ページのナビゲート