紙と鉛筆で学ぶ量子コンピュータ入門演習

全体概要

本セミナーは、量子コンピューティングの理論的基盤を、数学的厳密性と直感的理解の両軸から体系的に学ぶことを目的としています。中心的な「問い」は、「古典的なビットとは根本的に異なる量子ビット（qubit）の振る舞いを、どのように数学的に記述し、計算に活用できるか」という点に集約されます。

歴史的背景として、20世紀初頭に確立された量子力学は、当初は自然界の微小な現象を記述するための純粋物理理論でした。しかし20世紀末から21世紀にかけて、その奇妙な性質——重ね合わせ（Superposition）、量子もつれ（Entanglement）——が、情報処理の革命的なリソースとして再発見されました [p.2], [p.3]。本セミナーは、この歴史的転換点を踏まえながら、1935年のEPRパラドックス [p.31], [p.32]、1964年のベルの不等式 [p.37]、1982年のアスペの実験 [p.38] という量子力学論争の系譜を辿り、現代の量子情報理論へと接続します。

講義の構成は、まず量子力学の基本原理（二重スリット実験、重ね合わせ、測定問題）から出発し [p.14]〜[p.29]、次に量子ビットの代数的表現であるブラ・ケット記法と線形代数の道具立てを丁寧に構築します [p.46]〜[p.124]。その上で、エルミート演算子とユニタリ演算子という量子力学の二大演算子の性質を明確化し [p.159]〜[p.191]、最終的に1-qubit、2-qubitゲート、テンソル積、Bell Stateの生成という量子回路の具体的な実装論へと着地します [p.207]〜[p.274]。

全体を通じたキーメッセージは、「量子力学の不思議さは、観測するまで状態が確定しないという測定の問題と、空間的に離れた粒子間の相関という量子もつれという二点に凝縮される」という洞察であり [p.27], [p.29]、それがレオナルド・サスキンドの言葉「ボーアはアインシュタインの最後の偉大な発見——もつれの発見——を無視した」 [p.35] として象徴的に示されています。数学的道具立てから量子回路の実装まで、一貫した論理的接続を持つ完結した入門セミナーです。

---

講義のロードマップ

---

■ Part 1: 量子力学の基本原理と歴史的文脈

• この部の核心:

量子力学が提起する「観測問題」「重ね合わせ」「量子もつれ」という三つの概念を、歴史的論争（EPR、ベルの定理、アスペ実験）を通じて動機づけます。単なる物理の話ではなく、情報処理の革命的リソースとして量子効果を捉え直す視座を提供します。

• 論理展開:
• フェインマン物理学（二重スリット実験）とDr. Quantumの映像資料を通じて、量子の「波と粒子の二重性」と測定による状態確定を直感的に提示 [p.14]〜[p.17]。
• Mach-Zehnder干渉計とQuantum Eraserの概念により、「どの道を通ったか」という情報の有無が干渉縞を破壊・回復することを示す [p.18], [p.19]。
• 1935年のEPRパラドックス「量子力学の記述は完全か？」という問い [p.32]、1964年ベルの不等式による局所実在論との決定的切断 [p.37]、1982年アスペ実験による量子もつれの実験的確証 [p.38] という歴史的系譜を整理。
• SQUIDによる巨視的重ね合わせの実例 [p.26] と、Winelandのノーベル講義スライド（2012年）による現代量子制御の到達点を提示 [p.25]。

---

■ Part 2: 量子ビット（Qubit）の数学的表現

• この部の核心:

古典ビットが0または1の確定値を持つのに対し、qubitは複素数係数の重ね合わせ状態として表現されます。この部では、qubitの定義からBloch球表現、測定の確率規則（Bornの規則）までを代数的に確立し、量子情報の基本単位を厳密に定式化します。

• 論理展開:
• bitとqubitの本質的差異：`|qubit⟩ = c₀|0⟩ + c₁|1⟩`、`|c₀|² + |c₁|² = 1`、係数は複素数 [p.46]。
• Bloch球表現：qubitの状態空間は球面上の点として可視化でき、bitは北極・南極の2点に過ぎないことを強調 [p.49]。
• n次元への拡張：n個の基底 `|0⟩, |1⟩, ..., |n-1⟩` による一般的な量子状態表現 [p.50], [p.51]。
• Bornの規則：`|0⟩` が観測される確率 `= |c₀|²`、測定後は状態が確定（波束の収縮） [p.56], [p.57]。

