講演資料


講義資料スライドの表紙

講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。

全体概要

本セミナー「20190325EasyQ」は、量子力学・量子情報科学の本質を「難解な数学を前提とせず、誰でも深く理解できる」という理念のもとで構成された、マルレク主催の高度技術セミナーです。セミナーのタイトルに込められた「Easy Q」という言葉は、Terry Rudolphの著書『Q is for Quantum』が「15歳の自分のために書いた」と述べていること [p.54], [p.64] に象徴されるように、量子の世界への参入障壁を根本から下げようとする知的挑戦を意味しています。

セミナーが提起する中心的な問いは、Bob Coeckeの言葉に凝縮されています――「なぜ量子テレポーテーションの発見に60年もかかったのか？」 [p.5]。その答えは「量子理論の情報処理的側面を誰も問題にしていなかったから」であり、この洞察こそが本セミナー全体の知的背骨を形成しています。量子力学は実験と完全に一致する一方、常識からは「不条理」に見える [p.3], [p.24]。しかしその不条理さの中に、量子テレポーテーション、量子もつれ、Bell不等式といった革命的な概念が宿っています。

本セミナーは三つの主要な講師・教材の視点を統合しています。Terry Rudolphの視点からは、PETE Boxと呼ばれる直感的なボックスモデルを用いて、算数しか知らない人でも量子の謎の核心に触れられることを示します [p.65]。Umesh Vaziraniの視点からは、qubit・量子ゲート・量子テレポーテーションを数学的に整備し、量子計算の基礎理論を体系的に展開します [p.57], [p.119]。そしてBob Coeckeの視点からは、String Diagramという図式言語を用いて、量子プロセスの合成と推論を視覚的・圏論的に捉え直すアプローチを提示します [p.60], [p.204]。

さらに本セミナーは、EPR論文（1935年）からBell不等式（1964年）、Aspectの実験（1982年）、量子テレポーテーションの実証（1993年〜2017年）、そして「ER＝EPR」仮説（GR＝QM）という現代物理学の最前線に至るまで、量子もつれの技術史的位置づけをも俯瞰します [p.26], [p.33], [p.43], [p.51]。量子の不思議さを「受け入れる」ことから始まり、それを「図式で推論する」ことへ至る知的旅路が、本セミナーの全体構造です。

講義のロードマップ

■ Part 1: 導入――量子力学の「不条理」と本セミナーの設計思想

  • この部の核心:

ガリレオの「宇宙は数学の言語で書かれている」という言葉 [p.2]、フェインマンの「量子電磁力学は常識から見て不条理だが、実験と完全に一致する」という言葉 [p.3]、そしてVedralの「量子力学の最も一般的な公理は教科書に載っていない」という指摘 [p.4] を経て、Bob Coeckeの「60年問題」 [p.5] へと接続します。なぜ量子テレポーテーションの発見に60年かかったかという問いが、本セミナー全体の問題意識を定義します。

  • 論理展開:
  • 量子力学は「理解できない」のではなく「なぜそうなるかが説明できない」という構造的困難がある [p.23], [p.24]。
  • 本セミナーはRudolph・Vazirani・Coeckeという三つの教材を軸として設計されており、それぞれ異なる角度から量子の本質に迫る [p.6], [p.7], [p.8]。
  • セミナーのアジェンダはMach-Zehnder干渉計・もつれ・PETE Box・ER=EPR・String Diagramという五つの柱で構成される [p.13], [p.14]。

■ Part 2: 量子もつれとEPR――「幽霊のような遠隔作用」の正体

  • この部の核心:

1935年のEinstein-Podolsky-Rosen論文 [p.26] に端を発する量子もつれの問題を、Bell不等式（1964年）[p.34] とAspectの実験（1982年）[p.35] を通じて「実験的事実」として確立します。もつれは「気味悪い遠距離作用」ではなく、情報処理の資源として捉え直せることを示します。

  • 論理展開:
  • EPRペア `1/√2 (|00>+|11>)` の性質：Aliceが測定した瞬間、Bobの側の状態が確定する [p.30]。
  • Bell State は四種類（Φ+, Φ−, Ψ+, Ψ−）存在し、量子テレポーテーションの基盤となる [p.38], [p.39], [p.40], [p.41]。
  • 量子テレポーテーションの歴史：1993年に理論提案、2007年にEntanglement Swappingによる拡張、2017年に衛星間テレポーテーション実証 [p.43], [p.47]。
  • ER＝EPR仮説：ワームホールともつれが等価であるという大胆な提案が現代物理の最前線として紹介される [p.51], [p.52]。

■ Part 3: Terry Rudolphの視点――PETE Boxで量子を「見る」

  • この部の核心:

