[论文解读] Stinespring's theorem for maps on Hilbert C*-modules

B. V. Rajarama Bhat, G. Ramesh+1 more|arXiv (Cornell University)|Jan 21, 2010

Advanced Operator Algebra Research参考文献 9被引用 30

一句话总结

本文通过去除Asadi早期结果中关于单位性和技术性满射性的假设，强化了希尔伯特 C*-模上完全正映射的Stinespring定理。该文建立了此类映射的最小Stinespring表示，并证明了最小表示之间的酉等价性，与经典Stinespring定理中的唯一性相对应。该构造将GNS和Stinespring定理推广至希尔伯特 C*-模设定，并实现了完整的结构唯一性。

ABSTRACT

We strengthen Mohammad B. Asadi's analogue of Stinespring's theorem for certain maps on Hilbert C*-modules. We also show that any two minimal Stinespring representations are unitarily equivalent. We illustrate the main theorem with an example.

研究动机与目标

• 将Stinespring表示定理推广至希尔伯特 C*-模上的映射，将经典结果从希尔伯特空间推广至更一般情形。
• 去除Asadi早期表述中关于单位性和存在范数为一的循环向量的限制性假设。
• 建立最小Stinespring表示在酉等价意义下的唯一性，这是表示理论中的关键结构性质。
• 提供Asadi定理的更正与更一般版本，修正了原始证明中与二次型正定性相关的错误。
• 通过一个涉及Schur积与矩阵代数的具体例子，展示定理在实际构造中的应用。

提出的方法

• 为一个完全正映射 $\phi: \mathcal{A} \to \mathcal{B}(H_1)$ 和一个 $\phi$-映射 $\Phi: E \to \mathcal{B}(H_1, H_2)$ 在希尔伯特 $C^*$-模 $E$ 上构造一个Stinespring型表示，其中 $E$ 是关于 $\mathcal{A}$ 的希尔伯特 $C^*$-模。
• 在 $E \otimes H_1$ 上定义一个预希尔伯特 $\mathcal{B}(H_1)$-模结构，使用内积 $\langle x \otimes h, y \otimes k \rangle = \phi(\langle x, y \rangle) \langle h, k \rangle$，并将其完备化以形成希尔伯特空间 $K_1$。
• 构造一个 $\rho$-同态 $\Psi: E \to \mathcal{B}(K_1, K_2)$，其中 $K_2$ 是 $E \otimes H_2$ 的完备化，其内积结构类似。
• 定义等距映射 $V: H_1 \to K_1$ 为 $Vh = x_0 \otimes h$，其中 $x_0 \in E$ 为某固定元素；类似地定义 $W: H_2 \to K_2$ 为 $Wh = x_0 \otimes h$，以确保与表示的一致性。
• 证明 $\Phi(x) = W^* \Psi(x) V$ 且 $\phi(a) = V^* \rho(a) V$，表明该表示对所有 $x \in E$，$a \in \mathcal{A}$ 成立。
• 通过构造一个酉算子 $U_2: K_2 \to K_2'$，使得 $U_2 W = W'$ 且 $U_2 \Psi(x) = \Psi'(x) U_1$ 在一个稠密子集上成立，从而证明最小表示的酉等价性，利用最小性条件 $[\Psi(E)VH_1] = K_2$。

实验结果

研究问题

• RQ1 能否在不假设映射为单位性且不存在范数为一的循环向量的条件下，将Stinespring定理推广至希尔伯特 $C^*$-模上的完全正映射？
• RQ2 希尔伯特 $C^*$-模上 $\phi$-映射的最小Stinespring表示是否如经典情形一样，在酉等价意义下唯一？
• RQ3 当技术条件 $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$ 被移除时，Stinespring表示的正确构造是什么？
• RQ4 Asadi原始证明中关于二次型正定性的错误论证应如何修正，以获得有效且最小的表示？
• RQ5 能否构造一个具体例子，使其满足推广后的定理，但违反Asadi原始结果的假设？

主要发现

• 本文去除了 $\phi$ 的单位性假设以及 $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$ 的条件，这两者在Asadi的原始表述中均不必要且具有限制性。
• 对于任意完全正映射 $\phi$ 和 $\phi$-映射 $\Phi$ 在希尔伯特 $C^*$-模上，均存在最小Stinespring表示，且无需要求 $\phi$ 为单位映射或 $\Phi$ 的像为等距。
• 最小Stinespring表示在酉等价意义下唯一：若存在两个最小表示，则存在一个酉变换将两个环境希尔伯特空间相互关联，并保持表示的交换性。
• 通过在 $E \otimes H_2$ 上重新定义二次型以确保正定性，该构造修正了Asadi证明中的错误，避免了错误的指标互换。
• 第2.6节中的例子展示了定理在非单位、非等距情形下的有效性：$\phi$ 是与一个正定矩阵的Schur积，$\Phi$ 是一个 $\phi$-映射，且不存在任何 $x_0$ 满足 $\Phi(x_0)\Phi(x_0)^* = I_{H_2}$，但表示依然成立。
• 证明表明，在最小情形下 $W$ 是共等距算子，若 $\phi$ 为单位映射，则 $V$ 是等距算子，这与经典预期一致。