查看“︁正算子值测度”︁的源代码

在[[泛函分析]]和[[量子信息科学]]中，'''正算子值测度'''（Positive operator valued measure, '''POVM'''）是一种推广的[[测度]]，这种测度的值为[[希尔伯特空间]]上[[半正定算子]]。POVM是[[投影值测度]]（Projection valued measure, '''PVM'''） 的推广，相应地，POVM描述的[[量子测量]]是PVM描述的量子测量 (称为投影测量) 的推广。

粗略比喻来说：POVM之于PVM，就如同[[混合態|混合态]]之于[[純態|纯态]]一样。 混合态对于刻画一个较大系统的子系统的状态而言是必须的（见[[纯化|量子态的纯化]]）；类似地，POVM的概念则在刻画在较大系统上进行的投影测量对子系统的影响时自然地产生。

POVM是量子力学中最普遍的测量类型，也用于[[量子场论]]。<ref>{{Cite journal |last=Peres |first=Asher |author-link=Asher Peres |last2=Terno |first2=Daniel R. |year=2004 |title=Quantum information and relativity theory |journal=[[Reviews of Modern Physics]] |volume=76 |page=93–123 |arxiv=quant-ph/0212023 |bibcode=2004RvMP...76...93P |doi=10.1103/RevModPhys.76.93 |s2cid=7481797 |number=1}}</ref>它们在[[量子信息]]领域有着广泛的应用。

== 定义 ==
设 <math> \mathcal{H} </math> 是一[[希尔伯特空间]]，而 <math>(X, M)</math> 是一[[可测空间]]，其中 <math>M</math> 是 <math>X</math> 上的[[博雷爾集|博雷尔σ-代数]]。若 <math>M</math> 上的一个函数 <math>F</math> ，其值为 <math> \mathcal{H} </math> 上的[[正算子|正]][[有界算子|有界]][[自伴算子]]，且对于任意 <math>\psi \in \mathcal{H}</math> 和 <math>E\in M</math> 满足

: <math> E \mapsto \langle F(E) \psi|\psi \rangle, </math>

则 <math>F</math> 是[[σ-代数]] <math>M</math> 上的非负[[可加性|可数可加]]测度，且[[总质量]]为[[恆等函數|恆等算子]] <math>F(X) = \operatorname{I}_{\mathcal{H}} </math> ，那么称 <math>F</math> 是一个POVM。 <ref>{{Cite book|last=Davies|first=Edward Brian|title=Quantum Theory of Open Systems|publisher=Acad. Press|publication-place=London|date=1976|isbn=978-0-12-206150-9|page=35}}</ref>

在最简单的情况下，POVM是有限维希尔伯特空间 <math> \mathcal{H} </math> 上的一组[[半正定]][[埃尔米特矩阵]] <math>\{F_i\} </math> ，其和为[[單位矩陣|单位矩阵]]<ref name="mike_ike">M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, (2000)</ref> {{Rp|90}}

: <math>\sum_{i=1}^n F_i = \operatorname{I}.</math>

POVM与[[投影值测度]]的不同之处在于，对于投影值测度， <math>F</math>必须是[[投影 (线性代数)|正交投影]]。

在[[量子力学]]中，POVM的关键性质是它确定了结果空间上的一个概率测度，因此 <math>\langle F(E) \psi|\psi \rangle</math> 可以解释为测量[[量子態|量子态]] <math>| \psi \rangle</math> 时得到结果 <math>E</math> 的概率（密度）。也就是说，POVM元素 <math>F_i</math> 是关联于测量结果 <math>i</math> 的，从而对[[量子態|量子态]] <math>\rho</math> 进行[[量子測量|量子测量]]时得到它的概率

: <math>\text{Prob}(i) = \operatorname{tr}(\rho F_i) </math> ，

其中 <math>\operatorname{tr}</math> 是[[跡|迹]]运算。若被测量的量子态是纯态 <math>|\psi\rangle</math> ，则此公式简化为

: <math>\text{Prob}(i) = \operatorname{tr}(|\psi\rangle\langle\psi| F_i) = \langle\psi|F_i|\psi\rangle</math> 。

POVM的最简单情况推广了PVM的最简单情况，即PVM是一组和为恒等矩阵的正交投影 <math>\{\Pi_i\}</math> 的情况：

