[论文解读] Quantum LDPC Codes of Almost Linear Distance via Homological Products

Louis Golowich, Venkatesan Guruswami|arXiv (Cornell University)|Nov 6, 2024

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文通过链复形的同调积构造新型量子LDPC码，实现了近乎线性距离与维度，绕过了先前平衡积方法所需的对称群结构。通过引入积扩张并利用子系统码，作者获得了[[N, Θ(N), Θ(N)]]码（稳定算符权重较小）与[[N, N^{1−ε}, N^{1−ε}]]码（稳定算符权重恒定），从而突破了√N距离障碍。

ABSTRACT

The first linear-distance quantum LDPC codes were recently constructed by a line of breakthrough works (culminating in the result of Panteleev & Kalachev, 2021). All such constructions, even when allowing for almost-linear distance, are based on an operation called a balanced (or lifted) product, which is used in a one-shot manner to combine a pair of large classical codes possessing a group symmetry. We present a new construction of almost-linear distance quantum LDPC codes that is iterative in nature. Our construction is based on a more basic and widely used product, namely the homological product (i.e. the tensor product of chain complexes). Specifically, for every ε > 0, we obtain a family of [[N,N^{1-ε},N^{1-ε}]] (subsystem) quantum LDPC codes via repeated homological products of a constant-sized quantum locally testable code. Our key idea is to remove certain low-weight codewords using subsystem codes (while still maintaining constant stabilizer weight), in order to circumvent a particular obstruction that limited the distance of many prior homological product code constructions to at most Õ(√N).

研究动机与目标

• 解决长期存在于量子编码理论中的开放问题：构造距离超过O(√N)的量子LDPC码。
• 建立同调积的一般框架，以在不依赖对称群结构的前提下保持（接近）线性码距离。
• 通过迭代同调积与子系统码，将已知的量子LDPC构造扩展至超越√N距离限制的范围。
• 提供显式、非对称的渐近良好量子LDPC码构造，其稳定算符权重较小。
• 确立理论条件——特别是积扩张与局部可测试性——作为同调积生成良好量子码参数的充分条件。

提出的方法

• 以同调积（链复形的张量积）为核心构造机制，将经典张量码推广至量子设置。
• 为经典码引入积扩张概念，以在量子设置中界定同调积的距离。
• 对一个常数规模的量子局部可测试码（qLTC）应用迭代同调积，以实现接近线性距离。
• 利用子系统码以突破通常将基于积的量子码距离限制在Õ(√N)的障碍。
• 借助局部到整体框架与集体（共）填充常数分析码距离与稳定性。
• 通过层论解释与赋范直积层，将（共）填充常数的界扩展至集体设置。

实验结果

研究问题

• RQ1 在不依赖群对称性的情况下，链复形的同调积能否在量子码中保持（接近）线性距离？
• RQ2 基码的何种结构特性可确保其同调积生成具有大距离的量子码？
• RQ3 为何标准同调积无法突破√N距离障碍？该障碍如何被克服？
• RQ4 子系统码是否可用于实现量子LDPC码的近乎线性距离，同时保持稳定算符权重恒定？
• RQ5 积扩张与局部可测试性在多大程度上可作为同调积构造中良好量子码参数的充分条件？

主要发现

• 本文通过同调积的积扩张码构造出渐近良好[[N, Θ(N), Θ(N)]]量子LDPC码，其稳定算符权重为小多项式。
• 对任意ε > 0，作者通过常数规模qLTC的迭代同调积，构造出[[N, N^{1−ε}, N^{1−ε}]]子系统量子LDPC码，其稳定算符权重恒定。
• 所得码的距离突破了限制多数先前基于积构造的√N障碍，实现了近乎线性距离。
• 作者证明积扩张是同调积下保持良好距离的充分条件，将其应用范围从平衡积扩展至更广领域。
• 通过使用子系统码，该构造避开了此前将距离上限定在Õ(√N)的关键障碍，实现了首例具有近乎线性距离与恒定稳定算符权重的此类码。
• 分析依赖于集体（共）填充常数与局部到整体框架，通过将界扩展至直积层，确保迭代过程的鲁棒性。