[論文レビュー] POVMs and Naimark's theorem without sums

Bob Coecke, Eric Paquette|ArXiv.org|Aug 8, 2006

Algebraic structures and combinatorial models参考文献 18被引用数 14

ひとこと要約

本稿は、ダガー・コンパクト圏と抽象的テンソル構造を用いて、加法的構造に依存せず、完全に圏論的かつ和自由なPOVMの定義を提示する。加法的構造に依存せずに、グラフィカルな手法によりナイマークの定理を証明する。抽象的POVMと拡張された系における射影測定の間には一対一対応が確立され、FdHilbの状況では標準的なヒルベルト空間定義が回復される。

ABSTRACT

We provide a definition of POVM in terms of abstract tensor structure only. It is justified in two distinct manners. i. At this abstract level we are still able to prove Naimark's theorem, hence establishing a bijective correspondence between abstract POVMs and abstract projective measurements on an extended system, and this proof is moreover purely graphical. ii. Our definition coincides with the usual one for the particular case of the Hilbert space tensor product. We also point to a very useful normal form result for the classical object structure introduced in quant-ph/0608035.

研究の動機と目的

• 加法的構造（和やトレース）を明示的に用いずに、乗法的および圏論的構造にのみ依存するPOVMの定義を提供すること。
• ダガー・コンパクト圏の構造にのみ依存する、完全に図式的（グラフィカル）な設定でナイマークの定理を証明すること。
• ヒルベルト空間の和に言及せずに、抽象的POVMと拡張された系における射影測定の間の一対一対応を確立すること。
• 抽象的定義が有限次元ヒルベルト空間の圏FdHilbに適用された際に、標準的なPOVMの概念が回復されることを示すこと。
• CPM構成における古典的対象の正規形を導入・利用し、量子プロセスにおける古典的データの扱いを簡略化すること。

提案手法

• ダガー・コンパクト圏における正および完全正マップに基づく圏論的構成を用い、CPM構成によりPOVMを定義する。
• グラフィカル計算（ストリング図）を用いて射を表現・推論し、代数的変形の代わりに位相的推論を用いる。
• 拡張された系における射影子値スペクトルを特徴付けるために、X-正性およびX-イデムポテンスの概念を導入する。
• 古典的対象構造とデコherence射を用いて、抽象的POVMから拡張された系における射影測定を構成する。
• Xスカラーの逆元の正規化とキャンセルを活用し、図式的証明を簡略化し、抽象的POVMと標準的POVMの同値性を確立する。
• CPM構成を適用して標準的量子操作および混合状態を回復し、ヒルベルト空間形式と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 カテゴリカル量子力学の枠組みにおいて、和やトレースといった加法的構造に依存せずにPOVMを定義できるか？
• RQ2 ダガー・コンパクト圏において、完全に図式的かつ和自由な方法でナイマークの定理を導出可能か？
• RQ3 抽象的圏論的POVM定義が、FdHilbに適用された際に、標準的なヒルベルト空間定義を回復するか？
• RQ4 古典的データをどのように抽象的に表現・操作すれば、POVMおよび射影測定の構造を支えることができるか？
• RQ5 X完全性および正規化は、抽象的設定におけるナイマーク構成の正しさと一対一性を保証するために果たす役割は何か？

主な発見

• 本稿は、ダガー・コンパクト圏におけるCPM構成を活用することで、加法的構造（和やトレース）を明示的に用いずに、乗法的および圏論的構造のみに依存するPOVMの定義に成功した。
• 完全な図式的証明により、抽象的POVMと拡張された系における射影測定の間の一対一対応が示された。
• FdHilbの圏に適用した際、標準的なヒルベルト空間におけるPOVMの定義が回復され、従来の形式的体系と整合することが確認された。
• X-正性、X-イデムポテンス、X-自己随伴性の使用により、拡張された系における射影子値スペクトルの定義が可能となり、射影測定の実現が可能になった。
• 正規化補題により、古典的データの図式的取り扱いが簡略化され、逆Xスカラーのキャンセルが可能になり、複雑な図が標準形に還元された。
• 証明により、デコherence射がイデムポテンスの性質によりキャンセルされることが示され、状態の崩壊を無視しても、測定プロセスの核心に集中できるようになった。