量子游标卡尺:相位估计

先备导航:你需要 036(QFT)、038(相位估计在 Shor 里的戏份)、031(相位回踢)、020(角度语言)。 下一篇预告:042《让电路扮演物理系统:Hamiltonian 模拟》。

目录
  1. 量子游标卡尺:相位估计
  2. 待测物:操作自带的"隐刻度"
  3. 主尺:用 2 的幂铺开量程
  4. 游标:逆 QFT 收读数
  5. 三条产线
  6. 把类比拆掉
  7. 带走的行李
先备导航:你需要 036(QFT)、038(相位估计在 Shor 里的戏份)、031(相位回踢)、020(角度语言)。
下一篇预告:042《让电路扮演物理系统:Hamiltonian 模拟》。

量子游标卡尺:相位估计

从硬币到纠错 · 量子计算专栏 041 量子游标卡尺:相位估计 量子游标卡尺 φ0.0001 精度 核心算法 II 与模拟

一把游标卡尺有两截:主尺,刻度粗,一格一毫米;游标,一截会滑动的小尺,靠"错位对齐"把精度再往下吃一位。两截配合,一根尺量出别人量不出的精度。

批四埋过一个名字——相位估计(036 篇"瞥一眼"的金矿、038 篇 Shor 的心脏)。本篇给它正式立传,方法就是造一把量子世界的游标卡尺:

主尺:一排计数比特,管"量程";
游标:干涉与 QFT,管"把精度吃到底";
待测物:一个量子操作自带的"特征相位"。

它凭什么值得立传?因为它大概是全部量子算法里承重最大的一根梁:Shor 靠它找周期,化学家靠它量分子能量(043 篇),046 篇的线性方程组也靠它驱动——一张电路,三条产线。

待测物:操作自带的"隐刻度"

每个量子操作 U 都藏着一套"固有旋转":某些特殊的态(叫特征态)在 U 的作用下不变形状,只整体转一个角度——U|ψ⟩ = 转了 2πφ 的 |ψ⟩。那个角度 2πφ 就是 U 附在这态上的特征相位,φ 是本篇要测的数(介于 0 和 1 之间,量的是"圈数")。

为什么值得测?因为特征相位是物理量的化身:在化学里它是分子的能量(043 篇:能量低=相位转得慢);在 Shor 的世界里它是周期 r 的分数化身;在线性方程组里它是解的坐标。测相位=读这些物理量的量子仪表盘。

主尺:用 2 的幂铺开量程

卡尺的量程怎么来?造 n 个计数比特,过 H 铺成均匀叠加——2^n 支箭头同时在场,每支代表一种"提问强度"。

接着是本篇的关键动作,受控-U 的幂:计数寄存器的第 k 位,控制"U 连转 2^k 圈"作用在特征态上。031 篇的相位回踢在此全面升级:U 每转一圈,就往计数寄存器那一支的箭头上踢一个相位——第 k 位控制的支路,累计踢了 2^k 个相位因子。

全部踢完,计数寄存器上的 2^n 支箭头带上了规律的相位图案:第 x 支的相位是 2π·φ·x——φ 越大,图案随 x 转得越快。待测的相位,被编码成了"箭头旋转的斜率"。(036 篇熟客的倒影:QFT 把"周期"翻成"频率",本篇把"斜率"翻回"读数"。)

游标:逆 QFT 收读数

斜率图案怎么变回数?对计数寄存器做逆 QFT——036 篇的换轴机反向开动:所有箭头在"正确的读数位置"上同向相加(相长),在其余位置上均匀摊开相消(016 篇的交叉项总动员)。

测量计数寄存器,读数就落在最接近 φ 的刻度上。精度由量程决定:n 个计数比特给出 n 位二进制精度——每多要一位精度,只多花一个比特加一层门:多项式的成本,买指数级的精细。

诚实的两个附件:

一,读数是概率的,但概率可控。若 φ 恰好落在刻度上(比如 φ=0.5),读数 100% 精确;落在两格之间,最邻近两格以"指数级悬殊"的概率分票——重跑几次、多数票表决,出错概率指数级压低。不是碰运气,是"以 1−ε 的置信读数",ε 随重跑指数衰减。

二,"U 的幂要便宜"是隐含前提。受控-U^(2^k) 若要老老实实执行 2^k 次 U,n=50 时就是天文数字——整个算法当场破产。相位估计成立的前提是 U 的各次幂"可高效引用":Shor 里成立(模乘的幂=反复平方,038 篇的流水线),042 篇的物理模拟里要专门设计。这是这类算法的共同软肋,记住它,第九批"未解与争议"还要回来点名。

三条产线

同一把卡尺,量三种东西:

  • Shor(037/038):U="乘 a 模 N",特征相位里卷着周期 r——卡尺读出分数、连分数还原 r;
  • 量子化学(043 篇):U="分子能量算符演化一分钟",特征相位正比于能量——能量是化学的圣杯(反应速率、催化剂设计全从它出发),经典计算机算不动精确版,卡尺能(资源详见 043);
  • 线性方程组(046 篇):把方程组的系数矩阵编成 U,解的坐标藏进特征相位——HHL 算法的引擎,以及它著名的三个陷阱。
一根梁承三栋楼,这就是"承重最大"的含义。

把类比拆掉

游标卡尺类比借了哪里:

  • 不像之一:卡尺对齐是机械动作、读数确定;QPE 的"对齐"是干涉(相长/相消),读数是概率的——好在错误的概率随重跑指数衰减,这是卡尺没有的"自证清白"。
  • 不像之二:卡尺量的是既存长度;QPE 量之前得先把特征态制备出来(系统寄存器得先处于 |ψ⟩)——"待测物在手"这一步常常是整个算法最难的部分(043 篇的制备难题),卡尺不负责找工件。

带走的行李

1. 相位估计=量子游标卡尺:H 铺开量程(n 比特计数寄存器)→ 受控-U 幂把特征相位踢成"旋转斜率" → 逆 QFT 干涉收读数;n 位二进制精度,多要一位只多一层门。 2. 两个附件:读数概率性但可多数票压错(指数衰减);U 的幂必须便宜——Shor 里靠反复平方,模拟场景要专门设计(共同软肋)。 3. 三栋楼一根梁:周期(Shor)、能量(化学 043)、解坐标(线性系统 046)——特征相位是物理量的通用仪表盘。

下一站的钩子:四十年前,量子计算机这个念头被正式提出时,动机只有一句话:经典计算机模拟量子系统,账本指数爆炸(030 篇的 2^n 天花板)——那就让量子系统自己演自己。这台"自己演自己"的机器怎么造?042《让电路扮演物理系统:Hamiltonian 模拟》。

#量子计算 #从硬币到纠错 #相位估计 #QPE

暂无表态

想参与讨论或点赞?登录后使用完整功能

讨论回复(0)

暂无回复,登录后可参与讨论
合作

智谱 GLM-5 已上线

在智谱开放平台 BigModel.cn 打造 AI 应用。新一代旗舰模型 GLM-5 在推理、代码、智能体综合能力达到开源模型 SOTA。

领取 2000万 Tokens