[论文解读] Non-Abelian qLDPC: TQFT Formalism, Addressable Gauging Measurement and Application to Magic State Fountain on 2D Product Codes

Guanyu Zhu, Ryohei Kobayashi+1 more|arXiv (Cornell University)|Jan 11, 2026

Quantum Computing Algorithms and Architecture被引用 0

一句话总结

论文在泊松 CW复形上构建非阿贝尔 qLDPC 码，发展基于 TQFT 的路径积分形式，并利用可寻址的规制测量在二维积码上实现本地非克利福德门和魔态泉，具有恒定速率和 √n 距离。

ABSTRACT

A fundamental problem of fault-tolerant quantum computation with quantum low-density parity-check (qLDPC) codes is the tradeoff between connectivity and universality. It is widely believed that in order to perform native logical non-Clifford gates, one needs to resort to 3D product-code constructions. In this work, we extend Kitaev's framework of non-Abelian topological codes on manifolds to non-Abelian qLDPC codes (realized as Clifford-stabilizer codes) and the corresponding combinatorial topological quantum field theories (TQFT) defined on Poincaré CW complexes and certain types of general chain complexes. We also construct the spacetime path integrals as topological invariants on these complexes. Remarkably, we show that native non-Clifford logical gates can be realized using constant-rate 2D hypergraph-product codes and their Clifford-stabilizer variants. This is achieved by a spacetime path integral effectively implementing the addressable gauging measurement of a new type of 0-form subcomplex symmetries, which correspond to addressable transversal Clifford gates and become higher-form symmetries when lifted to higher-dimensional CW complexes or manifolds. Building on this structure, we apply the gauging protocol to the magic state fountain scheme for parallel preparation of $O(\sqrt{n})$ disjoint CZ magic states with code distance of $O(\sqrt{n})$, using a total number of $n$ qubits.

研究动机与目标

• 以组合 TQFT 在泊松 CW 复形上构建超越流形的非阿贝尔 qLDPC 码的动机与构造。
• 引入能产生拓扑不变量并指引容错逻辑操作的路径积分形式。
• 展示对子复形/高形式对称性的可寻址规制测量如何实现逻辑非克利福德门。
• 在二维（增厚或骨架）超图积码上实现并行的魔态泉，资源计数具有可扩展性。

提出的方法

• 将骨架经典 LDPC 码映射到高维 CW 复形及其向泊松复形的变形。
• 将扭曲的（非阿贝尔）qLDPC 码构造成 X-稳定子被 CZ 门包裹的 stabilizer 码。
• 使用杯积在这些复形上定义时空路径积分，以获得拓扑不变量。
• 实现增厚的二维超图积码的编码速率与距离（恒定速率，距离 Ω(√n)）。
• 开发针对高形式和子复形对称性的可寻址规制测量协议，以实现逻辑 CZ 门。
• 证明规制测量协议产生魔态泉，使在二维积码上可并行制备不相交的魔态。

实验结果

研究问题

• RQ1 是否能够在超过流形的泊松 CW 复形上，用结合拓扑场论的组合 TQFT 实现非阿贝尔 qLDPC 码？
• RQ2 时空路径积分如何形式化 qLDPC 码的容错逻辑操作？
• RQ3 对高形式或子复形对称性的可寻址规制测量能否在二维积码上实现本地非克利福德门？
• RQ4 使用二维超图积码的魔态泉的可扩展性如何（速率、距离、量子比特数）？
• RQ5 这些构造是否产生与扭曲规制理论一致的非阿贝尔融合/缚结统计和 Borromean 型缚结统计？

主要发现

• 首次在一般链复形和泊松 CW 复形上构建非阿贝尔 qLDPC 码及其相应的 TQFT。
• 在这些复形上定义了对扭曲的高形式规范理论的时空路径积分，作为拓扑不变量。
• 该框架通过高形式或子复形对称性提供可寻址横向门，使在二维码中实现非克利福德运算成为可能。
• 在二维超图积码上实现了魔态泉，使用 n 个量子比特在 O(d) 轮中以 Θ(√n) 个不相交的 CZ 魔态达到距离 Ω(√n)。
• 该协议将路径积分规制与逻辑操作联系起来，实现资源态的并行制备以用于通用计算。
• 推导出非阿贝尔融合与 Borromean 型缚结统计，展示扭曲 qLDPC 码中的真正非阿贝尔拓扑序。