[論文レビュー] How Much Entanglement Does a Quantum Code Need?

Gaojun Luo, Martianus Frederic Ezerman+2 more|arXiv (Cornell University)|Jul 12, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本論文は、もつれ補助量子誤り訂正符号（EAQECC）におけるもつれコストと誤り訂正性能のトレードオフを調査する。古典的符号理論を活用することで、著者らはもつれ資源の使用を体系的・段階的に変更できる3つの新しい伝播ルールを導入し、最適なキュービットおよびキュートリットEAQECCの構築を可能にした。これにより、64キュービットおよび36キュートリットまでの長さについて、最高の既知パラメータを網羅的に提示した表を通じて、性能の向上が裏付けられた。

ABSTRACT

In the setting of entanglement-assisted quantum error-correcting codes (EAQECCs), the sender and the receiver have access to pre-shared entanglement. Such codes promise better information rates or improved error handling properties. Entanglement incurs costs and must be judiciously calibrated in designing quantum codes with good performance, relative to their deployment parameters. Revisiting known constructions, we devise tools from classical coding theory to better understand how the amount of entanglement can be varied. We present three new propagation rules and discuss how each of them affects the error handling. Tables listing the parameters of the best performing qubit and qutrit EAQECCs that we can explicitly construct are supplied for reference and comparison.

研究の動機と目的

• もつれ資源を誤り訂正能力を損なわせることなく体系的に変更できる方法を理解すること。
• 量子符号設計におけるもつれ使用量を微調整できる新しい伝播ルールの開発。
• 実用的展開を想定した最良のキュービットおよびキュートリットEAQECCを構築・表形式で提示し、もつれコストを最小限に抑えつつ、レートと距離を最大化すること。
• ネットレートと最小距離を主な性能指標として用いることで、EAQECCの比較のためのフレームワークを提供すること。
• EAQECCパラメータの境界付けに関する未解決問題、およびホール次元と双対距離の最適化に関する問題の特定。

提案手法

• もつれ（c）、長さ（n）、次元（κ）、最小距離（δ）を調整することで、EAQECCパラメータを変更するための3つの新しい伝播ルールを提案。
• 既存の符号から新たなEAQECCを生成するために、部分符号、パunction、短縮操作などの古典的符号理論的手法を適用。
• キュートリット符号の最小の最大もつれペア数（cmin）を特定するために、ランダム探索および全探索手法を用いる。
• 特にd′ = d + 1の場合にパラメータが向上するコードの構築に、定理14および定理16を活用。
• 長さ拡張、部分符号、パunction、もつれ増加操作を含む8つの伝播ルールを用いて、最高の既知パラメータを圧縮・一覧化。
• 構築された符号を既知の境界と比較することで結果を検証し、キュービット（n ≤ 64）およびキュートリット（n ≤ 36）符号のパラメータをオンラインで公開。

実験結果

リサーチクエスチョン

• RQ1 EAQECCにおける事前に共有されたもつれの量を最小限に抑えつつ、誤り訂正性能を維持または向上させることは可能か？
• RQ2 キュービットおよびキュートリット符号において、コードレート、最小距離、もつれコストの最適なトレードオフは何か？
• RQ3 どの古典的符号構成がもつれ制約下で最も効率的なEAQECCを生み出すか？
• RQ4 伝播ルールを体系的に導出し、新たなEAQECCをパラメータの向上とともに生成することは可能か？
• RQ5 特に小長さ符号に対して、EAQECCパラメータの最もタイトな理論的境界は何か？

主な発見

• 著者らは、長さ3 ≤ n ≤ 64のキュービットEAQECCおよび長さ3 ≤ n ≤ 36のキュートリットEAQECCについて、表1および表2にパラメータを示した最高の既知の符号を構築した。
• 新規伝播ルールにより、符号距離およびレートを維持または向上させながらもつれコストを低減したEAQECCの体系的構築が可能になった。
• キュートリット符号では、ランダム探索戦略によりcmin値が標準的構成を上回り、特にd′ = d + 1の場合に顕著であった。
• ネットレート¯ρ(Q)は正、負、ゼロのいずれにもなり得る。もつれが事前に共有され、後で使用可能に保たれる限り、負のレート符号でも有用である。
• 本研究では、定理16において対角行列の代わりにランクsの行列を用いることで、ランダム符号構築の効率が向上することを同定した。
• 結果は、もつれ補助量子符号の最小距離に関する境界に関するオンライン記録として公開されており、ベンチマークや今後の研究を促進する。