[论文解读] On Bures distance over standard form vN-algebras

Peter M. Alberti, Gregor Peltri|ArXiv.org|Aug 22, 2000

Advanced Operator Algebra Research参考文献 22被引用 4

一句话总结

本文研究标准形式冯诺依曼代数中的布雷斯距离，重点探讨在何种条件下，两个正规正线性泛函之间的距离可由某一纤维中固定的实现向量实现。研究证明，在无限冯诺依曼代数中，布雷斯距离并不总能由单个纤维中的固定向量实现，并提供了反例以及距离公式失效的条件，其中关键结果表明：布雷斯距离公式中的等式成立当且仅当代数是有限的，或状态是忠实的，或具有有限支撑。

ABSTRACT

In case of a standard form vN-algebra, the Bures distance is the natural distance between the fibres of implementing vectors at normal positive linear forms. Thereby, it is well-known that to each two normal positive linear forms implementing vectors exist such that the Bures distance is attained by the metric distance of the implementing vectors in question. We discuss to which extend this can remain true if a vector in one of the fibres is considered as fixed. For each nonfinite algebra, classes of counterexamples are given and situations are analyzed where the latter type of result must fail. In the course of the paper, an account of those facts and notions is given, which can be taken as a useful minimum of basic C^*-algebraic tools needed in order to efficiently develop the fundamentals of Bures geometry over standard form vN-algebras.

研究动机与目标

• 确定两个正规正线性泛函之间的布雷斯距离在何种条件下可由某一纤维中固定的实现向量实现。
• 分析当一个实现向量被固定时，布雷斯距离公式在非有限冯诺依曼代数中为何会失效。
• 表征标准形式冯诺依曼代数中纤维及其交集的结构，尤其关注交换性与支撑投影的关系。
• 阐明忠实性和有限性在决定布雷斯距离是否可通过某一纤维中固定向量实现时所起的作用。
• 完整刻画布雷斯距离等于其实现向量之间希尔伯特空间范数距离的条件，特别是在类型 I∞ 和 III 因子的背景下。

提出的方法

• 通过在所有循环表示中取下确界来定义布雷斯距离，以最小化两个正线性泛函实现向量之间的希尔伯特空间范数。
• 使用过渡概率 $ P_M(\nu,\varrho) $ 将布雷斯距离表达为不同表示中实现向量重叠的函数。
• 论文采用盖尔范德-奈马克-塞尔格（GNS）构造，将正线性泛函与希尔伯特空间中的循环向量联系起来。
• 利用冯诺依曼代数的标准形式分析状态及其支撑投影的交换性。
• 关键工具包括伴随代数 $ M^\varrho $、支撑投影 $ s(\nu) $，以及 I∞ 和 III 型因子的结构。
• 分析依赖于满足 $ zc = cz $ 的正交投影 $ z \in M $ 的性质，其中 $ c $ 为迹类算子，特别是当 $ \tau(z) = \infty $ 时。

实验结果

研究问题

• RQ1 在何种条件下，两个正规正线性泛函之间的布雷斯距离可由某一纤维中固定的实现向量实现？
• RQ2 为何在无限冯诺依曼代数情况下，当一个向量被固定时，布雷斯距离公式无法实现？
• RQ3 对于固定的 $ \varrho $，何时有 $ \mathcal{S}_M(\nu|\varrho) = \mathcal{S}_M(\nu) $ 成立，何时不成立？
• RQ4 哪些特征刻画了使得布雷斯距离等于其实现向量之间希尔伯特空间范数距离的态 $ \nu $ 的集合？
• RQ5 冯诺依曼代数的有限性或类型（例如 I∞ 或 III 型）如何影响在固定向量下布雷斯距离公式的有效性？

主要发现

• 对于有限冯诺依曼代数，任意两个正规正线性泛函之间的布雷斯距离总能由其中一个泛函的纤维中固定的实现向量实现。
• 在无限冯诺依曼代数中，存在态 $ \nu $ 和忠实态 $ \varrho $，使得 $ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $，这意味着无法在 $ \mathcal{S}_M\!\left(\nu\right) $ 中用固定向量实现该距离。
• 等式 $ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ 成立当且仅当 $ \nu $ 与 $ \varrho $ 交换，即 $ \nu \in M^\varrho $，如引理 2.13 所示。
• 在因子情形下，$ \mathcal{S}_M(\nu|\varrho) = \{ u\xi_\nu : u^*u = \mathbf{1}, u \in M' \} $，表明该纤维在交换代数作用下酉等价于原始纤维。
• 对于 I∞ 型因子，通过满足 $ \tau(z) = \infty $、$ z \neq \mathbf{1} $ 且 $ zc = cz $ 的正交投影 $ z $ 可构造反例，从而导致 $ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $。
• 在 III 型因子中，条件 $ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ 最佳通过几何方式刻画，因为不存在显式的谱条件。