A superconducting surface-code processor with lattice-surgery logical operations

本文报告了在超导表面码处理器上实现容错晶格手术操作的实验成果，展示了高保真度逻辑贝尔态制备、逻辑 Deutsch-Jozsa 算法以及非 Clifford 门隐形传态，为可扩展量子计算建立了一种通用的范式。

要点

想象一下，你正试图在波涛汹涌的大海中传递一条脆弱的信息。如果你只发送一只纸船，一个浪头就会让它沉没。但如果你建造一个由许多小船绑在一起组成的巨大、加固的木筏，那么即使其中几只小船受损，整个木筏也能在波浪中幸存下来。这就是**量子纠错（Quantum Error Correction）**的基本概念：利用许多物理“小船”（量子比特）来保护单个逻辑信息（逻辑量子比特）。

这篇论文描述了构建这种木筏的一个重大进展，具体使用的是一种被称为**表面码（Surface Code）**的设计，并运行在超导量子芯片上。以下是研究人员取得的成果，通过简单的语言进行了解释：

1. 设置：建造木筏

团队在芯片上构建了一个由 125 个微小的超导“小船”（量子比特）组成的网格。他们将这些小船组织成两个独立的“木筏”（逻辑量子比特），每个木筏由 17 个物理小船组成。

• 挑战： 在现实世界中，这些小船是非常不稳定的。它们会漂移、泄露能量，并产生错误。
• 解决方案： 他们不断检查“天气”（测量误差综合征/error syndromes），以观察是否有小船正在发生漂移。如果一只小船开始漂移，他们可以在整个木筏沉没之前对其进行纠正。他们证明了他们的木筏可以经受住多次此类检查，且整个信息被破坏的概率非常低。

2. 魔术表演：合并与拆分木筏（晶格手术/Lattice Surgery）

这篇论文中最令人兴奋的部分是一种被称为**晶格手术（Lattice Surgery）**的技术。你可以把它想象成一种在不移动物理小船的情况下，对两个独立的木筏进行数学运算的方法。

• 合并： 想象你有两个并排漂浮的独立木筏。为了进行计算，你暂时将它们绑在一起，变成一个巨大的、拉长的木筏。
• 测量： 在它们绑在一起时，你测量组合木筏的一个特定属性。这会告诉你关于这两个原始木筏之间关系的某些信息。
• 拆分： 然后你解开它们，将它们重新分离为两个独立的木筏。

由于量子力学的作用方式，这个绑定和解开的过程不仅仅是在测量它们，它还使它们产生了纠缠（entangle）。这就像拿着两根神奇的魔杖，让它们接触在一起，然后将它们拉开，此时它们在魔法上已经紧密相连：如果你晃动其中一根，另一根也会立即随之晃动，无论它们相隔多远。

3. 他们实际做了什么

研究人员使用这种“绑定与解开”的方法完成了三项具体工作：

• 创造“量子双胞胎”（贝尔态/Bell State）： 他们从两个独立的逻辑木筏开始，将它们合并，然后拆分开来。结果是两个完美链接（纠缠）的逻辑量子比特。他们证明了这种链接是真实且强大的，即使在存在系统噪声的情况下也是如此。
• 运行逻辑谜题（Deutsch-Jozsa 算法）： 他们利用这些链接的木筏解决了一个特定的逻辑谜题。在这个谜题中，你需要弄清楚一台隐藏的机器是总是给出相同的答案，还是会给出混合的答案。他们的量子木筏比“原始”（未经纠错）系统更频繁地正确解决该问题，这表明纠错过程实际上帮助计算机更好地思考。
• “不可能”的旋转（非 Clifford 门/Non-Clifford Gates）： 标准量子计算机可以轻松完成某些类型的旋转（rotations），但在处理一种被称为“非 Clifford”旋转的特定类型时会遇到困难。为了实现这一点，团队使用了特殊的技巧：
  1. 他们在一个木筏上准备了一种特殊的“魔法成分”（魔法态/magic state）。
  2. 他们合并了木筏，将这种魔法转移到另一个木筏上。
  3. 他们拆分了木筏，有效地完成了一个通常很难实现的复杂旋转。
     他们展示了在过滤掉检测到错误的运行次数后，可以实现约 94% 的高保真度（fidelity）。

4. 核心结论

该论文声称，**晶格手术（Lattice Surgery）**是一种可以在量子计算机上进行复杂计算的实用且可行的方法。

• 他们不仅构建了一个存储数据的内存条；他们还构建了一个能够对数据进行数学运算的处理器。
• 他们证明了通过合并和拆分这些逻辑“木筏”，他们可以创造纠缠、运行算法并执行复杂的旋转。
• 虽然该系统仍需变得更大、更完美才能解决现实世界的问题，但这次实验证明了构建可扩展、容错量子计算机的基础构建模块正在按预期工作。

简而言之，他们成功演示了你可以拿起两个独立的、经过纠错的量子“木筏”，将它们绑在一起进行计算，然后将它们拉开，从而获得一个有用的、纠缠的结果。这是通往构建能够解决实际问题的量子计算机之路上的一个关键里程碑。

