String Diagram を学ぶ ? カテゴリー論入門 (1)

全体概要

本セミナー「量子過程を図解する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]。

• 論理展開:
• 「状態」中心vs「プロセス」中心：フォン・ノイマン形式主義への問い直し [p.6]
• 「重ね合わせ」vs「エンタングルメント」：不可分離性を量子論の本質的特徴として位置づける [p.8]
• 「量子過程」＝「情報過程」：量子コンピュータ・量子通信技術の勃興との連動 [p.10]
• 「数式」vs「図式」：図式がテンソルシステムと同値であるという数学的根拠 [p.12]

---

■ Part 1: String Diagramの基本

• この部の核心:

Diagramは「Box（プロセス）」と「Wire（システム・タイプ）」から構成されるという基本的な文法を確立します。Diagramにおいては「どうつながっているかだけが重要」という黄金律のもと、並列合成（⊗）・直列合成（○）という二つの合成操作と、それぞれの結合律・単位元が図式から自然に導かれることを示します [p.29], [p.56], [p.64]。

• 論理展開:
• Diagram＝Box＋Wire：プロセスとシステム・タイプの対応。quicksort、beam splitter、cooking等の具体例で直観を養う [p.21]〜[p.25]
• Diagramの「等式」：Wireの接続を変えずに変形できる時に二つのDiagramは等しい [p.35]〜[p.43]
• プロセスの「等式」：特定のプロセス理論において成り立つ等式（符号反転の二重適用、quicksortの冪等性など）[p.45]〜[p.52]
• 並列合成の結合律 A⊗B⊗C＝(A⊗B)⊗C＝A⊗(B⊗C) と直列合成の結合律がDiagramから自然に導かれる [p.57]〜[p.65]

---

■ Part 2: 量子回路をDiagramで表す

• この部の核心:

量子ビット（qubit）と量子ゲートをDiagramの語彙で記述し、量子回路を「並列合成」と「直列合成」の組み合わせとして表現します。量子ゲートはユニタリ行列と一対一対応し、直列合成は行列の積、並列合成は行列のテンソル積に対応するという橋渡しを確立します [p.113], [p.114]。

• 論理展開:
• qubitは|0⟩と|1⟩の重ね合わせa|0⟩+b|1⟩で表される二次元複素ベクトル（|a|²+|b|²=1） [p.92]〜[p.95]
• 代表的1-qubitゲート（X：Bit Flipper、Z：Phase Flipper、H：Hadamard）とその行列表示 [p.100]〜[p.106]〜[p.111]
• CNOT（2-qubitゲート）：Controlが|1⟩の時にTargetのNOTをとる [p.101]
• 量子回路はサイクルを含まない（ループ禁止）Diagramであり、D＝CNOT○(H⊗1)のような表現が可能 [p.85], [p.141]
• 注意：量子回路の通常記法は時間が左→右、Diagramは下→上という流儀の差異 [p.98]

---

■ Part 3: プロセスの理論

• この部の核心:

プロセス理論の数学的基盤として、システム・タイプ＝集合、プロセス＝関数または関係という具体的モデルを構築します。さらに「状態（入力なし出力あり）」「効果（入力あり出力なし）」「数（入力も出力もなし）」という三種の特別なプロセスを導入し、Diracのket記法（|ψ⟩, ⟨π|, ⟨π|ψ⟩）との対応を明示します [p.190]〜[p.200]。

• 論理展開:
• 集合の直積 A⊗B:=A×B がシステム・タイプの結合を表し、一点集合{*}が並列合成の単位元（自明な型I）となる [p.152], [p.155]
• 関数のプロセス理論：直列合成＝関数の合成 (g∘f)(a)=g(f(a))、並列合成＝(f⊗g)(a,b)=(f(a),g(b)) [p.164]〜[p.168]
• 関係のプロセス理論：関数は関係の特殊ケース（functions⊆relations）。関係では一入力が複数出力をとれる [p.174]〜[p.179]
• 「数」はDiagram内を自由に移動でき、「状態」と「効果」が直列合成されると「数」（確率）が生まれる：一般化されたBornルール [p.194]〜[p.197]

---

■ Part 4: String Diagramの世界

• この部の核心:

String Diagramの最も深い結果群を展開します。分離可能性（古典論と量子論の本質的な差異）、プロセスと状態の双対性（cup/capによる変換の相互逆性）、yanking等式（∩∪=|=∪∩）、そしてTransposeとTraceという高度な概念を、すべて図式操作として導出します [p.212]〜[p.244]。

• 論理展開:
• ⊗-分離可能性：関数で表現される二部状態はすべて分離可能だが、関係の理論ではC={(0,0),(1,1)}のような分離不可能な状態が存在する [p.212]〜[p.215]
• cup（U型・二部状態）とcap（∩型・二部効果）を用いて、プロセスを状態に変換（PtoS）・状態をプロセスに変換（StoP）する操作を定義 [p.221]〜[p.222]
• yanking等式（条件a, b）が成り立つとき、PtoSとStoPは互いに逆変換となり、「入力Aで出力BのプロセスとA×Bタイプの状態が一対一対応する」というプロセスと状態の双対性が確立される [p.223]〜[p.229]
• Transpose（fᵀ）：入出力を入れ替える変換で (fᵀ)ᵀ＝f が成立。Trace：出力を入力に結合する操作。いずれもyanking等式から導かれる [p.236]〜[p.244]