笔记：量子力学初探

写在最前面:本文是阅读《Quantum Computation and Quantum Information》时所做。

[2.2.1]

1.幅度

定义:设量子状态$|\phi ⟩$具有在一组基下的分解$|\phi ⟩=\sum _i{\lambda }_i|i⟩$.称基$|i⟩$的系数${\lambda }_i$为$|\phi ⟩$在基$|i⟩$ 的幅度。

2.量子力学假设一：

任意孤立系统都有一个Hilbert空间与之联系，称这个空间为系统的状态空间。系统完全由状态向量描述。且这个向量是系统状态的系统一个单位向量。(根据归一化条件)。

[2.2.2]

3.量子力学假设二：

3.1 定义

一个封闭系统的演化可由一个酉变换刻画。如设系统在$t_1$的状态为$|\phi ⟩$,在$t_2$时刻是状态$|{\phi }^{{}^{\prime }}⟩$.则存在一个酉变换$U$,使得$U|\phi ⟩=|{\phi }^{{}^{\prime }}⟩$.

且$U$仅依赖于时刻$t_1,t_2$.

该假设是由薛定谔方程推导出的.

另外作用在单量子比特上的酉算子都可以在实际系统中实现.

3.2 Pauli矩阵的别称

$X$，量子非门。

$X,Z$,比特翻转矩阵.

3.3薛定谔方程

3.3.1 表达式及含义

封闭系统演化的微分形式由薛定谔(schrödinger)方程描述:

$i\hslash \frac{d|\phi ⟩}{dt}=H|\phi ⟩$

其中$H$称为Hamilton量，是一个不随时间变化的Hermite矩阵。$\hslash$是约化普朗克常量，是个标量.

*3.3.2 哈密顿量的说明

$H$是Hermite算子，具有谱分解$H=\sum _{E}E|E⟩⟨E|$.称状态$|E⟩$为本征态(energy eigenstate)，或定态(stationary state)。

$E$是$|E⟩$的能量。最小的$E$称为基态能量，对应的$|E⟩$称为基态。

有时候我们可以给封闭系统进行操作一段时间(量子非门)，这段时间内系统不再封闭，但我们可以恰当修改$H$的值，使得薛定谔方程仍能描述这个系统，此时$H$与时间有关，称修改后的$H$为时变哈密顿量。注意这个过程与测量是有一定区别的，具体区别如今前沿物理学仍在探索中。

3.3.3薛定谔方程的解

可以证明$|\phi ⟩=exp(\frac{-iH(t-t_0)}{\hslash })|{\phi }_0⟩$是薛定谔方程的一个解。其中$t_0$是初始时间,$|{\phi }_0⟩$是初始状态.

(证明所需用到的知识参见附录(appendix)A1).

于是对于任意时刻$t$,定义$U=exp(\frac{-iH(t-t_0)}{\hslash })$，可以证明$U$是酉变换。于是有$|{\phi }_t⟩=U|{\phi }_0⟩$,量子假设二得证.

[2.2.3]

4.量子测量

4.1 量子力学假设3:(一般测量)

量子测量由一组测量算子{$M_m$}描述，算子$M_m$满足$\sum _m{M}_m^{†}{M}_m=I$.这组算子对状态$|\phi ⟩$测量后得到结果$m$的概率为$p(m)=⟨\phi |M_m^{†}{M}_m|\phi ⟩$.测量后得到新状态为$\frac{M_m|\phi ⟩}{\sqrt{⟨\phi |M_m^{†}{M}_m|\phi ⟩}}$.

算子$M_m$的完备性关系保证了$\sum _{m}p(m)=1.$

有时也称这种测量为一般测量.

4.2 在基下的测量

定义$M_m=|i⟩$,其中$|i⟩$是一组标准正交基。此时称测量是在基$|i⟩$下的.

可以证明，此时测量是一个投影测量的等价形式.(投影测量见6)

4.3 串联测量

对于一个状态$|\phi ⟩$,先对其进行算子$L_l$的测量，再对其进行算子$M_m$的测量，在最终结果上等价于进行算算子$N_{lm}\equiv M_m{L}_l$所描述的测量。(证明考虑两次结果中的$p_{lm}$和最终状态.)

[2.1.4]

5.非正交态不可可靠区分

证明思路:假设有两个状态$|{\phi }_1⟩,|{\phi }_2⟩$.

