量子测量与量子图灵机¶
量子态演化¶
波函数¶
波函数是量子力学的基本假设,最简单的形式是
哈密顿量¶
表示为
由动力项和势能项组成。
- 动能项描述了系统中粒子的运动能量,通常用动量算符和质量来表示。
- 势能项描述了系统中粒子之间的相互作用和受到的外部场的影响,可以是位置算符和外部势场的函数。
哈密顿量表达式的第一项实则为粒子的动能,第二项是一个空间位置的函数,即势能函数,表示粒子处在不同位置时的势能。
哈密顿量的本征值是系统能量的可能取值,对应的特征向量是在该能量取值下的状态向量。
薛定谔方程与量子态演化¶
移项后积分:
得到:
设
该式表明,量子态从初态到终态的演化可以由一个与
线性与非线性量子态演化¶
根据量子力学原理,量子态演化过程由两部分组成:
- 线性演化过程:如果一个物理系统没有被测量,它将按照薛定谔方程以一种确定的、线性的方式演化。
- 非线性演化过程:如果对系统进行一个测量,系统将立即非线性地、随机地从初始的叠加态跃迁到正被测量的可观测量的一个本征态,这时,实验者就会感知到一个确定的观察值,即本征态相应的本征值。
即作用量子门时,量子态的演化是线性的,而测量量子态时,量子态的演化是非线性的。
量子测量¶
特征值与特征向量的几何意义¶
矩阵乘法对应了一个变换,是把任意一个向量变成另一个方向或长度都大多不同的新向量。如果矩阵对某一个向量或某些向量只发生伸缩变换,不对这些向量产生旋转的效果,那么这些向量就称为这个矩阵的特征向量,伸缩的比例就是特征值。
特征值分解¶
向量
特征值分解:
其中
特征值分解的含义¶
矩阵
对于矩阵为高维的情况下,通过特征值分解得到的前 N 个特征向量,就对应了这个矩阵最主要的 N 个变化方向。利用这前 N 个变化方向,就可以近似这个矩阵(变换)。
量子计算中的特征分解(谱分解)¶
只有对可对角化矩阵才可以施以特征分解。特征值的集合
假设
标准正交基的完备性方程为:
可通过完备性方程检验一组基是否是标准正交基。
投影算子¶
定义投影到单位向量
满足性质:
则复数域上的正规矩阵
因此
量子测量¶
- 一般测量
- 投影测量
- POVM 测量
对于选定的观测性质,我们需要执行相应的测量算符。每个可能的测量结果都对应一个测量算符的特征值
投影测量的可观测量¶
可观测量由
测量的可能结果与
测量后的态坍缩为:
观测量的平均值为:
标准差:
投影测量的测量算子¶
量子测量由投影算子的集合
指标(index)
设
量子线路和测量操作¶
把测量操作作为量子线路的一部分,有时也被称为测量门,原理即投影测量。
双比特量子电路整体测量
对于如下的双比特量子电路:

对其进行整体测量:
-
T1 时刻:
-
T2 时刻,经过 CNOT 门:
-
T3 时刻,进行整体测量,分别作用四个投影算子。
-
使用测量操作
,测量结果为 00 的概率为:可知,量子态不可能坍缩到
。 -
其他三种情况同理。
-
双比特量子电路部分测量
对于如下的双比特量子电路:

只对低位量子比特进行测量,则此时的两种测量矩阵为:
测量后得到的概率分别为:
测量后,量子态坍缩为
量子态区分公设¶
量子测量的原理的一大应用是区分量子系统中不同的量子态。
-
如果一组态向量
是正交的,那么可以定义测量算子 ,对于其中的一个未知角标的态向量 ,用这组测量算子进行测量,只有当 时,有:其他情况下,有
。这样就可以区分出不同的量子态。 -
如果态向量不正交,则不存在一组测量算子可以完全区分这些态向量,因为一个态向量可以分解为其他态向量上的分量,导致
。
通用量子门¶
通用量子门(Universal Quantum Gate)是一种能够在量子计算中实现任意量子操作的门。
以下的门集合是通用的:
- 单量子比特门和 CNOT 门是通用的。
- 通用门的标准集合,由 H 门、相位门、CNOT 门和
门组成。 - H 门、相位门、CNOT 门和 Toffoli 门。
量子门分解¶
通用量子门可以用来对任意的酉操作进行近似。这种近似的方法被称为量子门分解(Quantum Gate Decomposition)或量子门逼近(Quantum Gate Approximation)。
基本思想:将目标酉操作分解为一系列更简单的量子门的乘积,通过合理选择和组合这些基本量子门,并对它们的参数进行调整,我们可以逐步逼近目标酉操作。
分解的精度取决于所使用的门集合和逼近方法的复杂程度。通常情况下,使用更多的门和更复杂的门序列可以提供更精确的逼近结果。
常见的量子门分解方法包括:
- 应用基于泰勒级数展开的逼近方法,将目标酉操作近似为一系列基本门的乘积。
- 利用通用量子门集合中的门进行分解。
- 使用优化算法,例如基于梯度下降的方法,找到适合的门序列和参数来逼近目标酉操作。
量子门分解代价¶
Solovay-Kitaev 定理表明,对任意的单量子比特门,如果要求精度为
量子图灵机和量子电路模型¶
没啥写的。