[论文解读] A functorial characterization of von Neumann entropy

Arthur J. Parzygnat|arXiv (Cornell University)|Sep 15, 2020

Computability, Logic, AI Algorithms参考文献 45被引用 8

一句话总结

本文通过在有限维 $C^*$-代数上引入凸格罗滕迪克纤维丛，提供了冯·诺伊曼熵的函子性表征，表明熵差值由类似于 Baez、Fritz 和 Leinster 对香农熵所提出的公理唯一确定。关键结果表明，分解的存在性——即广义的贝叶斯条件——可确保熵差值的非负性，从而解决了将经典熵表征推广至量子系统时的核心障碍。

ABSTRACT

Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez, Fritz, and Leinster characterizing the Shannon entropy difference. The existence of disintegrations for classical probability spaces plays a crucial role in our characterization.

研究动机与目标

• 将 Baez、Fritz 和 Leinster 所提出的香农熵的函子性表征（如其工作所述）推广至量子情形，使用冯·诺伊曼熵。
• 解决量子系统中熵差值可能为负的问题，这与经典概率情形不同。
• 解决量子概率空间并非如经典情形中那样由单一对象凸生成的问题。
• 表明在有限维量子系统中分解的存在性可确保熵差值的非负性。
• 通过纤维化仿射函子与凸范畴，提供冯·诺伊曼熵的完全函子性框架。

提出的方法

• 本文引入凸格罗滕迪克纤维丛，以建模配备状态的有限维 $C^*$-代数之间的保持状态的 $*$-同态。
• 在有限维单位 $C^*$-代数范畴上定义纤维丛，其纤维由量子概率空间组成。
• 冯·诺伊曼熵被表征为从范畴 $\mathbf{NCFinProb}$ 到范畴 $\mathbb{B}\mathbb{R}_{\geq 0}$ 的纤维化仿射函子，其态射由非负实数的加法给出。
• 公理由连续性、归一化以及一种推广经典熵链式法则的正交仿射条件组成。
• 利用分解的存在性（最优假设）来强制熵差值的非负性，这与 BFL 在经典情形中的假设相呼应。
• 该框架确保在 $*$-同构与部分等距包含下不变，从而作为公理的推论，恢复了冯·诺伊曼熵的标准不变性性质。

实验结果

研究问题

• RQ1 冯·诺伊曼熵能否被唯一表征为从有限维非交换概率空间到非负实数的函子，类似于 Baez-Fritz-Leinster 对香农熵的表征？
• RQ2 在函子性框架中，如何解决量子系统中熵差值的符号模糊性问题？
• RQ3 分解（最优假设）在确保量子系统中熵差值非负性方面发挥何种作用？
• RQ4 为何经典概率空间的凸分解在量子情形下失效，以及如何在范畴论框架中克服此问题？
• RQ5 纤维化仿射函子与凸格罗滕迪克纤维丛如何实现量子熵的一致表征？

主要发现

• 冯·诺伊曼熵被唯一表征（至多一个非负常数）为从 $\mathbf{NCFinProb}$ 到 $\mathbb{B}\mathbb{R}_{\geq 0}$ 的连续、仿射且正交可加的函子。
• 在有限维量子系统中分解的存在性意味着熵差值的非负性，从而解决了扩展经典表征的关键障碍。
• 公理确保在 $*$-同构与部分等距嵌入下不变，从而作为公理的推论，恢复了冯·诺伊曼熵的标准不变性性质。
• 该框架通过将 $\mathbf{FinProb}$ 替换为 $\mathbf{NCFinProb}$（即有限维非交换概率空间的范畴）推广了经典 BFL 表征。
• 该表征不假设在交换子代数上成立香农熵公式，而是作为公理与分解存在性的推论得出。
• 该方法为量子系统中兰道尔原理提供了范畴论基础，表明当分解存在时，熵的增加与确定性动力学相容。