[論文レビュー] Correlated decoding of logical algorithms with transversal gates

Madelyn Cain, Zhao Chen+6 more|arXiv (Cornell University)|Mar 5, 2024

DNA and Biological ComputingBiochemistry, Genetics and Molecular Biology被引用数 3

ひとこと要約

本稿では、符号ブロック間の決定的エラー伝播を活用して、トランスバーサルゲート中に論理キュービットを同時に復号することで、耐障害性のある量子計算を向上させる相関復号を提案する。空間時間復号ハイパーグラフを構築し、キュービット間のエラー相関を捉えることで、深いつないだ Clifford 回路において論理エラー率を低減し、シンドローム抽出ラウンドを最大50%まで削減する。これにより、空間時間コストが顕著に低下する。

ABSTRACT

Quantum error correction is believed to be essential for scalable quantum computation, but its implementation is challenging due to its considerable space-time overhead. Motivated by recent experiments demonstrating efficient manipulation of logical qubits using transversal gates (Bluvstein et al., Nature 626, 58-65 (2024)), we show that the performance of logical algorithms can be substantially improved by decoding the qubits jointly to account for error propagation during transversal entangling gates. We find that such correlated decoding improves the performance of both Clifford and non-Clifford transversal entangling gates, and explore two decoders offering different computational runtimes and accuracies. In particular, by leveraging the deterministic propagation of stabilizer measurement errors through transversal Clifford gates, we find that correlated decoding enables the number of noisy syndrome extraction rounds between these gates to be reduced from $O(d)$ to $O(1)$ in Clifford circuits, where $d$ is the code distance. We verify numerically that this approach substantially reduces the space-time cost of deep logical Clifford circuits. These results demonstrate that correlated decoding provides a major advantage in early fault-tolerant computation, as realized in recent experiments, and further indicate it has considerable potential to reduce the space-time cost in large-scale logical algorithms.

研究の動機と目的

• 大規模な論理アルゴリズムにおける量子エラー訂正の高い空間時間コストを解消すること。
• トランスバーサルエンタングルゲート中の構造的エラー伝播を活用して復号器の精度を向上させること。
• 深いつながった論理 Clifford 回路で必要なシンドローム抽出ラウンド数を削減すること。
• 相関復号が Clifford および非 Clifford ゲートの両状況で独立復号を上回ることを示すこと。
• 再構成可能中性原子アレイを用いた最近の実験結果の理論的基盤を提供すること。

提案手法

• トランスバーサルゲート中の論理キュービット間のエラー伝播をモデル化する空間時間復号ハイパーグラフを構築する。
• ハイパーグラフ上で最大尤度推定器（MLE）を用いて、複数の論理キュービットにわたるエラーを同時に復号する。
• トランスバーサルゲートの前における物理的パウリエラーからのエラー伝播を、ハイパーグラフ内のパウリエラーの重ね合わせとしてモデル化する。
• ゲート伝播後のパウリエラー重ね合わせのすべての項に対してハイパーエッジを含め、相関エラー効果を捉える。
• 完全なハイパーグラフを用いた相関復号と、単一キュービットのエラー源のみを用いた独立復号を比較する。
• 効率的な Clifford 回路技術を用いてノイズのある回路をシミュレートし、CCZ ゲートの前段でプロパゲートされたパウリノイズを CCZ 操作にわたって伝える。

実験結果

リサーチクエスチョン

• RQ1 トランスバーサルゲート中における論理キュービットの同時復号は、独立復号と比較して論理エラー率を低減できるか？
• RQ2 相関復号は、深いつながった Clifford 回路において、シンドローム抽出ラウンド数をどの程度削減できるか？
• RQ3 CCZ などの非 Clifford トランスバーサルゲートにおいて、相関復号はどのように性能を発揮するか？
• RQ4 トランスバーサルゲート操作におけるエラー伝播構造は、復号器性能にどのような影響を与えるか？
• RQ5 計算時間の効率が保証された近似復号器であっても、エラー相関を活用することで高い精度を達成できるか？

主な発見

• 深いつながった論理 Clifford 回路において、相関復号はシンドローム抽出ラウンド数を最大50%まで削減し、空間時間コストを顕著に低減する。
• 本手法は、Clifford および非 Clifford トランスバーサルエンタングルゲート、特に CCZ ゲートにおいても論理エラー率の性能向上を実現する。
• 完全な復号ハイパーグラフを用いた高精度な MLE 復号器は、特に高エラー率下でも独立復号を上回る性能を発揮する。
• 計算時間の効率が保証された近似復号器は、ハイパーグラフ内のエラー重ね合わせをモデル化することで、ほぼ最適性能を達成する。
• トランスバーサルゲートに起因するエラー相関（例：CNOT におけるコントロールからターゲットへの X エラーのコピー）を活用することで、復号における有効エラー密度を半分にできる。
• 本手法は、トランスバーサルゲートを用いた再構成可能中性原子量子プロセッサの実験結果の理論的基盤を提供する。