Rudolphの著書『Q is for Quantum』の設計思想 [p.65], [p.66] に基づき、「算数だけで量子の謎の核心に触れられる」ことを実演します。PETE BoxはHadamardゲートに対応し [p.173]、古典的な論理では説明できない干渉・重ね合わせ・もつれを視覚的に提示します。

  • 論理展開:
  • NOT・SWAP・CNOT・CSWAP・CCNOTといった古典的可逆ゲートの体系的整理 [p.67], [p.69], [p.70], [p.72], [p.74]。
  • PETE Boxの基本動作：入力0に対して「0にも1にもなれる」という量子的重ね合わせを表現 [p.77], [p.78]。
  • PETE Boxを二回通すと元に戻る（H²＝I）という干渉の本質 [p.177]。
  • 4000個の玉を用いた量子もつれのゲームで、AliceとBobの測定結果の相関が古典確率では説明できないことを示す [p.108], [p.112], [p.115], [p.116], [p.117]。

■ Part 4: Umesh Vaziraniの視点――qubitと量子計算の数学的基盤

  • この部の核心:

量子計算の標準的な数学的枠組みを体系的に構築します [p.57], [p.119]。qubitの状態空間・測定・ユニタリ発展・テンソル積という四つの柱により、量子テレポーテーションをアルゴリズムとして完全に記述することを目標とします。

  • 論理展開:
  • qubitの定義：`c₀|0>+c₁|1>`、`|c₀|²+|c₁|²=1`、状態空間はBloch球で可視化 [p.128], [p.130]。
  • 測定（Born則）：`|0>`が観測される確率は`|c₀|²` [p.134]。
  • 1-qubitゲート：X（Bit Flipper）・Z（Phase Flipper）・H（Hadamard）の行列表現と作用 [p.140]。
  • テンソル積：複合系の状態は `(a|0>+b|1>)⊗(c|0>+d|1>)` で表現 [p.148]。
  • 量子テレポーテーションの完全な計算：`|ψ₀>`から`|ψ₄>`までの状態遷移を4ステップで追跡し、AliceがBobに2古典ビットを送れば`|ψ>`が復元されることを示す [p.198], [p.199], [p.200], [p.201], [p.202]。

■ Part 5: Mach-Zehnder干渉計――量子重ね合わせの物理的実証

  • この部の核心:

Mach-Zehnder干渉計を用いて、量子の重ね合わせと干渉という物理現象を具体的に示します [p.16], [p.158]。ビームスプリッタBS1はHadamardゲート（あるいは−iYH）に対応することが行列計算で示され [p.168]、PETE Boxとの対応関係が明確になります。

  • 論理展開:
  • ビームスプリッタの作用：入力`|φ>`に対して`i|φ>`（透過）と`|φ>`（反射）を生成 [p.162], [p.163]。
  • 二つの経路を経た光子が干渉し、一方の検出器でのみ観測される（Detector2では反応なし）[p.164], [p.165], [p.166]。
  • BS1のユニタリ行列は `(-1,1;1,1)/√2` であり、これはHadamardゲートと等価 [p.168]。
  • Mach-Zehnder変調器（位相シフタ付き）へとの拡張 [p.170]。

■ Part 6: Bob Coeckeの視点――String Diagramによる量子の図式推論

  • この部の核心:

量子プロセスをHilbert空間の行列計算ではなく、String Diagramという二次元の図式言語で表現・推論する新たなパラダイムを提示します [p.60], [p.204], [p.253]。これにより、量子テレポーテーションやEntanglement Swappingが「図形の変形」として視覚的に証明可能になります。

  • 論理展開:
  • Diagram の基本規則：プロセスの「並列合成（while）」と「逐次合成（after）」の二種類の合成が結合則を持ち、それぞれの単位元（空図形・ワイヤ）が存在する [p.222], [p.223], [p.224]。
  • Cup（カップ）とCap（キャップ）：もつれ状態を表すString Diagramの基本要素であり、「Yanking Equations」によりワイヤを引っ張る操作として量子テレポーテーションが表現される [p.227], [p.228]。
  • ket（状態）・bra（効果）・演算子のDiagram表現：状態は下から出るワイヤ、効果は上から入るワイヤとして図示 [p.231], [p.234]。
  • 分離可能状態（Separability）とEntanglement：テンソル積分解できない状態がCupで表現される非分離状態（もつれ）に対応 [p.245], [p.246]。
  • 量子テレポーテーションとEntanglement SwappingのString Diagram証明 [p.254], [p.266], [p.267], [p.268]。
  • 「60年問題」への回答：HilbertスペースのLanguageは多系間の特徴（テレポーテーション等）を露わにしにくく、図式言語こそがその問いを自然に生み出す媒体である [p.249], [p.250], [p.251], [p.252]。