[论文解读] Fiber Bundle Codes: Breaking the $N^{1/2} \operatorname{polylog}(N)$ Barrier for Quantum LDPC Codes

Matthew B. Hastings, Jeongwan Haah+1 more|arXiv (Cornell University)|Sep 8, 2020

Error Correcting Code Techniques参考文献 18被引用 14

一句话总结

该论文提出纤维丛码（fiber bundle codes），一种新型的量子LDPC码构造，其距离达到 Ω(N^{3/5}/polylog(N))，打破了长期存在的 N^{1/2}polylog(N) 限制。通过在代数拓扑中利用纤维丛结构对同调积进行推广——以随机经典LDPC码作为底空间，循环图作为纤维——该构造在保持低权重稳定算符和低物理量子比特参与度的前提下，实现了更优的距离标度。

ABSTRACT

We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $ ildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle.

研究动机与目标

• 为克服量子LDPC码中长期存在的 N^{1/2}polylog(N) 距离限制。
• 构造一类量子LDPC码家族，其距离超过 N^{1/2}polylog(N)，同时保持低权重稳定算符和低量子比特参与度。
• 提出一种基于纤维丛的拓扑构造，推广同调积，并实现更优的距离标度。
• 为高效解码提供基础，包括针对比特翻转错误的多项式时间算法，以及在合理假设下对相位错误的高效解码器的猜想。

提出的方法

• 将量子码的同调积推广为利用代数拓扑中纤维丛结构的扭曲同调积。
• 以随机经典LDPC码作为底空间，循环图作为纤维，通过转移函数编码纤维丛结构。
• 通过底空间与纤维复形的积构建链复形来定义码，稳定算符生成元由上边界映射导出。
• 利用链复形之间的同伦等价关系，应用权重缩减技术，将高权重稳定算符转换为低权重形式，同时对距离和码大小的损失控制在多对数因子内。
• 通过距离平衡增强Z-稳定算符的最小距离，在初始构造中实现 d_Z = Ω(N^{3/4}/polylog(N))。
• 实现基于校验的解码算法，时间复杂度为 Õ(|D(0)|Δ^5)，其中 Δ 为底码的最大度数。

实验结果

研究问题

• RQ1 能否构造出距离大于 N^{1/2}polylog(N) 的量子LDPC码，从而打破既定限制？
• RQ2 基于纤维丛的拓扑构造能否生成距离标度更优的量子码，同时保持低权重稳定算符？
• RQ3 能否在不显著降低距离或码大小的前提下，减少高距离码中稳定算符生成元的权重？
• RQ4 能否为该类码设计出比特翻转错误的多项式时间解码算法，并在合理假设下使相位错误解码变得高效？

主要发现

• 纤维丛码构造在初始码中实现了 d_X = Ω(N^{1/2}/polylog(N)) 和 d_Z = Ω(N^{3/4}/polylog(N)) 的最小距离，且稳定算符权重为多对数级。
• 经过权重缩减后，最终的LDPC码实现了距离 Ω(N^{3/5}/polylog(N))，并在 N 个物理量子比特上编码了 Θ(N^{3/5}) 个逻辑量子比特。
• 该构造是首个突破 N^{1/2}polylog(N) 距离界限的量子LDPC码家族，解决了长期悬而未决的开放问题。
• 提供了针对比特翻转错误的多项式时间解码算法，并提出了相位错误解码的高效算法猜想。
• 权重缩减过程在多对数因子范围内保持了距离和码大小，利用链复形之间的同伦等价关系关联原始码与缩减码。
• 解码算法的时间复杂度被限制在 Õ(|D(0)|Δ^5) 内，其中 Δ 为底码的最大度数，|D(0)| 为校验中初始单元的数量。