講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナー「エンタングルメントと量子テレポーテーションを学ぶ」は、量子情報科学の根幹をなす二つの概念——エンタングルメント(量子もつれ)と量子テレポーテーション——を、紙と鉛筆による手計算によって徹底的に理解することを目指した演習型講義です。[p.1]
量子コンピュータの実現を支える数理的基盤として、まず量子論の三原理(重ね合わせ・観測・ユニタリ発展)を確立し、qubitのベクトル的表現(Diracのket記法)から出発します [p.3]〜[p.9]。次に、複数のqubitからなるシステムを記述するための「テンソル積」を導入し、独立したサブシステムを一つの数学的対象として扱う作法を体得します [p.36]〜[p.65]。
セミナーが最も深く問いかけるのは、「エンタングルメントとは何か」という問いです。1935年にアインシュタインが「馬鹿げた遠隔作用」と呼んで量子論への反証として提示したEPRパラドックス [p.84] は、1964年のBellの定理 [p.87] および1982年のAspectの実験 [p.88] によって、隠れた変数理論の否定という形で決着を見ました。この歴史的文脈を踏まえた上で、エンタングルした二qubit系(EPRペア)のBell状態を生成するBell State Gateと、それを識別するBell Measure Gateの数理的構造が精密に解説されます [p.100]〜[p.143]。
セミナーの到達点は、量子テレポーテーション回路の完全な理解です。AliceとBobが事前に共有したEPRペアを資源として、Aliceは未知の量子状態|ψ⟩を観測し、古典的な2ビット情報をBobに送るだけで、Bobの手元に|ψ⟩が完全に再現されるという驚くべき事実を、回路の各段階における状態の変遷(|ψ₀⟩から|ψ₄⟩まで)を丁寧に追うことで厳密に証明します [p.158]〜[p.174]。この過程は情報の光速超越を伴わず、No Cloning定理にも違反しないという物理的整合性も明確に論じられます [p.175]。
講義のロードマップ
■ Part 1: 量子論の基本的な三つの原理
- この部の核心:
量子情報処理の全議論を支える数学的・物理的基盤を構築します。qubitの状態を複素数係数の列ベクトルで表現するket記法、観測によって重ね合わせが確率的に「崩壊」するBornのルール、そして量子ゲートとユニタリ行列の一対一対応という三本柱を確立します。
- 論理展開:
- qubitの状態はc₀|0⟩+c₁|1⟩(|c₀|²+|c₁|²=1)と表され、|0⟩=(1,0)ᵀ、|1⟩=(0,1)ᵀが計算基底をなします [p.7]。
- 観測により状態は|0⟩または|1⟩に崩壊し、確率はそれぞれ|c₀|²、|c₁|²で与えられます(Bornのルール)[p.20]。
- 量子ゲートはユニタリ行列と一対一対応し、X(Bit Flipper)、Z(Phase Flipper)、H(Hadamard)が代表例です [p.26], [p.27]。
- 直列ゲートの合成は行列積で計算でき、HH=Iとなることが確認されます [p.28]。
■ Part 2: テンソル積
- この部の核心:
複数qubitの結合系を記述するためのテンソル積を導入します。独立した二つのサブシステムの状態(|a⟩と|b⟩)を一つのシステム|ab⟩として統合する演算規則は、量子回路設計とエンタングルメント理解の根幹をなす技術です。
- 論理展開:
- ベクトルのテンソル積は(a₁,a₂)ᵀ⊗(b₁,b₂)ᵀ=(a₁b₁,a₁b₂,a₂b₁,a₂b₂)ᵀで定義され、|00⟩、|01⟩、|10⟩、|11⟩の4次元基底が得られます [p.59], [p.61]。
- 行列のテンソル積A⊗Bは各要素Aᵢⱼに行列B全体を乗じるブロック行列として定義され、一般にA⊗B≠B⊗Aです [p.56], [p.58]。
- CNOT(Control-NOT)ゲートは|10⟩→|11⟩、|11⟩→|10⟩の変換を実現し、4×4ユニタリ行列で表現されます [p.30], [p.64]。
- 並列ゲートの合成はユニタリ行列のテンソル積に対応します(例:σ_z⊗τ_x)[p.72]。
■ Part 3: エンタングルメントとは何か
- この部の核心:
二つのqubitの状態が、個別qubitの積状態に分解できない場合、その系は「エンタングル(量子もつれ)状態」にあると言います。1935年のEPRパラドックスから1982年のAspect実験まで続く歴史的論争を背景として、Bell状態(|Φ⁺⟩など四種)の物理的意味を観測確率を通じて深く理解します。
- 論理展開:
- |Φ⁺⟩=1/√2(|00⟩+|11⟩)の第一qubitを観測して0を得れば、遠方の第二qubitが確率1で0に定まるという「即時相関」がエンタングルメントの本質です [p.83]。
- アインシュタインはこれを「隠れた変数」理論で説明しようとしたが、Bellの定理(1964年)[p.87]とAspectの実験(1982年)[p.88]により否定されました。
- 四種のBell状態(|Φ⁺⟩、|Φ⁻⟩、|Ψ⁺⟩、|Ψ⁻⟩)はそれぞれ異なるエンタングル相関を持ちます [p.89]〜[p.92]。
■ Part 4: Bell State ゲートとBell Measure ゲート
- この部の核心:
計算基底(|00⟩、|01⟩、|10⟩、|11⟩)とBell基底(|Φ⁺⟩、|Φ⁻⟩、|Ψ⁺⟩、|Ψ⁻⟩)の間の変換を実現する二つの回路を詳述します。Bell State Gate(BSG)はHゲートとCNOTの直列合成であり、Bell Measure Gate(BMG)はその逆演算(BMG=BSG†)です。
- 論理展開:
- BSGはH→CNOTの順で構成され、|00⟩→|Φ⁺⟩、|01⟩→|Ψ⁺⟩、|10⟩→|Φ⁻⟩、|11⟩→|Ψ⁻⟩を実現します [p.101], [p.133], [p.141]。
- BMGはCNOT→Hの順で構成され、各Bell状態を計算基底に逆変換します [p.121], [p.136], [p.143]。
- BMG(1/√2(|00⟩+|11⟩))=|00⟩となることを、BMG|00⟩とBMG|11⟩の線形性から確認します [p.127]。
- BSGとBMGは互いにユニタリ逆演算(BMG=BSG⁻¹=BSG†)の関係にあります [p.146]。
■ Part 5: 量子テレポーテーション
- この部の核心:
事前に共有されたEPRペア|Φ⁺⟩を資源として、Aliceが未知の量子状態|ψ⟩=α|0⟩+β|1⟩を古典通信2ビットのみでBobに転送できることを、回路の状態遷移を四段階にわたって厳密に計算します。これは「量子情報は2ビットの古典情報に濃縮して転送できる」という量子情報理論の基本定理の実演です。
- 論理展開:
- |ψ₀⟩=|ψ⟩⊗|Φ⁺⟩の展開から始まり、CNOTとHゲートを経て|ψ₂⟩=1/2(|00⟩(α|0⟩+β|1⟩)+|01⟩(α|1⟩+β|0⟩)+|10⟩(α|0⟩-β|1⟩)+|11⟩(α|1⟩-β|0⟩))が導出されます [p.172]。
- Aliceの測定結果{00,01,10,11}に応じてBobのqubitはそれぞれI|ψ⟩、X|ψ⟩、Z|ψ⟩、XZ|ψ⟩の状態に遷移します [p.163], [p.164]。
- BobがAliceの古典情報を受け取りX、Zを適切に適用すると、全ての場合で|ψ⟩=α|0⟩+β|1⟩が復元されます [p.166], [p.174]。
- 情報の光速超越は古典通信の必要性により回避され、No Cloning定理はAlice側の状態崩壊により保持されます [p.175]。
