在构建功能性量子计算机的过程中,科学家们面临着一个根本性的障碍:如何知道机器是否在正确运行?与仅处理零和一的经典计算机不同,量子机器依赖于存在于脆弱叠加态中的精细物质状态。为了验证这些状态是否被正确准备,研究人员必须测量一种被称为“保真度”(fidelity)的属性,它本质上充当了一个记分卡,用于衡量实际状态与完美的、理论上的目标状态之间的匹配程度。问题在于,检查这个分数在时间和资源方面的成本极其高昂。传统方法通常需要如此多次的重复测试,以至于它们消耗了试图进行测量的资源本身,使得为大规模计算基准测试所需的组件变得困难。这造成了一个瓶颈:用于验证机器的工具过于笨拙,以至于无法对机器本身发挥作用。
一个研究小组开发了一种新方法来解决这个问题,提供了一种能够以比以往认为更少的资源来检查这些量子状态质量的方法。他们的方法被称为贝尔相干保真度估计(Bell-coherence fidelity estimation),绕过了以前所需的复杂且易错的操作。相反,该方法依赖于两种更简单测量方式的巧妙结合。第一部分涉及获取两个量子态的副本,并检查它们在相互对比时是否表现出一种特定的、罕见的行为。第二部分则通过基础且可靠的操作,测量该状态与标准参考系的对齐情况。通过将这两项不同检查的结果进行数学组合,研究人员可以重建整体状态的质量。这项技术之所以特别强大,是因为它实现了最佳效率,即所需的测试次数与期望的精度呈线性比例关系,而非旧方法所要求的二次方比例关系。
研究人员将这种新协议应用于一种被称为“模拟旋转态”(analog rotation state)的特定类型量子资源,这是未来容错量子计算机架构中的关键组成部分。在这种架构中,这些状态被用于对量子信息进行精确旋转,而无需经过冗长且复杂的门序列。为了观察其方法在现实环境中的表现,团队使用一种量子纠错码模型进行了详细的计算机模拟,该系统旨在保护量子信息免受噪声影响。他们模拟了该协议在原始物理比特以及逻辑比特(即一组协同工作以形成单个更稳定单元的物理比特)上的运行情况。模拟过程包含了现实设备中自然会发生的各种噪声和误差,例如测量过程中的故障或状态制备中的缺陷。
模拟结果令人瞩目。与直接保真度估计的标准方法相比,新协议在达到相同准确度时所需的资源显著减少。在模拟中最理想的情景下,新方法产生具有相同标准误差的估计值时,所需的资源态数量减少了高达二十七倍。这意味着,为了清晰地了解量子状态的制备质量,研究人员需要生成的和测试的材料仅为之前技术的极小部分。更重要的是,即使测量过程本身存在噪声,新方法依然保持准确。模拟显示,估计值始终接近真实值,证明了该协议足够鲁棒,能够处理现实世界硬件中的不完美情况。
研究人员还证实,无论影响系统的具体噪声类型如何,他们的方法都有效。无论误差是均匀的还是以复杂方式变化的,该协议都能成功分离出目标态的保真度。这是一个至关重要的发现,因为它表明该方法不仅仅是在理想条件下有效的方法,而且是应对量子工程混乱现实的可靠工具。团队从数学上证明了他们的方案是最优的,这意味着在仅使用最稳定且最可靠的量子操作这一约束条件下,不可能做得比这更好。这项工作为基准测试未来量子计算机的核心构建模块提供了一条切实可行的路径,确保随着这些机器规模和复杂性的增长,科学家们拥有一种高效且可靠的方式来验证它们是否按预期运行。
技术摘要:通过克利福德电路实现通用量子资源态的高效保真度估计
问题陈述
准确的保真度估计对于量子信息科学中的量子资源态基准测试至关重要。然而,标准方法面临显著的可扩展性挑战。虽然全态层析成像(Full State Tomography)和直接保真度估计(Direct Fidelity Estimation, DFE)可以评估保真度,但对于给定的相对精度和置信度,其最坏情况下的采样复杂度在小不保真度 ϵ 时为 O(1/ϵ2)。尽管理想的两结果正算符值测度(POVMs)可以实现最优的 O(1/ϵ) 标度,但在实现这些针对通用非克利福德目标态的测量时,需要使用非克利福德操作。在容错量子计算(FTQC)架构中,非克利福德门通常是由带噪声的资源态合成的;因此,使用非克利福德操作来对这些资源进行基准测试会产生循环依赖。目前需要一种仅使用克利福德门和泡利测量(这些是稳定器码架构中的原生操作)即可实现最优 O(1/ϵ) 采样复杂度的协议。
方法论:贝尔相干性保真度估计 (BCFE)
作者引入了贝尔相干性保真度估计(BCFE)协议,旨在利用仅有的克利福德操作和泡利测量来估计任意单比特(并可扩展至多比特)资源态的保真度。该协议将估计过程分解为两个不同的部分:
- 贝尔部分(The Bell Part): 该组件用于估计两个独立制备的噪声态 ρ 的副本投影到反对称贝尔态 ∣Ψ−⟩ 上的概率。该概率记为 b=⟨Ψ−∣ρ⊗2∣Ψ−⟩,它是基无关的,并且等于密度矩阵在目标基下的行列式:b=F(1−F)−∣c∣2,其中 F 是保真度,c 是相干项。至关重要的是,对于小的非保真度,满足 b≤ϵ。由于该伯努利过程的方差随 b(即 ϵ)缩放,因此以加性精度 rϵ 估计 b 仅需 O(1/ϵ) 个样本,这提供了相对于标准方法的二次方改进。
- 相干部分(The Coherence Part): 单独的贝尔测量是不够的,因为即使在非保真度不为零的情况下,对于相干误差(例如幺正旋转误差),b 也可能消失。为了恢复完整的保真度,协议使用标准的泡利测量(X,Y,Z)来估计相干项 c=⟨ψ∣ρ∣ψ⊥⟩。作者证明,由于密度矩阵的正定性,∣c∣=O(ϵ)。因此,将 ∣c∣2 估计到必要的精度同样只需要 O(1/ϵ) 个样本。
最终的不保真度估计通过结合 b 和 ∣c∣2 的估计量,通过关系式 F(1−F)=b+∣c∣2 进行重构。
核心贡献
- 最优采样复杂度: 本文证明了 BCFE 在以固定相对误差 r 和失败概率 δ 估计不保真度时,实现了 Θ(1/ϵ) 的最优采样复杂度。即使允许集体测量,这也符合任意目标态的理论下界。
- 仅限克利福德实现: 该协议完全依赖于克利福德门和泡利测量,使其可以直接应用于正在被基准测试的非克利福德操作(如魔术态或模拟旋转资源)所在的容错架构(如表面码)。
- 严谨的误差界限: 作者利用 Bernstein 和 Hoeffding 不等式提供了严谨的证明,以限制统计误差和失败概率,建立了明确的样本计数要求。
- 多比特扩展: 虽然主要的理论开发侧重于单比特,但论文在附录 B 中概述了向多比特目标态的扩展。
结果与仿真
作者在两种设置下评估了 BCFE:
- 物理层级仿真: 使用 Qulacs 模拟器,在各向同性去极化噪声下的模拟旋转资源态(∣mθ⟩=eiZθ∣+⟩)上测试了该协议。结果显示,与 DFE 相比,BCFE 估计值的收敛具有显著更小的标准误差。在固定的资源预算下,BCFE 实现的标准误差比 DFE 小 1.3 到 5.2 倍。
- 逻辑层级仿真: 该协议被应用于 d=3 的旋转表面码,以模拟真实的 FTQC 环境(特别是 STAR 架构)。仿真包含了稳定器测量中的电路级噪声以及用于逻辑贝尔测量的横向 CNOT 门。
- 噪声韧性: 尽管存在电路级噪声,BCFE 估计值仍保持接近参考值。横向 CNOT 和经典译码(使用最小权重完美匹配)成功纠正了单个物理门误差。
- 效率提升: 在表面码仿真中,BCFE 比 DFE 需要少约 27 倍的资源态,即可达到相同的估计不保真度的标准误差。
- 可扩展性: 结果表明,即使贝尔测量本身是以容错方式实现的(只要码距离足以抑制逻辑错误),O(1/ϵ) 的优势依然存在。
意义与主张
本文声称 BCFE 为容错量子计算中的量子资源态基准测试提供了一个实用的、理论最优的解决方案。通过避免需要受信任的非克利福德操作,它解决了在基准测试魔术态和模拟旋转资源时固有的循环依赖问题。作者断言,BCEF 适用于广泛的目标,包括非克利福德辅助态、量子网络中的纠缠态以及簇态,只要在这些场景中解决小不保真度比进行全态重构更为重要。这项工作支持了在 STAR 架构及类似 FTQC 框架内进行高效资源基准测试的可行性,证明了通过显著减少现有方法的资源开销,可以实现高精度的保真度估计。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。