紙と鉛筆で学ぶ量子情報理論基礎演習（角川）

全体概要

本セミナー「量子情報理論基礎演習 Ⅰ」は、丸山不二夫氏によって企画・講演された、量子ゲート型量子コンピュータの基礎を演習形式で体系的に習得することを目的とした連続シリーズの第一回目です。対象者は量子論を初めて学ぶ方であり、高校生程度の数学的知識を前提としつつ、ベクトル・行列計算の入門演習も含んでいます。

本講義が正面から問いかけるのは、「量子の世界はなぜこれほど奇妙なのか、そしてその奇妙さを数学的にどのように記述・操作できるのか」という問いです。20世紀初頭に光電効果や二重スリット実験が明らかにした「光と粒子の二重性」から出発し、シュレジンガー・ハイゼンベルク・ディラックらが構築した量子論の成立過程を辿ります。そしてアインシュタインがEPR論文で発見した「量子もつれ（エンタングルメント）」という深遠な現象が、当初は量子論への批判として提起されながら、今日では量子情報理論の根幹をなす基本前提となっているという歴史的逆説が、本講義全体を貫く知的背景をなしています。

数理的には、量子の状態をn次元複素数ベクトル（ケットベクトル）で表現し、観測をエルミート演算子の固有値問題として定式化し、時間発展をユニタリ演算子として記述するという「三つの原理」が講義の骨格です。これらを習得したうえで、1-qubitゲートから2-qubitのCNOTゲートへと進み、量子コンピュータの基礎回路の数理構造を演習により体得することが最終目標です。また、No Cloning定理やBell Stateの生成を通じて、古典計算との本質的差異にも触れています。

講義のロードマップ

■ Part 1: 量子論の成立と発展

• この部の核心:

量子の世界がなぜ古典物理学とは根本的に異なるのかを、歴史的実験と思想的経緯から明らかにします。光の波動性と粒子性の矛盾、EPR論文によるエンタングルメントの発見、Bellの定理とAspectの実験による量子論の正しさの実証という流れを辿り、量子情報理論が物理学の基礎理論たりうる理由を俯瞰します。

• 論理展開:
• 光電効果（アインシュタイン、1905年）と二重スリット実験（ヤング、1805年）により、光と粒子が「波でもあり粒子でもある」ことが実証されました [p.6], [p.7], [p.11]。
• Mach-Zehnder干渉計の実験は、一個の光子が「同時に」波でも粒子でもあることを示す決定的証拠です [p.17], [p.19], [p.20], [p.21]。
• アインシュタインのEPR論文（1935年）はエンタングルメントを「量子論の矛盾」として提起しましたが、今日ではこれが量子論の基礎として受け入れられています [p.28], [p.29], [p.31]。
• Bellの定理（1964年）とAspectの実験（1982年）により、「隠れた変数」仮説が否定され、量子論の正しさが実証されました [p.34], [p.35]。
• Susskindの俯瞰図に示される通り、量子情報理論は現代物理学の中核に位置づけられています [p.37], [p.38]。

■ Part 2: 量子論と量子情報理論

• この部の核心:

量子ゲート型量子コンピュータの理論的基礎を「三つの原理」として整理します。qubitとは何かを明確に定義したうえで、重ね合わせ・観測・ユニタリ発展という量子論の公理的枠組みをコンパクトに提示します。

• 論理展開:
• 古典bitは0か1の二値ですが、qubitは二つの複素数（c₀, c₁）からなる2次元複素数ベクトルであり、|c₀|²+|c₁|²=1 の条件のもとで無限の状態を取りえます [p.43], [p.44]。
• 「重ね合わせの原理」：qubitの状態はc₀|0⟩+c₁|1⟩として表現され、Bloch球上の点に対応します [p.46]。
• 「観測の原理」：観測により重ね合わせが破れ、|0⟩が確率|c₀|²で、|1⟩が確率|c₁|²で得られます（Bornのルール）[p.51], [p.53]。
• 「ユニタリ発展の原理」：量子状態の時間発展はユニタリ変換U（UU†=I）によって記述され、内積が保存されます [p.55], [p.56]。

■ Part 3: 補講 ― ベクトル・行列演算入門

• この部の核心:

量子論の数理記述に必要な線形代数の基礎を、複素数・ベクトル・行列・内積・転置・エルミート共役の観点から丁寧に整備します。演習問題を豊富に用意し、実際の計算力を養います。