---

■ Part 3: 線形代数の道具立て（ブラ・ケット記法）

• この部の核心:

量子力学の状態を記述するためのブラ・ケット（Dirac）記法と、その背後にある線形代数（複素共役、転置、エルミート共役、内積）を体系的に整備します。この道具立てなしには量子演算子の議論は不可能であり、本部はセミナー全体の数学的骨格を成します。

• 論理展開:
• 複素数の共役 `z* = x - iy`、極形式 `z* = re^{-iθ}` の性質 [p.65], [p.66]。
• 行・列ベクトルの演算（スカラー倍、加算）とRow×Column積（内積） [p.67]〜[p.69]。
• 転置 `A^T` と複素共役 `A*`、エルミート共役 `A† = [A^T]*` の定義と計算例 [p.83]〜[p.86]。
• ket `|A⟩`（列ベクトル）とbra `⟨A|`（行ベクトル、ketの†）の対応、正規直交性 `⟨i|j⟩ = δᵢⱼ` [p.97]〜[p.112]。
• `|ket⟩⟨bra|` 演算子表現と恒等演算子 `I = Σ|i⟩⟨i|`、行列要素 `aᵢⱼ = ⟨i|A|j⟩` の導出 [p.118]〜[p.124]。
• 期待値の定義 `⟨L⟩ = ⟨A|L|A⟩` [p.181]。

---

■ Part 4: 量子演算子の理論（エルミート・ユニタリ）

• この部の核心:

量子力学における二種類の基本演算子——観測量（Observable）に対応するエルミート演算子と、時間発展・量子ゲートに対応するユニタリ演算子——の性質を数学的に確立します。固有値・固有ベクトルの概念がここで中心的役割を果たします。

• 論理展開:
• エルミート演算子 `H = H†`：固有値は実数、異なる固有値に属する固有ベクトルは直交 [p.167]〜[p.169]。Pauli行列 X, Y, Z はすべてエルミート [p.93]。
• 固有値方程式 `M|v⟩ = m|v⟩` の解法：特性方程式 `det(M - mI) = 0` [p.159]〜[p.163]、対角化 `A = PDP⁻¹` [p.171]〜[p.173]。
• ユニタリ演算子 `U†U = I`：内積を保存し、固有値の絶対値は1（`λ = e^{iθ}`） [p.175]〜[p.185]〜[p.188]。
• 時間発展演算子 `U(t)` はユニタリであり、異なる初期状態は異なる終状態へ写像される（可逆性） [p.194], [p.195]。
• ハミルトニアン `H`：エルミート演算子であり、エネルギー固有値を持つObservable [p.198]。保存量の条件 `[H, L] = 0` [p.200]。

---

■ Part 5: 量子回路と量子もつれの実装

• この部の核心:

理論的基盤の上に、実際の量子計算の構成要素——1-qubitゲート、2-qubitゲート、テンソル積による多qubit状態、Bell Stateの生成——を具体的に構築します。量子もつれが積状態に還元できないことの証明と、No Cloning定理でセミナーを締めくくります。

• 論理展開:
• 1-qubitゲート：X（ビット反転）、Z（位相反転）、H（Hadamard、`|0⟩⇔|+⟩` 変換）、S, T ゲートの行列表現と動作 [p.209]〜[p.210]〜[p.214]〜[p.216]。
• 2-qubitゲート：CNOT（Control-NOT）とControl-U の動作原理 [p.218]〜[p.221]。CNOT行列の明示的構成 [p.243], [p.244]。
• テンソル積 `⊗`：2qubit状態 `S = S₁⊗S₂ = ac|00⟩ + ad|01⟩ + bc|10⟩ + bd|11⟩` の計算 [p.224], [p.225]。`A⊗B ≠ B⊗A` の非可換性 [p.237]。
• Bell State の生成回路：Hadamardゲート→CNOTゲートの組み合わせにより `1/√2(|00⟩+|11⟩)` を生成 [p.266]〜[p.274]。4つのBell Stateすべての明示的構成 [p.267], [p.269], [p.271], [p.273]。
• 量子もつれ（Entanglement）の定義：`1/√2(|00⟩+|11⟩)` が積状態に分解不可能であることの証明 [p.254]。EPRペアによるAlice-Bobの相関 [p.256]〜[p.263]。
• No Cloning定理：未知のqubit状態を完全にコピーするユニタリ演算子は存在しない [p.281], [p.282]。