想象一下,你正试图建造一台超级快速的计算机,它不仅仅是在进行数值计算,而是在与现实本身的织面共舞。这就是量子计算的世界。但问题在于:这些机器极其脆弱。哪怕是一丝微弱的热量、一个游离的磁场,甚至是一只附近猫咪的喷嚏,都可能导致它们的计算坍缩成一团混乱的错误。为了解决这个问题,科学家们使用了“量子纠错”。把它想象成一个神奇的安全网。与其将单条信息存储在一个脆弱的原子上,不如将其分散存储在许多原子中。如果其中一个原子绊倒了,其他的原子仍能守住阵线,从而让信息得以存续。
然而,还有一个第二个、甚至更棘手的问题。一旦你构建了这个安全网,你究竟该如何在上面进行数学运算呢?在量子世界中,移动信息的规则(称为“门”)是非常严格的。如果你尝试进行计算,可能会不小心撕裂这个安全网,让错误像病毒一样在人群中蔓延。多年来,科学家们一直试图寻找一种在不破坏网的情况下进行这些计算的方法。有些方法就像是在过山车上穿针引线:它们可行,但极其复杂、缓慢,并且需要大量的额外设备。大问题在于:我们能否找到一种既简单、快速,又不需要堆积如山的额外硬件的方法来进行这些计算?
这就是诺亚·贝尔图森(Noah Berthusen)和伊莱贾·杜尔索-萨比纳(Elijah Durso-Sabina)的一篇新论文所切入的点。他们提出了一种名为“级联辛复用双重码”(concatenated symplectic double codes)的巧妙新设计。要理解他们的窍门,请想象你有一套积木。有些积木非常擅长把东西固定在一起(存储数据),但很难移动;另一些积木则很容易移动,但固定能力较弱。作者们发现了一种如何以特定的、嵌套的方式——就像俄罗斯套娃一样——将这些积木堆叠起来的方法,从而创造出一种既坚固又易于操作的结构。
他们的主要发现是,这种新结构允许他们仅使用最简单的工具——翻转单个开关(单比特门)和仅仅重新命名每根导线连接的对象(重标记)——就能执行极其多样化的必要计算。这就像是他们发现了一种方法,只需通过在桌面上重新排列拼图块,就能解开一个复杂的谜题,而无需为每一个动作都去粘合零件或制造新工具。他们展示了通过这种方法,他们可以用一个出人意料地简单的电路来执行整个“克利福德群”(Clifford group)的操作(这是一组标准的量子移动方式)。
作者们并不仅仅是凭空构想;他们还通过计算机模拟来测试这一理论。在这些模拟中,这种新代码的表现非常出色,显示出它们处理错误的能力非常接近现代量子计算机目前所能达到的水平。他们认为,这些代码可以成为未来大规模量子计算机“引擎”的有力竞争者。虽然他们还没有制造出物理机器,但他们的数学推导和模拟表明,这种方法可以使构建可靠的量子计算机变得比以往的方法更加容易且更具实际可行性。他们还指出,虽然他们的方法在处理特定的一组操作时表现优异,但可能需要一点额外的辅助(例如注入特殊的“魔法”态)才能完成所有可能的计算,但对于核心工作而言,这看起来是一个游戏规则的改变者。
技术摘要:基于级联辛双重码的简单逻辑量子计算
问题陈述
量子纠错(QEC)领域的最新进展已经产生了用于量子存储的鲁棒代码,例如拓扑码(如表面码)和量子低密度奇偶校验(qLDPC)码。然而,在这些码上执行容错逻辑门仍然是一个重大挑战。拓扑码提供简单的横截(transversal)门,但在规模化时面临编码率低和开销高的问题。相反,qLDPC 和级联码提供了更好的速率,但通常需要复杂的协议来进行逻辑操作,这涉及大规模的蒸馏、状态注入和综合征提取的时空开销。目前需要一种能够平衡高编码率与简单、可实现逻辑门集的代码架构,特别是在中性原子和离子阱等对比特移动(SWAP)成本较低的硬件平台上。
方法论
作者提出并分析了级联辛双重(Concatenated Symplectic Double, CSD)码。这种构造包含两个层级的级联:
- 外码: 一个由非 CSS 种子码 C 构建的辛双重码 D(C)。这种辛双重构造通过基础码 [[n,k,d]] 创建一个参数为 [[2n,2k,≥d]] 的 CSS 码。至关重要的是,这种构造引入了一个 ZX-对偶性 (τ),即一个交换 X 扇区和 Z 扇区的置换,将物理比特 i 与 i+n 配对。
- 内码: 将特定的 [[n′,2,d′]] 稳定子码 Q 与 D(C) 进行级联。作者重点研究了以 [[4,2,2]] 码作为内码的 C4 码。
- 级联方案: 内码 C4 码块的逻辑比特根据 ZX-对偶性 τ,被映射到外码 D(C) 的物理比特上。具体而言,D(C) 中的物理比特对 {i,i+n}(它们通过 τ 相关联)被编码进单个 C4 码块的两个逻辑比特中。
本文研究并分析了由此产生的 C4-CSD 码(C4⊗τD(C)),分析了其参数、逻辑门集及其容错特性。
核心贡献
- SWAP-横截逻辑门: 主要贡献在于证明了级联结构提升了逻辑门的容错性。在外码辛双重码上是“折叠-横截”(fold-transversal)的逻辑门(作用于 τ-轨道),在级联的 C4-CSD 码上变为 SWAP-横截。这意味着这些门可以通过仅使用物理单比特门和比特重标记(SWAPs)来实现,而这些操作可以在软件中进行追踪。
- 全 Clifford 群生成:
- 从种子码和辛双重结构中继承的门集 (Gτ) 包括提升自同构(lifted automorphisms)、一种 Hadamard 型门 (Hτ) 以及一种 CZ 型门 (Sτ)。
- 为了实现全 Clifford 群,作者引入了源自底层经典码自同构群的折叠-横截相位门 (UP(π)),这些门是通过使用准备在 UP(π)∣+⟩ 态中的资源态进行状态注入来实现的。
- 对于特定的码实例(例如表 1 中带有绿色对勾的实例),Gτ 与注入的 UP(π) 门的组合可以在单个码块的逻辑比特上生成全辛群 Sp4k(F2)。
- 块间连通性: 作者表明,通过在多个码块之间使用横截 CNOT 门结合单块 Clifford 门,可以实现全 Clifford 群。
- 电路简化: C4-CSD 码的一个独特特征是,任何单码块上的逻辑 Clifford 电路都可以被编译成一个功能简单的物理电路:一个由注入的 UP(π) 门和单层物理单比特 Clifford 门交替组成的序列。用于重标记的 SWAPs 可以被“解开”,从而留下一个仅包含单比特门和通过远程传输辅助的纠错操作的电路。
结果
- 代码参数: 论文提供了由各种非 CSS 种子码(例如 [[4,2,2]],[[6,4,2]],[[5,1,3]])导出的特定 C4-CSD 码的表格。例如,[[16,4,4]] C4-CSD 码被证明与 L=2 的 C4 多超立方体(MHC)码是同构的。
- 门集: 作者计算了各种实例下门集 Gτ 和 ⟨UP(π)⟩ 的大小。他们识别了哪些码可以在不使用额外适配器的情况下生成全 Clifford 群,以及哪些需要部分状态注入或通用适配器。
- 数值模拟: 对状态准备和量子纠错(QEC)进行了电路级模拟。结果表明,C4-CSD 码在接近最先进水平的物理错误率下表现出极具前景的性能,能有效地作为量子存储器运行。
- 译码: 论文讨论了这些码的译码器,指出其结构允许高效的综合征提取与纠正。
意义与主张
作者认为,级联辛双重码是中大规模量子计算机底层计算码的有力竞争者。其意义在于:
- 简单性: 逻辑 Clifford 群通过一个“功能简单的电路”实现,该电路高度依赖于单比特门和比特重标记,最大限度地减少了在执行门操作期间对复杂多比特物理相互作用的需求。
- 硬件兼容性: 对比特重标记(SWAPs)的依赖使得这些码特别适用于中性原子和离子阱等架构,因为在这些架构中,比特移动是原生且低成本的操作。
- 性能: 这些码提供了具有竞争力的电路级性能和高编码率,解决了拓扑码的开销问题,同时避免了其他高率码通常需要的复杂门协议。
论文最后提出了关于优化种子码和这些构造的可扩展性的开放性问题,但始终坚持其核心主张:即 C4-CSD 码为降低操作复杂度的容错逻辑计算提供了一条可行的路径。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题,再试一次?
无垃圾邮件,随时退订。