✨ 要点🔬 技术摘要
量子计算机有望解决当今机器需要数千年才能解决的问题,但它们极其脆弱。存储信息的微小粒子被称为量子比特(qubits),它们极易受到周围环境的干扰,导致数据瞬间丢失。为了制造出有用的机器,科学家必须使用一种称为量子纠错的方法,在这些量子比特周围建立一道屏障。这种技术利用许多物理量子比特来创建一个单一且稳健的“逻辑”量子比特,使其能够抵御错误。这项工作中最具潜力的屏障被称为表面码(surface code),它将量子比特排列成网格,并不断检查其状态,以便在错误扩散之前将其捕捉。然而,现实世界的硬件并不完美;它所产生的错误很少是随机的。通常,一种类型的错误发生的频率远高于其他类型,就像汽车轮胎更容易漏气而不是爆胎一样。了解如何构建专门针对处理这些常见的、具有偏差的错误而设计的纠错码,是该领域的一个主要目标。
研究人员 Pritesh Thakur 和 Jean-François Van Huele 着手测试了一种名为 ZY 表面码的新型防护屏障设计。在标准版本的代码中,系统使用两种类型的检查来监测量子比特:一种类型寻找比特翻转错误,另一种类型寻找相位翻转错误。研究人员想知道,如果他们将其中一种检查替换为另一种不同类型的检查,从而创造出一种更适合处理特定主导类型错误的编码,会发生什么。他们在计算机上模拟了这种新设计,使其处于一个其中一种错误类型发生概率远高于其他类型的噪声环境中。他们还添加了第二层更复杂的噪声,模拟量子门之间可能发生意外干扰的方式,这种问题被称为串扰(crosstalk)。他们的目标是观察这种新排列在面对这些现实且混乱的条件时,是否能比标准设计生存得更久、更可靠。
团队运行了数千次模拟,使用的是一种真实的计算机在实际应用中可以使用的实用解码方法,而不是一种过于缓慢、无法进行实时使用的理论方法。他们在广泛的错误率和不同的检查排列方式下,将这种新代码与标准版本进行了对比测试。他们发现标准代码的表现遵循一种可预测的规律:随着对某一类型错误的偏差增加,代码在保护该特定错误方面的能力显著增强,但其保护另一种错误的能力则会下降并趋于平稳。然而,新的 ZY 代码表现出了不同的模式。虽然随着偏差的增加,它在保护主导错误方面并没有变得显著更好,但它也没有失去保护另一种错误的能力。相反,它的性能在所有偏差水平下都保持稳定且一致。
至关重要的是,研究人员发现新代码在能够承受的最大错误率方面并没有提供明显的优势。虽然新设计提供了更多关于系统中发生的错误的信息,但他们使用的实用解码器无法充分利用这些额外信息来提高整体阈值。阈值是指代码能够成功纠正错误的临界点,对于新代码而言,该阈值在统计学上与旧代码保持一致。这表明,仅仅改变代码的结构是不够的;读取错误信号的软件也必须进行升级,以理解这些新的、更复杂的模式。研究还表明,执行检查的顺序非常重要。改变操作序列可能会使代码的强度从保护一种类型的信息转移到保护另一种类型,从而允许工程师根据特定需求对系统进行调优,但这并不会全面地提升性能。
当研究人员加入代表量子门之间干扰的串扰噪声时,结果发生了轻微变化。新代码变得稍微脆弱了一些,特别是在保护较不常见的错误类型方面。这表明,尽管新设计具有鲁棒性,但它并不能免疫于困扰现实硬件的相关错误。研究结论指出,虽然针对噪声定制代码是一个充满前景的想法,但目前用于读取错误信号的工具还不够先进,无法充分利用这些新结构的优势。要真正释放这些专门化代码的潜力,该领域需要开发出更快、更智能的解码器,使其能够理解错误之间复杂且相互关联的本质,而不仅仅是将它们进行配对。在此之前,标准代码仍然是保护量子信息的一种可靠、尽管并非完美优化的选择。
技术摘要:在电路级偏置噪声与串扰下的 ZX 与 ZY 表面码阈值行为
问题陈述 量子纠错(QEC)对于容错量子计算至关重要,特别是考虑到物理硬件中普遍存在的偏置噪声(例如,在超导量子比特和离子阱中,去相位或比特翻转错误占主导地位)。虽然 Tuckett 等人(2018)之前的研究表明,通过定制表面码稳定子(具体而言,将 Z 型稳定子替换为 Y 型稳定子)可以在使用最优张量网络解码器的情况下,显著提高代码容量(code-capacity)噪声下的阈值,但这些优势在面对电路级噪声及实用化实时解码器时是否依然存在,仍是一个悬而未决的问题。电路级噪声会在每一次门操作、测量和复位中引入故障,并要求解码器能够处理三维(时空)综合征数据。此外,现实中的硬件通常表现出相关误差,例如基于门的串扰(crosstalk),这可能会降低性能。本研究调查了定制化的稳定子结构在实际匹配解码器下,其结构优势是否能转化为电路级阈值,以及串扰噪声是否会对这些定制化代码产生不同于标准代码的影响。
方法论 作者构建并模拟了一个 ZY 表面码 ,其中标准的 X 型稳定子被替换为 Y 型稳定子,同时保留了 Z 型稳定子。该构造被用来与标准的 ZX 表面码 进行对比。研究采用了以下参数和工具:
噪声模型 :实现了两种电路级噪声模型:(1) Pauli-X 偏置噪声(其中比特翻转错误占主导),其特征由偏置参数 η \eta η 表征,η \eta η 的范围从无偏(η = 0.5 \eta=0.5 η = 0.5 )到纯 X 偏置(η = ∞ \eta=\infty η = ∞ );(2) 一种结合了基于门的 XX 串扰噪声(p × = 5 × 10 − 4 p_\times = 5 \times 10^{-4} p × = 5 × 1 0 − 4 )的组合模型,用以模拟超导和离子阱系统中的残余相互作用。
代码变体 :模拟了旋转和非旋转表面码几何结构,代码距离 d ∈ { 5 , … , 17 } d \in \{5, \dots, 17\} d ∈ { 5 , … , 17 } 。
CNOT 调度 :针对 ZX 代码测试了两种 CNOT 排序方案:“X-对齐”(10231203)和“Z-对齐”(01320312)。对于 ZY 代码,仅使用了 X-对齐方案。
解码 :所有模拟均使用 PyMatching v2.3.1 解码器(具有相关匹配支持的最小权重完美匹配算法)。
模拟流水线 :使用 Stim 和 Sinter 进行蒙特卡洛模拟,追踪 X、Y 和 Z 存储实验的逻辑错误率。通过临界指数缩放拟合提取阈值。
主要贡献
向电路级噪声的扩展 :本工作将定制化稳定子的优势观察从代码容量机制扩展到了更真实的电路级机制,纳入了完整的门、测量和复位故障。
ZY 表面码构造 :作者在 X 偏置噪声下正式定义并模拟了 ZY 表面码,从而在相同的电路级条件下与标准 ZX 代码进行直接比较。
串扰分析 :研究量化了基于门的 XX 串扰对标准和定制表面码的影响,并区分了对不同逻辑存储器(X/Y 与 Z)的影响。
解码器局限性 :论文强调了基于匹配的解码器(特别是 PyMatching)在利用定制化稳定子结构所提供的额外综合征信息方面的局限性。
结果
ZX 表面码行为 :
在 X 偏置噪声下,X-存储器阈值 (p t h X p^X_{th} p t h X )随偏置 η \eta η 单调增加,最终超过了纯 X 偏置的模拟窗口。相反,Z-存储器阈值 (p t h Z p^Z_{th} p t h Z )则下降并饱和在一个较低的值。
加入 XX 串扰会显著降低 Z-存储器阈值(超出拟合不确定性范围),但对 X-存储器阈值几乎没有影响。
CNOT 排序 :CNOT 调度的选择会重新分配性能。Z-对齐方案提高了 Z-存储器阈值(尤其是在非旋转码中),但代价是在高偏置下略微降低了 X-存储器阈值。
ZY 表面码行为 :
Y-存储器稳定性 :与 ZX 代码的 X-存储器不同,ZY 代码的 Y-存储器阈值 (p t h Y p^Y_{th} p t h Y )在所有偏置值下几乎保持不变,并未随偏置增加而表现出显著改善。
Z-存储器等效性 :ZY 和 ZX 代码的 Z-存储器阈值在所有偏置值下在统计上都是不可区分的。
串扰影响 :加入串扰会降低 ZY 代码的 Y 和 Z 存储器阈值。Y-存储器的降低在所有偏置值下都是显著的。
解码器性能 :ZY 代码提供了关于主导 X 错误的两倍综合征信息,相比之下 ZX 代码提供的较少。然而,PyMatching 解码器未能利用这些额外的信息来提高 Z-存储器阈值,导致其性能与标准 ZX 代码完全一致。
意义与主张 论文声称,尽管定制化稳定子结构(如 ZY 代码)通过将主导误差的综合征信息翻倍来提供理论优势,但实用的匹配解码器(MWPM)无法在电路级噪声下充分利用这种结构。 作者得出结论,ZY 代码中的额外综合征信息形成了一种超图结构,标准的匹配算法无法有效地处理这种结构,除非能对相关的综合征进行联合推理。
因此,这项工作表明,对于基于匹配的解码器,修改代码以简化误差几何结构可能比丰富综合征结构更为有效。结果表明,需要能够对相关综合征信息进行联合推理的解码器 (例如张量网络解码器或基于学习的方法),才能在电路级环境中充分实现定制化稳定子结构的潜力。研究还表明,CNOT 排序是一个可调参数,可以根据应用需求,用于优先保护特定的逻辑存储器(X/Y 与 Z)。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。