基于群表面码的通用量子计算

Universal quantum computation with group surface codes

arXiv: 2603.05502v1

论文信息

标题: Universal quantum computation with group surface codes

作者: Naren Manjunath, Vieri Mattei, Apoorv Tiwari, et al.

发布日期: 2026-03-05

arXiv ID: 2603.05502v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：如何在 Z₂ 表面码架构上实现通用量子计算，而无需依赖高开销的魔法态蒸馏或高维编码。
  • 核心方法：引入群表面码（GSC），将 Z₂ 表面码推广到任意有限群 G，利用非阿贝尔拓扑序中的横向非克利福德门操作，通过扩展和拆分等基本操作在不同编码间切换。
  • 关键结果：证明对任意可逆经典门集合，存在合适的群 G，使得对应的群表面码可横向实现这些门，从而为 Z₂ 表面码提供完整的通用门集。
  • 主要局限：电荷移动操作在非阿贝尔群下是概率性的；论文未给出容错阈值的完整证明。
  • 适合读者：从事量子纠错码、拓扑量子计算、容错量子计算研究的学者和研究生。

论文背景和研究动机

量子计算机要实现变革性应用，必须在噪声和不完美操作下执行长时间、可靠的量子计算，这需要通过量子纠错码冗余编码信息。在众多候选方案中，Z₂ 表面码因其对局域随机错误的高容错阈值和平面几何结构上的局域相互作用实现，已成为近期量子硬件最有希望的候选之一。近期的实验已经展示了低于表面码阈值的逻辑错误抑制效果。

然而，使 Z₂ 表面码对错误鲁棒的特性也让逻辑信息的处理变得更加困难。一个根本性的限制是：Z₂ 表面码的自然操作被限制在克利福德（Clifford）操作之内（这是由 Bravyi-König 定理所确定的）。为了实现通用量子计算，必须引入至少一种非克利福德操作。

现有补充方案各有限制：魔法态蒸馏需要大量资源开销，常主导容错量子算法的时空成本；维度跳跃方法需要硬件支持更高维的连通性。第三条道路——利用非阿贝尔拓扑序——长期以来被认为可通过任意子的编织和融合处理量子信息，但本文关注的是另一种范式：仅在需要实施非克利福德操作时，临时将信息转换到基于非阿贝尔拓扑序的纠错码中，完成操作后再转回 Z₂ 表面码。

本文扩展了近年来无需操控任意子即可利用非阿贝尔拓扑序的研究努力，建立了一个基于初等群论的统一框架，避免了群上同调和范畴论的抽象语言。

核心方法和技术细节

群表面码的定义与结构

群表面码（Group Surface Codes, GSC）定义在具有粗糙边界和光滑边界的方形晶格上。对于基于有限群 G 的 GSC，每条边上放置一个 |G| 维希尔伯特空间，基态由群元素标记 |g⟩（g ∈ G）。顶角稳定子实现规范变换：

Avg=…A_v^g = \ldots

其中对指向远离顶角的边作用左乘 Leg∣h⟩=∣gh⟩L^g_e |h\rangle = |gh\rangle，对指向顶角的边作用右乘 Reg∣h⟩=∣hgˉ⟩R^g_e |h\rangle = |h\bar{g}\rangle。

面块稳定子在基态下对角化，要求沿面块逆时针路径的群元素乘积为单位元。码空间由同时满足顶角和面块稳定子的态组成，其维度等于 |G|。逻辑基态 |g⟩L 可通过 “左规范” 直观理解：将群元素推到最左侧边，得到标签 g。

基本逻辑操作

论文定义了一套基本逻辑操作：

横向逻辑门：左乘 LLg=∏e∈EleftLegL^g_L = \prod_{e\in E_{\text{left}}} L^g_e 作用在左侧边界，右乘类似定义在右侧，它们在逻辑空间上实现群乘法 |h⟩L → |gh⟩L 或 |h¯g⟩L。群自同构 φ 诱导的横向操作 ULϕ=∏eUeϕU^\phi_L = \prod_e U^\phi_e 实现 |h⟩L → |φ(h)⟩L。

扩展与拆分：当群 G 有分解 G = H ⋉⋊ K（其中 ⋉⋊ 表示针织积：H, K 是 G 的子群，H ∩ K = {1}，且每个 g ∈ G 可唯一分解为 g = hk），可将 H-GSC 和 K-GSC 通过边界缝合和规范投影扩展为 G-GSC，逻辑操作实现 |h⟩L ⊗ |k⟩L → |hk⟩L。拆分是逆过程：|g⟩L → |h⟩L ⊗ |k⟩L（其中 g = hk 是唯一分解）。

制备与读取：逻辑 |1⟩L 态通过从单列量子比特生长码来制备，始终保持左规范为单位元。逻辑 |+⟩L 态通过引入光滑边界再转化为粗糙边界来制备。

时空张量网络与拓扑量子场论

论文引入副本张量和乘法张量推广 ZX 演算，将 GSC 的稳定子测量表示为时空电路。面块测量对应于检测通量（flux），规范顶角测量对应于检测电荷（charge）。重复测量形成一个时空探测器单元。

当所有测量结果都后选择到平庸结果时，时空电路精确给出了 G 拓扑规范理论的配分函数：边缘上群元素配置的求和，面块中心的乘法张量强制通量为零。

创新点和贡献

群工程化通用门集：本文最重要的概念创新是 “群工程化”——可以根据需要的非克利福德门选择合适的群。对于 D₄ 群，自同构提供横向的非克利福德门；对于一般的二面体群 D₂ₙ，自同构提供克利福德层级第 n 级的门；对于 GCCX 群，左乘直接实现 CCX 门。更一般地，本文证明：对于任意可逆经典门集合 Π，存在群 GΠ，使得对应的 GSC 可横向实现这些门。

滑动与魔法态制备的统一视角：滑动操作——扩展后按相反方向拆分（SplitKH）——实现受控共轭，对于 D₄ = (Z₂ × Z₂) ⋊ Z₂，这实现了 CCX 门。通过结合制备和读取，可制备 CX 魔法态和 T 态（见论文第 VI B 节），为近期文献中的构造提供了统一理解。

余集表面码：通过将部分逻辑量子比特的边界条件 “推入” 码中，得到余集表面码（Coset Surface Code），其逻辑态由陪集 gK 标记，维数为 |G|/|K|。这种修改大幅减少了时空开销。

局限与待解决问题

电荷移动的概率性：当群 G 非阿贝尔时，电荷在顶角间的移动是概率性的，需要 “重复直到成功” 的策略。论文指出，若群是幂零的，可在常数次尝试内成功移动电荷，但对于一般的非阿贝尔群，概率性移动可能带来额外的时空开销。虽然论文建议利用内部态的信息提高成功概率，但具体的优化策略和分析尚未展开。

容错阈值的缺失：论文明确声明 “未对时空逻辑块的容错性给出严格证明”，虽然旋量网络形式被认为是向此方向迈出的 “有价值的一步”。完整的解码器和阈值分析是要解决的关键问题。

基本操作集的不完备性：目前的逻辑操作集偏向于酉门和群基态。论文指出几个重要扩展方向：晶格手术（用于逻辑测量）、边界类型变换、逻辑反极操作（|g⟩L → |¯g⟩L）、电荷隧穿（可访问傅里叶变换相关的相位门）。这些对于实现完整的门集（特别是相位门）可能是必需的。

与扭曲量子双模型的联系：本文聚焦于未扭曲的量子双模型，而参考文献中涉及扭曲版本的相关工作可访问更多的横向门。建立与扭曲理论的联系可能进一步扩展可工程化的门集。