[论文解读] Categorical Quantum Dynamics

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

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

一句话总结

本文提出了一种使用 dagger compact 范畴的量子动力学范畴框架，通过图形演算统一了量子过程、态和效应。它在具有对偶性的对称张量范畴中建立了量子操作与态射之间的对应关系，关键结果包括从范畴公理推导出的量子可观测量的 Frobenius 和特殊性定律，以及通过对偶性和伴随关系对纯态和效应的表征。

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.

研究动机与目标

• 开发一种使用具有对偶性的对称张量范畴的统一范畴框架，用于量子动力学。
• 使用图形演算和态射对包括态、效应和变换在内的量子过程进行建模。
• 阐明对偶性和伴随关系在表征量子可观测量和测量中的作用。
• 从范畴设定中推导出控制量子系统的结构性定律，如 Frobenius 和特殊性定律。
• 通过 Choi-Jamiołkowski 同构和自伴幂等元，将范畴结构与标准量子力学联系起来。

提出的方法

• 使用 dagger compact 范畴对量子系统进行建模，其中对象代表希尔伯特空间，态射代表量子操作。
• 应用图形演算（弦图）表示态射的复合与张量积，包括单位元、余单位元和对偶映射。
• 将杯图（cup）和帽图（cap）映射（η_A 和 ε_A）定义为对偶化同构，σ_{A,B} 用于交换系统。
• 通过范畴对偶性引入伴随运算 f†，将 f: A → B 与 f*: B* → A* 关联，当映射自伴时 f* = f†。
• 从范畴公理推导出 Frobenius 定律和特殊性条件，将其与量子测量和复制操作联系起来。
• 通过 Choi-Jamiołkowski 同构表征纯态和效应，使用 ∑|e_j⟩⊗|e_j⟩ 及其对偶表示态制备和测量。

实验结果

研究问题

• RQ1 如何在具有对偶性的对称张量范畴中公理化量子动力学？
• RQ2 哪些范畴结构支撑了量子信息的复制与删除能力？
• RQ3 Frobenius 定律和特殊性条件如何从范畴对偶性和伴随关系中自然导出？
• RQ4 伴随运算 f† 在范畴中将过程与其对偶关联起来的作用是什么？
• RQ5 纯态和效应如何对应于范畴中的态射，特别是通过 Choi-Jamiołkowski 同构？

主要发现

• 当范畴 C 是 dagger compact 且自伴时，完全正映射的范畴（CPM[C]）与原始范畴 C 同构。
• Frobenius 定律对范畴中所有对象 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| 对应于正交基。