• 論理展開:
• 複素数の共役（z*）の性質と極座標表示（z=re^{iθ}）を確認します [p.59], [p.60]。
• 行ベクトル・列ベクトルのスカラー倍・和・内積、および行列のスカラー倍・和・積を定義します [p.62], [p.63], [p.64], [p.65], [p.66]。
• 行列の転置（A^T）とエルミート共役（M†=[M^T]*）を導入します [p.77], [p.79]。
• Pauli行列X, Y, Zのエルミート性・ユニタリ性、Σ記号の展開など、演習問題1-1〜1-9を通じて計算技術を体得します [p.81]〜[p.89]。

■ Part 4: 重ね合わせの記述とket記法

• この部の核心:

ディラックのbra-ket記法を導入し、量子状態の記述・内積・基底・成分表示を統一的な言語で操作できるようにします。これは以降の全議論の「言語」となる極めて重要なパートです。

• 論理展開:
• 列ベクトルをket（|ID⟩）、行ベクトルをbra（⟨ID|）で表し、内積⟨B|A⟩を定義します [p.92], [p.94], [p.96]。
• 直交正規基底の条件⟨i|j⟩=δ_{ij}（クロネッカーのδ）と、任意の状態の成分表示 α_i=⟨i|A⟩ を導出します [p.103], [p.105], [p.106]。
• 恒等演算子の分解 Σ_i|i⟩⟨i|=I を示し、ketと演算子の行列成分 ⟨i|M|j⟩=m_{ij} を確立します [p.106], [p.113]。
• 観測値の期待値が⟨L⟩=⟨A|L|A⟩で与えられることを整理します [p.114]。

■ Part 5: 観測とエルミート演算子

• この部の核心:

Observable（観測可能量）がエルミート演算子として表現される理由を、固有値の実数性と固有ベクトルの直交性という二つの数学的定理から厳密に示します。これにより量子測定の確率解釈が数学的に正当化されます。

• 論理展開:
• H=H†（エルミート行列）の定義と、Pauli行列X, Y, Zがエルミートかつユニタリであることを確認します [p.127], [p.145]。
• エルミート行列の固有値は実数であることを証明します [p.128]。
• 異なる固有値に対応する固有ベクトルは直交することを証明し、固有ベクトルが直交基底をなすことを示します [p.129]。
• 観測値の期待値が⟨L⟩=⟨A|L|A⟩=Σλ_i P(λ_i) として計算されることを導出します [p.130], [p.131]。

■ Part 6: 量子の状態変化とユニタリ演算子

• この部の核心:

量子状態の時間発展がユニタリ演算子によって記述されることを、物理的・数学的に導出します。ハミルトニアンとシュレジンガー方程式への接続を示し、量子ゲートがユニタリ変換として実装される理由を明らかにします。

• 論理展開:
• ユニタリ変換UU†=U†U=Iは幾何学的に「内積を保存する回転」であることを示します [p.134], [p.136]。
• 時間発展演算子がユニタリである理由を、直交関係の時間保存性から導出します [p.137], [p.138]。
• 微小時間変化から U(ε)=I-iεH を展開し、Hがエルミートなハミルトニアンであることとシュレジンガー方程式 ∂|Ψ⟩/∂t=-iH|Ψ⟩ を導きます [p.139], [p.140]。

■ Part 7: n-qubitシステムとしての量子ゲート

• この部の核心:

複数qubitのシステムをテンソル積で記述し、1-qubitゲート（X, Y, Z, H, S, T）および2-qubitゲート（CNOT）の行列表現と動作を理解します。エンタングルメントの発生（Bell State生成）とNo Cloning定理を通じて、量子コンピュータの本質的な特性を体得します。

• 論理展開:
• n個のqubitからなるシステムは2^n個の基底状態の重ね合わせで表され、n個のqubitで2^n個の並行計算が可能です [p.149]。
• 1-qubitゲートの行列表現：X（Bit Flipper）、Z（Phase Flipper）、H（Hadamard）の作用を計算します [p.150], [p.151], [p.152]。
• CNOT（Control-NOT）ゲートは4×4のユニタリ行列として表現され、Controlが|1⟩の時にTargetのNOT操作を行います [p.161], [p.162]。
• HゲートとCNOTを組み合わせたBell Statesゲートにより、もつれ状態 1/√2(|00⟩+|11⟩) が生成されます [p.163], [p.164], [p.165]。
• No Cloning定理：任意の量子状態をコピーするユニタリ変換は存在しないことを背理法で証明します [p.171], [p.172]。