[論文レビュー] Distance-preserving stabilizer measurements in hypergraph product codes

Argyris Giannisis Manes, Jahan Claes|arXiv (Cornell University)|Aug 29, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、有限レートの量子低密度奇数チェック（QLDPC）符号であるハイパーグラフプロダクト（HGP）符号が距離に頑健であることを証明している。つまり、任意の安定化子測定回路が符号の有効距離を保つ。著者らは、Tremblayら（2022年）の深さ最適化回路が距離の保持においても最適であることを示しており、HGP符号は深さが低く距離を保つ測定回路を備えた故障耐性量子計算に特に適している。

ABSTRACT

Unlike the surface code, quantum low-density parity-check (QLDPC) codes can have a finite encoding rate, potentially lowering the error correction overhead. However, finite-rate QLDPC codes have nonlocal stabilizers, making it difficult to design stabilizer measurement circuits that are low-depth and do not decrease the effective distance. Here, we demonstrate that a popular family of finite-rate QLDPC codes, hypergraph product codes, has the convenient property of distance-robustness: any stabilizer measurement circuit preserves the effective distance. In particular, we prove the depth-optimal circuit in [Tremblay et al, PRL 129, 050504 (2022)] is also optimal in terms of effective distance.

研究の動機と目的

• 有限レートのQLDPC符号のための安定化子測定回路を設計する課題に取り組み、有効符号距離を低下させないものとする。
• 注目すべき有限レートQLDPC符号のファミリーとして知られるハイパーグラフプロダクト（HGP）符号が、任意の安定化子測定回路下でも距離に頑健であるかを調査する。
• Tremblayら（2022年）の深さ最適化測定回路が符号距離の保持においても最適であることを確立する。
• HGP符号における論理演算子が、アーキテクチャの測定から生じる誤り伝搬後でも、少なくとも距離dを保つという形式的証明を提供する。

提案手法

• 著者らはHGP符号における論理的ZおよびX演算子の構造を分析し、それぞれ少なくともd₁個の異なる行、またはd₂ᵀ個の異なる列にサポートを持つことを示した。
• 部分ドット積演算 eₜ ⋅ z₁ を用いて、安定化子の積が論理的演算子のサポートをいかなる行や列からも完全に消去できないことを示した。
• 証明は、yⱼ ∉ Im(H₂ᵀ) および aₗ ∉ Im(H₁) であるという事実に依存しており、これにより論理的演算子のサポートが安定化子乗算によって完全にキャンセルされないことが保証される。
• アーキテクチャ誤りのデータキュービットへの伝搬を形式的に定式化し、論理的演算子を完全にカバーするには少なくともd個のアーキテクチャ誤りが必要であることを示した。これにより有効距離が保たれる。
• HGP符号の積構造と符号双対性を活用することで、表面コードの距離に頑健な性質をHGP符号へ拡張した。
• 論理的演算子と安定化子の積によって得られる任意の論理的演算子に対してもこの性質を一般化し、すべての組み合わせに対して頑健であることを確認した。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフプロダクト符号のための安定化子測定回路は、アーキテクチャキュービットからの誤り伝搬があっても、符号の有効距離を保つことができるか？
• RQ2 HGP符号の深さ最適化測定回路は、距離保持という観点からも最適であるか？
• RQ3 アーキテクチャ測定からの誤り伝搬後も、HGP符号の論理的演算子は、安定化子の乗算に関係なく、少なくとも距離dを保つのか？
• RQ4 HGP符号の非局所的構造が、他の有限レートQLDPC符号とは異なり、測定中に距離の低下を防ぐのか？

主な発見

• HGP符号は距離に頑健である：任意の有効な安定化子測定回路が、表面コードと同様に有効符号距離を保つ。
• Tremblayら（2022年）の深さ最適化回路は、符号距離の保持においても最適であり、深さと距離の両方の最小化基準を満たす。
• HGP符号における論理的Z演算子は少なくともd₁個の異なる行に、論理的X演算子は少なくともd₂ᵀ個の異なる列にサポートを持つ。これにより、それらを完全にカバーするには少なくともd個のアーキテクチャ誤りが必要となる。
• 論理的演算子を安定化子で乗算しても、yⱼ と aₗ がそれぞれ H₂ᵀ と H₁ の像から線形独立であるため、どの行や列からもサポートが完全に消去されない。
• 証明により、論理的演算子と安定化子のいかなる組み合わせも、有効距離をd未満に低下させないことが確認され、すべての論理的演算子に対して頑健であることが立証された。