講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナー「量子過程を図解するString Diagram入門」は、量子論の記述様式そのものを根本から問い直すという大胆な試みです。従来の量子力学は、フォン・ノイマンによって定式化されたヒルベルト空間上のベクトルと演算子の体系を基盤としてきました。しかし皮肉なことに、その体系を作り上げたフォン・ノイマン自身が1935年にガレット・バーコフへの手紙の中で「私はもはやヒルベルト空間を絶対的に信じてはいない」と告白しています [p.7, p.182]。本セミナーはこの問いを出発点として、量子過程をより直観的・構造的に捉える新しい記述言語「String Diagram」を体系的に紹介します。
String Diagramの本質は、「数式」を「図式（Diagram）」で置き換えることで量子過程の直観的理解を可能にする点にあります。注目すべきは、この置き換えが単なる「わかりやすさ」の追求ではなく、数学的表現力において等価であるという点です。String Diagramの図式は、抽象的テンソルシステムと同値であり、Trace付きSymmetric Monoidal Categoryとも同等の表現力を持ちます [p.12]。
従来のアプローチとの最大の違いは、「状態」中心から「プロセス」中心へのパラダイム転換にあります。量子状態をヒルベルト空間上の固定されたベクトルとして捉えるのではなく、すべての事象を「プロセス（過程）」として記述するProcess Theoryの立場をとります [p.6]。また、エンタングルメントのような「分離不可能性」を量子論の本質的特徴として正面から捉え、古典論を「分離可能な理論」として同一枠組みの中に位置づける視点も特徴的です [p.8, p.9]。
Bob CoeckeとAleks Kissingerによる著書”Picturing Quantum Processes”を主要な参照文献とし [p.4]、第一部のString Diagramの基本から、第二部の量子回路のDiagram表現、第三部のプロセス理論、第四部のString Diagramの世界（分離可能性・状態とプロセスの双対性・yanking等式・Transpose）まで、一貫した論理的構造で展開されます。
講義のロードマップ
ここでは、セミナーの講演資料がどのようなパートから構成されているかを示します。また、それぞれのパートのポイントを紹介します。
■ Part 0: はじめに ― String DiagramとはなにかとCoeckeの問い
String Diagramが従来のアプローチと何が異なるのかを4つの対比軸で明確化し、本セミナー全体の問題意識を設定します。量子テレポーテーションが量子力学誕生から60年後まで発見されなかった理由として、Brassardが「誰も量子論の情報処理的特徴を考慮しなかったから」と述べた言葉が、このアプローチの動機を端的に示しています [p.11]。
■ Part 1: String Diagramの基本
Diagramは「Box（プロセス）」と「Wire（システム・タイプ）」から構成されるという基本的な文法を確立します。Diagramにおいては「どうつながっているかだけが重要」という黄金律のもと、並列合成（⊗）・直列合成（○）という二つの合成操作と、それぞれの結合律・単位元が図式から自然に導かれることを示します [p.29, p.56, p.64]。
■ Part 2: 量子回路をDiagramで表す
量子ビット（qubit）と量子ゲートをDiagramの語彙で記述し、量子回路を「並列合成」と「直列合成」の組み合わせとして表現します。量子ゲートはユニタリ行列と一対一対応し、直列合成は行列の積、並列合成は行列のテンソル積に対応するという橋渡しを確立します [p.113, p.114]。
■ Part 3: プロセスの理論
プロセス理論の数学的基盤として、システム・タイプ＝集合、プロセス＝関数または関係という具体的モデルを構築します。さらに「状態（入力なし出力あり）」「効果（入力あり出力なし）」「数（入力も出力もなし）」という三種の特別なプロセスを導入し、Diracのket記法（|ψ⟩, ⟨π|, ⟨π|ψ⟩）との対応を明示します [p.190〜p.200]。
■ Part 4: String Diagramの世界
String Diagramの最も深い結果群を展開します。分離可能性（古典論と量子論の本質的な差異）、プロセスと状態の双対性（cup/capによる変換の相互逆性）、yanking等式（∩∪=|=∪∩）、そしてTransposeとTraceという高度な概念を、すべて図式操作として導出します [p.212〜p.244]。
ページのナビゲート