[论文解读] H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics

Samson Abramsky, Chris Heunen|arXiv (Cornell University)|Nov 28, 2010

Advanced Algebra and Logic被引用 16

一句话总结

本文引入H*-代数作为弗罗贝尼乌斯代数在无限维希尔伯特空间中的范畴化推广，实现了对标准正交基和离散谱可观测量的代数刻画。研究证明：希尔伯特空间中的H*-代数恰好对应于标准正交基，并且非单位弗罗贝尼乌斯代数与H*-代数完全一致的充要条件是满足正定性与有限性条件。

ABSTRACT

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*-algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

研究动机与目标

• 将量子力学的范畴公理化推广至无限维希尔伯特空间，以克服标准弗罗贝尼乌斯代数因依赖单位元而在该情形下失效的问题。
• 定义一种适用于任意维度的弗罗贝尼乌斯结构的一般概念，尤其适用于离散谱的可观测量。
• 厘清对称单一路德范畴中非单位弗罗贝尼乌斯代数与H*-代数之间的关系，特别是在希尔伯特空间和广义关系范畴中的情形。
• 在无限维情形下，为标准正交基和量子可观测量提供一个范畴框架，使用在有限维情形下退化为标准概念的代数结构。
• 探讨非单位弗罗贝尼乌斯代数与H*-代数在何种条件下一致，特别是在正矩阵范畴和广义关系范畴中。

提出的方法

• 在对称单一路德范畴中引入H*-代数作为范畴结构，推广带有弗罗贝尼乌斯结构的*-代数概念。
• 通过余乘法、乘法和对合运算定义H*-代数，满足特定的路德与弗罗贝尼乌斯公理，在希尔伯特空间中退化为标准概念。
• 证明在希尔伯特空间范畴中，H*-代数恰好对应于标准正交基，因此也对应于离散谱的可观测量。
• 建立非单位弗罗贝尼乌斯代数在希尔伯特空间中成为H*-代数的等价条件，包括余乘法矩阵的正定性与有限支集。
• 证明在广义关系范畴与正矩阵范畴（如Mat(ℓ²(ℝ⁺)))中，H*-代数与非单位弗罗贝尼乌斯代数始终一致，原因在于不存在破坏性干涉。
• 利用矩阵表示与逐点对合（x* = x⁻¹）分析矩阵范畴中弗罗贝尼乌斯代数的结构，尤其关注ℓ²(ℝ⁺)-取值矩阵。

实验结果

研究问题

• RQ1 弗罗贝尼乌斯代数能否被推广至无限维希尔伯特空间，以描述标准正交基和离散谱可观测量？
• RQ2 在无限维情形下，何种范畴结构可推广弗罗贝尼乌斯代数，同时保持与标准正交基的对应关系？
• RQ3 在希尔伯特空间范畴中，非单位弗罗贝尼乌斯代数与H*-代数在何种条件下一致？
• RQ4 H*-代数在广义关系范畴与正矩阵范畴中表现如何？它们是否始终与非单位弗罗贝尼乌斯代数一致？
• RQ5 是否能不依赖有限维性，通过范畴化公理化方式刻画无限维量子力学中可观测量的代数结构？

主要发现

• 在希尔伯特空间范畴（Hilb）中，H*-代数与标准正交基之间存在一一对应关系，因此为离散谱的量子可观测量提供了范畴化刻画。
• Hilb中的弗罗贝尼乌斯代数满足H*-代数条件（H）当且仅当其余乘法矩阵在某个基下具有非负元素，这等价于代数为一维代数的有限直和。
• 在范畴Matℓ²(ℝ⁺)中，每个弗罗贝尼乌斯代数都满足条件（H），即对应于一个标准正交基，因此是H*-代数。
• 在广义关系范畴（如lbfRel、Mat(S)，其中S为交换幺半群）中，H*-代数与非单位弗罗贝尼乌斯代数始终一致，原因在于不存在破坏性干涉。
• 在Hilb中，非单位弗罗贝尼乌斯代数与H*-代数的等价性成立，当且仅当余乘法由具有非负元素与有限支集的矩阵表示。
• 本文证明：Hilb中的弗罗贝尼乌斯代数结构是H*-代数，当且仅当余乘法为正算子且具有有限秩，且代数可分解为有限个一维分量的直和。