查看“︁斯坦斯普林扩张定理”︁的源代码

在[[算子理论]]这一[[数学]]领域中，'''斯坦斯普林扩张定理'''（也称为'''斯坦斯普林分解定理'''）是冠名于数学家 W. Forrest Stinespring 的一个[[定理]]。它将[[C*-代数]] <math>\mathcal A</math> 上的任何[[完全正映射]]（completely positive map，简称为CP映射）表示为两个完全正映射的[[复合函数|复合]]，这两个映射分别是：

# ''<math>\mathcal A</math>'' 在某个辅助[[希尔伯特空间]] ''<math>K</math>'' 上的 [[*-表示]]
# 一个将算子映射为算子的映射，形如 <math>T \mapsto V^*TV</math> 。

此外，此定理是从 C*-代数到希尔伯特空间上[[有界算子]]代数的结构定理，因其说明了C*-代数间的完全正映射是*-表示的上述简单修改。

== 表述 ==
对于[[有单位的|有单位元的]]C*-代数，定理表述如下：

: '''定理''' 设 ''<math>\mathcal A</math>'' 为一个有单位元的 C*-代数， ''<math>H</math>'' 为希尔伯特空间， ''<math>B(H)</math>'' 为 ''<math>H</math>'' 上的全体有界算子的集合。对于任一完全正映射
:: <math>\Phi : \mathcal A \to B(H),</math>
: 存在一个希尔伯特空间 ''<math>K</math>'' 和一个[[保单位元]]的 [[*-同态]]
:: <math>\pi : \mathcal A \to B(K)</math>
: 使得
:: <math>\Phi(a) = V^\ast \pi (a) V,</math>
: 其中 <math>V: H \to K</math> 是有界算子。此外，我们还有
:: <math>\| \Phi(1) \| = \| V \|^2.</math>

非正式地说，我们可以说任一完全正映射 <math>\Phi</math> 可以“提升”为形如 <math>V^* (\cdot) V</math> 的映射。

该定理的逆命题显然为真。因此，此定理对完全正映射进行了分类。

== 证明概要 ==
我们现在简述一下证明。令 <math>K = \mathcal A \otimes H</math> 。对于 <math>a \otimes h, \ b \otimes g \in K</math> ， 定义

: <math> \langle a \otimes h, b \otimes g \rangle _K := \langle \Phi(b^*a) h, g \rangle _H = \langle h, \Phi(a^*b)g \rangle_H</math>

并通过[[半双线性形式|半线性]]扩张到整个 ''<math>K</math>''  。这是一个[[自伴算子|厄米]][[半双线性形式|半线性形式]]，因为 <math>\Phi</math> 与 * 操作是相容的。然后可基于 <math>\Phi</math> 的完全正性证明该半线性形式实际上是[[半正定]]的。由于半正定厄米半线性形式满足[[柯西-施瓦茨不等式]]，因此子集

: <math>K' = \{x \in K \mid \langle x, x \rangle _K = 0 \} \subset K</math>

是一个子空间。我们可以通过考虑[[商空间 (线性代数)|商空间]] <math>K / K' </math> 来消除[[退化 (數學)|退化]]。于是该商空间的[[完備化 (環論)|完备化]]给出一个希尔伯特空间，也记作 <math>K</math> 。下一步定义 <math>\pi (a) (b \otimes g) = ab \otimes g</math> 和 <math>V h = 1_A \otimes h</math> 。可以验证  <math>\pi</math> 和 <math>V</math>  具有所需的性质。 是一个子空间。

注意 <math>V</math> 就是 <math>H</math> 到 <math>K</math> 的[[自然變換|自然]]代数[[嵌入 (数学)|嵌入]]。可以验证 <math>V^\ast(a\otimes h) = \Phi(a)h</math> 。特别地，注意到有 <math>V^\ast V = \Phi(1)</math> ，因此当且仅当 <math>\Phi(1)=1</math> 时， <math>V</math> 得以是一个[[等距同构]]。在这种情况下， <math>H</math> 可以在希尔伯特空间意义上[[嵌入 (数学)|嵌入]]到 ''<math>K</math>'' 中，而作用在 <math>K</math> 上的 <math>V^\ast</math> 则是到 <math>H</math> 上的投影。符号上，我们可以写成

: <math>\Phi (a) = P_H \; \pi(a) \Big|_H.</math>

用{{Le|扩张(算子理论)|Dilation (operator theory)|扩张理论}}的语言来说， <math>\Phi(a)</math> 是 <math>\pi(a)</math> 的一个压缩 。因此，斯坦斯普林扩张定理的一个推论是，每个保单位的完全正映射都是某个[[*-代数|*-同态]]的压缩。

== 极小斯坦斯普林表示 ==
三元组 <math>( \pi, V, K )</math> 被称为 <math>\Phi</math> 的'''斯坦斯普林表示'''。现在一个自然的问题是，是否可以将给定的斯坦斯普林表示约化为在某种意义上极小的。

