[论文解读] Flag Gadgets based on Classical Codes

Benjamin Anker, Milad Marvian|arXiv (Cornell University)|Dec 21, 2022

Metaheuristic Optimization Algorithms Research被引用 4

一句话总结

该论文提出了一种利用经典码（特别是BCH码）设计容错量子计算中旗标小工具的框架，以显著减少辅助量子比特的开销。通过使用经典奇偶校验来编码 syndrome 测量的旗标，该方法实现了指数级的节省——对于权重为 w 的距离-d 哈密顿量码，仅需 O(t log w) 个旗标量子比特，相比传统方法的 O(w)，尤其在量子比特测量和重置速度较慢时优势明显。

ABSTRACT

Fault-tolerant syndrome extraction is a key ingredient in implementing fault-tolerant quantum computations. While conventional methods use a number of extra qubits linear in the weight of the syndrome, several improvements have been introduced using flag gadgets. In this work, we develop a framework to design flag gadgets using classical codes. Using this framework we show how to perform fault-tolerant syndrome extraction for any stabilizer code with arbitrary distance using exponentially fewer qubits than conventional methods when qubit measurement and reset are relatively slow compared to a round of error correction. We further take advantage of the saving provided by our construction to fault-tolerantly measure multiple stabilizers using a single gadget, and show that it maintains the same exponential advantage when it is used to fault-tolerantly extract the syndrome of quantum LDPC codes. Using the developed framework we perform computer-assisted search to find several small examples where our constructions reduce the number of qubits required. These small examples may be relevant to near-term experiments on small-scale quantum computers.

研究动机与目标

• 解决容错 syndrome 提取中的高量子比特开销问题，尤其是在量子比特测量和重置速度较慢时。
• 开发一种系统化的方法，用于构建适用于任意稳定子码的旗标小工具，无论其距离或码结构如何。
• 与传统方法相比，实现辅助量子比特需求的指数级减少。
• 将该框架扩展至使用单个小工具实现多个稳定子的容错提取。
• 通过最小化资源开销，使其实现可在近期量子设备上实用化。

提出的方法

• 使用距离 d = 2t + 1 的经典BCH码的奇偶校验矩阵来编码旗标量子比特的测量。
• 将每个旗标量子比特的测量映射为经典码的一个奇偶校验，从而实现在 syndrome 上的错误定位。
• 在空间中重复BCH码的奇偶校验结构 d 次，以防止 syndrome 提取过程中错误传播。
• 通过重复奇偶校验来缓解物理门约束带来的不精确性，同时保持容错性。
• 应用旗标模式来识别并纠正 syndrome 上的错误，使用保持容错性的解码规则。
• 通过将纠正操作限制在成对数据 CNOT 门之间的区域，优化纠正位置，确保容错实现。

实验结果

研究问题

• RQ1 是否可以为任意稳定子码构造出具有指数级量子比特节省的旗标小工具，即使在缺乏快速量子比特测量和重置的情况下？
• RQ2 该框架能否扩展至使用单一小工具同时提取多个稳定子的 syndrome？
• RQ3 如何系统性地利用经典码设计具有可证明错误检测与纠正能力的容错旗标小工具？
• RQ4 在现实物理约束下，确保容错 syndrome 提取所需的最少旗标量子比特数量是多少？
• RQ5 该框架能否被适配以实现对量子 LDPC 码的 syndrome 提取，并显著降低辅助量子比特开销？

主要发现

• 所提出的构造仅需 (2t + 1)t⌈log₂ w⌉ 个旗标量子比特，即可为距离-d = 2t + 1 的量子码提取权重为 w 的 syndrome，与传统 O(w) 方法相比实现了指数级节省。
• 该框架可实现对任意稳定子码的容错 syndrome 提取，包括任意距离的码，且无需依赖快速量子比特测量或重置。
• 当应用于量子 LDPC 码时，该方法在无量子比特重置的情况下仍能保持 syndrome 提取的指数级量子比特节省。
• 通过计算机辅助搜索，发现了小型码示例，其构造显著减少了所需的辅助量子比特数，使其对近期量子实验具有实际意义。
• 该方法支持使用单一小工具实现多个稳定子的容错提取，同时保持指数级开销优势。
• 该框架通过将纠正操作限制在成对数据 CNOT 门之间的区域，实现了容错纠正，确保最小权重纠正仍为容错的。