[论文解读] Decoding in Hyperbolic Spaces: LDPC Codes With Linear Rate and Efficient Error Correction

M. B. Hastings|arXiv (Cornell University)|Dec 9, 2013

Quantum Computing Algorithms and Architecture参考文献 7被引用 14

一句话总结

本文提出了一种在双曲4-流形上的四维环码，实现了线性速率，并通过一种贪心的、可局部并行化的解码过程实现高效的经典错误校正。该方法利用双曲几何的负曲率在对数时间内压缩错误链，实现了具有恒定开销的容错量子计算阈值。

ABSTRACT

We analyze the four dimensional toric code in a hyperbolic space and show that it has a classical error correction procedure which runs in almost linear time and can be parallelized to almost constant time, giving an example of a quantum LDPC code with linear rate and efficient error correction.

研究动机与目标

• 构建一种具有线性速率且其经典解码过程可高效执行的量子LDPC码，以实现容错量子计算。
• 证明在双曲4-流形中的错误校正可并行化至每轮近乎恒定时间。
• 表明该码族在对抗性噪声下具有阈值，从而实现长期量子存储的稳定性。
• 确立双曲流形的单射半径可通过局部几何性质实现有效的错误检测与校正。

提出的方法

• 该码定义在一个具有恒定负曲率的四维双曲流形上，通过胞腔剖分将量子比特分配至1-胞腔，将稳定算符分配至0-和2-胞腔。
• 错误校正采用一种贪心的局部过程，通过利用双曲空间的曲率来压缩错误链，该曲率迫使大环具有高局部曲率。
• 通过将时间粗粒化为大小为 $k \sim \log(1/p)$ 的块，实现解码过程的并行化，从而降低有效图度，实现恒定时间的并行轮次。
• 该过程利用 $\mathbb{H}^4$ 的 $\delta$-双曲性质，即任一测地三角形上的点与另一条边的距离有界，从而实现对错误环的分裂或缩短。
• 通过在有界度图中进行树计数，推导出概率界，表明总错误概率以 $({\rm const.} \times p)^{\log N}$ 的形式衰减，其中 $\tau$ 为多项式。
• 该分析假设对抗性噪声模型，即任意集合 $X$ 上的错误概率受 $p^{|X|}$ 限制，并表明在 $O(\log N)$ 轮后，错误链以高概率被纠正。

实验结果

研究问题

• RQ1 能否构造一种具有线性速率的量子LDPC码，使其经典解码过程接近线性时间，并可并行化至近乎恒定时间？
• RQ2 四维双曲流形的负曲率是否能支持一种局部的、贪心的解码过程，以高效压缩错误链？
• RQ3 该码在对抗性噪声下的错误阈值行为如何？是否允许具有恒定开销的容错量子计算？
• RQ4 双曲流形的单射半径如何影响码的距离和错误校正能力？

主要发现

• 在双曲4-流形上的四维环码实现了线性速率，量子比特数量随流形体积线性增长。
• 经典解码过程可并行化至每轮近乎恒定时间，仅需 $O\left(\log N\right)$ 轮即可纠正错误。
• 错误概率以 $({\rm const.} \times p)^{\log N}$ 的形式衰减，意味着对任意关于 $N$ 的多项式运行时间 $\tau$ 均存在阈值。
• 流形的单射半径 $R_{\rm inj}$ 确保长度小于 $R_{\rm inj}$ 的错误链可局部纠正，且码距离按 $N^\alpha$ 的形式增长，其中 $0 < \alpha < 1$。
• 该构造满足容错量子计算中恒定因子开销的条件，如先前工作所示。
• 分析确认，超过 $O(\log N)$ 时间步后仍存活的错误链具有可忽略的概率，从而确保对码字的高保真度恢复。