[论文解读] Fast fault-tolerant filtering of quantum codewords

Andrew Steane|ArXiv.org|Feb 6, 2002

Quantum Computing Algorithms and Architecture参考文献 2被引用 24

一句话总结

该论文提出了一种容错方法，利用基于拉丁矩形的结构化并行门网络，显著减少了准备和验证量子编码态所需的时步数和物理操作数。通过最小化重复的奇偶校验测量并利用码的对称性，该方法将噪声阈值提高了整整一个数量级，从而实现了更高效、可扩展的t-错误纠正码量子误差校正。

ABSTRACT

The stabilization of a quantum computer by repeated error correction can be reduced almost entirely to repeated preparation of blocks of qubits in quantum codeword states. These are multi-particle entangled states with a high degree of symmetry. The required accuracy can be achieved by measuring parity checks, using imperfect apparatus, and rejecting states which fail them. This filtering process is considered for t-error-correcting codes with t>1. It is shown how to exploit the structure of the codeword and the check matrix, so that the filter is reduced to a minimal form where each parity check need only be measured once, not > t times by the (noisy) verification apparatus. This both raises the noise threshold and also reduces the physical size of the computer. A method based on latin rectangles is proposed, which enables the most parallel version of a logic gate network to be found, for a class of networks including those used in verification. These insights allowed the noise threshold to be increased by an order of magnitude.

研究动机与目标

• 通过最小化容错编码态准备过程中奇偶校验验证步骤和时步数，降低量子误差校正（QEC）的资源开销。
• 通过避免使用噪声验证装置重复测量奇偶校验，提高容错量子计算的噪声阈值。
• 开发一种系统化方法，构建最小化、并行化的QEC门网络，在保持容错性的同时减少物理资源需求。
• 利用CSS码及其校验矩阵的代数结构，设计高效的辅助态准备和验证电路。

提出的方法

• 使用拉丁矩形构造为数据量子比特与辅助量子比特之间的受控相位（CZ）门分配时步，确保每个量子比特在每个时步内仅参与一次门操作。
• 将该方法应用于G网络（用于准备逻辑|0⟩L态）和H网络（用于验证奇偶校验），将总时步数最小化至N+1+Tm，其中N是由校验矩阵A中最大行重或列重决定的最小可能时步数。
• 使用单个CZ门将验证位连接到最后r个辅助量子比特，可同时执行，从而减少总时步数。
• 依赖于辅助态中的错误以受控方式传播：单次故障仅导致数据中出现单个错误，若能纠正则无害，与重复测量方案中错误累积的情况不同。
• 通过多个独立制备的辅助态进行多数表决以检测和纠正错误，但通过容错网络仅提取一次奇偶校验，从而减少了重复需求。
• 应用组合数学中的Hall定理，证明存在大小为r×(n−r)的拉丁矩形，其最小字母表大小为N = w_max，其中w_max为校验矩阵A中任意行或列的最大权重。

实验结果

研究问题

• RQ1 能否通过利用码的校验矩阵结构，减少容错验证量子编码态所需的时步数？
• RQ2 如何构建一个容错验证网络，以最小化重复奇偶校验测量，同时保持错误检测能力？
• RQ3 拉丁矩形的使用在多大程度上能够实现量子误差校正电路中受控门操作的最大并行化？
• RQ4 减少验证时步数和操作数对容错量子计算机整体噪声阈值有何影响？

主要发现

• 使用拉丁矩形构造可将奇偶校验验证所需的时步数减少至N+1+Tm，其中N是基于校验矩阵A中最大行重或列重的最小可能值。
• 该方法通过确保每个奇偶校验仅提取一次，减少了重复奇偶校验测量的需求，从而避免了多个验证周期中错误的累积。
• 通过最小化重复检查并并行化门操作，容错量子计算的噪声阈值提高了整整一个数量级。
• 该方法通过约t倍的资源节省，其中t为码可纠正的错误数，通常在大规模量子计算中为7至15之间。
• 该方法适用于所有CSS码，并可实现最小化、容错的网络，用于准备和验证逻辑量子比特态。
• 理论分析证实，验证网络中单次故障仅导致数据中出现单个错误，该错误无害且可纠正，与重复测量方案中错误可能累积的情况不同。