Skip to content

算法Algorithm

量子相位估计

Quantum phase estimation · QPE

用受控酉幂将特征相位写入控制寄存器,再以逆 Fourier 变换读出,推导精确情形、有限概率分布与实际查询成本。

形式陈述 ​

给定有限维酉算子 U 的归一化特征向量 |u⟩,满足

U|u⟩=e2πiφ|u⟩,0≤φ<1.

算法假设已制备目标寄存器 T 的 |u⟩,并可实现相干受控幂 U2j,0≤j<m。令 K=2m,寄存器顺序固定为 Cm−1⊗⋯⊗C0⊗T,控制寄存器的整数编码是 x=∑j2jxj。目标是测出近似相位 y/K,而非直接读出目标态的振幅。

从受控操作到 Fourier 信号 ​

一般受控门定义为 |0⟩⟨0|⊗I+|1⟩⟨1|⊗U。在特征态上,它把 (|0⟩+|1⟩)|u⟩/2 变成 (|0⟩+e2πiφ|1⟩)|u⟩/2:目标态未变,控制线的相对相位改变。这是相位 kickback从布尔符号到一般单位圆特征值的推广。

将控制线初始化为 |0m⟩,逐线做 H;以 Cj 控制 U2j。由于这些幂作用在同一特征态上,得到

1K∑x=0K−1|x⟩Ux|u⟩=1K∑x=0K−1e2πixφ|x⟩|u⟩.

随后只在控制寄存器施加逆 Fourier 变换 FK†,最后按计算基测量并输出 y/K。这里 FK 的定义采用正指数,故解码必须采用负指数。

完整的有限输出分布 ​

结果 y∈{0,…,K−1} 的振幅及概率为

Ay=1K∑x=0K−1e2πix(φ−y/K),Pφ(y)=|Ay|2.

若 φ=a/K,单位根求和给出 Pφ(a)=1。否则令 δ=φ−y/K,由有限几何级数及 |1−e2πit|=2|sin⁡πt| 得

Pφ(y)=sin2⁡(πKδ)K2sin2⁡(πδ).

分母为零时用前面的有限和解释,不能把 0/0 当作零概率。相位按模一比较;定义 dT(s,t)=minn∈Z|s−t−n|。对最近的网格点 y∗/K,有 dT(φ,y∗/K)≤1/(2K),且

Pφ(y∗)≥4π2.

证明是选取该圆周距离的带符号代表 δ。当 0<|δ|≤1/(2K) 时,|sin⁡(πKδ)|≥2K|δ|,而 |sin⁡(πδ)|≤π|δ|;代回便得下界。δ=0 时概率为一;两个最近点并列时,上述界分别适用于两点。这是一次运行的常数成功率,尚不是任意高置信度保证。

直觉

直接对 U|u⟩ 测量看不见整体相位。控制寄存器增加了“未施加 U”的参考分支,使这个相位成为分支之间可干涉的相对相位。不同控制位让它累积 1,2,4,… 倍,逆 Fourier 变换再把转速转成整数标签。

控制位权、酉幂与相位输出

控制位在逆变换前各自呈现不同相位,却不能逐位独立测量后再拼接成答案。逆变换负责处理这些相位之间的进位关系;当真实相位没有有限二进制展开时,残余干涉表现为一整个概率分布。

例子与边界

三位精确读取 5/8 ​

取 U=diag(1,e5πi/4),目标态为 |1⟩,所以 φ=5/8。在顺序 C2,C1,C0 下,U4,U2,U 分别产生模一相位 1/2,1/4,5/8。控制寄存器成为

|0⟩−|1⟩2⊗|0⟩+i|1⟩2⊗|0⟩+e5πi/4|1⟩2=F8|101⟩.

因此 F8† 后以概率一测得 101,输出 5/8。这同时检验了幂次、正负号和位序;若用正向 F8 解码,将得到负标签 −5mod8=3,而不是 5。

两位估计 1/3 的全部结果 ​

令 m=2、φ=1/3。例如 y=1 时 δ=1/12,于是

P(1)=sin2⁡(π/3)16sin2⁡(π/12)=6+3316.

其余三项同理由有限和得到:

测得位串 输出 y/4 概率
00 0 1/16
01 1/4 (6+33)/16
10 1/2 3/16
11 3/4 (6−33)/16

四项之和恰为一。最近点 1/4 的成功概率约为 0.699760,相位误差为 1/12;算法既不确定输出二进制截断,也不可能用这四个输出值精确表示 1/3。接近相位 1 时,最近输出可能是 0,所以误差必须按圆周距离解释。

特征态和受控接口不是自动获得的 ​

若输入为 |ψ⟩=∑ℓcℓ|uℓ⟩,在有限维谱定理给出的正交特征基中演算并忽略目标寄存器,得到 P(y)=∑ℓ|cℓ|2Pφℓ(y)。这是按权重抽取特征相位的混合分布,不是对相位期望值做估计。应用必须另行解释特征态制备或所需特征空间的重叠概率。

只有未知 U 黑盒时,不能一般地免费给它加控制:U 与 eiγU 作为孤立黑盒相差不可观测的整体相位,而它们的受控版本在控制线留下不同的相对相位。本算法的受控访问假设必须在应用的 oracle 或已知门电路中落实。

推论与应用

资源账要区分两种接口。若外部直接提供各个受控幂,主算法调用它们 m 次;若每个幂靠重复受控 U 实现,总调用数为 1+2+⋯+2m−1=K−1。控制寄存器的 Fourier 电路另需 O(m2) 个门。因此分辨率随 2−m 缩小,并不代表基本查询成本也只随 m 增长。

若已知 U 的电路有 g 个门,且各门可按常数开销受控,直接实现的成本为 O(g(K−1)+m2);固定门集的近似合成还需额外精度分析。量子查询模型将输入无关门视为免费,只是一种计费约定,不能据此把一般受控幂或特征态制备记成免费。

量子计数把 Grover 迭代的两支特征相位折回同一个标记比例,因而不必先选出其中一支特征态。它仍须把上述有限分布转为计数误差,不能把一个 m 位相位输出直接等同于正确整数答案。

参考资料
  • Andrew M. Childs, Lecture Notes on Quantum Algorithms,2025-04-17 版,§4.3,印刷页 18–19,式 (4.11)–(4.17):受控幂与有限输出分布。
  • Richard Cleve, Artur Ekert, Chiara Macchiavello, Michele Mosca, “Quantum Algorithms Revisited”,arXiv v1,1997-08-08,§5,式 (5.1)–(5.4):相位估计构造及最近网格点的 4/π2 成功率。此处引用已核验的预印本编号,而非 1998 年期刊版页码。
关系图谱12 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系