[论文解读] Dilations of CP-maps commuting according to a graph

Alexander Vernik|arXiv (Cornell University)|Nov 5, 2014

Advanced Operator Algebra Research参考文献 12被引用 8

一句话总结

本文建立了对冯诺依曼代数上有限个正规、完全正且完全有界的映射（CP-映射）元组何时允许保持由有限图 G 编码的相同交换关系的同步 *-自同态扩张的刻画。利用子积系统扩张理论，作者证明此类扩张存在的充要条件是图 G 为无环图，从而为 CP-映射的奥佩拉扩张定理提供了完整类比。

ABSTRACT

We study dilations of finite tuples of normal, completely positive and completely contractive maps (which we call CP-maps) acting on a von Neumann algebra, and commuting according to a graph G. We show that if G is acyclic, then a tuple commuting according to it has a simultaneous *-endomorphic dilation, which also commutes according to G. Conversely, if G has a cycle, we exhibit an example of a tuple of CP-maps commuting according to G, which does not have an *-endomorphic dilation commuting according to G. To achieve these results we use dilation theory of representations of subproduct systems, as introduced and studied by Shalit and Solel. In the course of our investigations we also prove some results about those kinds of subproduct systems which arise from CP-maps commuting according to to a graph.

研究动机与目标

• 将奥佩拉关于交换压缩算子的扩张定理推广至冯诺依曼代数上的 CP-映射情形。
• 确定在何种图论条件下，一组按图 G 交换的 CP-映射元组可允许保持相同交换关系的同步 *-自同态扩张。
• 建立按图交换的 CP-映射与由此类图生成的子积系统之间的对应关系。
• 证明图 G 的无环性是此类扩张存在的必要且充分条件。

提出的方法

• 通过有限图 G 建模一组 CP-映射的交换关系，其中边编码映射之间的交换性。
• 将索引幺半群 S(G) 构造为图 G 顶点自由生成的幺半群，模去由 E(G) 编码的交换关系，从而可将该元组视为 S(G) 索引的 CP-幺半群。
• 应用沙利特与索莱尔发展的子积系统及其表示理论，分析由此类图生成的 CP-幺半群的结构。
• 通过在关联路径图 H(s) 中对字长与环长进行归纳，证明任何 H(s) 中的环都会在关联希尔伯特模上诱导恒等映射，从而确保扩张构造的一致性。
• 证明对于无环图，子积系统的相关表示可允许一个 *-自同态扩张，且该扩张按图 G 交换。
• 为有环图提供反例，表明一般情况下不存在此类 *-自同态扩张，从而证明无环性的必要性。

实验结果

研究问题

• RQ1 在何种图 G 的条件下，所有按图 G 交换的 CP-映射元组均允许存在一个同步 *-自同态扩张，且该扩张也按 G 交换？
• RQ2 图 G 的无环性是否在 CP-映射情形下既是必要条件也是充分条件，类似于奥佩拉对压缩算子的结果？
• RQ3 图 G 的代数与组合性质如何与关联子积系统及其表示的结构相关联？
• RQ4 能否通过子积系统完全刻画由图关系定义的幺半群索引的 CP-幺半群扩张理论？
• RQ5 当图 G 包含环时，扩张理论中会产生何种结构性障碍，这些障碍如何阻止 *-自同态扩张的存在？

主要发现

• 在冯诺依曼代数上，一组正规、完全正且完全有界的映射元组若按有限图 G 交换，则当且仅当 G 为无环图时，可允许一个保持相同交换关系的同步 *-自同态扩张。
• 对于无环图，由幺半群 S(G) 索引的关联 CP-幺半群可允许一个 *-自同态扩张，该扩张通过子积系统的表示理论构造而成。
• 当图 G 包含环时，本文构造了一个具体的反例，即一组按 G 交换的 CP-映射元组，其不允许可保持交换关系的 *-自同态扩张。
• 证明依赖于分析与 S(G) 中字 s 关联的路径图 H(s)，表明 H(s) 中的任何环都会在关联希尔伯特模上诱导恒等映射，这对扩张的一致性至关重要。
• 作者建立了按图交换的 CP-映射与子积系统之间的精确对应关系，表明此类系统自然源于图的结构。
• 通过证明 G 中的任何环都会在路径图 H(s) 中诱导出一个非平凡环，该环在扩张中无法被一致地平凡化，从而违反 *-自同态扩张条件，证明了无环性的必要性。