稳定、记忆与修复13 分钟

没有逐轮测量和反馈,系统怎样持续纠正错误?

自主纠错把错误线索转移到辅助自由度,再通过工程耗散移走,同时要求环境不能分辨未知逻辑态的内容。回到码空间不足以验收这一过程。本文实际计算保相干与泄露逻辑标签的恢复、持续噪声下的三比特有效动力学及有限辅助复位,并核单离子与腔光子的无测量协议,区分脉冲恢复、连续耗散、条件保真与完整过程收益。

要带走错误,不能把答案也带走

一个系统受扰动后自动回到稳定状态,可能只是不断把所有输入重置成同一个答案。对已知的目标态,这可以很有用;对存储未知量子信息,这却会毁掉原来的内容。

量子纠错必须稳定的是一整个逻辑态空间,包括其中任意叠加态。错误发生时,可以让辅助系统知道“偏离了哪一种约束”,但不能让它知道“存的是逻辑0还是1”。随后把辅助系统复位,才能给下一次错误留下出口。4

这条路径可以通过始终开启的有效耦合和耗散实现,也可以通过预先安排的脉冲恢复加复位实现。不需要逐轮读取综合征并作经典反馈,并不要求所有控制都是恒定的。 离子和腔光子研究采用了不同的实现方式。23

本篇问的是未知态怎样被持续保留,而不是怎样制备一个已知态,也不以“自主”一词直接推断装置更省能。

先用一个可算过程区分回稳和纠错

取T36已用过的三比特重复编码:

$$ |\psi_L\rangle=\alpha|000\rangle+\beta|111\rangle. $$

这里只保护比特翻转$X$。第一比特翻转后,状态进入一个错误子空间。用$|e_0\rangle,|e_1\rangle$表示与两个逻辑基态对应的错误态,设计一个有效恢复跳跃:

$$ J=\sqrt\Gamma\bigl(|0_L\rangle\langle e_0|+|1_L\rangle\langle e_1|\bigr). $$

它对$\alpha|e_0\rangle+\beta|e_1\rangle$的作用,是把同样的$\alpha,\beta$送回逻辑空间。两个振幅共享一个不可区分的耗散通路,恢复矩阵元的相对幅度和相位也必须合适。恢复在码空间本身不起作用,因此所有逻辑态都能保持,而不只是两个基态。4

现在只改变环境能否区分两条路径。把$J$拆成两个独立跳跃:

$$ J_0=\sqrt\Gamma|0_L\rangle\langle e_0|,\qquad J_1=\sqrt\Gamma|1_L\rangle\langle e_1|. $$

两种实现对逻辑0或1的恢复都一样快。但独立出口把逻辑标签写进环境;丢弃环境记录后,恢复分支失去两个振幅间的相干。这不是一个无关紧要的控制细节。

本库以“初始已发生一个可纠正错误、随后没有新噪声”为校准,实际求解Lindblad演化,并保留与二维参考系统的关系。两种恢复进入码空间的概率都是

$$ P_C(t)=1-e^{-\Gamma t}. $$

最后再进行一次理想综合征恢复,把仍处于可纠正错误空间的分支也取回。保相干实现的纠缠保真度为1,泄露逻辑标签的实现则为

$$ F_e(t)=\frac{1+e^{-\Gamma t}}2. $$
两个有效恢复通道有相同的码空间占据,却有不同的完整逻辑通道。这里没有持续自然噪声,只用于校准恢复是否保留未知态。
两个有效恢复通道有相同的码空间占据,却有不同的完整逻辑通道。这里没有持续自然噪声,只用于校准恢复是否保留未知态。

在$\Gamma t=3$时,两者都已有约95.02%的码空间占据;终读出后的$F_e$却分别为1和0.5249。只测占据、两个逻辑基态或恢复速度,会漏掉这类失败。

另一个小对照是把普通量子比特持续冷却到已知$|0\rangle$。该态一直保持正确,但振幅阻尼通道的纠缠保真度为$(1+e^{-\Gamma t/2})^2/4$,长期趋于1/4。稳定一个已知态与保护未知输入的任务不同;这些值均由本库实际核算。

加上不断发生的错误,恢复需要赶上什么

对三个物理比特各施加独立$X$噪声,单比特跳跃速率为$\kappa$;对三个单错误子空间分别设置上述保相干恢复$R_j$。有效方程为