令 <math>K_1</math> 为 <math>\pi(\mathcal A) VH</math> 的[[闭集|闭]][[线性生成空间]]。根据*-表示的一般性质，对于任意 <math>a\in\mathcal A</math> ， <math>K_1</math> 是 <math>\pi(a)</math> 的[[不变子空间]]；且有 <math>VH\subset K_1</math> 。定义

: <math>\pi _1 (a) = \pi (a) \Big|_{K_1}.</math>

可直接计算得到

: <math display="block">\begin{align}
\pi_1 (a) \pi_1 (b) &= \pi (a) \Big|_{K_1} \pi (b) \Big|_{K_1} \\
&= \pi (a) \pi (b) \Big|_{K_1} \\
&= \pi (ab) \Big|_{K_1} \\
&= \pi_1 (ab).
\end{align}</math>

若有 <math>k,\ell\in K_1</math>，则

: <math display="block">\begin{align}
\langle \pi_1 (a^*)k, \ell \rangle &= \langle \pi (a^*)k, \ell \rangle \\
&= \langle \pi(a)^* k, \ell \rangle \\
&= \langle k, \pi (a) \ell \rangle \\
&= \langle k, \pi_1 (a) \ell \rangle \\
&=\langle \pi_1 (a)^* k, \ell \rangle.
\end{align}</math>

因此 <math>( \pi_1, V, K_1)</math> 也是 <math>\Phi</math> 的一个斯坦斯普林表示，且 <math>K_1</math> 是 <math>\pi(\mathcal A) VH</math> 的闭[[线性生成空间]]，这样的表示称为'''极小斯坦斯普林表示'''。

== 唯一性 ==
令 <math>( \pi_1, V_1, K_1), ( \pi_2, V_2, K_2)</math> 为给定 <math>\Phi</math> 的两个斯坦斯普林表示。定义一个[[部分等距映射]] <math>W:K_1\to K_2</math> 如下

: <math>\; W \pi_1 (a) V_1 h = \pi_2 (a) V_2 h.</math>

在  <math>V_1 H\subset K_1</math> 上，这给出了交织关系

: <math>\; W \pi_1 = \pi_2 W.</math>

特别是，如果两个斯坦斯普林表示都是极小的，则 <math>W</math> 是[[幺正算符|幺正的]]。因此，极小斯坦斯普林表示是唯一的，[[Up to|至多差]]一个幺正变换。

== 一些推论 ==
下文将提及一些可以看作斯坦斯普林定理推论的结果。不过从历史上看，下面的一些结果要更早于斯坦斯普林定理。

=== GNS 构造 ===

{{Main|盖尔范德–奈马克–西格尔构造}}

下面将从斯坦斯普林定理导出[[GNS构造]]。令斯坦斯普林定理中的 ''<math>H</math>'' 为一维的，即[[复数 (数学)|复数]]。因此 <math>\Phi</math> 现在是 ''<math>\mathcal A</math>'' 上的[[正线性泛函]]。若假定 <math>\Phi</math> 是一个[[态(泛函分析)|态]]（也就是说 <math>\Phi</math> 的范数为一），那么等距映射 <math>V : H \to K</math> 可由

: <math>V 1 = \xi</math>

确定，其中 <math>\xi \in K</math> 是某个[[单位向量]]。所以

: <math display="block">\begin{align}
\Phi(a) = V^* \pi (a) V &= \langle V^* \pi (a) V 1, 1 \rangle _H \\
&= \langle \pi (a) V 1, V 1 \rangle _K \\
&= \langle \pi (a) \xi, \xi \rangle _K,
\end{align}
</math>

这正是态与其 GNS 构造间的关系式。由此可以看出完全正映射（而非[[正映射]]）才是[[正线性泛函]]的适当推广。

设 C*-代数上有正线性泛函 <math>\Phi,\Psi</math> ，若它们对于任一正元素 <math>x\in\mathcal A</math> 满足

<math display="block">\Psi(x)=0\implies\Phi(x)=0</math>

，则称 <math>\Phi</math> 关于 <math>\Psi</math> 是[[绝对连续|绝对连续的]]。这即是[[拉东-尼科迪姆定理]]的非交换推广。当参考泛函选择为迹时[[矩阵环|，矩阵代数]]上的{{Le|态(泛函分析)|State (functional analysis)|态}}关于[[跡|迹]]的通常[[密度矩陣|密度算子]]不过是选择 <math>\Psi</math> 为迹时的拉东-尼科迪姆导数。[[维亚切斯拉夫·别拉夫金|别拉夫金]]引入了一个完全正映射相对于另一个（参考）映射的<u>完全绝对连续</u>的概念，并证明了完全正映射的[[交換律|非交换]]拉东-尼科迪姆定理的一个算子变体。此定理的一个特例对应于参考映射是矩阵代数上的[[迹性(泛函分析)|迹性]]（tracial）的完全正映射的情况，这给出了所谓[[蔡文端算子]]，即完全正映射关于标准迹的拉东-尼科迪姆导数（参见蔡文端定理）。