技术摘要

技术摘要：基于晶格手术逻辑操作的超导表面码处理器

问题陈述
可扩展量子计算需要容错逻辑操作，以防止低权重物理错误传播为不可纠正的逻辑失效。虽然表面码因其高阈值和与平面布局的兼容性，是量子纠错（QEC）领域领先的候选方案，但目前的实验进展主要集中在演示重复的综合征提取周期（SEC）以及超过突破点（break-even point）的逻辑记忆寿命。关键的剩余挑战在于，如何在受限于静态二维超导架构的严格约束下，实现具有容错性的逻辑操作。虽然横截操作（transversal operations）具有容错性，但它们需要平面系统中无法实现的非局部连通性。晶格手术（Lattice surgery）通过动态变形代码块来执行操作，是针对此类平台的拟议解决方案，然而，在完全可纠错的表面码代码块之间直接演示晶格手术，以及实现非克利福德（non-Clifford）逻辑门，仍是尚未解决的实验挑战。

方法论
作者在一个包含 125 个可调控跨子（transmon）比特的平面超导处理器上，实验实现了基础的晶格手术操作。该系统托管了两个逻辑比特 $L_1$ 和 $L_2$，每个比特都编码在距离为 3 的旋转表面码中（每个代码块包含 9 个数据比特和 8 个综合征比特）。

核心方法包括：

1. 晶格合并与拆分（Lattice Merge and Split）： 为了执行联合逻辑操作，通过动态重新配置综合征提取电路，将两个不相交的代码块合并为一个拉长的 $7 \times 3$ 旋转表面码（$L_3$）。这涉及扩展边界稳定器并引入辅助数据比特和综合征比特。逻辑泡利算符通过综合征记录的奇偶性进行测量。随后，通过在 $Z$ 基底测量辅助数据比特并恢复原始稳定器权重，将代码块拆分为原有的 $L_1$ 和 $L_2$。
2. 状态制备与纠正： 通过晶格拆分协议确定性地生成逻辑贝尔态，利用基于中间测量结果更新的泡利框架（Pauli-frame updates）来纠正测量诱导的错误。
3. 算法执行： 在逻辑层级执行两比特 Deutsch-Jozsa 算法。量子算谕（oracle）通过晶格手术实现，用以区分常数函数与平衡布尔函数。
4. 非克利福德操作： 通过魔术态注入（magic-state injection）和门遥测（gate teleportation）实现通用控制。在 $L_2$ 上制备高保真度的魔术态，并通过联合 $M_{XX}$ 测量（通过合并/拆分操作实现）将其消耗，从而对 $L_1$ 执行任意逻辑 $R_X(\theta)$ 旋转。
5. 错误处理： 研究采用信念匹配解码器（belief-matching decoder）进行纠错，并利用“检测到无错误”（detected-error-free）后选择法（丢弃具有非平凡综合征或泄漏事件的运行）来基准测试性能上限。

核心贡献

• 晶格手术的实验实现： 首次在超导处理器上直接演示了两个距离为 3 的表面码逻辑比特之间的晶格合并与晶格拆分操作。
• 逻辑纠缠： 在两个表面码代码块之间确定性地制备了逻辑贝尔态（$|\Phi^+\rangle_L$），从而同时提供了针对比特翻转和相位翻转错误的保护。
• 逻辑算法执行： 在逻辑层级成功实现了 Deutsch-Jozsa 算法，展示了在容错框架内的算法实用性。
• 非克利福德门实现： 通过魔术态注入和门遥测，实现了围绕逻辑 $X$ 轴的连续非克利福德逻辑旋转，这是实现通用量子计算的必要组件。

结果

• 逻辑记忆性能： 在剔除泄漏事件后，逻辑比特的每周期错误率分别为 $\epsilon_{L1} = 0.0365(2)$ 和 $\epsilon_{L2} = 0.0282(1)$。
• 贝尔态保真度： 原始态保真度为 $0.372$。使用信念匹配解码器后，保真度下界提升至$F_{dec} = 0.532$，证实了真实的二分纠缠。在“检测到无错误”的后选择下，保真度达到$F_{pst} = 0.925$。
• Deutsch-Jozsa 准确度： 纠错显著提高了分类准确率。对于常数函数，准确率从 $0.886$（原始）提升至$0.970$（解码后）。对于平衡函数，准确率从$0.623$提升至$0.716$。后选择进一步将这些值提高到接近于 1，尽管代价是平衡情况下的数据保留率仅为$0.06%$。
• 非克利福德门保真度： 对于逻辑 $R_X(\pi/4)$ 门，纠错后的结果较原始数据有小幅提升。在“检测到无错误”的后选择下，逻辑门保真度达到 $0.943^{+10}_{-9}$。

意义
作者声称这些结果确立了晶格手术作为近程表面码架构中逻辑计算的一种实用且多功能的范式。通过演示从记忆保存、纠缠生成到算法执行及通用门实现的完整技术栈，这项工作代表了迈向超导电路中可扩展容错量子优势的关键里程碑。本文将这些发现定位为从孤立量子存储器向可编程容错处理器过渡所必需的基础构建模块。