量子力学中的测量

最新推荐文章于 2024-04-18 12:17:44 发布

immcrr

最新推荐文章于 2024-04-18 12:17:44 发布

阅读量6.7k

点赞数 4

本文链接：https://blog.csdn.net/immcrr/article/details/81589925

版权

本文探讨了量子力学中的测量，包括一般测量、投影测量和POVM（Positive Operator-Valued Measure）。对于正交的量子态，存在一组测量算符以概率1区分它们，而对于非正交态，不存在这样的测量。投影测量是物理书上常见的测量形式，由一个厄米算符描述，具有特定的谱分解。POVM则是一种更一般的测量形式，只关注测量结果而不涉及测量后的状态变化。最后，文章提到一般测量可以通过增加辅助系统和幺正变换转化为投影测量，这是Neumark扩张定理的内容。

摘要由CSDN通过智能技术生成

随便总结一下，可能有错…
大概分成三个内容，一般测量、投影测量（物理书上常见）、POVM。POVM涉及到的很多东西还搞不太清楚，因为详细讲解它的书都太数学了，不数学的书讲的太笼统，所以只简单带过意思意思。

$\def\vec#1{\boldsymbol{#1}}$
$\def\bra#1{\langle#1|}$
$\def\ket#1{|#1\rangle}$
$\def\dirac#1#2{\langle#1|#2\rangle}$

###一般测量
一般测量的测量假设是：

测量由一组测量算符 ${M_m\}$ 描述，测量算符须满足完备性方程 $\sum_mM^\dagger_mM_m=I$ 这些算符作用到被测状态上，指标 $m$ 表示测量可能得到的结果。设测量前的状态为 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi}$ ，则测得结果 $m$ 的概率为 $KaTeX parse error: Expected 'EOF', got '\bra' at position 6: p(m)=\̲b̲r̲a̲{\psi}M^\dagger…$ 测量后系统的状态为 $KaTeX parse error: Expected '}', got '\ket' at position 10: \frac{M_m\̲k̲e̲t̲{\psi}}{\sqrt{\…$ 且完备性方程给出了概率和为 $1$ ： $KaTeX parse error: Expected 'EOF', got '\bra' at position 18: …um_mp(m)=\sum_m\̲b̲r̲a̲{\psi}M^\dagger…$

###以概率 $1$ 区分量子状态
区分量子状态的问题是这样叙述的：Alice从一组状态 $KaTeX parse error: Expected 'EOF', got '\ket' at position 3: \{\̲k̲e̲t̲{\psi_i}\},(i=1…$ 中随机抽出一个发送给Bob，Bob需要确定Alice发给他的状态的指标 $i$ .

如果各个量子态 $KaTeX parse error: Expected 'EOF', got '\ket' at position 3: \{\̲k̲e̲t̲{\psi_i}\},(i=1…$ 是正交的，则Bob可以通过定义一组测量算子 $\{M_i\},(i=0,1,\cdots,n)$ 来以概率 $1$ 区分所有的量子态。测量算符的定义为： $KaTeX parse error: Expected 'EOF', got '\ket' at position 5: M_i=\̲k̲e̲t̲{\psi_i}\bra{\p…$ 注意这里每个测量算符都是半正定的，从而是厄米的，所以可以简单地验证，确实满足完备性方程。这样，设Bob收到的量子态是 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_j}$ 则测得结果 $i$ 的概率为 $KaTeX parse error: Expected 'EOF', got '\bra' at position 6: p(i)=\̲b̲r̲a̲{\psi_j}M_i^\da…$ 即，发送来 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_j}$ 态，则测得结果为 $j$ 的概率为 $1$ ，也就是说，以概率 $1$ 得到正确结果。

如果各量子态 $KaTeX parse error: Expected 'EOF', got '\ket' at position 3: \{\̲k̲e̲t̲{\psi_i}\},(i=1…$ 不正交，则可以证明不存在一组测量算符能以概率 $1$ 区分各量子态。

证明：要证明的是没有测量可以区分非正交的量子态 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_1}, \ket{…$ 使用反证法，假设有测量可以做到这一点：如果状态是 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_1}$ （或 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_2},\cdots$ ），则测量到 $j$ 使得 $f (j) = 1$ （或 $f(j)=2,\cdots$ ）的概率为 $1$ ，这里 $f (j) = i$ 表示测得结果 $j$ 根据某个对应法则推断出态的编号是 $i$ .
定义 $E_i=\sum\limits_{j:f(j)=i}M^\dagger_jM_j$ 则对于抽取出的量子态 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi}$ ，测量、推断得出是第 $i$ 态的概率是 $KaTeX parse error: Expected 'EOF', got '\bra' at position 6: p(i)=\̲b̲r̲a̲{\psi}E_i\ket{\…$ 根据假设应该有 $KaTeX parse error: Expected 'EOF', got '\bra' at position 1: \̲b̲r̲a̲{\psi_i}E_i\ket…$ 由于 $\sum_iE_i=I$ ，所以 $KaTeX parse error: Expected 'EOF', got '\bra' at position 7: \sum_i\̲b̲r̲a̲{\psi_j}E_i\ket…$ ，由算符的半正定性可得 $KaTeX parse error: Expected 'EOF', got '\bra' at position 1: \̲b̲r̲a̲{\psi_j}E_i\ket…$ ，进而 $KaTeX parse error: Expected 'EOF', got '\ket' at position 11: \sqrt{E_i}\̲k̲e̲t̲{\psi_j}=0,(i\n…$ . 对 $j’\neq j$ ，设 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_j}=\alpha…$ ，其中 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\phi}$ 和 $KaTeX parse error: Expected 'EOF', got '\ket' at position 1: \̲k̲e̲t̲{\psi_{j'}}$ 正交，由归一性可知