[论文解读] Dagger and Dilation in the Category of Von Neumann algebras

Bas Westerbaan|arXiv (Cornell University)|Mar 5, 2018

Computability, Logic, AI Algorithms参考文献 92被引用 10

一句话总结

本文证明了任意两个冯诺依曼代数之间的正规完全正子单位（ncpsu）映射均存在一种类似Stinespring的扩张，将经典定理推广至无限维量子结构。本文引入了一套关于冯诺依曼代数上自对偶C*-模的新框架，证明了其完备化、张量积及纯映射的关键性质，同时发展了关于效应范畴的范畴论理论，通过与谓词、态及对偶性相关的公理刻画冯诺依曼代数的范畴。

ABSTRACT

This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3 "diamond, andthen, dagger" we turn to the second topic: effectus theory. Both chapters, or rather parts, can be read separately and feature a comprehensive introduction of their own.

研究动机与目标

• 将Stinespring扩张定理推广至所有冯诺依曼代数之间的正规完全正子单位映射，证明此类映射可唯一扩张为*-同态与共等距的复合。
• 建立冯诺依曼代数上自对偶C*-模的完整理论，包括其完备化、张量积及超范数拓扑下的统一性。
• 研究纯映射的结构及其与扩张的关系，尤其在Paschke构造与最小Stinespring扩张的语境下。
• 通过范畴公理刻画冯诺依曼代数的范畴，引入并分析†-效应范畴、⋄-效应范畴与&-效应范畴的概念。
• 探索量子操作与其表示之间的范畴对偶性，尤其通过效应范畴理论与†-结构的视角。

提出的方法

• 通过构造一个C*-模与一个到希尔伯特空间有界算子代数上的*-同态，证明任意冯诺依曼代数之间ncpsu映射存在Stinespring扩张。
• 引入C*-模上的超范数拓扑，并证明每个冯诺依曼代数上的C*-模在该拓扑下均存在自对偶完备化。
• 将Kaplansky的可逼近性定理应用于C*-模，证明*-同态的像在超弱拓扑下是稠密的。
• 发展C*-模的外张量积理论，并证明其与自对偶完备化及Paschke扩张构造相容。
• 利用效应范畴理论的框架，通过公理化方式刻画冯诺依曼代数的范畴，引入诸如效应代数、效应模及具有商、概括与像结构的效应范畴。
• 定义并分析†-效应范畴与⋄-效应范畴，表明其能捕捉量子结构的关键特征，包括对偶性、正性与正交性。

实验结果

研究问题

• RQ1 每个冯诺依曼代数之间的正规完全正子单位映射是否都存在Stinespring扩张？
• RQ2 冯诺依曼代数上C*-模的理论能否扩展至包含自对偶完备化与超范数统一性？
• RQ3 如何通过效应范畴理论的公理刻画冯诺依曼代数范畴的范畴结构？
• RQ4 效应范畴中的†-结构与对偶性如何与量子操作及其表示的结构相关联？
• RQ5 在实数†-效应范畴与†-效应范畴的语境下，谱凸集与JBW-代数的无限维推广是什么？

主要发现

• 所有冯诺依曼代数之间的ncpsu映射均存在Stinespring扩张，将经典定理推广至无限维情形。
• 每个冯诺依曼代数上的C*-模在超范数统一性下均存在自对偶完备化，确保完备性与对偶性。
• 两个扩张的张量积对应于原始映射张量积的扩张，保持其普遍性质。
• 冯诺依曼代数之间的纯映射恰好是那些可分解为一维希尔伯特模的映射，推广了纯态的概念。
• 在†-效应范畴框架下，冯诺依曼代数的范畴与欧几里得Jordan代数范畴中正映射的反向子范畴等价。
• 任意操作性†-效应范畴等价于欧几里得Jordan代数范畴中正映射反向子范畴，且任意操作性&-效应范畴的态空间为谱凸集。