基于可容许残差空间投影的约束保持量子误差缓解

《Quantum Reports》：Constraint-Preserving Quantum Error Mitigation by Projection onto Admissible Residual Spaces

　　

量子误差缓解（QEM）能够改善目标观测值，但无法保证重建的实验数据满足已知的物理一致性条件。研究人员引入了一个约束保持的QEM框架，该框架在残差坐标中表示重建误差，并将估计残差投影到由可微物理约束定义的局部可容许切空间上。该方法消除了完整的一阶约束违反分量，并将一般约束泄漏抑制至二阶。研究人员针对CHSH关联，以无信号性（no-signalling）作为基准约束，对该构造进行了分析性开发，并将其推广至一般光滑约束。确定性和有限采样模拟证实了所预测的抑制效果，包括投影后采样行为的改善。该方法可与校准读出缓解（readout mitigation）和零噪声外推（zero-noise extrapolation）组合使用，而协方差信息度量提供了可选的任务相关细化。在IBM量子硬件上的真实设备实验在八个不相交物理量子比特对和24个对-块实现上验证了该方法。读出缓解后，投影在全部24个实现中降低了无信号残差，平均配对降低率为96.61%，且CHSH的额外变化可忽略不计。单独的采样数扫描改善了全部15个硬件实现，平均配对降低率为97.38%，同时揭示了高采样数下的硬件限制残差下限。约束选择性测试进一步表明，不同约束消除不同的残差分量。该方法完全经典，不需要额外量子比特、辅助比特或电路深度，为现有QEM流程提供了资源高效的一致性层。

本文提出了一种约束保持的量子误差缓解（QEM）框架，其核心思想是将重建误差在残差坐标中表示，并投影到由已知物理一致性条件定义的局部可容许切空间上。研究背景在于：现有QEM方法（如零噪声外推、概率误差消除、测量误差缓解、对称性验证等）虽能改善目标观测值，但并不保证重建数据满足已知的物理一致性条件，从而形成了"一致性缺口"。研究人员要解决的核心问题是：能否利用已知物理结构不仅作为诊断工具，还能识别并消除重建误差中违反给定约束的分量，且不引入额外量子资源。

研究人员开展了三层次的研究：第一，分析理论上证明了加权投影到局部可容许残差空间可消除完整的一阶约束违反分量，使一般约束泄漏从O(ε)降至O(ε²)；第二，通过确定性和有限采样模拟测试了预测的几何行为；第三，在IBM量子硬件上进行了真实设备验证。研究结论表明：约束保持QEM能够在不重建完整理想状态的前提下，选择性地消除与给定物理约束不相容的残差分量，且该方法完全经典、与现有QEM流程可组合，为近-term量子计算提供了资源高效的一致性层。

在技术方法方面，研究人员采用的主要方法包括：（1）以CHSH关联作为解析基准，利用无信号性（no-signalling）作为约束条件，构建残差坐标下的指数变形参数化；（2）基于约束映射的雅可比矩阵（Jacobian）构造局部可容许切空间，并推导加权最小距离投影算子（涉及Moore–Penrose伪逆处理秩亏情形）；（3）通过有限采样蒙特卡洛模拟测试投影在采样噪声下的行为；（4）在IBM量子硬件（ibm_marrakesh和ibm_kingston处理器）上，利用Qiskit和Qiskit Runtime的sampler原语执行CHSH电路，采用标准赋值矩阵方法进行读出校准，在八个不相交物理量子比特对上进行验证。样本队列来源为IBM Quantum的156量子比特处理器ibm_marrakesh上的八个物理量子比特对（24个对-块实现），以及ibm_kingston上的固定量子比特对。