=== 蔡文端定理 ===
蔡文端证明了，若 <math>\Phi: B(G) \to B(H)</math> 是完全正的，其中 <math>G</math> 和 ''<math>H</math>'' 分别是维数为 <math>n</math> 和 ''<math>m</math>'' 的有限维希尔伯特空间，则 <math>\Phi</math> 具有以下形式：

: <math>\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i .</math>

这被称为完全正映射的'''蔡文端定理'''。 蔡文端的证明使用的是线性代数技术，但他的结果也可以看作是斯坦斯普林定理的一个特例：

设 <math>( \pi, V, K )</math> 是 <math>\Phi</math> 的极小斯坦斯普林表示。根据极小性， <math>K</math> 的维度小于 <math>C^{n \times n} \otimes C^m</math> 。因此，不失一般性地， <math>K</math> 可以表示为

: <math>K = \bigoplus_{i = 1}^{nm} C_i^n.</math>

每个 <math>C_i^n</math> 都是 ''<math>n</math>'' 维希尔伯特空间的一个副本。从 <math>\pi (a) (b \otimes g) = ab \otimes g</math> 可以看出可以选择 <math>K</math> 的表示式使得<math>\; P_i \pi(a) P_i = a</math> ，其中 <math>P_i
</math> 是是 ''<math>K</math>'' 上到 <math>C_i^n</math> 的[[投影 (线性代数)|投影]]。

令 <math>V_i = P_i V</math> ，有

: <math>\Phi (a) = \sum_{i = 1}^{nm} (V^* P_i) (P_i \pi(a) P_i) (P_i V) = \sum _{i = 1} ^{nm} V_i^* a V_i,</math>

于是就证明了蔡文端定理。

蔡文端的结果是完全正映射的非交换拉东-尼科迪姆定理的一个特例，对应于参考映射是矩阵代数上的迹性完全正映射的情况。1985年，别拉夫金以强算子形式证明了这个普遍的定理，他证明了对于一个CP映射，若其相对另一参考CP映射是完全绝对连续的，则必存在相应的正密度算子。该密度算子的唯一性则是参考映射的斯坦斯普林表示的极小性的直接结果。因此，蔡文端算子即是有限维CP映射关于标准迹的拉东-尼科迪姆导数。

请注意，在通过斯坦斯普林表述来证明蔡文端定理以及别拉夫金定理时，除非显式指明各空间，否则这些论述并未明确给出[[克劳斯算子]] <math>V_i</math> 。而另一方面，蔡文端的原始证明则涉及对这些算子的直接计算。

=== 奈马克扩张定理 ===
{{Main|奈马克扩张定理}}
奈马克的定理指出，某个[[紧空间|紧]][[豪斯多夫空间]] <math>X</math> 上、取值于 <math>B(H)</math> 中且、弱[[可加性|可数可加]]的测度可被“提升”为一个[[谱测度]]。将 <math>X</math> 上的连续函数构成交换的C*-代数 <math>C(X)</math> 这一事实与斯坦斯普林定理结合便可证明这一点。

=== 纳吉扩张定理 ===
{{Main|:en:Sz.-Nagy's dilation theorem|l1=Sz.-Nagy's dilation theorem}}
该结果表明，希尔伯特空间上的每个[[扩张(泛函分析)|收缩]]都有具有最小性质的幺正[[扩张(泛函分析)|扩张]]。

== 应用 ==
在[[量子信息]]中，量子通道或者说[[量子操作]]被定义为C*-代数之间的完全正映射。作为所有此类映射的分类，斯坦斯普林定理在该背景下具有重要意义。例如，该定理的唯一性部分已被用来对某些类别的量子通道进行分类。

为了比较不同的通道并计算它们的互保真度和信息，使用别拉夫金引入的拉东-尼科迪姆导数对通道进行另一种表示将是很有用的。作为别拉夫金的完全正映射的拉东-尼科迪姆定理在有限维、迹性情况下的变体，蔡文端定理也与此相关联。

: <math>\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i.</math>

所确定的算子 <math>\{ V_i \}</math> 被称为 <math>\Phi</math> 的[[克劳斯算子]]。表达式

: <math>\sum_{i = 1}^{nm} V_i^* ( \cdot ) V_i</math>

则有时被称为 <math>\Phi</math> 的'''算子和表示'''。

== 参考资料 ==

* M.-D. Choi, ''Completely Positive Linear Maps on Complex Matrices'', Linear Algebra and its Applications, 10, 285&#x2013;290 (1975).
* V. P. Belavkin, P. Staszewski, ''Radon–Nikodym Theorem for Completely Positive Maps'', Reports on Mathematical Physics, v.&nbsp;24, No 1, 49&#x2013;55 (1986).
* V. Paulsen, ''Completely Bounded Maps and Operator Algebras'', Cambridge University Press, 2003.
* W. F. Stinespring, ''Positive Functions on C*-algebras'', Proceedings of the American Mathematical Society, 6, 211&#x2013;216 (1955).
{{泛函分析}}
[[Category:算子理论]]
[[Category:泛函分析定理]]