$(1)$.倘若状态$|{\phi }_1⟩,|{\phi }_2⟩$正交，可以定义包含$M_1=|{\phi }_1⟩,M_2=|{\phi }_2⟩$在内的一组测量算子{$M_m$},此时$M_m$测量两个状态时，都有概率为$1$的情况下得到$|{\phi }_1⟩$或$|{\phi }_2⟩$.

$(2)$.倘若状态$|{\phi }_1⟩,|{\phi }_2⟩$不正交，假设可以通过某些情况$j$来猜测未知状态为状态$|\phi {⟩}_1$，定义函数$f(j)=1$,此时用相应测量算子测量$|{\phi }_1⟩$，显然结果只能是集合 { j ∣ f ( j ) = 1 } \{ j|f(j)=1 \} {j∣f(j)=1}的元素。 (条件1)且有$\sum _{j:f(j)=1}p(j)=1$. (条件2)

同理，同一套测量算子(必须是同一套,因为作用时你无法区分两个状态。)作用到也必须满足类似的两个条件.即测量结果是 { j ∣ f ( j ) = 2 } \{j|f(j)=2\} {j∣f(j)=2}中的元素，且$\sum _{j:f(j)=2}p(j)=1$.

然而测量$|{\phi }_2⟩$时，$|{\phi }_2⟩$在$|{\phi }_1⟩$上的分量会干扰测量结果，这种干扰是无法通过调整测量算子得到的,必然会与四个条件之一矛盾.（严格证明考虑数学表达式即可).

同理，多个非正交状态也无法可靠区分。

[2.1.5]

6.投影测量

6.1 定义

投影测量由被观测系统状态空间上的一个可观测量Hermite算子$M$描述，该可观测量具有谱分解$M=\sum _{m}m{P}_m$的形式，$m$是$M$的特征值，$P_m$是$m$本征空间上的投影。测量状态$|\phi ⟩$时，得到状态$m$(以$m$为状态$m$出现的情况编号)的概率为$p(m)=⟨\phi |P_m|\phi ⟩$.状态变为$\frac{P_m|\phi ⟩}{⟨\phi |P_m|\phi ⟩}$.

6.2 与一般测量的关系

**数学表达式上的关系:**定义测量算子$M_m=P_m$,即当测量算子{$M_m$}中的元素满足$M_m{M}_{m^{{}^{\prime }}}={\delta }_{m{m}^{{}^{\prime }}}{M}_m$,且$M_m$是Hermite算子时,可以证明两者测量结果时完全一致的。

事实上，引入辅助系统后可以证明,任意测量算子可以表示为先经过酉变换再进行投影测量的形式.(证明见12辅助系统.)

6.3 利用投影测量计算平均值和标准差

可以证明，对于多个处于状态$|\phi ⟩$的量子态用$M$进行投影测量，则测量后的平均值为$⟨\phi |M|\phi ⟩.$

在不引起误会的情况下，式子$⟨\phi |M|\phi ⟩$常简写为$⟨M⟩$，且涉及矩阵运算时，$M-⟨M⟩I$常省略$I$.

测量后标准差$[△(X){]}^2=⟨M^2⟩-⟨M{⟩}^2$.

(证明用期望的定义式与投影测量的概率表达式.)

7.海森堡不确定关系

对于一群完全一样的量子状态分别用投影测量$C,D$进行测量，则测量得到的标准差$△(C),△(D)$满足：

$△(C)△(D)\ge \frac{1}{2}(⟨\phi |[C,D]|\phi ⟩)$（证明参见A1.4)

可以看见，海森堡不确定关系的本质是由于算子$C,D$不对易引起的。

[2.1.6]

8.POVM 测量 定义

在一般测量中，定义$M_m^{†}{M}_m$为一个$POVM$元，用字母$E_m$表示，显然$E_m$是半正定的(也是Hermite的)，且满足$\sum _m{E}_m=I$.

定义{$E_m$}为POVM测量。

9.不错地区分非正交状态

$(1).$方案：

对于一组非正交线性无关的状态$|{\phi }_i⟩(1\le i\le m)$，对于每一个$|{\phi }_i⟩$,寻找一组线性无关的单位向量$|{\psi }_i⟩$，使得$|{\psi }_i⟩$与$|{\phi }_i⟩$正交。

定义POVM测量$E_i=p|\psi ⟩⟨\psi |(1\le i\le m)$.调整$p(p\ge 0)$的值，使得在保持$p$最大的情况下，$E_{m+1}=I-\sum _m{E}_m$是半正定的。

此时使用$E_i$测量便能不错地区分非正交量子状态。

