[论文解读] Universal fault-tolerant quantum computation with Bacon-Shor codes

Theodore J. Yoder|arXiv (Cornell University)|May 4, 2017

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

一句话总结

本文提出了一种基于编码非对称性的容错通用门集，用于Bacon-Shor子系统码，利用横向Hadamard门和受控-受控-Z（CCZ）门，实现更高层级的Clifford层级门。该方法在$3\times3$ Bacon-Shor码上实现了无需中间纠错的通用容错量子计算，在电路 depolarizing 噪声下伪阈值达到$\sim 8\times10^{-5}$。

ABSTRACT

We present a fault-tolerant universal gate set consisting of Hadamard and controlled-controlled-Z (CCZ) on Bacon-Shor subsystem codes. Transversal non-Clifford gates on these codes are intriguing in that higher levels of the Clifford hierarchy become accessible as the code becomes more asymmetric. For instance, in an appropriate gauge, Bacon-Shor codes on an $m imes m^k$ lattice have transversal $k$-qubit-controlled $Z$. Through a variety of tricks, including intermediate error-correction and non-Pauli recovery, we reduce the overhead required for fault-tolerant CCZ. We calculate pseudothresholds for our universal gate set on the smallest $3 imes3$ Bacon-Shor code and also compare our gates with magic-states within the framework of a proposed ion trap architecture.

研究动机与目标

• 开发一种适用于小距离Bacon-Shor码的实用、低开销通用容错门集，避免依赖magic-state蒸馏。
• 解决在低距离范围内基于magic-state的非Clifford门实现资源效率低下的问题。
• 通过利用Bacon-Shor码中的编码非对称性，实现非Clifford门（如CCZ）的横向实现。
• 通过可分容错性与非Pauli恢复操作，降低容错电路的开销。
• 为实验性容错量子计算提供一种资源优化的替代方案，尤其适用于离子阱架构。

提出的方法

• 利用Bacon-Shor码的$m\times m^k$晶格结构，使$k$-量子比特受控-Z门实现横向化，从而访问Clifford层级的更高级别。
• 通过插入中间稳定算符测量实现可分容错性，将电路划分为容错段，减少错误传播。
• 应用非Pauli恢复操作——该操作符合Knill-Laflamme条件但超出标准稳定算符形式体系——以降低纠错开销。
• 通过酉演化与稳定算符测量，将错误追踪为复权重Pauli和，实现精确的错误传播分析。
• 对Clifford电路使用Gottesman-Knill定理，对非Clifford组件（如CCZ）使用精确Pauli和分解，以计算逻辑错误率。
• 通过蒙特卡洛模拟电路depolarizing噪声模型下的exRECs（有效纠错轮次），计算伪阈值。

实验结果

研究问题

• RQ1 能否通过编码非对称性在Bacon-Shor码中实现横向非Clifford门，从而实现通用容错量子计算？
• RQ2 在不使用magic-state蒸馏的前提下，实现小距离Bacon-Shor码上容错CCZ门所需的最小开销是多少？
• RQ3 与标准Pauli基恢复相比，非Pauli恢复在容错电路中如何降低纠错开销？
• RQ4 在真实电路噪声模型下，$3\times3$ Bacon-Shor码上通用门集的伪阈值是多少？
• RQ5 与离子阱架构中基于magic-state的实现相比，该方案在资源成本和速度上表现如何？

主要发现

• $3\times3$ Bacon-Shor码仅通过横向Hadamard门和CCZ门即可实现通用容错门集，且无需中间纠错。
• 在电路depolarizing噪声下，$3\times3$码上CCZ门的伪阈值约为$8\times10^{-5}$，表明其具有优异的容错性能。
• 该方案避免了magic-state蒸馏与事后选择，适用于小距离、近期实验实现。
• 非Pauli恢复与优化电路设计减少了所需中间纠错循环的数量，降低了资源开销。
• 在离子阱MUSICQ架构中，所提出的CCZ实现预计比基于magic-state的方案快约四倍。
• 该方法通过可分容错性与基于Pauli和分解的精确错误追踪实现容错，支持准确的伪阈值估计。