[論文レビュー] Concrete Foundations for Categorical Quantum Physics

Daniel Lehmann|arXiv (Cornell University)|Dec 29, 2010

Quantum Mechanics and Applications参考文献 12被引用数 3

ひとこと要約

本稿は、コンパクト閉包をアドジョイント構造、ユニタリ同値性における普遍的テンソル積、およびアドジョイント-compatibleな余積による双積に置き換える、最小限で物理的に根拠のあるカテゴリカル量子力学の枠組みを提案する。一般化されたノークーリング定理を確立し、クローン化はユニット対象でのみ可能であることを示しており、複素ヒルバート空間や加法的構造を仮定せずに、量子のノークーリング原理の基礎的カテゴリカル的根拠を提供する。

ABSTRACT

An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke, tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assume compact closure. Adjoint arrows, tensor products and biproducts are the ingredients of this presentation. Tensor products are defined, up to a unitary arrow, by a universal property related to transformations of composite systems, not by assuming a monoidal structure. Entangled states of a tensor product define mixed states on the components of the tensor product. Coproducts that fit the adjoint structure are shown to be defined up to a unitary arrow and to provide biproducts. An abstract no-cloning result is proved.

研究の動機と目的

• コンパクト閉包に依存しない、より物理的に直感的で最小限のカテゴリカル量子力学の枠組みを構築すること。
• スカラー、ベクトル加法、テンソル積といった数学的構造の物理的意味を明確にすること。
• エンタングルメント、混合状態、重ね合わせが、ヒルバート空間の公理ではなく、アドジョイントおよび普遍的性質から自然に生じることを示すこと。
• カテゴリ理論の文脈で一般化されたノークーリング結果を証明し、クローン化がユニット対象でのみ可能であることを示すこと。
• ベースを前提とせず、乗法的記述によって、状態、観測量、エンタングルメントといった量子概念を記述すること。

提案手法

• 時間反転対称性とユニタリ変換をアドジョイント構造を用いて形式化し、ヒルバート空間を仮定せずに自己随伴射およびユニタリ射を定義する。
• ユニタリ同値性の意味で普遍的性質によるテンソル積の定義により、モノイダル圏の公理や加法的構造を回避する。
• アドジョイントに適合する余積を用いて双積を導入し、それがユニタリ同型の意味で一意に定まることを示す。
• 混合状態を反線形写像の合成としてモデル化し、新たな抽象的特徴付けを提供する。
• 弱いスカラー構造（加法と乗法について閉じているが、必ずしもCやRに同型ではない）を採用しながらも、主要な量子的特徴を保持する。
• 普遍的特徴付けを用いて、対称および反対称テンソル積の性質を導出し、ボソンおよびフェルミオンとの関連を示唆する。

実験結果

リサーチクエスチョン

• RQ1 エンタングルメントや重ね合わせといった量子現象が、ヒルバート空間やコンパクト閉包を仮定せずに、カテゴリカル構造から導けるか。
• RQ2 ユニタリ同値性による普遍的性質で定義されたテンソル積の物理的意味は何か。
• RQ3 アドジョイント構造と普遍的余積が、量子的文脈における双積および直交性の概念をどのように生じさせるか。
• RQ4 特定のヒルバート空間の性質に依存せずに、一般化されたカテゴリカル枠組みでノークーリング定理を導けるか。
• RQ5 この枠組みにおいて、スカラー構造が古典的系と量子的系を区別する役割を果たすか。

主な発見

• 本稿は、Qカテゴリにおける対象がクローン可能であるための必要十分条件が、それがユニット対象であることであることを証明しており、一般化されたカテゴリカルなノークーリング定理を確立している。
• テンソル積は、モノイダル構造や加法的演算を仮定せずに、ユニタリ同値性の意味で普遍的性質によって定義されている。
• 余積がアドジョイント構造と適合する場合、双積が存在し、ユニタリ同型の意味で一意に定まることを示している。
• 混合状態は、2つの反線形写像の合成として特徴付けられており、新たな抽象的記述が得られている。
• 本フレームワークは、複素数やヒルバート空間の公理を仮定せずに、ベースフリーで乗法的な記述によって、量子状態、観測量、エンタングルメントを扱える。
• 結果から、ボソンとフェルミオンの違いが、対称および反対称テンソル積の普遍的特徴付けによって捉えられる可能性があることが示唆される。