$(2).$说明

为了说明，考虑两个量子状态$|0⟩,|+⟩$.定义$E_1=\frac{\sqrt{2}}{1+\sqrt{2}}|1⟩⟨1|,E_2=\frac{\sqrt{2}}{1+\sqrt{2}}|-⟩⟨-|，E_3=I-E_1-E_2$.

可以验证，这是满足条件的POVM测量。

此时测量未知状态$|\phi ⟩$,若测得结果为$|-⟩$,则$|\phi ⟩$一定为$|0⟩.$若测得结果为$|1⟩$,则$|\phi ⟩$一定为$|+⟩$.

作为代价，当测量结果为二者之外，将不会得到任何信息。否则，便违背了不可区分非正交量子状态的原理.

[2.1.7]

10.相位(Phase)

10.1 全局相位因子

若状态$|\psi ⟩,|{\psi }^{{}^{\prime }}⟩$有关系$|{\psi }^{{}^{\prime }}⟩=e^{i\theta }|\psi ⟩$($\theta$是实数).则称$e^{i\theta }$为全局相位因子。在任意测量算子的测量下，得到的结果都是一致的，因此$e^{i\theta }$一般可以忽略。

10.2 相对相位因子

设${\psi }_i,{\phi }_i$分别是状态$|\psi ⟩,|\phi ⟩$在基$|i⟩$下的幅度，若存在实数$\theta$使得${\psi }_i=e^{i\theta }{\phi }_i$,称幅度${\psi }_i$与${\phi }_i$相差一个相对相位。

若在某个基下所有线性表示出的幅度都相差同一个相位因子，则称状态$|\phi ⟩$与$|\psi ⟩$在这个基下相差一个相对相位。

[2.1.8]

11.复合系统

11.1 量子力学假设4：

复合系统的状态空间是分系统的状态空间的张量积。即若分系统处于状态$|{\phi }_1⟩,|{\phi }_2⟩...|{\phi }_n⟩$,则复合状态的状态向量为$|{\phi }_1⟩\otimes |{\phi }_2⟩...\otimes |{\phi }_n⟩$.

有时这个式子也简写为$|{\phi }_1⟩|{\phi }_2⟩...|{\phi }_n⟩$.

11.2 复合系统的线性算子

定义$M_i$是线性算子$M$作用到复合系统的第$i$个分系统的线性算子。

即$M_i=I_1\otimes I_2...\otimes I_{i-1}\otimes M_i\otimes I_{i+1}...\otimes I_n$.

可以证明，这个式子是符合定义的。

12.辅助系统

12.1 概念

使用固定测量算子进行测量时，在某些情况下可以引入辅助系统，使得测量结果出现目标结果。

引入辅助系统后，利用酉变换与投影测量可以实现所有一般测量算子。

12.2 应用:解决投影测量与一般测量的关系

对于任意测量算子$M_m$与任意空间$Q$的状态$|\psi ⟩$，引入辅助分系统$|0⟩$,$|0⟩$是和$|\psi ⟩$同维度的空间$M$任意固定向量，因此复合系统的状态为$|\psi ⟩|0⟩$.

定义酉变换$U$为$U|\psi ⟩|0⟩=\sum _m{M}_m|\psi ⟩|m⟩.$定义$|m⟩$是$M$的一组标准正交基.

可以证明，有式子$⟨\psi |⟨0|U^{†}U|0⟩|\psi ⟩=⟨\psi |\psi ⟩$.这步应用了内积的性质实现降维/升维。

将$U$扩展为$Q\otimes M$上的酉变换(参见A1.5)

定义投影测量$M_p=\sum _{i}m|m⟩⟨m|$,

于是对于目标分系统$|\psi ⟩$,用$U$作用后使用$M_p$测量结果与$M_m$测量一致。

13.纠缠态

13.1 定义

是否所有复合状态都是分状态的复合？

考虑状态$|\phi ⟩=\frac{1}{\sqrt{2}}(|00⟩+|11⟩)$.

可以证明不存在一个分状态$|a⟩,|b⟩$使得$|a⟩|b⟩=|\phi ⟩$.

这些不能用分状态复合表示的状态即为纠缠态。纠缠态的原因至今仍在探索中。

13.2 贝尔态

贝尔态指的是如下四个纠缠态:

$|{\beta }_{xy}⟩=\frac{1}{\sqrt{2}}(|0,y⟩+(-1{)}^x|1,\bar{y}⟩)$

