全体概要

本セミナー「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年かかったかという問いが、本セミナー全体の問題意識を定義します。

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

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

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

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

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

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

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

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

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

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