研究结果方面：第一，确定性抑制与阴性对照实验表明，对于因子化和非因子化两类约束违反残差族，投影后无信号范数从O(ε)降至O(ε²)，而CHSH值变化极小；相干局域过旋转改变CHSH但不产生无信号残差，证明该方法不会仅因残差改变观测值而将其消除。第二，有限采样标度实验显示，投影后经验约束残差从约N^?1/2过渡至N^?1，但散粒复杂度指数的渐近阶不变。第三，残差度量与多目标缓解实验表明，协方差信息度量可适度改善约束抑制和全变距离，但无单一度量同时最优。第四，误差方向与误差幅度实验证明，范数相同且CHSH误差几乎相同的两个残差，其无信号残差可相差约231倍，投影仅改变高无信号残差的CHSH误差极小。第五，校准漂移下的组合实验显示，读出缓解主要改善CHSH观测值而不降低无信号残差，投影则相反，二者作用于不同结构。第六，与零噪声外推的组合实验表明，等总采样预算下投影消除ZNE后剩余无信号不一致的95.6–95.9%，CHSH误差比保持在接近1。第七，多随机种子鲁棒性实验在900个模拟实例中无信号残差全部改善。第八，非CHSH约束推广实验对100个随机残差方向验证了从一阶到二阶的抑制转变。第九，单对真实设备验证在五个硬件块中均降低无信号残差。第十，多对硬件验证在八个不相交物理量子比特对的24个对-块实现中，平均配对降低率为96.61%，CHSH误差基本不变。第十一，硬件残差几何与约束选择性实验表明，无信号投影强烈抑制无信号残差而基本不影响独立关联残差，反之亦然，证明校正具有约束特异性。第十二，IBM量子硬件上的采样数标度实验在全部15个硬件实现中平均配对降低率为97.38%，但在高采样数下出现硬件限制的残差下限，未复现理想的N^?1渐近标度。第十三，硬件实现与可复现性方面，实验使用Qiskit 2.5.2和qiskit-ibm-runtime 0.49.0，保留后端身份、量子比特索引、采样数、校准矩阵等元数据。

讨论部分总结了该框架的意义与局限。约束信息本身可作为缓解资源：物理一致性条件无需指定完整理想分布，只需排除某些残差方向即可用于缓解。CHSH示例明确展示了无信号雅可比如何将残差方向分为保持跨上下文一致性的一阶可容许方向与不可容许方向。两个对照实验表明几何信息不等价于一般误差度量：范数和CHSH误差几乎相同的残差可在无信号不一致性上相差两个数量级以上；相干局域过旋转可改变CHSH而保持无信号性。硬件选择性实验提供了最强的经验验证：投影具有约束特异性而非通用平滑。关于与现有QEM的组合，约束投影设计为补充而非替代现有协议，读出缓解、零噪声外推等利用关于设备或噪声过程的不同信息，而投影利用关于重建结果可容许性的独立信息。有限采样方面，模拟显示投影后约束残差从N^?1/2过渡至N^?1，但不意味着散粒复杂度渐近指数降低；硬件采样数实验则显示强抑制后出现设备限制下限。关于残差度量，可容许切空间由约束决定，而度量W决定哪个可容许校正被视为最小，基线选择W=I已能消除完整一阶约束违反分量。局限性包括：构造是局部的，不一般性地将有限扰动精确置于非线性可容许集上；方法仅强制执行所供给的约束；残差几何依赖参考点；度量W影响最小距离校正；理想化N^?1有限采样标度在模拟中建立而非硬件渐近证实；多对硬件实验在单一处理器上采样多个物理位置而非跨独立平台复制；校准漂移实验仅探测一种受控失配场景；大规模多体系统的可扩展性未建立。未来方向包括：全可容许流形上的有限距离投影、异构约束的联合强制执行、基于NPA hierarchy的更强量子可容许性条件、独立硬件平台和更大Bell场景的测试，以及基于校准协方差的硬件感知度量。

研究结论部分翻译如下：约束保持QEM解决了观测值层面缓解与重建实验数据物理一致性之间的缺口。给定可微约束C，可容许参考点处的雅可比识别出一阶违反该约束的残差方向。加权投影到可容许切空间消除了该分量，并将一般约束泄漏从O(ε)变为O(ε²)。该定理在三个不同层面得到支持：精确和确定性计算验证了局部几何机制；有限采样模拟显示了测试统计范围内从约N^?1/2到N^?1的相应改善；真实IBM量子硬件实验表明，相同的约束特异性抑制在读出误差、校准变化、不同物理量子比特位置和有限采样下仍保持运行。在多对硬件实验中，全部24个对-块实现的无信号残差均降低，读出缓解后平均配对降低率为96.61%，CHSH额外变化可忽略不计。单独的采样数扫描在全部15个硬件实现中产生改善，平均配对降低率为97.38%，同时揭示了高采样数硬件下限而非理想化渐近N^?1规律。约束选择性实验进一步证明不同约束消除不同残差分量。由于投影完全经典且与现有QEM组合，它可作为资源高效的一致性层使用，无需额外量子比特、辅助比特、电路深度或逻辑编码。其角色有意限定：不重建完整理想状态，也不消除所有形式的实验误差，而是消除与提供给缓解程序的物理约束一阶不相容的分量。因此核心操作原则为：观测值恢复、分布邻近性与相对于供给物理约束的可容许性是不同目标，不同约束识别同一重建残差的不同分量。