はじめに：なぜ圏論で量子力学を記述するのか
量子計算や量子情報理論の発展とともに、複雑な量子プロセスを理解するための新たな数学的枠組みが求められるようになりました。従来のヒルベルト空間による記述は厳密である一方、量子テレポーテーションや量子もつれといった現象を直観的に捉えるには必ずしも最適とは言えません。
そこで注目されているのが、**圏論（category theory）に基づくアプローチです。特にモノイダル圏（monoidal category）**という構造は、量子回路における「並列実行」と「順次実行」を統一的に扱う強力な枠組みを提供します。本記事では、モノイダル圏の基本概念から量子回路との対応関係、そして圏論的量子力学（Categorical Quantum Mechanics, CQM）の基礎までを、初学者向けに段階的に解説していきます。
モノイダル圏とは：定義と直観的理解
モノイダル圏の数学的定義
モノイダル圏とは、対象どうしを合成する演算が備わっており、それがモノイド構造（結合律と単位元の存在）を満たすような圏のことです。より具体的には、圏Cにおいて以下の要素が定義されます。
テンソル積 ⊗: C × C → C が存在し、任意の2対象A, Bに対してテンソル積と呼ばれる対象A ⊗ Bが与えられます。同様に任意の2射f: A → A’, g: B → B’に対してテンソル積の射f ⊗ g: A⊗B → A’⊗B’が定義されます。
単位対象 Iが存在し、任意の対象Aについて同型A ⊗ I ≅ A ≅ I ⊗ Aが成り立ちます。これは「何もない系」を表現する特別な対象です。
さらにテンソル積は結合的であり、(A⊗B)⊗C ≅ A⊗(B⊗C)という同型が成り立ちます。これらの同型射はMacLaneのコヒーレンス条件と呼ばれる適切な公理を満たす必要があります。
物理的直観：並列と直列の統一
モノイダル圏は「並列に組み合わせる力」を持つ圏と理解できます。通常の圏では射を時間的に順次合成できますが、モノイダル圏ではさらに射同士を並列に配置してテンソル積により合成することが可能です。
物理学的には、テンソル積⊗は系の結合を表します。古典的な離散系では状態空間は集合のデカルト積X × Yで表されますが、量子力学では状態空間はヒルベルト空間のテンソル積H ⊗ Kによって記述されます。どちらもモノイダル圏の枠組みで統一的に扱うことができ、系の結合という物理的操作がテンソル積という数学的演算に対応しているのです。
単位対象Iは「空の系」を意味し、テンソル積における単位元として機能します。この構造により、何もない状態から始めて段階的に系を構築していくプロセスを記述できます。
モノイダル圏の基本概念：対象・射・合成
対象と射：系とプロセスの表現
圏論における**対象（object）**は「型」や「系」を表し、**射（morphism）**は「対象から対象への写像やプロセス」を表します。量子力学の文脈では、対象は量子系（例：量子ビット）に、射は量子ゲートや状態変換に対応します。
モノイダル圏では、これらに加えてテンソル積と単位対象という概念が加わることで、より豊かな構造が生まれます。
テンソル積：並列実行の数学的表現
**テンソル積⊗**は二つの対象A, Bを新たな対象A⊗Bへと結合します。同様に二つの射f: A→A’, g: B→B’はテンソル積によってf⊗g: A⊗B → A’⊗B’という射に合成されます。
直感的には「並列実行」を意味します。例えば物理では二つの独立な系をまとめた複合系や、二つの同時に行う操作を表現できます。この並列合成と従来の順次合成（射の合成∘）は独立でなく、交換法則（interchange law）(g∘f)⊗(j∘h) = (g⊗j)∘(f⊗h)を満たします。
この法則により、「順次実行」と「同時実行」という二種類の構造が矛盾なく統一的に扱われるのです。
状態と観測の圏論的表現
物理学的には、系の状態は単位対象からの射ρ: I → Aで表されます。例えばヒルベルト空間H上の状態ベクトルは線型写像ℂ→Hとして表現できます。
一方、**観測（効果）**は対象から単位対象への射e: A → Iで表されます。これにより、状態に対するプロセスの作用は射の合成として記述できます。例えば状態ρ: I→Aにプロセスf: A→Bが作用した結果は合成f∘ρ: I → Bとして表現されます。
このように、モノイダル圏の言葉を使えば、複数の系からなる複合系やその上での並行した操作を、対象や射のテンソル積によって厳密に記述できるのです。
量子回路とモノイダル圏の構造的対応
量子回路の要素と圏論的対応
量子回路は量子ビットなどの量子系上で量子ゲートを順次または並行に適用することで構成される計算プロセスですが、その構造はモノイダル圏の言葉で明確に表現できます。
量子ビットや量子系はヒルベルト空間Hなどの対象に対応します。例えば1量子ビットは2次元ヒルベルト空間ℂ²という対象として扱われます。
量子ゲートは対象から対象への射に対応します。例えば1量子ビットへのHadamardゲートは射ℂ² → ℂ²、2量子ビットへのCNOTゲートは射ℂ²⊗ℂ² → ℂ²⊗ℂ²に対応します。
直列接続はゲートを順番に適用する操作であり、射の合成に対応します。あるゲートの出力を次のゲートの入力に繋ぐ操作は、対応する射の合成g∘fとなります。
並列配置は複数の異なる量子ビットに別々のゲートを同時に適用する操作であり、それらの射のテンソル積に対応します。片方の量子ビットにゲートf: A → A’、もう片方にg: B → B’を同時にかける操作は、射f⊗g: A⊗B → A’⊗B’に相当します。
量子ワイヤ（回路の線）は何も操作を施さず情報を伝えるだけの部分であり、恒等射（identity）に対応します。モノイダル圏では各対象Aに恒等射id_A: A → Aがあることに対応し、量子回路図では単に何もないワイヤとして描かれます。
ストリング図式：図式的計算の威力
量子回路の「箱と線」の図式はモノイダル圏における射と対象、およびその合成やテンソルによって厳密に捉えられます。実際、圏論的には量子回路は対称モノイダル圏（対象の順序を交換できるモノイダル圏）の射の図式として定式化できます。
この図式表現はストリング図式と呼ばれ、図式上でゲート（射）を縦につなげる操作が射の合成に、横に並べる操作が射のテンソル積にそれぞれ対応します。このアプローチでは、量子回路で行われる線形代数的な計算が図の幾何学的操作（つなぐ・並べる）として理解できるという利点があります。
エンタングルと測定：拡張された構造
量子回路ではエンタングル（量子もつれ）や測定といった特徴的な操作も現れます。これらを厳密に扱うにはダガー圏（各射に”エルミート共役”に当たる逆方向の射がある）やコンパクト閉圏（双対対象が存在しワイヤを折り返す「カップ」や「キャップ」と呼ばれる構造がある）といったモノイダル圏の特別な構造が必要です。
コンパクト構造を持つ圏では、図式中でワイヤをU字状に接続してベル対状態（エンタングルした2量子ビットの対）を表現できます。これにより、量子テレポーテーションや測定を図で明示的に表すことが可能になります。
量子テレポーテーションのストリング図では、左からAliceの手元で絡み合ったBell対（カップ状の接続）を生成し、片方をBobへ送った上で、Aliceが測定を行い、古典通信を通じてBob側に測定結果を送り、Bobがそれに応じたユニタリ操作を施すことで、Aliceの初期の量子状態がBobの手元に転送される過程を視覚的に示すことができます。
このようなストリング図式では、図を幾何学的に変形（線を引き伸ばしたりスライドさせたり）することで、対応する代数的な等式を導くこともできます。実際、有限次元ヒルベルト空間上の量子回路で成り立つ等式は、ダガーコンパクト圏の図式変形によって証明可能であり、図式の論理はヒルベルト空間の行列計算と同等の表現力を持つことが示されています。
モノイダル圏の代表的な例：Hilb圏とSet圏
Hilb圏：量子力学の舞台
Hilb圏は量子力学に直接関連する重要なモノイダル圏です。ここで対象はヒルベルト空間（複素ヒルベルト空間）であり、射は有界線形作用素（線形写像）です。テンソル積⊗はヒルベルト空間の通常のテンソル積（直積空間）として与えられ、単位対象は一次元ヒルベルト空間（複素数全体ℂ）です。
FdHilb圏はHilb圏を有限次元に限定した部分圏で、対象を有限次元ヒルベルト空間に限ったものです。量子情報では主に有限次元（例えば2次元=量子ビット、3次元=量子三進法など）の系を扱うため、FdHilb圏が典型的なモデルになります。
Hilb圏やFdHilb圏は対称モノイダル圏（任意の対象についてA⊗B ≅ B⊗Aが成り立つ）であり、さらにダガー圏かつコンパクト閉圏でもあります。そのため、量子回路や量子プロトコルの図式表現に適した構造を全て備えています。
Set圏：古典系の記述
Set圏は集合と関数を対象・射とし、テンソル積として集合のデカルト積X × Yを備えたモノイダル圏です。単位対象は任意の集合との直積で同型になるような単一元集合（1要素集合）となります。
このSet圏は古典系の振る舞いを記述する場として重要です。2つの古典的な系（離散的な状態の集合）があるとき、その複合系の状態はデカルト積X × Y上の要素（一方の状態と他方の状態の組）で記述されます。
Set圏ではデカルト積は直積（積圏）でもあり、各対象に対して射Δ: X → X×X（要素をコピーする射）や射!: X → 1（情報を捨てる射）が存在します。このため、Set圏では情報の複製や消去が可能であり、これは古典情報が自由にコピー・廃棄できることに対応します。
量子と古典の違いを構造的に理解する
対照的にHilb圏におけるテンソル積は直積（積）ではなく、集合のデカルト積とは性質が異なります。Hilb圏では一般に射Δ: H → H⊗Hは存在せず（基底を固定しない限り自然には定義できない）、これが任意の量子状態をコピーすることは不可能であること（ノー・クローニング定理）と一致します。
同様に射H → Iも全ての状態については存在せず（トレース演算など特別な場合を除き）、任意の量子情報を消去することも一般にはできません（ノー削除定理）。
このように、Hilb圏のテンソル積がデカルト的でない（＝積圏ではない）ことが量子論に特有な振る舞い（もつれや非古典的な情報特性）を生み出す理由の一つと理解できます。モノイダル圏の具体例によって古典と量子の違いが構造的に理解できるのも圏論的手法の魅力です。
圏論的量子力学（CQM）の基本理念と展開
プロセス中心のアプローチ
量子力学の新たな基礎付けとして**圏論的量子力学（Categorical Quantum Mechanics, CQM）**が提唱されたのは21世紀初頭のことです。従来、量子論の数学的表現としてはヒルベルト空間が主流で、フォン・ノイマン以来の公理的枠組みでは状態はベクトル、観測は自己共役演算子などで記述されてきました。
しかし量子テレポーテーションや量子計算のように複数の系が絡み合う複雑な量子プロセスを考える場合、必ずしもヒルベルト空間という枠組みが直観的とは言えません。Samson AbramskyとBob Coeckeは2004年頃より、プロセスの合成という観点から量子の基礎を捉え直す研究プログラムを開拓しました。
彼らのアプローチでは、物理過程そのものを基本的対象とみなし、それらの結合の規則を圏論（特にモノイダル圏）の言葉で定式化します。これにより量子もつれ、量子通信プロトコル、量子計算などを図式的かつ構造的に理解する道が開かれました。
ダガーコンパクト圏とZX計算
圏論的量子力学の数学的背骨となっているのは、ダガー対称モノイダル圏あるいはダガーコンパクト圏と呼ばれる構造です。ダガー圏では各射に”逆向きの射”f†: B → Aが定義され（ヒルベルト空間の線形写像におけるエルミート共役に相当）、コンパクト圏では双対な対象A*が存在してカップやキャップといったワイヤの折り返しが可能になります。
有限次元ヒルベルト空間の圏（FdHilb圏）はまさにダガーコンパクト圏の代表例であり、したがってこの枠組みが量子力学を記述するのに適していることが分かります。射の合成は時間方向の継ぎ合わせ、テンソル積は空間的な並置と解釈されるため、量子プロセスの**図式論（ストリング図）**が自然に導入されます。
例えば、量子回路で用いられる基本的なCNOTゲートやHadamardゲートは、CQMの図式ではより基本的な代数構造（スペシャルなフロベニウス代数など）の組み合わせとして再構成され、図中の**クモ（spider）**と呼ばれる記号で表現されます。
このような図式のルールをまとめたものがZX計算（ZX-calculus）であり、これは量子ゲートをグラフ状の図で表し、各種の書き換え規則によって等価変形を行う手法です。ZX計算はカテゴリー的手法から生まれた強力なグラフィカル言語であり、実際に任意の2つの量子回路が表すユニタリ変換が等しいことの証明を図式上の変形で完結できる（完全性）ことが示されています。
抽象構造から量子現象を再現する
CQMにおける重要な成果の一つは、「一見弱い抽象的な構造から量子力学の現象を数多く再現できる」と示したことです。
例えばノー・クローニングやノー削除といった定理は、「ストリング図においてワイヤをY字に分岐させたり一端をなくしたりすることができない」という幾何学的制約として現れます。これはモノイダル圏の枠組みに量子論の特徴が自然に組み込まれている例です。
また量子テレポーテーションのプロトコルは、カップ（ベル対）と射の合成からなる簡潔な図として表現され、その正しさの証明も図操作で直観的に行えます。興味深いことに、この図式は別の圏（例えば集合と関数の圏）に置き換えることでワンタイムパッド暗号のプロトコルに対応し、量子テレポーテーションと古典的暗号が同一の図式的構造を共有することも示されます。
すなわち、抽象度の高いカテゴリー的枠組みだからこそ、古典的振る舞いと量子的振る舞いを単一の理論の中で扱い、互いを比較したり類推したりできるのです。
再構成研究と応用展開
圏論的量子力学の研究は活発に展開しており、量子計算のみならず量子基礎論にも新たな視点を提供しています。例えば、有限次元ヒルベルト空間上のダガーコンパクト圏の枠組みにいくつかの合理的な公理を課すことで、ヒルベルト空間の標準的な量子力学を再構成できることも示されています。
このような再構成研究は、カテゴリー的枠組みから量子論の特徴を導き出す試みとして注目されています。また、応用面ではグラフ書き換え系を用いた自動定理証明や量子回路の最適化への応用（例：ソフトウェア「Quantomatic」によるZX図式の自動簡約）なども進められています。
物理と計算の接点において、カテゴリー理論は言語の壁を越えて概念の共通基盤を提供していると言えるでしょう。
初学者向け文献と学習リソース
日本語で学べる教科書
圏論的量子力学は比較的新しい分野ですが、入門者向けの資料も徐々に整ってきています。
『圏論的量子力学入門』（ボブ・コーケ、アレクサンダー・キッシンジャー著、森北出版、2021年）は、グラフィカルな計算（ストリング図）に重点を置いた包括的教科書の日本語訳です。図を多用し圏論の知識がなくても読める構成になっており、量子情報分野の大学院教材としても用いられています。
『圏論的量子力学』（クリス・ヒューネン、ジェイミー・ビカリー著、森北出版、2021年）は、より数学的厳密さをもってCQMを解説する入門書の日本語訳です。モノイダル圏の基礎理論から始めて段階的に量子の概念を構築する内容となっています。
両者は互いに補完的なアプローチをとっており、合わせて学ぶことで理解が深まる可能性があります。
英語の原著と論文
原著としては、Coecke & Kissinger著 “Picturing Quantum Processes” (2017) とHeunen & Vicary著 “Categories for Quantum Theory” (2019) が代表的です。
論文・レビューでは、AbramskyとCoeckeによる最初の提唱論文 “Categorical Quantum Mechanics” (2004, 2008)が、プロトコルの図式的記法（特に量子テレポーテーション）を導入した古典的論文です。またCoeckeによる “Quantum Picturalism” (2009) は図式アプローチの原理を平易に説いた記事で、量子プロトコルを絵で示す方法が紹介されています。
オンラインリソース
圏論やCQMに関するオンライン講義や記事も増えてきています。ケンブリッジ大学のPIRSA動画「Where quantum meets logic… in a world of pictures!」は、図式による量子論の紹介講義です。
またnLabやQuantum Wikiにはストリング図式や対称モノイダル圏の項目があり、定義や性質がまとまっています。日本語ではTANAAKK氏のブログ記事「モノイド圏」に定義や応用例がわかりやすく整理されており、初学者の手がかりになるでしょう。
まとめ：圏論が拓く量子力学の新たな地平
本記事では、モノイダル圏の基本概念から量子回路との構造的対応、そして圏論的量子力学（CQM）の基礎までを解説しました。
モノイダル圏は単なる抽象数学に留まらず、物理学に新たな視点を与える強力な道具となっています。その直観的な図式言語は量子現象の本質を捉える手助けとなり、さらには古典的現象との架橋にもなり得ます。
特に重要なのは、圏論的アプローチが「プロセスの合成」という観点から量子力学を再構築し、複雑な量子プロトコルを視覚的かつ構造的に理解する道を開いたことです。ノー・クローニング定理やノー削除定理といった量子論の特徴的性質が、モノイダル圏の構造から自然に導かれることは、この枠組みの深さを示しています。
今後この分野を深めることで、量子理論の理解や量子計算の手法にさらなる発展が期待できるでしょう。量子コンピュータの実用化が進む中、圏論的手法は量子アルゴリズムの設計や最適化、さらには量子エラー訂正といった実践的課題にも貢献する可能性があります。
コメント