[论文解读] On Quantum Weight Reduction

M. B. Hastings|arXiv (Cornell University)|Feb 19, 2021

Quantum Computing Algorithms and Architecture被引用 8

一句话总结

本文提出了一种新颖的量子权重缩减技术，称为“锥化”（coning），可将任意量子码转换为具有有界稳定器权重（最多为5）的低权重稳定器码，同时仅引入物理量子比特和距离的常数因子开销。该方法使新型低密度奇偶校验（LDPC）量子码的构建成为可能，其距离缩放为$\tilde{\Omega}(N^{2/3})$，逻辑量子比特数量也为$\tilde{\Omega}(N^{2/3})$，超越了以往的界限，并为实现高距离、高码率的量子码开辟了新途径。

ABSTRACT

We give a general procedure for weight reducing quantum codes. This corrects a previous work\cite{owr}, and introduces a new technique that we call "coning" to effectively induce high weight stabilizers in an LDPC code. As one application, any LDPC code (with arbitrary $O(1)$ stabilizer weights) may be turned into a code where all stabilizers have weight at most $5$ at the cost of at most a constant factor increase in number of physical qubits and constant factor reduction in distance. Also, by applying this technique to a quantum code whose $X$-stabilizers are derived from a classical log-weight random code and whose $Z$-stabilizers have linear weight, we construct an LDPC quantum code with distance $ ilde Ω(N^{2/3})$ and $ ildeΩ(N^{2/3})$ logical qubits.

研究动机与目标

• 开发一种通用程序，用于在不显著牺牲距离或码率的前提下，降低量子码中稳定器的权重。
• 克服现有LDPC量子码构造中依赖高权重稳定器或复杂拓扑结构的局限性。
• 通过一种更简单、更灵活的方法，实现新型量子码族的构建，其距离和逻辑量子比特的缩放性能更优。
• 为在任意量子码上实现逻辑Clifford门操作提供实用框架，通过权重缩减实现。
• 通过改进图结构构造，将量子码的可靠性因子提升至$\Omega(1)$，增强码的抗错能力。

提出的方法

• 提出一种新方法——“锥化”（coning），通过从基码构造缩减的锥复形，有效诱导LDPC码中的高权重稳定器。
• 应用权重缩减过程（定理1），将任意稳定器权重的码转换为所有稳定器权重不超过5的码，仅导致物理比特数的常数因子增加和距离的常数因子减少。
• 使用参数为$\ell$的加厚构造来提升码的$X$-距离，随后通过距离平衡使$X$与$Z$距离相等。
• 通过细化底层图结构来提升可靠性：在连通分量内添加边，使$h(G') = \Omega(1)$，确保对错误具有鲁棒性。
• 利用链映射与同调构造，将经典码提升为量子码，同时保持关键的拓扑与代数性质。
• 将该方法应用于具有常数权重$X$-稳定器和线性权重$Z$-稳定器的量子码，生成新的LDPC码，其距离和逻辑量子比特数均达$\tilde{\Omega}(N^{2/3})$。

实验结果

研究问题

• RQ1 能否将任意稳定器权重的通用量子码转换为具有有界稳定器权重且开销最小的LDPC码？
• RQ2 在给定物理量子比特数和逻辑量子比特数的前提下，LDPC量子码可实现的最大距离缩放为何值？
• RQ3 权重缩减技术能否用于在任意量子码上实现逻辑Clifford门操作？
• RQ4 能否在不显著增加量子比特或距离成本的前提下，将量子码的可靠性因子提升至$\Omega(1)$？
• RQ5 锥化构造是否为实现LDPC量子码中$\tilde{\Omega}(N^{2/3})$距离缩放提供了新的、更简单的路径？

主要发现

• 本文构建了一个LDPC量子码，其距离为$\tilde{\Omega}(N^{2/3})$，逻辑量子比特数也为$\tilde{\Omega}(N^{2/3})$，实现了LDPC码的新距离缩放性能。
• 任何量子码均可被转换为所有稳定器权重不超过5的码，仅需常数因子增加物理量子比特数，且距离仅减少常数因子。
• 通过使用$\ell = \Theta(N)$的加厚构造，该构造在权重缩减与距离平衡后，使$X$与$Z$稳定器的距离均达到$\tilde{\Omega}(N^{2/3})$的缩放。
• 改进的可靠性构造使可靠性因子提升至$\Omega(1)$，且量子比特数最多增加常数因子，距离仅减少常数因子。
• 该方法实现了对先前构造的部分去随机化，并改善了距离缩放中的多对数因子。
• 锥化技术为构建高距离LDPC码提供了新路径，暗示了量子码设计中潜在的根本极限或进一步改进的可能。