[论文解读] Categorical Semantics for Schrödinger's Equation

Stefano Gogioso|arXiv (Cornell University)|Jan 23, 2015

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

一句话总结

本文提出了一种基于单子动力学和范畴量子力学中强互补结构的有限维量子动力学范畴框架。它建立了幺正时间演化与能量可观测量之间的对偶性，证明了满足量子不确定关系的共轭时间/能量可观测量的存在性，并通过 Eilenberg-Moore 代数和有限群上的傅里叶变换，给出了薛定谔方程和费曼时钟构造的范畴化表述。

ABSTRACT

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case).

研究动机与目标

• 在范畴量子力学中，为模拟有限维量子动力学建立一个系统的范畴框架。
• 通过强互补的经典结构，将量子时钟形式化为编码时间平移对称性的物理系统。
• 建立幺正动力学与哈密顿量之间的对偶性，并通过庞特里亚金对偶性表征能量可观测量。
• 作为 Eilenberg-Moore 同态条件的范畴推导，提供薛定谔方程的范畴化表述，并验证费曼时钟构造的有效性。
• 证明在遗忘时钟后总能量守恒，并确定动力系统中内部时间可观测量存在的条件。

提出的方法

• 使用单子的 Eilenberg-Moore 范畴来建模由量子时钟控制的量子动力系统。
• 通过 fdHilb 中的一对强互补经典结构（†-Frobenius 代数）编码时间平移对称性。
• 将哈密顿量定义为幺正动力的伴随算子，其本征值属于时间群 G 的庞特里亚金对偶。
• 应用傅里叶变换，将幺正演化与能量可观测量的谱测度联系起来。
• 利用有限群上的斯通定理，通过谱投影算子重构幺正动力。
• 将该框架应用于量子线路，并通过基态编码验证费曼时钟构造的有效性。

实验结果

研究问题

• RQ1 如何在范畴量子力学中，利用强互补结构正式定义量子时钟？
• RQ2 幺正动力与能量可观测量之间的范畴对偶性是什么？它与正则对易关系有何关联？
• RQ3 在此框架中，薛定谔方程能否作为 Eilenberg-Moore 同态上的抽象条件来表述？
• RQ4 在何种条件下，量子动力系统会拥有内部时间可观测量？这与与时钟同步的关系如何？
• RQ5 费曼时钟构造如何作为范畴动力学与谱理论的推论而自然浮现？

主要发现

• 在 fdHilb 中，强互补性等价于正则对易关系，意味着有限维量子时钟存在共轭的时间与能量可观测量对。
• 时间/能量不确定关系被实现为对应于互补结构的正交基之间的相互无偏性。
• 薛定谔方程被表征为从量子时钟到动力系统的 Eilenberg-Moore 同态定义方程的“能量视角”。
• 费曼时钟构造作为该框架的推论得到验证，其中哈密顿量的基态编码了量子线路的完整历史。
• 遗忘同步时钟后，剩余系统中总能量守恒，总能量算符由各能量谱之和给出。
• 证明了斯通定理的有限维类比，通过在庞特里亚金对偶群上积分，从哈密顿量的谱测度重构幺正时间演化。