$$ \dot\rho=\kappa\sum_{j=1}^{3}\mathcal D[X_j](\rho) +\Gamma\sum_{j=1}^{3}\mathcal D[R_j](\rho), $$
$$ \mathcal D[A](\rho)=A\rho A^\dagger-\tfrac12\{A^\dagger A,\rho\}. $$

这里$R_j$未含$\sqrt\Gamma$,恢复率由方程前的系数给出。这个算符层模型与Reiter等的条件恢复方程对应;参数、噪声对照及以下显式辅助系统是本库选择的有限例子,没有复现原离子的全部能级和运动模。45

一次错误后,恢复和下一次错误发生竞争。若恢复足够快,第二个错误落在同一修复窗口内的概率就降低。三比特码中的两处翻转却可以被当作另一处单错;恢复随后可能把它送进错误的逻辑分支。因此,只让系统“总是在纠正”还不够,速度关系必须合适。

本库传播逻辑输入算符$|0\rangle\langle0|$、$|1\rangle\langle1|$、$|0\rangle\langle1|$,重建完整逻辑Choi态;没有用某个已知输入的回码概率代替未知态质量。下表固定$\kappa t=1$,均包含终读出时的理想恢复:

$\Gamma/\kappa$ 保相干恢复$F_e$ 泄露逻辑标签$F_e$ 两者共同的码空间占据
0 0.6009 — 0.2637
2 0.6479 0.4535 0.5012
10 0.7604 0.4228 0.7857
30 0.8667 0.4635 0.9118
100 0.9478 0.5003 0.9712

两组的逻辑$Z$基态成功率也相同,保相干组中它恰好等于$F_e$;泄露组则明显不同。这里的差异来自实际构造出的通道,不是由占据率推测相干。

在理想$X$噪声模型中,还可独立按累计翻转数建立四态速率方程,保留进入错误逻辑分支后的返回。其慢逻辑极化衰减率为

$$ \lambda=\frac{\Gamma+8\kappa-\sqrt{(\Gamma+8\kappa)^2-48\kappa^2}}2. $$

在$\Gamma\gg\kappa$时,$\lambda\simeq12\kappa^2/\Gamma$;对应逻辑$X$跳跃率为$\lambda/2\simeq6\kappa^2/\Gamma$。衰减率与Pauli跳跃率差一个2,不能混报。短时间仍含另一种较快衰减,不能把全曲线硬换成一个指数。

原理论补充材料也使用速率方程说明双错窗口,但其简化模型把多错空间设为吸收态,明确不描述长期非零保真度。5 本库此处用的是保留返回的有限通道,并核对两种计算在各自范围内的含义。

修得更快,为什么仍可能变差

上述三比特编码不保护相位错误。为检验这一边界,本库另外给每个数据比特加上速率$\kappa_z=0.003\Gamma$的$Z$噪声。这是自选的控制误差模型,不是对实验噪声的拟合。

在这组独立Pauli条件下,完整通道满足

$$ F_{e,X+Z}(t)=F_{e,X}(t)\frac{1+e^{-6\kappa_z t}}2, $$

本库既直接求解,也与这个解析分解核对。在$\kappa t=1$时,$\Gamma/\kappa=10$给出$F_e=0.6977$,增到100反而降为0.5523,尽管码空间占据继续上升。所扫参数中有中间区域更好;这不是所有自主纠错的统一最优修复率。

左:理想持续修复随速度增加而改善。右:泄露逻辑标签或增加未受保护相位噪声,会改变完整量子信息的收益。裸比特仅用于同X噪声的方向基线,未匹配三数据比特及控制资源。
左:理想持续修复随速度增加而改善。右:泄露逻辑标签或增加未受保护相位噪声,会改变完整量子信息的收益。裸比特仅用于同X噪声的方向基线,未匹配三数据比特及控制资源。

图中无持续修复的三比特码,仍在最后使用理想恢复。因此它本来就可能优于一个裸比特,不能把这部分收益全部归给自主动力学。裸比特、三数据比特、辅助系统与终读出恢复的资源都要分别记。

辅助系统为何既不能积满,也不能只求最快复位

有效跳跃把辅助系统消去了,容易让人误以为可以独立把$\Gamma$调得无限大。本库因此另建一个显式模型:三个数据比特加四态辅助系统,初始辅助态为$|0\rangle_a$。

令错误$j$通过相干耦合转移为辅助激发$|j\rangle_a$:

$$ H=g\sum_{j=1}^{3}\bigl(R_j\otimes|j\rangle_a\langle0|+ R_j^\dagger\otimes|0\rangle_a\langle j|\bigr), $$

