斯坦斯普林擴張定理

算子理論這一數學領域中,斯坦斯普林擴張定理(也稱為斯坦斯普林分解定理)是冠名於數學家 W. Forrest Stinespring 的一個定理。它將C*-代數 上的任何完全正映射(completely positive map,簡稱為CP映射)表示為兩個完全正映射的複合,這兩個映射分別是:

  1. 在某個輔助希爾伯特空間 上的 *-表示
  2. 一個將算子映射為算子的映射,形如

此外,此定理是從 C*-代數到希爾伯特空間上有界算子代數的結構定理,因其說明了C*-代數間的完全正映射是*-表示的上述簡單修改。

表述

編輯

對於有單位元的C*-代數,定理表述如下:

定理  為一個有單位元的 C*-代數,   為希爾伯特空間,    上的全體有界算子的集合。對於任一完全正映射
 
存在一個希爾伯特空間   和一個保單位元*-同態
 
使得
 
其中   是有界算子。此外,我們還有
 

非正式地說,我們可以說任一完全正映射   可以「提升」為形如   的映射。

該定理的逆命題顯然為真。因此,此定理對完全正映射進行了分類。

證明概要

編輯

我們現在簡述一下證明。令   。對於   , 定義

 

並通過半線性擴張到整個   。這是一個厄米半線性形式,因為   與 * 操作是相容的。然後可基於   的完全正性證明該半線性形式實際上是半正定的。由於半正定厄米半線性形式滿足柯西-施瓦茨不等式,因此子集

 

是一個子空間。我們可以通過考慮商空間   來消除退化。於是該商空間的完備化給出一個希爾伯特空間,也記作   。下一步定義    。可以驗證    具有所需的性質。 是一個子空間。

注意   就是   自然代數嵌入。可以驗證   。特別地,注意到有   ,因此若且唯若   時,   得以是一個等距同構。在這種情況下,   可以在希爾伯特空間意義上嵌入  中,而作用在   上的   則是到   上的投影。符號上,我們可以寫成

 

擴張理論英語Dilation (operator theory)的語言來說,    的一個壓縮 。因此,斯坦斯普林擴張定理的一個推論是,每個保單位的完全正映射都是某個*-同態的壓縮。

極小斯坦斯普林表示

編輯

三元組   被稱為  斯坦斯普林表示。現在一個自然的問題是,是否可以將給定的斯坦斯普林表示約化為在某種意義上極小的。

  線性生成空間。根據*-表示的一般性質,對於任意    不變子空間;且有   。定義

 

可直接計算得到

 

若有  ,則

 

因此   也是   的一個斯坦斯普林表示,且    的閉線性生成空間,這樣的表示稱為極小斯坦斯普林表示

唯一性

編輯

  為給定   的兩個斯坦斯普林表示。定義一個部分等距映射   如下

 

  上,這給出了交織關係

 

特別是,如果兩個斯坦斯普林表示都是極小的,則  么正的。因此,極小斯坦斯普林表示是唯一的,至多差一個么正變換。

一些推論

編輯

下文將提及一些可以看作斯坦斯普林定理推論的結果。不過從歷史上看,下面的一些結果要更早於斯坦斯普林定理。

GNS 構造

編輯

下面將從斯坦斯普林定理導出GNS構造。令斯坦斯普林定理中的   為一維的,即複數。因此   現在是   上的正線性泛函。若假定   是一個(也就是說   的範數為一),那麼等距映射   可由

 

確定,其中   是某個單位向量。所以

 

這正是態與其 GNS 構造間的關係式。由此可以看出完全正映射(而非正映射)才是正線性泛函的適當推廣。

設 C*-代數上有正線性泛函   ,若它們對於任一正元素   滿足

 

,則稱   關於  絕對連續的。這即是拉東-尼科迪姆定理的非交換推廣。當參考泛函選擇為跡時,矩陣代數上的英語State (functional analysis)關於的通常密度算子不過是選擇   為跡時的拉東-尼科迪姆導數。別拉夫金引入了一個完全正映射相對於另一個(參考)映射的完全絕對連續的概念,並證明了完全正映射的非交換拉東-尼科迪姆定理的一個算子變體。此定理的一個特例對應於參考映射是矩陣代數上的跡性(tracial)的完全正映射的情況,這給出了所謂蔡文端算子,即完全正映射關於標準跡的拉東-尼科迪姆導數(參見蔡文端定理)。

蔡文端定理

編輯

蔡文端證明了,若   是完全正的,其中    分別是維數為    的有限維希爾伯特空間,則   具有以下形式:

 

這被稱為完全正映射的蔡文端定理。 蔡文端的證明使用的是線性代數技術,但他的結果也可以看作是斯坦斯普林定理的一個特例:

   的極小斯坦斯普林表示。根據極小性,   的維度小於   。因此,不失一般性地,   可以表示為

 

每個   都是   維希爾伯特空間的一個副本。從   可以看出可以選擇   的表示式使得  ,其中   是是   上到  投影

  ,有

 

於是就證明了蔡文端定理。

蔡文端的結果是完全正映射的非交換拉東-尼科迪姆定理的一個特例,對應於參考映射是矩陣代數上的跡性完全正映射的情況。1985年,別拉夫金以強算子形式證明了這個普遍的定理,他證明了對於一個CP映射,若其相對另一參考CP映射是完全絕對連續的,則必存在相應的正密度算子。該密度算子的唯一性則是參考映射的斯坦斯普林表示的極小性的直接結果。因此,蔡文端算子即是有限維CP映射關於標準跡的拉東-尼科迪姆導數。

請注意,在通過斯坦斯普林表述來證明蔡文端定理以及別拉夫金定理時,除非顯式指明各空間,否則這些論述並未明確給出克勞斯算子   。而另一方面,蔡文端的原始證明則涉及對這些算子的直接計算。

奈馬克擴張定理

編輯

奈馬克的定理指出,某個豪斯多夫空間   上、取值於   中且、弱可數可加的測度可被「提升」為一個譜測度。將   上的連續函數構成交換的C*-代數   這一事實與斯坦斯普林定理結合便可證明這一點。

納吉擴張定理

編輯

該結果表明,希爾伯特空間上的每個收縮都有具有最小性質的么正擴張

應用

編輯

量子信息中,量子通道或者說量子操作被定義為C*-代數之間的完全正映射。作為所有此類映射的分類,斯坦斯普林定理在該背景下具有重要意義。例如,該定理的唯一性部分已被用來對某些類別的量子通道進行分類。

為了比較不同的通道並計算它們的互保真度和信息,使用別拉夫金引入的拉東-尼科迪姆導數對通道進行另一種表示將是很有用的。作為別拉夫金的完全正映射的拉東-尼科迪姆定理在有限維、跡性情況下的變體,蔡文端定理也與此相關聯。

 

所確定的算子   被稱為  克勞斯算子。表達式

 

則有時被稱為  算子和表示

參考資料

編輯
  • M.-D. Choi, Completely Positive Linear Maps on Complex Matrices, Linear Algebra and its Applications, 10, 285–290 (1975).
  • V. P. Belavkin, P. Staszewski, Radon–Nikodym Theorem for Completely Positive Maps, Reports on Mathematical Physics, v. 24, No 1, 49–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–216 (1955).