[论文解读] Normal CP-Maps Admit Weak Tensor Dilations

Rolf Gohm, Michael Skeide|arXiv (Cornell University)|Nov 7, 2003

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文证明了任意两个C*-代数之间的正规完全正（CP）映射都存在弱张量扩张，即它可以表示为一个*-同态与一个更大C*-代数上的条件期望的复合。关键贡献在于在正规性条件下建立了此类扩张的存在性，通过张量积构造将扩张理论推广到更广泛的CP-映射类。

ABSTRACT

1 Introduction and statement of the main result A dilation of a CP-map (a completely positive mapping) S between C ∗ – algebras A and B is a homomorphism j from A to another C ∗ –algebra D containing B and a conditional expectation P: D → B such that S is recovered as S = P ◦ j.

研究动机与目标

• 将扩张理论扩展至C*-代数之间的正规CP-映射。
• 解决在非酉或无限维设置下，正规CP-映射缺乏一般扩张结果的问题。
• 建立弱张量扩张的存在性，作为正规CP-映射的结构表征。
• 为通过更大C*-代数中的*-同态和条件期望表示正规CP-映射提供一个框架。

提出的方法

• 从定义域C*-代数A构造一个*-同态j，映射到包含余定义域B的更大C*-代数D。
• 定义一个条件期望P: D → B，使得复合映射P ◦ j恢复原始的CP-映射S。
• 利用S的正规性，确保其与归纳极限和弱算子拓扑的相容性。
• 采用张量积结构，将环境C*-代数D构建为弱张量扩张空间。
• 确保扩张尊重CP-映射固有的序结构和正定性结构。
• 验证所构造的系统在C*-代数设定下满足弱张量扩张的公理。

实验结果

研究问题

• RQ1 每个C*-代数之间的正规CP-映射是否都能通过一个*-同态和一个更大C*-代数上的条件期望实现扩张？
• RQ2 在非酉或无限维C*-代数中，CP-映射的哪些结构条件允许实现弱张量扩张？
• RQ3 CP-映射的正规性如何影响此类扩张的存在性与构造？
• RQ4 是否存在一种典范或普遍的方法来构造正规CP-映射的弱张量扩张？

主要发现

• 每个C*-代数之间的正规CP-映射都存在弱张量扩张，推广了经典扩张定理。
• 该扩张通过一个映射到更大C*-代数D的*-同态和一个到原始余定义域B的条件期望来实现。
• 该构造依赖于CP-映射的正规性，以确保其与弱拓扑和归纳极限的相容性。
• 所得扩张保持了原始映射的完全正性和线性性。
• 环境C*-代数D通过张量积技术构建，以支持扩张结构。
• 该结果在C*-代数框架下，通过其扩张建立了对正规CP-映射的结构表征。