[論文レビュー] Categorical Quantum Dynamics

Stefano Gogioso|arXiv (Cornell University)|Sep 28, 2017

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

ひとこと要約

この論文は、ダガー・コンパクト圏を用いて、図式的記法を用いて量子過程、状態、効果を統一的に扱うカテゴリカルな枠組みを導入する。対称モノイダル圏における量子操作とモルフィズムの対応関係を確立し、量子観測のためのフロベニウス則および特異性則の導出、双対性と随伴による純粋状態および効果の特徴付けといった主要な結果を提示する。

ABSTRACT

We use strong complementarity to introduce dynamics and symmetries within the framework of CQM, which we also extend to infinite-dimensional separable Hilbert spaces: these were long-missing features, which open the way to a wealth of new applications. The coherent treatment presented in this work also provides a variety of novel insights into the dynamics and symmetries of quantum systems: examples include the extremely simple characterisation of symmetry-observable duality, the connection of strong complementarity with the Weyl Canonical Commutation Relations, the generalisations of Feynman's clock construction, the existence of time observables and the emergence of quantum clocks. Furthermore, we show that strong complementarity is a key resource for quantum algorithms and protocols. We provide the first fully diagrammatic, theory-independent proof of correctness for the quantum algorithm solving the Hidden Subgroup Problem, and show that strong complementarity is the feature providing the quantum advantage. In quantum foundations, we use strong complementarity to derive the exact conditions relating non-locality to the structure of phase groups, within the context of Mermin-type non-locality arguments. Our non-locality results find further application to quantum cryptography, where we use them to define a quantum-classical secret sharing scheme with provable device-independent security guarantees. All in all, we argue that strong complementarity is a truly powerful and versatile building block for quantum theory and its applications, and one that should draw a lot more attention in the future.

研究の動機と目的

• 双対性を備えた対称モノイダル圏を用いて、量子ダイナミクスの統一的カテゴリカル枠組みを構築すること。
• 図式的記法とモルフィズムを用いて、状態、効果、変換を含む量子過程をモデル化すること。
• 双対性と随伴が、量子観測および測定の特徴付けにおいて果たす役割を確立すること。
• 量子系における構造的法則（フロベニウス則および特異性則など）が、カテゴリカルな文脈でどのように導かれるかを明らかにすること。
• チョイ・ジャミオルスキ異性体と自己随伴イデムポテン成分を介して、カテゴリカル構造を標準的量子力学と結びつけること。

提案手法

• オブジェクトがヒルバート空間を表し、モルフィズムが量子操作を表すダガー・コンパクト圏を用いて、量子系をモデル化する。
• 合成およびモルフィズムのテンソル積を表すために、図式的記法（ストリング図）を適用し、単位、余単位、双対性写像を含む。
• カップおよびキャップ写像（η_A および ε_A）を双対化同型と定義し、σ_{A,B} を用いて系の交換を記述する。
• 双対性を用いて随伴操作 f† を定義し、f: A → B と f*: B* → A* を関連づけ、自己随伴写像では f* = f† となるようにする。
• カテゴリカル公理からフロベニウス則および特異性条件を導出し、それらが量子測定および複写にどのように関連するかを明らかにする。
• チョイ・ジャミオルスキ異性体を用いて、純粋状態および効果を双対性と随伴を用いて特徴づける。具体的には、状態準備と測定に ∑|e_j⟩⊗|e_j⟩ 及びその双対を用いる。

実験結果

リサーチクエスチョン

• RQ1 双対性を備えた対称モノイダル圏の中で、量子ダイナミクスはどのように公理化可能か？
• RQ2 量子情報の複写および削除が可能であるという性質を裏付けるカテゴリカル構造は何か？
• RQ3 フロベニウス則および特異性則は、カテゴリカルな双対性と随伴からどのように導かれるか？
• RQ4 随伴操作 f† は、圏におけるプロセスとその双対をどのように関連付けるか？
• RQ5 純粋状態および効果は、特にチョイ・ジャミオルスキ異性体を介して、圏内のモルフィズムとどのように対応するか？

主な発見

• C がダガー・コンパクトかつ自己随伴であるとき、完全正の写像の圏（CPM[C]）は元の圏 C と同型であることが示された。
• すべてのオブジェクト A に対してフロベニウス則が成り立ち、複写および削除操作の合成における一貫性が保証される。
• 特異性条件は双対性構造から導かれる。これは、A 上の恒等写像のトレースが dim(A) に等しいことを示し、量子次元と関連付ける。
• 写像 ∑|e_j⟩⊗|e_j⟩ は標準的なカップ（エンタングル状態）を定義し、その双対 ∑⟨e_j|⊗⟨e_j| はキャップを定義する。これにより、状態準備と測定が可能になる。
• モルフィズム f: A → B の随伴は f†: B* → A* で与えられ、f* = f† である。これにより、圏に自己随伴構造が確立される。
• 中心的自己随伴イデムポテン成分 p は p† = p および p∘p = p を満たし、圏内での射影に対応する。特に、正規直交基底に対して p = ∑|e_j⟩⟨e_j| と表される。