[論文レビュー] On Quantum Weight Reduction

M. B. Hastings|arXiv (Cornell University)|Feb 19, 2021

Quantum Computing Algorithms and Architecture被引用数 8

ひとこと要約

本稿では、任意の量子符号を安定化子の重みが常に5以下である低重み安定化子符号に変換する、新しい量子重み低減技術「コニング」を導入する。この手法は物理的量子ビット数と距離の増加に定数倍のオーバーヘッドしか生じさせず、距離が$\tilde{\Omega}(N^{2/3})$で、論理的量子ビット数が$\tilde{\Omega}(N^{2/3})$の新しいLDPC量子符号の構築を可能にする。これにより、従来の境界を上回り、高距離・高レートの量子符号への新たな道筋が開かれる。

ABSTRACT

We give a general procedure for weight reducing quantum codes. This corrects a previous work\cite{owr}, and introduces a new technique that we call "coning" to effectively induce high weight stabilizers in an LDPC code. As one application, any LDPC code (with arbitrary $O(1)$ stabilizer weights) may be turned into a code where all stabilizers have weight at most $5$ at the cost of at most a constant factor increase in number of physical qubits and constant factor reduction in distance. Also, by applying this technique to a quantum code whose $X$-stabilizers are derived from a classical log-weight random code and whose $Z$-stabilizers have linear weight, we construct an LDPC quantum code with distance $ ilde Ω(N^{2/3})$ and $ ildeΩ(N^{2/3})$ logical qubits.

研究の動機と目的

• 安定化子の重みを著しく低下させることなく、距離やレートを著しく損なわずに、量子符号における安定化子の重みを低減する一般的手法を開発すること。
• 高重みの安定化子や複雑なトポロジカル構造に依存する従来のLDPC量子符号構築法の制限を克服すること。
• より単純で柔軟な手法を用いて、距離と論理的量子ビット数のスケーリングが向上した新たな量子符号族の構築を可能にすること。
• 任意の量子符号に対して論理的クリフォード操作を実装する実用的なフレームワークを提供すること。
• 洗練されたグラフベースの構成を用いて、量子符号の健全性要因を$\Omega(1)$まで向上させ、符号の耐障害性を強化すること。

提案手法

• ベースコードから縮小されたコーン複体を構築することで、LDPC符号に高重み安定化子を効果的に導入する新しい技術「コニング」を導入する。
• 定理1に従う重み低減手順を適用し、任意の安定化子重みを持つ符号を、すべての安定化子が重み5以下である符号に変換する。この過程では、量子ビット数の増加と距離の減少が定数倍に留まる。
• パラメータ$\ell$を用いた「厚み付け構成」を適用し、符号の$X$-距離を増加させた後、距離のバランスを取ることで$X$と$Z$の距離を等しくする。
• 下位グラフ構造を精緻化することで健全性を向上：連結成分内に辺を追加し、$h(G') = \Omega(1)$を達成することで、誤りに対して強い耐性を確保する。
• チェーン写像とホモロジー的構成を用いて、古典的符号を量子符号に持ち上げる。この過程で、重要な位相的・代数的性質を保持する。
• 定数重みの$X$-安定化子と線形重みの$Z$-安定化子を持つ量子符号にこの手法を適用し、$\tilde{\Omega}(N^{2/3})$の距離と論理的量子ビット数を持つ新しいLDPC符号を生成する。

実験結果

リサーチクエスチョン

• RQ1 任意の安定化子重みを持つ一般量子符号を、安定化子重みが有界で、オーバーヘッドが最小限のLDPC符号に変換することは可能か？
• RQ2 与えられた物理的量子ビット数と論理的量子ビット数のもとで、LDPC量子符号が達成可能な最大距離スケーリングは何か？
• RQ3 重み低減技術を用いて、任意の量子符号に対して論理的クリフォード操作を実装できるか？
• RQ4 量子符号の健全性要因を$\Omega(1)$まで向上させることは、量子ビット数や距離に著しいコストをかけることなく可能か？
• RQ5 コニング構成は、LDPC量子符号において$\tilde{\Omega}(N^{2/3})$の距離スケーリングを達成するための、より単純な新たな道筋を提供するか？

主な発見

• 本稿では、距離が$\tilde{\Omega}(N^{2/3})$で、論理的量子ビット数が$\tilde{\Omega}(N^{2/3})$のLDPC量子符号を構築した。これは、LDPC符号における新たな距離スケーリングを達成した。
• 任意の量子符号を、物理的量子ビット数が定数倍増加し、距離が定数倍減少する程度のコストで、すべての安定化子が重み5以下である符号に変換可能である。
• $\ell = \Theta(N)$で符号を厚み付けすることで、変換後および距離のバランス調整後に$X$および$Z$の両方の安定化子で距離スケーリングが$\tilde{\Omega}(N^{2/3})$に達する。
• 改善された健全性構成により、量子ビット数が定数倍以内に増加し、距離が定数倍減少する程度のコストで、健全性要因が$\Omega(1)$に向上した。
• この手法により、従来の構成の部分的な確率的除去が可能となり、距離スケーリングにおける対数的要因が改善された。
• コニング技術は、高距離LDPC符号への新たな代替的ルートを提供し、量子符号設計における根本的限界やさらなる改善の可能性を示唆している。