Clear Sky Science · zh
在一般噪声下的连续变量容错量子计算
为何驯服嘈杂光场至关重要
量子计算机有望攻克当今经典机器难以应对的问题,从模拟复杂分子到优化全球物流。许多最具可扩展性的硬件平台基于光学,其中信息不是由单个粒子承载,而是由电磁波的连续振幅与相位波动承载。挑战在于实际光场存在噪声:微小的抖动、损耗和失真会迅速淹没脆弱的量子信息。本文首次以严格的方式表明,即使在非常一般且现实的噪声类型下,只要以正确的方式构建,基于光的量子计算机仍能可靠地运行。

从平滑波动到数字量子比特
在光学“连续变量”系统中,信息储存在光场的强度与相位中,这些量可连续变化。这使得产生和操纵大规模纠缠光束网络变得容易,是实现可扩展量子硬件的有吸引力路径。但大多数关于可靠量子计算的理论是为离散两能级系统——即量子比特(qubit)——以及相对简单的误差模型发展起来的。弥合这二者的核心工具是Gottesman–Kitaev–Preskill(GKP)码,它巧妙地将单个量子比特嵌入振荡器的连续自由度中。该编码将量子态布置为使得光的幅度或相位的微小位移表现为可被纠正的熟悉比特错误。然而,先前的分析仅适用于非常特殊的噪声类型,例如纯高斯随机位移,并且常常依赖于理想化、物理上不可实现的码态。
重新定义何为可纠正的错误
作者的第一步是给出对GKP编码态与错误的更现实描述,不依赖不物理的假设。他们使用一种称为稳定子子系统分解的数学框架,将光的完整态空间拆分为两部分:一部分承载逻辑比特,另一部分记录关于错误的“综合”信息。在此图景下他们定义了一个“r-滤波器”,它有效地评估态在该综合空间中离无误差区域走多远。近似GKP态因此不再以完美的δ函数格点来刻画,而是以其在原点附近小方块补丁内被限制得有多紧来表征。只要态保持在该补丁内,被编码的比特仍可被解释为干净的,即便基础波函数可能很杂乱。
同时控制噪声与能量
真实的光学系统面临两类互相关联的问题:错误会随时间累积,且随着门操作施加,光场的能量可能不受限制地增长。用于量子比特的标准噪声度量假设可以使用任意高能的测试态,因此会把即便是微小的相位滑移判为“极其严重”。为避免这种不现实的结论,作者采用了一种受能量约束的物理过程距离概念,仅比较通道在低于固定光子数阈值态上的作用。他们随后设计了一种基于量子隐形传态的特定差错纠正步骤,反复将逻辑信息转移到新制备的、中等能量的GKP态中。这种“Knill型”流程不仅纠正类似位移的错误,还持续重置能量,确保被编码态不会变得任意脆弱。

把实验室中的杂乱噪声化为整洁的逻辑错误
有了这些工具,论文定义了一类广泛的物理上现实的噪声——彼此独立并满足马尔可夫性,但在其它方面相当一般。每个光学模式可能遭受损耗、随机相位旋转、不完美的GKP态制备、有限的探测器分辨率或其它非高斯失真,只要它们的总体强度在能量受限意义下有界,且不会增加超过有限量的额外位移。作者表明,当这种噪声作用于容错的基于GKP的电路时,其复杂的连续效应会被转化为对逻辑比特的有效噪声模型,该模型是局域且马尔可夫的,就像那些已有强大阈值定理适用的标准情形。关键在于,他们用少数具有实验意义的参数对该逻辑噪声的强度给出上界:允许的最大位移、可容忍的误差强度与能量上限。
光学量子计算的真正阈值
将物理噪声到逻辑比特噪声的这种转化与关于级联(concatenated)比特码的已知结果结合,作者证明了连续变量量子计算的完整阈值定理。通俗地说,存在一个非零的一般光学噪声水平,只要噪声低于该水平,通过编码与分层的差错纠正码,就可以把整体计算可靠性提升到任意所需的程度,所需资源仅呈多重对数开销。该工作还强调了光学体系与比特体系之间的一个定性差异:在连续变量系统中,精细的能量管理不仅是工程细节,而是实现容错的核心要求。这个严格框架现在为实验工作者提供了一组具体目标——关于压缩(squeezing)、损耗、相位稳定性与探测器性能——以指导由嘈杂光构建的可扩展容错量子计算机的实现。
引用: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5
关键词: 连续变量量子计算, GKP 码, 量子差错纠正, 容错, 光学量子系统