其中 x , y ∈ { 0 , 1 } x,y\in\{0,1\} x,y∈{0,1}.$\bar{y}$是$y$的二进制取补。

贝尔态也称为EPR对.

Appendix 附录

收录可能用到的数学知识

A1 线性代数

线性代数大部分可以翻看之前的线性代数总结篇，这里只介绍总结篇中未提及的知识。

A1.1 矩阵微积分

矩阵微积分是一个庞大的领域，这里仅介绍解薛定谔方程能用到的知识.

设向量$|y⟩=\left[\begin{array}{c}{y}_1\\ y_2\\ ⋮\\ y_m\end{array}\right]$

定义$\frac{d|y⟩}{dx}=\left[\begin{array}{c}\frac{d{y}_1}{dx}\\ \frac{d{y}_2}{dx}\\ ⋮\\ \frac{d{y}_m}{dx}\end{array}\right],\frac{\partial |y⟩}{\partial x}=\left[\begin{array}{c}\frac{\partial y_1}{\partial x}\\ \frac{\partial y_2}{\partial x}\\ ⋮\\ \frac{\partial y_m}{\partial x}\end{array}\right]$

积分是微分的逆运算.

A1.2酉矩阵与Hermite矩阵的关系

对于任意酉矩阵$U$,存在一个Hermite矩阵$K$,使得$K=-iln(U)$或者$U=exp(iK)$.(证明参见算子函数)

A1.3 特殊矩阵的特征值

$(1).$若矩阵$A$满足$A^{†}=-A,$则$A$的特征值全是虚数。(证明考虑谱分解)

$(2).$定义三维实单位列向量$\vec{v}$与元素是Pauli矩阵的向量$\vec{\sigma }$的点积：

$\vec{v}\cdot \vec{\sigma }=v_{1}X+v_{2}Y+v_{3}Z$.

于是可以计算出$\vec{v} \cdot \vec{\sigma} $的特征值为$\pm1.$对应的特征向量为

$|{\lambda }_{+}⟩=\frac{1}{2}(I+\vec{v}\cdot \vec{\sigma }).$

$|{\lambda }_{-}⟩=\frac{1}{2}(I-\vec{v}\cdot \vec{\sigma }).$

A1.4 对易式与反对易式的性质

若$A,B$是Hermite矩阵,$|\phi ⟩$是一个单位向量，则有等式:

∣ ⟨ φ ∣ [ A , B ] ∣ φ ⟩ ∣ 2 + ∣ ⟨ φ ∣ { A , B } ∣ φ ⟩ ∣ 2 = 4 ∣ ⟨ φ ∣ A B ∣ φ ⟩ ∣ 2 |\langle\varphi|[A,B]|\varphi\rangle|^2 +|\langle\varphi|\{A,B\}|\varphi\rangle|^2 = 4|\langle\varphi|AB|\varphi\rangle|^2 ∣⟨φ∣[A,B]∣φ⟩∣2+∣⟨φ∣{A,B}∣φ⟩∣2=4∣⟨φ∣AB∣φ⟩∣2[证明考虑对易式谱分解和实部虚部]

忽略含反对易式的加项和均值不等式，可得不等式

$|⟨\phi |[A,B]|\phi ⟩{|}^2\le 4⟨\phi |A^2|\phi ⟩⟨\phi |B^2|\phi ⟩$.

A1.5 酉矩阵的扩展

设$V$是一个Hilbert空间，$W$是其子空间，设$U$是$W\to V$的线性变换。则存在$V\to V$酉算子$U^{{}^{\prime }}$,使得对于任意$W$空间的向量$|w⟩$有$U|w⟩=U^{{}^{\prime }}|w⟩$.(证明考虑谱分解)

A2 概率论

A2.1 平均值

A2.1.1 定义式

随机变量$X$的平均值定义为随机变量的期望。且$X$期望$E(X)=\sum _{X}p(X)X.$

A2.1.2 期望的性质

$(1).$线性性质：$E(aX+b)=aE(X)+b.$

$(2).$对乘法可分配:$E(XY)=E(X)+E(Y).$

A2.2 方差

A2.2.1 定义式

定义随机变量$X$的方差$s^2(X)=E((X-E(X{)}^2)$

定义随机变量$X$的标准差$△(X)=s(X)=\sqrt{s^2(X)}$.

A2.2.2 方差的性质

$s^2(X)=E(X^2)-E^2(X)$.(证明用期望的性质1,2)
本文写作时较为仓促，有所疏漏在所难免，欢迎理性讨论。

全文完。