[論文レビュー] Nonadditive quantum error correcting codes adapted to the ampltitude damping channel

Ruitian Lang, Peter W. Shor|ArXiv.org|Dec 16, 2007

Quantum Computing Algorithms and Architecture参考文献 10被引用数 16

ひとこと要約

本稿では、振幅減衰チャネルに特化した非加法的量子誤り訂正符号の族を導入し、自己補完構造を活用して1次誤りをすべて訂正する。閉包性および一意性条件を満たす最大集合を貪欲法で構築することで、符号化レートが1/2を超える。回復操作は単純な射影に基づく量子回路によって実装される。

ABSTRACT

A family of high rate quantum error correcting codes adapted to the amplitude damping channel is presented. These codes are nonadditive and exploit self-complementarity structure to correct all first-order errors. Their rates can be higher than 1/2. The recovery operations of these codes can be generated by a simple algorithm and have a projection nature, which makes them potentially easy to implement.

研究の動機と目的

• 開放的量子系に広く見られる振幅減衰チャネルに特化した高レートの量子誤り訂正符号を開発すること。
• 従来の安定化子符号（例：[5,1]符号でレート1/5）のレート制限を超えるために、チャネル固有のノイズ特性を活用すること。
• 2の冪でない次元のヒルベルト空間を符号化できる非加法的符号を設計し、加法的符号よりも高いレートを実現すること。
• 符号語の構造的制約により、1次振幅減衰誤りに対する強固な誤り訂正を保証すること。
• 射影に基づく操作を含む単純なアルゴリズムに裏付けられた、実装可能な回復プロトコルを考案すること。

提案手法

• 自己補完集合 S ⊆ {0,1}^n を用いて非加法的符号の族を構築する。ここで、u ∈ S ならばその補数 ū ∈ S である。
• 一意性条件を課す：i ≠ j に対して u - e^(i) = v - e^(j) ならば u = v である。これにより、誤りパターンの曖昧さが排除される。
• 小規模な n に対して、自己補完性および一意性条件を満たす最大集合 S を貪欲法で探索する。
• 誤りベクトルを重みと辞書式順序でソートする最尤推定アルゴリズムを用いて回復操作を設計する。
• 回復演算子を直交射影として生成する：u−e ∈ S かつ以前に使用されていない場合、|g(u−e)⟩ を (|u⟩ + |ū⟩)/√2 に訂正する。
• 射影の性質により、回復操作がユニタリであり、標準的な量子回路として実装可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 振幅減衰チャネルにおいて、安定化子符号よりも高い符号化レートを達成できる非加法的符号を構築できるか？
• RQ2 自己補完符号構造をどのように活用して、すべての1次振幅減衰誤りを訂正できるか？
• RQ3 これらの非加法的符号に対して、効率的かつ実装可能な回復操作を可能にするアルゴリズムフレームワークは何か？
• RQ4 所定の条件を満たす有効な自己補完集合 S のサイズの漸近的成長はどのようになるか？
• RQ5 このような符号のエンタングルメント忠実度が γ に対して線形に消えるようにできるか？ これにより1次誤り訂正が確認される。

主な発見

• 提案された符号は、log₂k 対 n の回帰分析において 0.85 の勾配を示し、従来の安定化子符号の 0.5 よりも著しく高い符号化レートを達成する。
• n = 16 の場合、符号 (16,1716) は16量子ビットに1716次元の空間を符号化し、約10.74の論理的量子ビットに相当する。
• (8,12)符号は、γ に対して線形に消える高いエンタングルメント忠実度を示し、すべての1次振幅減衰誤りが訂正されていることを確認する。
• 回復操作は単純なアルゴリズムに基づく直交射影として構築され、標準的な量子回路を用いた物理的実装が可能である。
• 貪欲法により、表1に示されたものよりも大きなサイズの集合 S が生成可能であり、さらなる最適化の余地があることが示唆される。
• 理論的解析により、X型およびZ型誤りが1次に現れないことは、F_min = 1 − o(γ²) を満たすために必要かつ十分であることが確認され、1次誤り訂正が保証される。