講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは「紙と鉛筆で学ぶ量子アルゴリズム演習１」と題され、量子情報科学の中核概念である**エンタングルメント**と**量子テレポーテーション**を、行列計算とベクトル演算という古典的な数学ツールだけで徹底的に理解することを目指す講義です。[p.1]
本講義が提起する中心的な「問い」は、「アインシュタインが『馬鹿げた遠隔作用』と呼んで量子論の不完全性の証拠としたエンタングルメントは、どのように数学的に記述され、量子情報処理にどう活用できるのか」という一点に集約されます。1935年にEinstein・Podolsky・Rosenが発見したEPRパラドックス[p.84, p.85]、1964年のBellの定理[p.87]、1982年のAspectの実験による検証[p.88]という技術史上の文脈を踏まえながら、エンタングルメントが「パラドックス」から「量子情報の資源」へと転換してきた経緯が示されます。
探求の具体的な目標は、Bell StateゲートとBell Measureゲートという二つの量子回路の数理的な動作原理を習得し、それらを組み合わせることで量子テレポーテーション回路が実際に機能することを紙と鉛筆で確認することです。量子テレポーテーションは、未知の量子状態|ψ>を物理的な粒子の移送なしに、エンタングルペアと古典通信チャネルだけを用いてBobに再現させる、量子力学の非自明な帰結です。[p.153, p.155]
最終的に、量子テレポーテーションは光より速い通信でも量子複製定理（No Cloning定理）の破壊でもなく、エンタングルメントという量子資源と古典通信の組み合わせによって成立する精巧なプロトコルであることが結論として示されます。[p.175] 全体を通じ、抽象的な量子論の原理をブラ・ケット記法とテンソル積という具体的な計算ツールで実装するスキルを演習形式で育成するセミナーです。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 1: 量子論の基本的な三つの原理
量子計算を支える理論的基盤として、「重ね合わせの原理」「観測の原理（Bornのルール）」「ユニタリ発展の原理」の三原理を体系的に導入します。qubitの状態がヒルベルト空間上の単位複素ベクトルとして表現され、量子ゲートがユニタリ行列と一対一対応することを確認します。[p.3, p.7, p.20, p.25]
■ Part 2: テンソル積
複数のqubitからなる複合システムを記述するための数学的道具であるテンソル積（⊗）を導入します。独立した二つのシステムを一つのシステムとして扱う手続きを、ベクトルと行列の双方について具体的に計算します。[p.36, p.37]
■ Part 3: エンタングルメントとは何か
2-qubitの複合状態がテンソル積に分解できない場合を「エンタングルメント（量子もつれ）」と呼びます。EPRペア(1/√2)(|00⟩+|11⟩)を中心に、「一方を観測するとことで他方の状態が瞬時に確定する」という非局所相関の数理的構造を解明します。[p.79, p.81, p.83]
■ Part 4: Bell StateゲートとBell Measureゲート
Bell状態を生成するBell State Gate（BSG）と、Bell状態を計算基底に逆変換するBell Measure Gate（BMG）の回路構造と動作を詳細に分析します。この二つはBSG†=BMGという逆演算の関係にあります。[p.131, p.146]
■ Part 5: 量子テレポーテーション
AliceからBobへ未知の量子状態|ψ⟩=α|0⟩+β|1⟩を転送するプロトコルを、BSGとBMGおよびCNOT・H・X・Zゲートの組み合わせで実現する回路全体の動作を、状態ベクトルの逐次計算によって厳密に検証します。[p.159, p.169]
ページのナビゲート