: <math>\sum_{i=1}^N \Pi_i = \operatorname{I}, \quad \Pi_i \Pi_j = \delta_{i j} \Pi_i.</math>

PVM的概率公式与POVM的概率公式相同。一个重要的区别是POVM的元素不一定正交。因此，POVM元素的数量 <math>n</math> 可以大于其所作用的希尔伯特空间的维数，而PVM元素的数量 <math>N</math> 不会超过希尔伯特空间的维数。

== 奈马克扩张定理 ==

{{Main|奈马克扩张定理}}

[[奈马克扩张定理]]<ref name="naimark">I. M. Gelfand and M. A. Neumark, On the embedding of normed rings into the ring of operators in Hilbert space, Rec. Math. [Mat. Sbornik] N.S. 12(54) (1943), 197–213.</ref>展示了如何从作用于更大空间的PVM中得到POVM。这一结果在量子力学中至关重要，因为它提供了一种物理实现正算子值测量的方法。<ref name="peres_book">A. Peres. Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, 1993.</ref> {{Rp|285}}

最简单的情况是，POVM元素作用于一个有限维希尔伯特空间且数目有限。奈马克扩张定理指出，若 <math>\{F_i\}_{i=1}^n</math> 是 <math>d_A</math> 维希尔伯特空间 <math>\mathcal{H}_A</math> 上的POVM，则存在一个 <math>d_{A'}</math> 维希尔伯特空间 <math>\mathcal{H}_{A'}</math> 上的PVM <math>\{\Pi_i\}_{i=1}^n</math> 以及[[等距同构]] <math>V : \mathcal{H}_A \to \mathcal{H}_{A'}</math> ，使得对于任意 <math>i</math> 有

: <math> F_i = V^\dagger \Pi_i V. </math>

对于[[秩 (线性代数)|秩]]为一的POVM的特殊情况，即存在某（未归一化的）向量 <math>|f_i\rangle</math> 使得 <math>F_i = |f_i\rangle\langle f_i|</math> ，该等距映射可以构造为<ref name="peres_book">A. Peres. Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, 1993.</ref> {{Rp|285}}

: <math> V = \sum_{i=1}^n |i\rangle_{A'}\langle f_i|_{A}</math>

而PVM则由 <math>\Pi_i = |i\rangle\langle i|_{A'} </math> 给出。注意这里 <math>d_{A'} = n</math> 。

一般情况下，等距同构和PVM可以通过定义<ref name="preskill_notes">J. Preskill, Lecture Notes for Physics: Quantum Information and Computation, Chapter 3, http://theory.caltech.edu/~preskill/ph229/index.html {{Wayback|url=http://theory.caltech.edu/~preskill/ph229/index.html |date=20240419033337 }}</ref><ref>J. Watrous. The Theory of Quantum Information. Cambridge University Press, 2018. Chapter 2.3, https://cs.uwaterloo.ca/~watrous/TQI/ {{Wayback|url=https://cs.uwaterloo.ca/~watrous/TQI/ |date=20210413094757 }}</ref> <math>\mathcal{H}_{A'} = \mathcal{H}_{A}\otimes \mathcal{H}_{B}</math> 、 <math>\Pi_i = \operatorname{I}_A \otimes |i\rangle\langle i|_B</math> 和

: <math> V = \sum_{i=1}^n \sqrt{F_i}_A \otimes {|i\rangle}_B </math>

来构造。注意这里 <math>d_{A'} = nd_A</math> ，因此这是一个更加“浪费”的构造。

无论哪种情况，对经过等距映射后的态进行该投影测量得到结果 <math>i</math> 的概率与进行原始正算子值测量得到该结果的概率相同：

: <math> \text{Prob}(i) = \operatorname{tr}\left( V \rho_A V^\dagger \Pi_i \right) 
           = \operatorname{tr}\left( \rho_A V^\dagger \Pi_i V \right) 
           = \operatorname{tr}(\rho_A F_i)
</math>

通过将该等距同构 <math>V</math> [[扩张 (映射)|扩张]]为一个[[幺正算符|幺正算子]] <math>U</math> ，可以将这种构造转化为POVM的一个物理实现方案。也就是说寻找 <math>U</math> 使得

: <math> \forall 1\leq i\leq d_A,\quad V|i\rangle_A = U|i\rangle_{A'}.</math>

这总是可以做到。

实现对量子态 <math>\rho</math> 进行的正算子值测量 <math>\{F_i\}_{i=1}^n</math> 的方法是{{Clarify}}，将 <math>\rho</math> 嵌入希尔伯特空间 <math>\mathcal{H}_{A'}</math> ，然后进行其幺正演化 <math>U</math> ，再进行对应于PVM <math>\{\Pi_i\}_{i=1}^n</math> 的投影测量。

=== 测量后的状态 ===
测量后的状态不是由POVM本身决定的，而是由物理上实现它的PVM来决定。由于相同的POVM有无穷个不同的PVM实现，因此 <math>\{F_i\}_{i=1}^n</math> 这些算子本身并不能确定测量后的状态。为看出这一点，注意对于任何幺正算子 <math>W</math> ，算子

: <math>M_i = W\sqrt{F_i} </math>

也满足性质 <math>M_i^\dagger M_i = F_i </math> ，那么结合第二种构造的等距同构

: <math> V_W = \sum_{i=1}^n {M_i}_A \otimes {|i\rangle}_B </math>

也将实现相同的 POVM。在被测状态为纯态 <math>|\psi\rangle_A</math> 的情况下，由此得到的幺正 <math>U_W</math> 在该态（连同辅助态）上的作用结果是

: <math> U_W(|\psi\rangle_A |0\rangle_B) = \sum_{i=1}^n M_i |\psi\rangle_A |i\rangle_B, </math>

当得到的测量结果为 <math>i_0</math> 时，辅助态上的投影测量将会使 <math>|\psi\rangle_A</math> 坍缩到态<ref name="mike_ike">M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, (2000)</ref> {{Rp|84}}

: <math> |\psi'\rangle_A = \frac{M_{i_0} |\psi\rangle}{\sqrt{\langle \psi |M_{i_0}^\dagger M_{i_0} | \psi \rangle}}. </math>

若被测态的密度矩阵为 <math>\rho_A</math> ，其被测量后的状态是

: <math>\rho'_A = {M_{i_0} \rho M_{i_0}^\dagger \over {\rm tr}(M_{i_0} \rho M_{i_0}^\dagger)}.</math>

因此可见，测量后状态明确依赖于幺正算子 <math>W</math> 。注意虽然 <math>M_i^\dagger M_i = F_i </math> 总是埃尔米特的， <math>M_i </math> 一般未必是埃尔米特的。

正算子值测量与投影测量的另一个区别在于它通常是不可重复的。若第一次测量得到结果 <math>i_0</math> ，第二次测量得到不同结果 <math>i_1</math> 的概率为

: <math>\text{Prob}(i_1|i_0) = {\operatorname{tr}(M_{i_1}M_{i_0} \rho M_{i_0}^\dagger M_{i_1}^\dagger) \over {\rm tr}(M_{i_0} \rho M_{i_0}^\dagger)}</math> ，

它在 <math>M_{i_0}</math> 和 <math>M_{i_1}</math> 不正交时可以是不为零的。在投影测量中，这些算子必然是正交的，因此测量始终是可重复的。

== 一个例子：无歧义量子态分辨 ==
[[Image:Bloch sphere representation of optimal POVM and states for unambiguous quantum state discrimination.svg|thumb|right|态的[[布洛赫球面|布洛赫球]]表示（蓝色）与对态 <math>|\psi\rangle=|0\rangle</math> 和 <math>|\varphi\rangle=\frac1{\sqrt2}(|0\rangle+|1\rangle)</math> （红色）进行UQSD时的最优POVM。注意正交态在布洛赫球中对应于反向平行的箭头。]]

假定有一量子系统对应的希尔伯特空间为二维的，其态要么是 <math>|\psi\rangle</math> 要么是 <math>|\varphi\rangle</math> ，现在想要知道是其中的何者。若 <math>|\psi\rangle</math> 与 <math>|\varphi\rangle</math> 正交，那么这将是一个简单的任务：此时 <math>\{|\psi\rangle\langle\psi|,|\varphi\rangle\langle\varphi|\}</math> 将构成一个PVM，而在该基下的投影测量将对前述问题给出确定性的回答。然而若 <math>|\psi\rangle</math> 与 <math>|\varphi\rangle</math> 不正交，那么该任务在这样一种意义上将是不可能的：没有一种测量，无论是PVM还是POVM，能确定地辨别这两个态。<ref name="mike_ike"/>{{rp|87}}完美辨认非正交态的不可实现性是各种量子信息协议（如[[量子密碼學]]、{{Le|量子硬币翻转|quantum coin flipping}}、[[量子貨幣]]）的基础。

退而求其次，实际能做到的最好效果是所谓无歧义量子态分辨（Unambigious quantum state discrimination, UQSD）：在系统处于 <math>|\psi\rangle</math> 还是 <math>|\varphi\rangle</math> 的问题不犯任何错误，但代价是有时会得到一个概然的答案。这一点可由投影测量做到。<ref name="bergou"/>例如，设 <math>|\psi^\perp\rangle</math> 是正交于 <math>|\psi\rangle</math> 的那个量子态，现在按PVM <math>\{|\psi\rangle\langle\psi|,|\psi^\perp\rangle\langle\psi^\perp|\}</math> 进行测量，若得到了 <math>|\psi^\perp\rangle\langle\psi^\perp|</math> 的对应结果，那么就可得知态必然是 <math>|\varphi\rangle</math> ；若结果是 <math>|\psi\rangle\langle\psi|</math> ，就无法得到确凿的答案。类似的推理对PVM <math>\{|\varphi\rangle\langle\varphi|,|\varphi^\perp\rangle\langle\varphi^\perp|\}</math> 也有效，其中 <math>|\varphi^\perp\rangle</math> 表示正交于 <math>|\varphi\rangle</math> 的态。

然而这并不足以令人满意，这种方法无法用单一测量来探测 <math>|\psi\rangle</math> 与 <math>|\varphi\rangle</math> ，并且得到确定性结果的概率也低于基于POVM的测量。下面的POVM在此任务中具有最高的机会来给出一个确定性的结论<ref name="bergou">{{cite book |author1= J.A. Bergou |author2=U. Herzog |author3=M. Hillery |editor1=M. Paris |editor2=J. Řeháček |title=Quantum State Estimation |url= https://archive.org/details/quantumstateesti00pari |url-access= limited |date=2004 |publisher=Springer |isbn=978-3-540-44481-7 |pages=[https://archive.org/details/quantumstateesti00pari/page/n420 417]–465 |ref=bergou_book |chapter=Discrimination of Quantum States|doi=10.1007/978-3-540-44481-7_11}}</ref><ref>{{cite journal | last=Chefles | first=Anthony | title=Quantum state discrimination | journal=Contemporary Physics | publisher=Informa UK Limited | volume=41 | issue=6 | year=2000 | issn=0010-7514 | doi=10.1080/00107510010002599 | pages=401–424|arxiv=quant-ph/0010114v1| bibcode=2000ConPh..41..401C | s2cid=119340381 }}</ref>：
:<math>F_{\psi}=\frac{1}{1+|\lang\varphi|\psi\rang|}|\varphi^\perp\rangle\langle\varphi^\perp| </math>
:<math>F_{\varphi}=\frac{1}{1+|\lang\varphi|\psi\rang|}|\psi^\perp\rangle\langle\psi^\perp| </math>
:<math>F_?= \operatorname{I}-F_{\psi}-F_{\varphi}= \frac{2|\lang\varphi|\psi\rang|}{1+|\lang\varphi|\psi\rang|} |\gamma\rangle\langle\gamma|,</math>
其中
:<math>|\gamma\rangle = \frac1{\sqrt{2(1+|\lang\varphi|\psi\rang|)}}(|\psi\rangle+e^{i\arg(\lang\varphi|\psi\rang)}|\varphi\rangle).</math>

注意到 <math>\operatorname{tr}(|\varphi\rangle\langle\varphi|F_{\psi}) = \operatorname{tr}(|\psi\rangle\langle\psi|F_{\varphi}) = 0</math> ，所以当得到结果 <math>\psi</math> 时，便可确凿地知晓系统是处于 <math>|\psi\rangle</math> ，而当结果为 <math>\varphi</math> 时就知晓系统处于 <math>|\varphi\rangle</math> 。

当系统处于 <math>|\psi\rangle</math> 或 <math>|\varphi\rangle</math> 的概率相同时，该测量方案得到确定性结果的概率是
:<math>1-|\lang\varphi|\psi\rang|.</math>
这一结果称为 Ivanović-Dieks-Peres 极限，冠名于UQSD研究的先驱者.<ref>{{cite journal | last=Ivanovic | first=I.D. | title=How to differentiate between non-orthogonal states | journal=Physics Letters A | publisher=Elsevier BV | volume=123 | issue=6 | year=1987 | issn=0375-9601 | doi=10.1016/0375-9601(87)90222-2 | pages=257–259| bibcode=1987PhLA..123..257I }}</ref><ref>{{cite journal | last=Dieks | first=D. | title=Overlap and distinguishability of quantum states | journal=Physics Letters A | publisher=Elsevier BV | volume=126 | issue=5–6 | year=1988 | issn=0375-9601 | doi=10.1016/0375-9601(88)90840-7 | pages=303–306| bibcode=1988PhLA..126..303D }}</ref><ref>{{cite journal | last=Peres | first=Asher | title=How to differentiate between non-orthogonal states | journal=Physics Letters A | publisher=Elsevier BV | volume=128 | issue=1–2 | year=1988 | issn=0375-9601 | doi=10.1016/0375-9601(88)91034-1 | page=19| bibcode=1988PhLA..128...19P }}</ref>

由于这些POVM是秩为一的，可以看到通过前文叙述的构造投影测量的方法，便可在物理上实现这些POVM。将扩大后的希尔伯特空间中的三种可能的态分别标记为 <math>|\text{result ψ}\rangle</math> 、 <math>|\text{result φ}\rangle</math> 、 <math>|\text{result ?}\rangle</math> ，幺正算子 <math>U_\text{UQSD}</math> 在态 <math>|\psi\rangle</math> 上的作用结果是
:<math>U_\text{UQSD}|\psi\rangle = \sqrt{1-|\lang\varphi|\psi\rang|}|\text{result ψ}\rangle + \sqrt{|\lang\varphi|\psi\rang|} |\text{result ?}\rangle,</math>
类似地，它在 <math>|\varphi\rangle</math> 上作用的结果是
:<math>U_\text{UQSD}|\varphi\rangle = \sqrt{1-|\lang\varphi|\psi\rang|}|\text{result φ}\rangle + e^{-i\arg(\lang\varphi|\psi\rang)}\sqrt{|\lang\varphi|\psi\rang|}|\text{result ?}\rangle.</math>
于是投影测量便可以相同于POVM的概率来得到所要的结果。

这种POVM已在实验上用于区分一个光子的非正交偏振态。不过实现该POVM的投影测量与此处阐述的有轻微的不同。<ref>{{cite journal | author1=B. Huttner | author2 = A. Muller | author3 = J. D. Gautier | author4 = H. Zbinden | author5 = N. Gisin | title=Unambiguous quantum measurement of nonorthogonal states | journal=Physical Review A | publisher=APS | volume=54 | issue=5 | year=1996 | pages = 3783–3789 | doi=10.1103/PhysRevA.54.3783 | pmid = 9913923 | bibcode = 1996PhRvA..54.3783H }}</ref><ref>{{cite journal | author1=R. B. M. Clarke | author2 = A. Chefles | author3 = S. M. Barnett | author4 = E. Riis | title=Experimental demonstration of optimal unambiguous state discrimination | journal=Physical Review A | publisher=APS | volume=63 | year=2001 | issue = 4 | doi=10.1103/PhysRevA.63.040305 | page=040305(R)  | arxiv=quant-ph/0007063| bibcode = 2001PhRvA..63d0305C | s2cid = 39481893 }}</ref>

== 参见 ==

* [[量子測量|量子测量]]
* [[量子力學的數學表述|量子力学的数学表述]]
* [[密度矩陣|密度矩阵]]
* [[量子操作]]
* [[投影值测度]]
* [[向量测度]]

== 参考资料 ==
{{Reflist}}

== 外部链接 ==

* [https://demonstrations.wolfram.com/QuantumStateDiscriminationWithTwoQubits/ 量子态辨别的互动演示] {{Wayback|url=https://demonstrations.wolfram.com/QuantumStateDiscriminationWithTwoQubits/ |date=20231005153523 }}
[[Category:量子測量]]
[[Category:量子信息]]