[论文解读] Monadic Dynamics

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

Quantum Mechanics and Applications参考文献 10被引用 4

一句话总结

本文提出了一种类单子框架，将物理理论中的动力学形式化为初值问题，表明组合动力学自然定义了一个规范的时间概念。通过将柯西面表征为单子的克利斯利范畴中的自同构，并证明其与路径空间表述的等价性，本文确立了时间与变化相互定义——这为亚里士多德的观点提供了支持。

ABSTRACT

We develop a monadic framework formalising an operational notion of dynamics, seen as the setting and evolution of initial value problems, in general physical theories. We identify in the Eilenberg-Moore category the natural environment for dynamical systems and characterise Cauchy surfaces abstractly as automorphisms in the Kleisli category. Our main results formally vindicates the Aristotelian view that time and change are defined by one another. We show that dynamics which respect the compositional structure of physical systems always define a canonical notion of time, and give the conditions under which they can be faithfully seen as actions of time on physical systems. Finally, we construct state spaces and path spaces, and show that our framework to be equivalent to the path space approaches to dynamics. The monadic standpoint is thus as strong as the established paradigms, but the shift from histories to dynamics helps shed new light on the nature of time in physics. In the appendix we present some additional structures of wide applicability, introduce prop- agators and draft applications to quantum theory, classical mechanics and network theory.

研究动机与目标

• 将物理理论中的动力学操作性概念形式化为初值问题的设定与演化。
• 将艾伦伯格-莫尔范畴识别为动力系统自然的范畴设定。
• 在单子的克利斯利范畴中，以抽象方式表征柯西面为自同构。
• 确立组合动力学产生规范时间概念，支持亚里士多德关于时间与变化相互依存的观点。
• 构建状态空间与路径空间，并证明类单子框架与标准路径空间方法之间的等价性。

提出的方法

• 使用单子来建模物理系统的动力学，其中艾伦伯格-莫尔范畴为动力系统提供了范畴环境。
• 使用克利斯利范畴来表示编码初始数据演化的态射，将柯西面识别为该范畴中的自同构。
• 通过范畴构造定义状态空间与路径空间，确保与既有的物理表述兼容。
• 通过范畴同构建立类单子框架与路径空间方法之间的等价性。
• 通过衍生结构（如传播子）将该框架应用于经典力学、量子理论与网络理论。
• 使用抽象范畴论工具，确保物理系统之间组合结构的保持，从而实现规范时间的定义。

实验结果

研究问题

• RQ1 如何通过范畴论将物理理论中的动力学正式捕捉为初值问题？
• RQ2 物理系统组合结构在何种意义上催生了规范的时间概念？
• RQ3 柯西面如何在范畴框架中被抽象表征？
• RQ4 在何种条件下，动力学可被忠实解释为时间对物理系统的动作？
• RQ5 类单子框架与既有的路径空间动力学表述在多大程度上等价？

主要发现

• 尊重物理系统组合结构的动力学始终定义一个规范的时间概念，形式化了亚里士多德关于时间与变化相互依存的观点。
• 柯西面在单子的克利斯利范畴中被正式表征为自同构，提供了抽象的范畴定义。
• 类单子框架构建的状态空间与路径空间在范畴上等价于标准的路径空间表述。
• 该框架被证明与既有的理论范式具有同等强度，通过从历史转向动力学的视角转换，为物理学中时间的本质提供了新见解。
• 在附录中引入了传播子及其他结构，初步应用于量子理论、经典力学与网络理论。
• 类单子方法与路径空间方法之间的等价性已正式确立，验证了该框架与现有物理形式化的一致性。