[论文解读] Constant-Overhead Magic State Distillation

Adam Wills, Min-Hsiu Hsieh+1 more|arXiv (Cornell University)|Aug 14, 2024

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一种针对量子比特的魔术态蒸馏协议，通过利用在1024维量子位上的渐近最优代数几何码，实现了常数开销的蒸馏，从而在 Clifford 层次的第三层实现横向逻辑门。关键成果是魔术态蒸馏的误差率依赖开销指数为 $\gamma = 0$，解决了长期存在的在魔术态蒸馏中实现最优常数开销的开放性问题。

ABSTRACT

Magic state distillation is a crucial yet resource-intensive process in fault-tolerant quantum computation. The protocol's overhead, defined as the number of input magic states required per output magic state with an error rate below $ε$, typically grows as $\mathcal{O}(\log^γ(1/ε))$. Achieving smaller overheads, i.e., smaller exponents $γ$, is highly desirable; however, all existing protocols require polylogarithmically growing overheads with some $γ> 0$, and identifying the smallest achievable exponent $γ$ for distilling magic states of qubits has remained challenging. To address this issue, we develop magic state distillation protocols for qubits with efficient, polynomial-time decoding that achieve an $\mathcal{O}(1)$ overhead, meaning the optimal exponent $γ= 0$; this improves over the previous best of $γ\approx 0.678$ due to Hastings and Haah. In our construction, we employ algebraic geometry codes to explicitly present asymptotically good quantum codes for $2^{10}$-dimensional qudits that support transversally implementable logical gates in the third level of the Clifford hierarchy. The use of asymptotically good codes with non-vanishing rate and relative distance leads to the constant overhead. These codes can be realised by representing each $2^{10}$-dimensional qudit as a set of $10$ qubits, using stabiliser operations on qubits. The $10$-qubit magic states distilled with these codes can be converted to and from conventional magic states for the controlled-controlled-$Z$ ($CCZ$) and $T$ gates on qubits with only a constant overhead loss, making it possible to achieve constant-overhead distillation of such standard magic states for qubits. These results resolve the fundamental open problem in quantum information theory concerning the construction of magic state distillation protocols with the optimal exponent.

研究动机与目标

• 解决容错量子计算中实现最优魔术态蒸馏开销的开放性问题。
• 构建一种具有常数开销的协议，即 $\epsilon$-依赖开销按 $\epsilon^0 = \epsilon^0$ 缩放，而非多项式对数缩放。
• 利用渐近最优的量子位码，实现 $CCZ$ 和 $T$ 门魔术态的横向实现。
• 证明渐近最优码（具有非零率和相对距离）可实现单轮、常数开销的蒸馏。
• 提供严谨的理论框架与证明，支持未来通过数值模拟进行优化。

提出的方法

• 该协议使用代数几何码构造 $[[n,k,d]]$ 量子位码，作用于 $2^{10}$-维量子位，具有非零率和相对距离。
• 这些码支持在 Clifford 层次第三层的横向逻辑门，从而实现 $CCZ$ 和 $T$ 门魔术态的容错实现。
• 该构造将每个 $2^{10}$-维量子位映射为10个物理量子比特，使用稳定子操作，保持逻辑门的横向性。
• 协议执行单轮蒸馏：使用 $Cn$ 个初始 $CCZ$ 态，通过距离 $t = \Theta(n)$ 的三正交码，准备出 $k$ 个高保真度 $CCZ$ 态。
• 通过并集界和二项熵函数实现误差抑制，得到误差率上界 $\epsilon \leq \left(\frac{p_{\text{ph}}}{p_{\text{th}}}\right)^{t+1}$，其中 $t+1 = \Theta(n)$。
• 证明开销为常数，因为 $\zeta / \xi(\zeta) = Cn / k = O(1)$，其中 $k = \Theta(n)$ 且 $C = O(1)$。

实验结果

研究问题

• RQ1 是否可以实现常数开销的魔术态蒸馏，即误差率依赖的开销指数 $\gamma = 0$？
• RQ2 能否构造出支持 Clifford 层次第三层横向逻辑门的渐近最优量子位码？
• RQ3 此类码是否能仅通过量子比特稳定子操作实现，并支持单轮蒸馏与常数阈值？
• RQ4 蒸馏 $T$ 和 $CCZ$ 魔术态的最小可实现开销指数 $\gamma$ 是多少？
• RQ5 使用线性距离码（$t = \Theta(n)$）是否可消除对码级联的需求，从而避免多项式对数开销增长？

主要发现

• 该协议实现了常数开销的魔术态蒸馏，误差抑制率为 $\epsilon \leq \left(\frac{p_{\text{ph}}}{p_{\text{th}}}\right)^{t+1}$，其中 $t+1 = \Theta(n)$，实现线性资源缩放下的指数误差抑制。
• 开销比 $\zeta / \xi(\zeta) = Cn / k = O(1)$ 为常数，证明协议在开销缩放 $\mathcal{O}(\log^\gamma(1/\epsilon))$ 中实现了 $\gamma = 0$。
• 通过代数几何方法显式构造了 $2^{10}$-维量子位的渐近最优量子码，具有非零率和相对距离。
• 每个量子位的10量子比特编码方式，仅带来常数开销损失，即可实现 $CCZ$ 和 $T$ 门魔术态的横向实现。
• 证明了存在一个常数阈值 $p_{\text{th}} > 0$，确保当 $n$ 足够大时，协议能以线性资源成本实现指数小的误差率。
• 该方法通过依赖线性距离码避免了码级联，消除了多轮操作的需求，从而防止了多项式对数开销的增长。