量子操作
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
量子操作(又稱量子動態映射或量子過程)是對量子系統所能經歷的一系列變換的數學表述。這一概念是由喬治·蘇德爾辛在討論密度矩陣的廣義隨機變換時首度引入。[1]量子操作的表述需要系統採用密度矩陣描述。嚴格而言,量子操作是一個密度算符集到其自身的線性完全正映射。在量子運算領域,量子操作通常稱作量子通道。「量子操作」有時會被一些學者用來描述密度矩陣空間的完全正或非跡增映射,而「量子通道」則特指其中嚴格的保跡映射。[2]量子操作不僅僅涉及孤立系統的么正時間演化及對稱變換,同時還涉及測量效應以及系統與環境間的暫態交互作用。
量子系統所能經歷的一些過程並不能用量子操作描述[3]。原則上,量子系統的密度矩陣可以經過任意的時間演化。量子操作可以通過「量子儀器」這一概念進行推廣。量子儀器可以捕捉測量過程中量子資訊外的古典資訊。
背景
[編輯]量子力學的薛丁格繪景可以在一定的前提假設下對於量子系統的時間演化提供充分的描述。這些假設包括:
- 系統是非相對論性的。
- 系統是孤立的。
時間演化的薛丁格繪景有幾種等價的數學表述,其中較為著名的一種為薛丁格方程式。它給出了系統狀態對時間的導數,或者更為準確地來說是:
即如果系統在時刻s處於對應v ∈ H的狀態,那麼經過t個單位的時間後,其狀態為Ut v。 對於相對論性系統,儘管沒有全域時標,但特定可逆變換對於量子系統的作用仍是可以描述的。例如,系統狀態在不同參考系間的變換,可以通過么正變換給出。在任意情況下,處於純態的系統經過狀態變化後仍處於純態;相關過程是在理想的框架下描述的,不涉及去相干。
對於開放系統,例如正在進行測量的系統,情況截然不同。首先,這些系統所經歷的狀態變化在描述時不能排除純態集的變換[a]。在這樣的交互作用後,處於純態φ的系統將不再處於原來的純態。一般而言,其會處於純態序列φ1,..., φk的統計混合態,相應狀態的機率為λ1,..., λk。從純態到混合態的過程稱作「去相干」。
目前已經有許多可以處理交互作用中的系統的數學表述。量子操作於1983年由卡爾·克勞斯提出[4]。他的這項工作是基於蔡文端此前做的數學工作[5]。這一方法可以將測量這樣的操作表述為密度態間的映射。特別地,量子操作的影響僅限制在密度態集內。
定義
[編輯]密度算符是帶有單位跡的希爾伯特空間上的非負算符。數學上,量子操作是希爾伯特空間H與G上跡類算符空間間的線性映射Φ,存在:
- 如果S為密度算符,則Tr(Φ(S)) ≤ 1。
- Φ是完全正的,即對於任意自然數n及任意n行內部元素為跡類算符的非負方陣,
- 存在也為非負的。
換言之,Φ是完全正的,當對所有n存在為正。其中表示矩陣的C*-代數上的同一映射。
需要注意,在第一個條件下,量子操作不一定能保留統計系綜的歸一性。在機率論中,量子操作可能是個次馬爾可夫鏈。為了使量子操作不會令密度矩陣集發生變化,需要再假定跡守恆。
在量子資訊領域,量子操作被定義為不會令跡增加的完全正映射,又稱「量子通道」或「隨機映射」。這裡的表述僅限於量子態間的通道,然而這一概念可以延伸至古典態的通道,從而允許量子資訊與古典資訊可以同時處理。
克勞斯算符
[編輯]克勞斯定理給出了表徵量子操作的量子態密度算符間映射的特性[6]:
- 設H和G分別是n維和m維的希爾伯特空間,而Φ是作用在H上的密度矩陣到作用在G上的密度矩陣的映射,則存在為G到H的映射,令。相應地,任意這種形式的映射Φ是一種量子操作,令。
這裡的矩陣稱作「克勞斯算符」[b]。斯坦斯普林分解定理可以將上述結果延伸至任意可分希爾伯特空間H和G。此時,S被一個跡類算符取代,而則被一系列有界算符取代。[7]
酉等價性
[編輯]一般地,一種量子操作Φ並不僅僅確定唯一的克勞斯算符。比如,對於Φ進行的喬列斯基分解不同,得到的克勞斯算符也有所不同。下面的這條定理給出了兩組表徵同一量子操作克勞斯算符的酉等價性:
- 設Φ[c]是一個有限維希爾伯特空間H上的量子過程,且存在兩組可以表徵該過程的克勞斯矩陣{Bi}i≤ N及{Ci}i≤ N 。則存在么正算符 令:
在無窮維情形中,這一結果可以推廣至兩組最小斯坦斯普林表示的關係。由斯坦斯普林定理可以得到,所有的量子操作在給原始系統附加適當的附屬物經由么正演化即可執行。[7]
評註
[編輯]上述結果也可從完全正映射定理導出,由此可以通過一個特定的埃爾米特正密度算符的跡表徵完全正有限維映射。在給定量子通道的所有可能的克勞斯表示中,存在一個正則形式的克勞斯算符集,其中的克勞斯算符互相正交:。這樣的一組正交克勞斯算符的正則集可以通過對相應的上述矩陣進行對角化然後通過本徵矢改造為方陣即可得到。
同時還存在完全正映射定理無窮維情況的代數推廣:通過定義量子通道的一種新的密度算符。這種矩陣可以用來定義相對保真度及量子通道間的互資訊。[8]
動力學考量
[編輯]對於一個非相對論性量子系統,其時間演化可以通過Q的自同構單參數群{αt}t描述。這中描述可以簡化至么正變化[9]:在特頂的若技術要求下,存在一個希爾伯特空間上的么正變化的強連續單參數群{Ut}t,令Q中的元素E依下面這個方程式演化:
- 。
系統的時間演化還可以通過統計態空間的時間演化加以考量。統計態的演化由{βt}t這類算符給出,滿足:
易見,對於每個t,S → U*t S Ut是一個量子操作。此外,這個操作是可逆的。
這個結果可以進行推廣:如果G是Q的連通對稱李群,滿足同樣的弱連續條件,那麼G中任意元素g的群作用有么正算符U給出:
g → Ug的這一映射稱作G的射影表示。S → U*g S Ug是可逆量子操作。
量子測量
[編輯]量子操作可以用來描述量子測量過程。下面給出的表述描述的是對於可分復希爾伯特空間H上的自共軛射影的測量,即採用投影值測度方法。在一般情形中,測量可以通過正算符值測度採用非正交算符。非正交情形可以用來提高量子儀器的效率。
雙態測量
[編輯]量子系統可以通過一系列的是非問題進行測量。這一組問題可以理解為是從量子邏輯中命題的正交補格Q選取得的。這一補格等價於可分復希爾伯特空間H的自共軛射影空間。
考察處於某態S的系統,為了確定其是否具有某一屬性E。這裡的E是量子是非問題格中的一個元素。這裡的測量指對系統進行一定的處理來確定其是否具有該屬性。在這裡的討論中,對於系統狀態的考察可以通過考慮系統的系綜賦以操作定義。每個測量會產生確定值:0或1。此外對系綜進行測量導致統計態產生可預測變化。統計態的這一變換可以由量子操作給出:
這裡的E可以理解為一個投影算符。
一般情形
[編輯]在一般情形中,可觀測量的測量值的可能取值不止於2個。
當可觀測量A具有一個純點譜,那麼其可以以本徵矢為正交基底進行表記。即A可以進行譜分解:
其中EA(λ)是一組互相正交的投影。每一個投影都在與測量值λ相關的A的本徵空間上。
可觀測量A的測量值為A的本徵值。對於系統系綜進行的重複測量會得出A的本徵值譜的機率分布。這個分布是離散的,滿足:
對於統計態S的測量由下面這個映射給出:
即在測量完成後不久,系統統計態是一個與可觀測量測量值λ相關的本徵空間上的古典分布:S是一個混合態。
非完全正映射
[編輯]蘇德爾辛等人後來提出,對於開放量子演化的表述並不一定具有完全正性。他們通過計算得到,當系統與環境在起始時具有一定初始相關性時,對系統所賦以的映射並不一定是正的。然而,這一映射僅在狀態不滿足對於起始相關性做出的假設時才不是正的。他們因而得出為了對量子演化進行充分的理解,非完全正映射也需要納入考察範圍內。[3][10]
注釋
[編輯]參考文獻
[編輯]- ^ Sudarshan, E. C. G.; Mathews, P. M.; Rau, J. Stochastic dynamics of quantum-mechanical systems. Physical Review. 1961, 121 (3): 920 [2016-02-08]. doi:10.1103/PhysRev.121.920. (原始內容存檔於2019-07-01) (英語).
- ^ Weedbrook, C.; Pirandola, S.; García-Patrón, R.; Cerf, N. J.; Ralph, T. C.; Shapiro, J. H.; Lloyd, S. Gaussian quantum information. Reviews of Modern Physics. 2012, 84 (2): 621. doi:10.1103/RevModPhys.84.621 (英語).
- ^ 3.0 3.1 Pechukas, P. Reduced dynamics need not be completely positive. Physical review letters. 1994, 73 (8): 1060. doi:10.1103/PhysRevLett.73.1060.
- ^ Kraus, K. Böhm, A.; Dollard, J. D.; Wootters, W. H. , 編. States, effects, and operations: fundamental notions of quantum theory: lectures in mathematical physics at the University of Texas at Austin. Springer-Verlag. 1983. ISBN 3540127321 (英語).
- ^ Choi, M. D. Completely positive linear maps on complex matrices. Linear algebra and its applications. 1975, 10 (3): 285–290 [2016-02-08]. doi:10.1016/0024-3795(75)90075-0. (原始內容存檔於2021-05-06) (英語).
- ^ Nielsen, M. A.; Chuang, I. L. Quantum Computation and Quantum Information 10th Anniversary Edition. Cambridge University Press. 2010: Theorems 8.1 & Theorems 8.3. ISBN 1139495488 (英語).
- ^ 7.0 7.1 Stinespring, W. F. Positive functions on C*-algebras (PDF). Proceedings of the American Mathematical Society. 1955, 6 (2): 211–216 [2016-02-08]. JSTOR 2032342. doi:10.2307/2032342. (原始內容存檔 (PDF)於2019-07-01) (英語).
- ^ Belavkin, V P; Staszewski, P. A Radon-Nikodym theorem for completely positive maps (PDF). Reports on mathematical physics. 1986, 24 (1): 49–55 [2016-02-08]. doi:10.1016/0034-4877(86)90039-X. (原始內容存檔 (PDF)於2016-03-04) (英語).
- ^ Varadarajan, V. Geometry of Quantum Theory 2nd edition. Springer Science & Business Media. 2007. ISBN 0387493867 (英語).
- ^ Shaji, A.; Sudarshan, E. C. G. Who's afraid of not completely positive maps?. Physics Letters A. 2005, 341 (1): 48–54. doi:10.1016/j.physleta.2005.04.029 (英語).