[論文レビュー] A lower bound on the overhead of quantum error correction in low dimensions

Nouédyn Baspin, Omar Fawzi+1 more|arXiv (Cornell University)|Feb 8, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本論文は、幾何学的局所操作のみを用いた低次元量子アーキテクチャにおける量子誤り訂正に必要な空間オーバーヘッドの根本的な下界を確立する。2次元では、任意の古典的計算を許可しても、もつれ生成の制限と局所性制約のため、論理誤り率δに対してオーバーヘッドがΩ(√log(1/δ))にスケーリングすることを証明する。

ABSTRACT

We show that a quantum architecture with an error correction procedure limited to geometrically local operations incurs an overhead that grows with the system size, even if arbitrary error-free classical computation is allowed. In particular, we prove that in order to operate a quantum error correcting code in 2D at a logical error rate of $δ$, a space overhead of $Ω(\sqrt{\log(1/δ)})$ is needed for any constant depolarizing noise $p > 0$.

研究の動機と目的

• 幾何学的局所操作のみを用いた低次元系における量子誤り訂正に必要な最小空間オーバーヘッドを特定すること。
• 任意の古典的計算が、量子誤り訂正における幾何学的局所性の制限を補完できるかを調査すること。
• 論理誤り率の逆数および系の次元に依存するオーバーヘッドの下界を確立すること。
• 誤り訂正性能と空間制約アーキテクチャにおけるもつれ生成能力との間の関係を形式化すること。
• 2次元を超えてD次元系へと一般化し、幾何関数g_geomを通じて次元Dに依存する依存関係を示すこと。

提案手法

• 量子系と古典的系の間の分離可能操作の枠組みを用い、任意の古典的計算を許可するが、量子操作は局所的相互作用に制限する。
• D次元における等周不等式を活用して、物理的キュービットレジスタAを境界サイズ|∂Γ_i|が有界な部分集合Γ_iに分割する議論を適用する。
• 符号化状態におけるもつれ測度E_R(Λ_i : ḞΛ_i)を用いて、情報の流れと誤り耐性を定量化する。
• 量子誤り訂正の整合性条件（式2）を適用し、論理誤り率δと回復チャネルの性能を関連付ける。
• 分割サイズ、境界サイズ、誤りパラメータを含む不等式の連鎖を通じて、物理キュービット数mの下界を導出する。
• 幾何定数c1(D)、c2(D)およびパラメータf = log_p(δ)を用いて、オーバーヘッドをDおよびδの関数として表現し、最終的な下界に至る。

実験結果

リサーチクエスチョン

• RQ1 2次元量子アーキテクチャにおいて、局所的動作のみを用いて目標とする論理誤り率δを達成するための最小空間オーバーヘッドは何か？
• RQ2 任意の古典的計算が、量子誤り訂正における幾何学的局所性の制限を補うことができるか？
• RQ3 D次元系において、オーバーヘッドは論理誤り率δおよびノイズパラメータpとどのようにスケーリングするか？
• RQ4 局所性、もつれ生成、誤り訂正性能の間の根本的トレードオフは何か？
• RQ5 系の幾何的構造は、コード設計に依存しない内在的なオーバーヘッドの下界を課すか？

主な発見

• 2次元では、局所的動作と任意の古典的計算を許可しても、任意の定数のデポラライジングノイズp > 0に対して、空間オーバーヘッドがΩ(√log(1/δ))にスケーリングすることを示す。
• この下界はD次元に一般化され、オーバーヘッドがΩ((log(1/δ))^{1/D})となることが示され、次元が増加するにつれて収益が減少することを示す。
• 論理誤り率δがシステムサイズmとともに指数関数的に減少する場合、オーバーヘッドがΩ(m^{c/2})で下から抑えられることを示す。
• 古典的計算が無料であっても、この結果は成り立つため、量子操作における局所性が根本的なボトルネックであることを証明する。
• 下界はもつれ測度と幾何的分割を用いて導出され、誤り訂正性能における非局所性の役割が強調される。
• この分析は、もつれ生成速度が制限されたあらゆるアーキテクチャに適用可能であり、誤り訂正能力をもつれダイナミクスと直接的に関連付ける。