再用$L_{a,j}=\sqrt\gamma I\otimes|0\rangle_a\langle j|$复位。辅助记录错误类型,而不区分两个逻辑振幅。持续$X$噪声照常作用于数据;没有把复位期间的错误关掉。

这个32维模型逐项传播密度算符,再迹掉辅助系统、进行同样的终读出恢复。固定$g/\kappa=5$、$\kappa t=1$得到:

$\gamma/\kappa$ $F_e$ 终点辅助激发占据
0 0.6381 0.6361
1 0.6531 0.5201
3 0.6721 0.3643
10 0.6851 0.1492
30 0.6590 0.0391
100 0.6244 0.00564
300 0.6094 0.000744

复位慢时,辅助激发积累,不能持续作为新鲜出口。复位过快时,固定的相干转移被强耗散压制:辅助激发振幅以速率$\gamma/2$衰减,在弱交换的过阻尼条件下,有效转移占据的速率反而随$\gamma$增大而降低。这是本模型中的量子Zeno限制。过阻尼极限才可近似为

$$ \Gamma_{\rm eff}\simeq\frac{4g^2}{\gamma}. $$

本库将它与完整模型核对:$\gamma/\kappa=30,100,300$时,两种$F_e$的绝对差分别约0.01452、0.00147、0.000164,随所选极限逐渐接近。不能在复位缓慢或耦合相当强时直接使用这个消去公式。

固定耦合强度的有限辅助模型。左为完整逻辑通道及有效模型比较;右为辅助占据与复位跳跃通量的时间积分。没有把复位事件数当实测耗热。
固定耦合强度的有限辅助模型。左为完整逻辑通道及有效模型比较;右为辅助占据与复位跳跃通量的时间积分。没有把复位事件数当实测耗热。

$\gamma=0$的短时点仍有有限收益,说明辅助系统可以暂时承担错误信息;它没有持续复位出口,单点不能证明可长期反复修复。这里最高值也只是所扫参数点中的最高值,不是一般最优控制解。

我们另外积分$\gamma P_{a,\rm exc}(t)$得到平均复位事件数。把51点积分细化到201点,两个检查参数的差小于$7\times10^{-6}$。这是指定跳跃展开中的事件计数;没有辅助能级能量、驱动功与设备测量,不能转换成全装置焦耳数或“无能耗纠错”。

实验怎样实现这条通路,又用了什么验收口径

单离子研究利用$^{40}\mathrm{Ca}^+$的自旋猫态编码针对主导退相位。作者用载波与运动边带脉冲,把首阶错误分量送回逻辑空间,并把错误熵转入运动模;每次试验前需冷却初始化。开放作者v1的方法还显示:运动激发告警样本被丢弃,最长延时的标记比例约7%,恢复相位逐点校准。2

作者报告的最大寿命改善约1.53,是在误差阈值约0.03下定义的有用寿命;它不是任意通道统一的指数时间常数。这里实际核读的是固定作者v1,2026正式页只取得预览,不能冒充最终方法全文。12 条件样本的改进与告警后的总体可用任务应分别验收,不能把丢弃分支默认为全部成功。

腔光子作者稿则用辅助transmon恢复二项式编码,再通过受驱动的有损谐振器复位。补充材料的一个周期含150微秒等待、约2.1微秒恢复脉冲及0.710微秒复位,还对无跳跃变形与相位误差作控制优化。四种输入的过程层析用于重建通道,过程保真度按$Ae^{-t/\tau}+0.25$拟合;作者报告相对同系统Fock比特约18%的寿命收益。3

两项研究都包含实际的控制和资源条件。我们未重分析原始层析计数、执行作者脉冲代码或复现器件,不能把本库理想终读出模型的数值当成实验的独立认证;也不把两种不同寿命定义直接排名。传感时还需要保留怎样的信号,留给T139独立研究。

这类修复何时可信,何时需要改变方案

一条完整机制链是:编码把可纠正偏离与逻辑内容分开;条件耦合把偏离送进辅助系统;不可区分的恢复路径保留逻辑相干;复位将错误熵带出,并为下一次修复提供新鲜辅助自由度。自然噪声、修复和复位速率,以及不在纠错集合内的额外误差,共同决定最终收益。

最有区分力的对照,是在相同数据噪声和终读出条件下,改变恢复通路的可区分性、辅助冷却/复位、驱动速度及未受保护噪声,并同时测逻辑通道与辅助状态。只检查是否回到码空间,会把错误机制混在一起。

