[論文レビュー] 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次元のクーディットに向けた漸近的に良い代数幾何コードを活用することで、定数オーバーヘッドのディスティルを実現する量子ビット用の魔法状態ディスティルプロトコルを提示する。これにより、クラーク・ハーモニクスの第3レベルにおけるトランスバーサル論理ゲートが可能になる。主な結果は、$\epsilon$ に依存するオーバーヘッド指数 $\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$ ゲートの魔法状態をトランスバーサルに実装可能にする。
• 漸近的に良いコードが非ゼロのレートと相対距離を持つ場合、1ラウンドで定数オーバーヘッドのディスティルが可能であることを示すこと。
• 定数オーバーヘッドのディスティルを正当化する厳密な理論的枠組みと証明を提供し、将来の数値シミュレーションによる最適化を可能にする。

提案手法

• プロトコルは代数幾何コードを用いて、非ゼロのレートと相対距離を持つ $2^{10}$-次元クーディットにおける $[[n,k,d]]$ クーディットコードを構築する。
• これらのコードは、クラーク・ハーモニクスの第3レベルにおけるトランスバーサル論理ゲートをサポートし、$CCZ$ および $T$ ゲートの魔法状態の故障耐性実装を可能にする。
• 各 $2^{10}$-次元クーディットを、論理ゲートのトランスバーサル性を保ちながら、安定化子操作を用いて10個の物理量子ビットにマッピングする。
• プロトコルは1ラウンドディスティルを実行する：$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 クラーク・ハーモニクスの第3レベルにおけるトランスバーサル論理ゲートをサポートする、クーディット用の漸近的に良い量子コードを構築可能か。
• RQ3 このようなコードが、量子ビットの安定化子操作のみを用いて実現可能であり、定数閾値を持つ1ラウンドディスティルを可能にするか。
• 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$ に対して、線形リソースコストで指数的に小さな誤り率を達成できることを保証する。
• コード連結を回避するため、線形距離コードに依存することで、複数ラウンドを必要とせず、多対数的オーバーヘッドの増加を防ぐ。