[论文解读] Homological Product Codes

Sergey Bravyi, Matthew B. Hastings|arXiv (Cornell University)|Nov 4, 2013

Quantum Computing Algorithms and Architecture参考文献 19被引用 10

一句话总结

本文首次提出了一类具有恒定编码速率和线性距离的优秀量子LDPC码，采用同调积构造方法，将随机量子码与代数拓扑技术相结合。该方法实现的稳定算符权重为$O(\sqrt{n})$，突破了以往所有已知优秀量子码中稳定算符权重为线性这一限制，并通过随机构造和Künneth公式予以证明。

ABSTRACT

Quantum codes with low-weight stabilizers known as LDPC codes have been actively studied recently due to their simple syndrome readout circuits and potential applications in fault-tolerant quantum computing. However, all families of quantum LDPC codes known to this date suffer from a poor distance scaling limited by the square-root of the code length. This is in a sharp contrast with the classical case where good families of LDPC codes are known that combine constant encoding rate and linear distance. Here we propose the first family of good quantum codes with low-weight stabilizers. The new codes have a constant encoding rate, linear distance, and stabilizers acting on at most $\sqrt{n}$ qubits, where $n$ is the code length. For comparison, all previously known families of good quantum codes have stabilizers of linear weight. Our proof combines two techniques: randomized constructions of good quantum codes and the homological product operation from algebraic topology. We conjecture that similar methods can produce good stabilizer codes with stabilizer weight $n^a$ for any $a>0$. Finally, we apply the homological product to construct new small codes with low-weight stabilizers.

研究动机与目标

• 解决长期存在的开放问题：构造具有恒定编码速率和线性距离的优秀量子LDPC码。
• 克服以往所有已知优秀量子码中稳定算符权重为线性这一限制。
• 提出一种新构造方法，结合同调代数与随机复形，以实现更优的码参数。
• 证明同调积可生成小规模、低权重稳定算符的量子码，并具备实际的距离特性。
• 推测该方法可推广至稳定算符权重为$O(n^\alpha)$（任意$\alpha > 0$）的码。

提出的方法

• 通过两个随机链复形的同调积构造量子码，利用代数拓扑定义码结构。
• 采用随机构造优质经典码，并应用Künneth公式分析积复形的同调性质。
• 利用来自$\mathbb{F}_4$-线性码的边界算符$\partial = \delta_1 \otimes I + I \otimes \delta_2$定义量子码。
• 通过减少循环的概率计数和均匀低权重事件，对所得码的距离进行界定。
• 证明的关键在于：同调中不存在低权重循环的概率非零，从而证明存在优秀码。
• 对小码（如由$[[5,1,3]]$码构造的$[[25,1,5]]$码）进行数值验证，确认其距离与稳定算符权重。

实验结果

研究问题

• RQ1 能否构造出具有恒定编码速率和线性距离，同时保持低权重稳定算符的量子LDPC码家族？
• RQ2 同调积构造能否突破以往量子LDPC码中固有的$O(\sqrt{n})$距离限制？
• RQ3 随机码构造与拓扑积运算的结合是否能产生具有可证明优良参数的码？
• RQ4 同调积能否用于生成小规模、实用的量子码，具备低权重稳定算符与高距离？
• RQ5 该构造方法是否可推广至实现任意$\alpha > 0$下的稳定算符权重$O(n^\alpha)$？

主要发现

• 本文首次构造出具有恒定编码速率和线性距离的优秀量子LDPC码家族，实现$d = \Omega(n)$。
• 稳定算符作用于$O(\sqrt{n})$个量子比特，相比以往线性权重稳定算符的码有显著改进。
• 两个随机复形的同调积可产生高距离码，其证明基于对减少循环的概率界分析。
• 数值结果表明，两个$[[5,1,3]]$码的积可生成$[[25,1,5]]$码，其稳定算符权重不超过8。
• 两个$[[7,1,3]]$与$[[5,1,3]]$码的积可生成$[[35,1,d]]$码，且$d \leq 6$，验证了该方法在小码上的可行性。
• 作者推测该方法可进一步推广，以生成任意$\alpha > 0$下稳定算符权重为$O(n^\alpha)$的码。