查看“︁量子操作”︁的源代码

{{NoteTA|G1=物理学}}
'''量子操作'''（又称'''量子动态映射'''或'''量子过程'''）是对量子系统所能经历的一系列变换的数学表述。这一概念是由{{le|乔治·苏德尔辛|George Sudarshan}}在讨论[[密度矩阵]]的广义随机变换时首度引入。<ref>{{cite journal|language=英语|last1=Sudarshan|first1=E. C. G.|last2=Mathews|first2=P. M.|last3=Rau|first3=J.|title=Stochastic dynamics of quantum-mechanical systems|journal=Physical Review|year=1961|volume=121|issue=3|page=920|url=http://prola.aps.org/abstract/PR/v121/i3/p920_1|doi=10.1103/PhysRev.121.920|access-date=2016-02-08|archive-date=2019-07-01|archive-url=https://web.archive.org/web/20190701001412/https://journals.aps.org/pr/abstract/10.1103/PhysRev.121.920|dead-url=no}}</ref>量子操作的表述需要系统采用密度矩阵描述。严格而言，量子操作是一个密度算符集到其自身的线性完全正映射。在[[量子运算]]领域，量子操作通常称作{{le|量子通道|quantum channel}}。“量子操作”有时会被一些学者用来描述密度矩阵空间的{{le|完全正|completely positive}}或非[[迹]]增映射，而“量子通道”则特指其中严格的保迹映射。<ref name="weedbrook">{{cite journal|language=英语|last1=Weedbrook|first1=C.|last2=Pirandola|first2=S.|last3=García-Patrón|first3=R.|first4=N. J.|last4=Cerf|first5=T. C.|last5=Ralph|first6=J. H.|last6=Shapiro|first7=S.|last7=Lloyd|title=Gaussian quantum information|journal=Reviews of Modern Physics|year=2012|volume=84|issue=2|page=621|doi=10.1103/RevModPhys.84.621}}</ref>量子操作不仅仅涉及孤立系统的{{le|幺正|Unitary transformation}}时间演化及对称变换，同时还涉及测量效应以及系统与环境间的暂态相互作用。

量子系统所能经历的一些过程并不能用量子操作描述<ref name="pechukas">{{cite journal|last=Pechukas|first=P.|title= Reduced dynamics need not be completely positive|journal=Physical review letters|year=1994|volume=73|issue=8|page= 1060|doi=10.1103/PhysRevLett.73.1060}}</ref>。原则上，量子系统的密度矩阵可以经过任意的时间演化。量子操作可以通过“{{le|量子仪器|quantum instrument}}”这一概念进行推广。量子仪器可以捕捉测量过程中[[量子信息]]外的经典信息。

== 背景 ==

量子力学的[[薛定谔绘景]]可以在一定的前提假设下对于量子系统的时间演化提供充分的描述。这些假设包括：

* 系统是非[[相对论]]性的。
* 系统是孤立的。

时间演化的薛定谔绘景有几种等价的数学表述，其中较为著名的一种为[[薛定谔方程]]。它给出了系统[[量子态|状态]]对时间的导数，或者更为准确地来说是：

:时间经过''t''个单位对孤立系统'''S'''产生的影响通过作用在与'''S'''相关的[[希尔伯特空间]]''H''上的[[幺正算符]]''U''<sub>''t''</sub>给出。

即如果系统在时刻''s''处于对应''v'' ∈ ''H''的状态，那么经过''t''个单位的时间后，其状态为''U''<sub>''t''</sub> ''v''。 对于相对论性系统，尽管没有全域[[时标]]，但特定可逆变换对于量子系统的作用仍是可以描述的。例如，系统状态在不同[[参考系]]间的变换，可以通过幺正变换给出。在任意情况下，处于纯态的系统经过状态变化后仍处于[[纯态]]；相关过程是在理想的框架下描述的，不涉及[[量子退相干|退相干]]。

对于开放系统，例如正在进行测量的系统，情况截然不同。首先，这些系统所经历的状态变化在描述时不能排除纯态集的变换{{efn|即''H''中范数为1的向量间的变换}}。在这样的相互作用后，处于纯态φ的系统将不再处于原来的纯态。一般而言，其会处于纯态序列φ<sub>1</sub>,..., φ<sub>''k''</sub>的统计混合态，相应状态的概率为λ<sub>1</sub>,..., λ<sub>''k''</sub>。从纯态到混合态的过程称作“退相干”。

目前已经有许多可以处理相互作用中的系统的数学表述。量子操作于1983年由{{le|卡尔·克劳斯 (物理学家)|Karl Kraus (physicist)|卡尔·克劳斯}}提出<ref>{{cite book| language=英语|title=States, effects, and operations: fundamental notions of quantum theory: lectures in mathematical physics at the University of Texas at Austin| url=https://archive.org/details/stateseffectsope0000krau|first=K.|last=Kraus|editor1-last=Böhm|editor1-first=A. |editor2-first=J. D.|editor2-last=Dollard|editor3-first=W. H.|editor3-last=Wootters|publisher=Springer-Verlag |year=1983|isbn=3540127321}}</ref>。他的这项工作是基于[[蔡文端]]此前做的数学工作<ref>{{cite journal|language=英语|last=Choi|first=M. D.|title=Completely positive linear maps on complex matrices|journal=Linear algebra and its applications|year=1975|volume=10|issue=3|pages=285-290|url=http://www.sciencedirect.com/science/article/pii/0024379575900750|doi=10.1016/0024-3795(75)90075-0|access-date=2016-02-08|archive-date=2021-05-06|archive-url=https://web.archive.org/web/20210506214127/https://www.sciencedirect.com/science/article/pii/0024379575900750|dead-url=no}}</ref>。这一方法可以将测量这样的操作表述为密度态间的映射。特别地，量子操作的影响仅限制在密度态集内。

== 定义 ==
密度算符是带有单位迹的希尔伯特空间上的非负算符。数学上，量子操作是希尔伯特空间''H''与''G''上[[迹类]]算符空间间的[[线性映射]]Φ，存在：
*如果''S''为密度算符，则{{math|Tr(Φ(''S'')) ≤ 1}}。
*Φ是完全正的，即对于任意自然数''n''及任意''n''行内部元素为迹类算符的非负方阵<math> \begin{bmatrix} S_{11} & \cdots & S_{1 n}\\ \vdots & \ddots & \vdots \\ S_{n 1} & \cdots & S_{n n}\end{bmatrix} </math>，
:存在<math> \begin{bmatrix} \Phi(S_{11}) & \cdots & \Phi(S_{1 n})\\ \vdots & \ddots & \vdots \\ \Phi(S_{n 1})  & \cdots & \Phi(S_{n n})\end{bmatrix} </math>也为非负的。

换言之，Φ是完全正的，当对所有''n''存在<math>\Phi \otimes I_n</math>为正。其中<math>I_n</math>表示<math>n \times n</math>矩阵的[[C*-代数]]上的同一映射。 

需要注意，在第一个条件下，量子操作不一定能保留统计[[系综]]的[[归一性]]。在概率论中，量子操作可能是个次[[马尔可夫链]]。为了使量子操作不会令密度矩阵集发生变化，需要再假定迹守恒。

在[[量子信息]]领域，量子操作被定义为不会令迹增加的完全正映射，又称“{{le|量子通道|quantum channel}}”或“随机映射”。这里的表述仅限于量子态间的通道，然而这一概念可以延伸至经典态的通道，从而允许量子信息与经典信息可以同时处理。

== 克劳斯算符 ==
克劳斯定理给出了表征量子操作的量子态密度算符间映射的特性<ref>{{cite book|language=英语|title=Quantum Computation and Quantum Information|edition=10th Anniversary Edition|first1=M. A.|last1=Nielsen|first2=I. L.|last2=Chuang|publisher=Cambridge University Press|year =2010|isbn=1139495488|pages=Theorems 8.1 & Theorems 8.3}}</ref>：

:设''H''和''G''分别是''n''维和''m''维的希尔伯特空间，而Φ是作用在''H''上的密度矩阵到作用在''G''上的密度矩阵的映射，则存在<math>\{ B_i \}_{1 \leq i \leq nm}</math>为''G''到''H''的映射，令<math> \Phi(S) = \sum_i B^*_i S B_i. </math>。相应地，任意这种形式的映射Φ是一种量子操作，令<math> \sum_i B_i B^*_i \leq 1</math>。

这里的矩阵<math>\{ B_i \}</math>称作“克劳斯算符”{{efn|这种矩阵有时又被称作“噪声算符”或“误差算符”，特别是在量子信息处理领域，量子操作被看作环境带来的噪声以及误差时。}}。[[斯坦斯普林分解定理]]可以将上述结果延伸至任意可分希尔伯特空间''H''和''G''。此时，''S''被一个迹类算符取代，而<math>\{ B_i \}</math>则被一系列有界算符取代。<ref name="Stinespring">{{cite journal|language=英语|last=Stinespring|first=W. F.|title=Positive functions on C*-algebras|journal=Proceedings of the American Mathematical Society|year=1955|volume=6|issue=2|pages=211-216|jstor=2032342|doi=10.2307/2032342|url=http://www.ams.org/proc/1955-006-02/S0002-9939-1955-0069403-4/S0002-9939-1955-0069403-4.pdf|access-date=2016-02-08|archive-date=2019-07-01|archive-url=https://web.archive.org/web/20190701001412/http://www.ams.org/proc/1955-006-02/S0002-9939-1955-0069403-4/S0002-9939-1955-0069403-4.pdf|dead-url=no}}</ref>

=== 酉等价性 ===
一般地，一种量子操作Φ并不仅仅确定唯一的克劳斯算符。比如，对于Φ进行的[[乔列斯基分解]]不同，得到的克劳斯算符也有所不同。下面的这条定理给出了两组表征同一量子操作克劳斯算符的酉等价性：

:设Φ{{efn|不一定保迹}}是一个有限维希尔伯特空间''H''上的量子过程，且存在两组可以表征该过程的克劳斯矩阵{''B''<sub>''i''</sub>}<sub>''i''≤ N</sub>及{''C''<sub>''i''</sub>}<sub>''i''≤ N </sub>。则存在幺正算符 <math>\; (u_{ij})_{ij}</math>令：
:<math> C_i = \sum_{j} u_{ij} B_j . \quad</math>

在无穷维情形中，这一结果可以推广至两组{{le|最小斯坦斯普林表示|Stinespring factorization theorem}}的关系。由斯坦斯普林定理可以得到，所有的量子操作在给原始系统附加适当的{{le|附属物|ancilla (quantum computing)}}经由幺正演化即可执行。<ref name="Stinespring"/>

=== 评注 ===
上述结果也可从完全正映射定理导出，由此可以通过一个特定的[[埃尔米特矩阵|埃尔米特]]正密度算符的迹表征完全正有限维映射。在给定量子通道的所有可能的克劳斯表示中，存在一个正则形式的克劳斯算符集，其中的克劳斯算符互相正交：<math>{\rm Tr} A^{\dagger}_i A_j \sim \delta_{ij} </math>。这样的一组正交克劳斯算符的正则集可以通过对相应的上述矩阵进行对角化然后通过本征矢改造为方阵即可得到。

同时还存在完全正映射定理无穷维情况的代数推广：通过定义量子通道的一种新的密度算符。这种矩阵可以用来定义相对保真度及量子通道间的互信息。<ref>{{cite journal|language=英语|last1=Belavkin|first1=V P|last2=Staszewski|first2=P.|title=A Radon-Nikodym theorem for completely positive maps|journal=Reports on mathematical physics|year=1986|volume=24|issue=1|pages=49-55|doi=10.1016/0034-4877(86)90039-X|url=https://www.maths.nottingham.ac.uk/personal/vpb/publications/radnik.pdf|access-date=2016-02-08|archive-date=2016-03-04|archive-url=https://web.archive.org/web/20160304023415/https://www.maths.nottingham.ac.uk/personal/vpb/publications/radnik.pdf|dead-url=no}}</ref>

== 动力学考量 ==
对于一个非相对论性量子系统，其时间演化可以通过''Q''的自同构[[单参数群]]{α<sub>''t''</sub>}<sub>''t''</sub>描述。这中描述可以简化至幺正变化<ref>{{cite journal|language=英语|first=V.|last=Varadarajan|title=Geometry of Quantum Theory|edition=2nd edition| publisher=Springer Science & Business Media|year=2007|isbn=0387493867}}</ref>：在特顶的若技术要求下，存在一个希尔伯特空间上的幺正变化的强连续单参数群{''U''<sub>''t''</sub>}<sub>''t''</sub>，令''Q''中的元素''E''依下面这个方程演化：
:<math> \alpha_t(E) = U^*_t E U_t. </math>。
系统的时间演化还可以通过[[统计力学|统计]]态空间的时间演化加以考量。统计态的演化由{β<sub>''t''</sub>}<sub>''t''</sub>这类算符给出，满足：
:<math> \operatorname{Tr}(\beta_t(S) E) = \operatorname{Tr}(S \alpha_{-t}(E)) =  \operatorname{Tr}(S U _t E U^*_t  )=\operatorname{Tr}( U^*_t S U _t E ).</math>

易见，对于每个''t''，''S'' → ''U''*<sub>''t''</sub> ''S'' ''U''<sub>''t''</sub>是一个量子操作。此外，这个操作是可逆的。

这个结果可以进行推广：如果''G''是''Q''的连通对称[[李群]]，满足同样的弱连续条件，那么''G''中任意元素''g''的[[群作用]]有幺正算符''U''给出：
:<math> g \cdot E = U_g E U_g^*. \quad</math>
''g'' → ''U''<sub>''g''</sub>的这一映射称作''G''的[[射影表示]]。''S'' → ''U''*<sub>''g''</sub> ''S'' ''U''<sub>''g''</sub>是可逆量子操作。

==量子测量==
量子操作可以用来描述[[量子测量]]过程。下面给出的表述描述的是对于可分复希尔伯特空间''H''上的自共轭射影的测量，即采用[[投影值测度]]方法。在一般情形中，测量可以通过{{le|正算符值测度|POVM}}采用非正交算符。非正交情形可以用来提高量子仪器的效率。

=== 双态测量 ===
量子系统可以通过一系列的是非问题进行测量。这一组问题可以理解为是从量子逻辑中命题的[[有补格|正交补格]]''Q''选取得的。这一补格等价于可分复希尔伯特空间''H''的自共轭射影空间。 

考察处于某态''S''的系统，为了确定其是否具有某一属性''E''。这里的''E''是量子是非问题格中的一个元素。这里的测量指对系统进行一定的处理来确定其是否具有该属性。在这里的讨论中，对于系统状态的考察可以通过考虑系统的[[系综]]赋以[[操作定义]]。每个测量会产生确定值：0或1。此外对系综进行测量导致统计态产生可预测变化。统计态的这一变换可以由量子操作给出：
:<math> S \mapsto E S E + (I - E) S (I - E)</math>
这里的''E''可以理解为一个[[投影]]算符。

=== 一般情形 ===
在一般情形中，[[可观测量]]的测量值的可能取值不止于2个。

当可观测量''A''具有一个[[纯点谱]]，那么其可以以本征矢为正交基底进行表记。即''A''可以进行谱分解：
:<math> A = \sum_\lambda \lambda \operatorname{E}_A(\lambda)</math>
其中E<sub>''A''</sub>(λ)是一组互相正交的投影。每一个投影都在与测量值λ相关的''A''的本征空间上。

可观测量''A''的测量值为''A''的本征值。对于系统系综进行的重复测量会得出''A''的本征值谱的[[概率分布]]。这个分布是离散的，满足：
::<math> \operatorname{Pr}(\lambda) = \operatorname{Tr}(S  \operatorname{E}_A(\lambda)).</math>

对于统计态''S''的测量由下面这个映射给出：
::<math> S \mapsto \sum_\lambda \operatorname{E}_A(\lambda) S \operatorname{E}_A(\lambda)\ .</math>
即在测量完成后不久，系统统计态是一个与可观测量测量值λ相关的本征空间上的经典分布：''S''是一个[[混合态]]。

== 非完全正映射 ==
苏德尔辛等人后来提出，对于开放量子演化的表述并不一定具有完全正性。他们通过计算得到，当系统与环境在起始时具有一定初始相关性时，对系统所赋以的映射并不一定是正的。然而，这一映射仅在状态不满足对于起始相关性做出的假设时才不是正的。他们因而得出为了对量子演化进行充分的理解，非完全正映射也需要纳入考察范围内。<ref name="pechukas"/><ref>{{cite journal|language=英语|last1= Shaji|first1=A.|last2=Sudarshan|first2=E. C. G.|title=Who's afraid of not completely positive maps?|journal=Physics Letters A|year=2005|volume=341|issue=1|pages=48-54|doi=10.1016/j.physleta.2005.04.029}}</ref>

== 注释 ==
{{notelist}}

== 参考文献 ==
{{reflist}}

== 参见 ==
* {{le|量子动态半群|Quantum dynamical semigroup}}

{{DEFAULTSORT:Quantum Operation}}
[[Category:量子力学]]
[[Category:量子測量]]