本篇有限模型走通了这条链:一个校准分开了占据与相干,持续噪声计算显示双错窗口,显式辅助模型显示有限出口和固定耦合约束。其结论限于给出的有效跳跃、噪声和资源,没有证明任意错误可自主纠正,也没有证明随编码规模增长的通用阈值。

仍需保留的缺口是:真实器件的噪声相关与相位漂移、初始化及读取开销、条件样本之外的可用性、长期复位稳定性与全资源净收益。自主恢复怎样与具体编码塑造出的错误结构配合,是T135继续研究的问题。

可回查:输入与全部结果、聚焦科学审计、单错相干校准、持续修复对照、完整时间轨迹、有限辅助复位、已知态重置。

来源与依据

  1. S1 原始实验正式发表页订阅预览

    Error correction of a logical qubit encoded in a single atomic ion

    Kyle DeBry et al. · 2026

    · 摘要已核

    摘要/题录/公开图题

    正式发表于2026-07-13,NaturePhysics22,1446–1452。PDF地址返回订阅HTML,未取得正式PDF/方法,不将预览当全文。

  2. S2 原始实验开放作者固定稿

    Error correction of a logical qubit encoded in a single atomic ion — author v1

    Kyle DeBry et al. · 2025

    · 相关全文已核

    作者v1主文Measurement-free error correction protocol;Fig3/4;Methods error correction pulses、extended interrogation、tomography、error-corrected fidelity、motional initialization与erasure fraction;Eq11–14及其拟合用途

    核J=5/2自旋猫码针对退相位、729nm脉冲把首阶错误熵转移至运动模,每shot冷却。自然噪声优势用阈值误差的有用寿命定义,1.53(7)对应误差0.030(5),不是统一指数时间常数;长延时约7%运动擦除样本丢弃,侧带相位逐点10次测量拟合优化,频率持续校准。保留条件分支与筛选成本。未取2026最终全文/方法,也未重分析层析计数,不称任意通道或全部输入过程认证。

  3. S3 原始实验作者预印本

    Autonomous quantum error correction beyond break-even and its metrological application

    Zhongchu Ni; Ling Hu; Yanyan Cai; Libo Zhang; Jiasheng Mai; Xiaowei Deng; Pan Zheng; Song Liu; Shi-Biao Zheng; Yuan Xu; Dapeng Yu · 2025

    · 相关全文已核

    主文Fig1/3及寿命拟合;Methods AQEC/ancilla reset;SM SecIII A/B/C、EqS15–S17、FigS7与QPT、SecE误差预算/数据和代码可得性

    核四种输入编码/解码过程层析、150us等待+2100nsGRAPE恢复+710ns耗散复位、无跳跃变形与复位相位/Kerr优化,原文Fchi=A exp(-t/tau)+.25拟合及报告相对Fock0/1约18%收益。只读相关段,未取得原始层析计数或作者请求获取的代码,未运行原脉冲/拟合/全部SM。作者模型部分有效退相位时间由数据校准,不称独立预测。只用固定作者v1,不据检索未命中断言发表状态。

  4. S4 原始理论方案,非实验实现

    Dissipative quantum error correction and application to quantum sensing with trapped ions

    F. Reiter; A. S. Sørensen; P. Zoller; C. A. Muschik · 2017

    · 相关全文已核

    Eq3–9条件恢复jump与噪声;Fig2/3辅助熵转移、两逻辑路径相干;主文Secperformance/Methods Eq24–27有效消去及external imperfections

    核有效三粒子重复码方程、暗流形、共同辅助出口保持两路径相干、外加Z误差未保护以及有限驱动条件。未复现离子全多能级/全部运动模微观哈密顿量;本库32维辅助为独立模型,不当原设备复现。主文的近似初始drop与补充速率模型不直接当本库终读出Fe;完整通道另核。

  5. S5 原始理论正式补充材料

    Supplementary Information: Dissipative quantum error correction and application to quantum sensing with trapped ions

    F. Reiter; A. S. Sørensen; P. Zoller; C. A. Muschik · 2017

    · 相关全文已核

    Supplementary Note2 rate equation model,Eq33–41与其限制;有效消去/数值比较的相邻定位段

    核原三子空间速率方程把多错当吸收、未描述长期非零保真度的明确限制及快慢率定义。未重做所有推导/微观参数优化或全SI;本库保留回返的四重量链和逻辑Choi态与此分开。

最后更新 2026-10-13

来源