[論文レビュー] Toy quantum categories

Bob Coecke, Bill Edwards|ArXiv.org|Aug 7, 2008

Quantum Mechanics and Applications参考文献 7被引用数 37

ひとこと要約

この論文は、デカルト積をテンソル積として使用する、有限集合と関係のデカルトコンパクト圏 **FRel** の中で、ロブ・スペッケンスの玩具的量子理論が部分圏として現れることを示している。**FRel** における2要素集合 {0,1} が、デカルトフロベニウス代数を介して2つの補完的観測可能を実現しており、補完性といった主要な量子的特徴が、量子固有の公理ではなく、一般の圏論的構造から生じることを明らかにしている。

ABSTRACT

We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category FRel of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact very general category-theoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set FRel.

研究の動機と目的

• スペッケンスの玩具的量子理論が、デカルトコンパクト圏内の圏論的量子公理的体系の具体例であることを示すこと。
• 有限集合と関係の圏 **FRel** が、2要素集合 {0,1} 上で補完的量子観測可能を支持することを示すこと。
• 玩具的モデルにおける量子的類似性質が、偶然ではなく、対称モノイダル圏におけるデカルトフロベニウス代数の一般的構造的特徴から生じることを明らかにすること。
• 補完的観測可能が行列計算や双積構造から生じる必要があるという仮定に反論し、**FRel** における補完的観測可能が双積構造に起因しないことを示すこと。
• 離散的かつ有限なモデルが、量子性質のモデルチェックおよび量子的特徴に必要な最小限の数学的構造を同定するためのツールとして機能することを確立すること。

提案手法

• スパッケンスの玩具的モデルを、有限集合と関係のデカルトコンパクト圏 **FRel** の部分圏として形式化する。ここでテンソル積はデカルト積として使用される。
• 観測可能（observable）を **FRel** 内のデカルトフロベニウス代数として表現し、その余乗法と余汎用構造が基底状態のコピーと削除に対応することを示す。
• 基底構造を持つデカルト対称モノイダル圏（デカルト-SMC）の圏論的枠組みを用いて、測定や補完性といった量子的特徴をモデル化する。
• {0,1} 上に2つの補完的観測可能を作成する。それぞれが双積分解に起因しない異なるデカルトフロベニウス代数によって実現される。
• 有限対象における圏論的行列計算を適用し、**FRel** が双積圏であっても、このモデルが標準的な行列領域外に位置することを示す。
• デカルト構造による状態と効果の双対性を活用し、量子的類似の状態準備や測定を解釈する。

実験結果

リサーチクエスチョン

• RQ1 スパッケンスの玩具的量子理論は、デカルトコンパクト圏内での圏論的具体例として導出可能か？
• RQ2 玩具的モデルの量子的類似特徴（例えば補完性）は、量子固有の公理ではなく、一般の圏論的原則から生じるのか？
• RQ3 **FRel** 内で双積や行列に基づく構成に依存せずに、2要素集合 {0,1} 上に補完的観測可能を作成可能か？
• RQ4 デカルト-SMC のどの構造的特徴が、不兼容な測定といった主要な量子現象をモデル化するために必要かつ十分か？
• RQ5 離散的かつ有限な圏、例えば **FRel** は、量子力学のモデルチェックツールとしてどの程度有効に機能するか？

主な発見

• スパッケンスの玩具的量子理論は、**FRel** の完全な部分圏と同型であり、デカルトコンパクト圏内での圏論的基盤を確立している。
• {0,1} という2要素集合は、**FRel** 内で2つの補完的観測可能を持つ。それぞれがデカルトフロベニウス代数として表現されており、補完性が量子系に特有のものではないことを示している。
• {0,1} 上の2つの補完的観測可能のうちの1つは、双積構造に起因しない。これは、過去の研究で「基底構造の唯一の出処は双積である」との主張に反する。
• このモデルは、非可換な観測可能や状態準備といった量子的類似特徴が、ヒルベルト空間や行列表現を必要としない、純粋に離散的かつ有限な圏でも実現可能であることを示している。
• **FRel** に補完的観測可能が存在することは、古典的構造と量子的構造の境界を曇らせており、その違いが圏のタイプではなく、より深い圏論的公理に起因する可能性を示唆している。
• 結果から、量子的特徴に必要な核心的数学的構造は、ヒルベルト空間の完全な道具立てではなく、デカルトコンパクト圏におけるデカルトフロベニウス代数の存在であることが示唆される。