[論文レビュー] Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes

Salah A. Aly, Andreas Klappenecker+1 more|ArXiv.org|Jan 9, 2007

Quantum Computing Algorithms and Architecture参考文献 17被引用数 14

ひとこと要約

本稿では、直接極限法を用いて、一般化リード・ソロモン符号およびリード・マラー符号から派生する2つの符号族を導出する、量子畳み込み安定化符号の新しい構成を提示する。純粋な畳み込み安定化符号に対するシンギュラー境界を確立し、この境界に達する最適な符号を提示しており、明示的なパラメータと自由距離の保証を備えている。

ABSTRACT

Convolutional stabilizer codes promise to make quantum communication more reliable with attractive online encoding and decoding algorithms. This paper introduces a new approach to convolutional stabilizer codes based on direct limit constructions. Two families of quantum convolutional codes are derived from generalized Reed-Solomon codes and from Reed- Muller codes. A Singleton bound for pure convolutional stabilizer codes is given.

研究の動機と目的

• 直接極限構成を用いて、先行研究のアプローチを形式化する新しい量子畳み込み安定化符号のフレームワークを構築すること。
• 古典的一般化リード・ソロモン符号およびリード・マラー符号から明示的な量子畳み込み符号族を導出すること。
• 純粋な量子畳み込み安定化符号に対するシンギュラー境界を理論的ベンチマークとして確立すること。
• この境界に達する最適な量子畳み込み符号を構築し、高い誤り訂正性能を保証すること。
• 構築された符号が純粋であり、明確に定義された自由距離を持つことを示し、信頼性の高いオンライン符号化および復号が可能であることを確認すること。

提案手法

• 直接極限構成を用いて、量子畳み込み安定化符号の安定化フレームワークを一般化・形式化する。
• 一般化リード・ソロモン符号から導かれる生成行列を用い、パラメータ $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$ の量子畳み込み符号族を構築する。
• リード・マラー符号の準巡回部分符号を用いて畳み込み符号を生成し、周期的構造を持つ半無限生成行列 $G$ を用いる。
• 符号およびその双対符号の符号語の重み解析を用いて、自由距離 $d_f$ および双対自由距離 $d_f^ot$ を定義する。
• ヘルミート内積および自己直交条件 $GG^lat = 0$ を適用し、量子安定化符号の存在を保証する。
• CSS型構成を介して、古典的自己直交畳み込み符号と量子安定化符号の間の対応関係を用いる。

実験結果

リサーチクエスチョン

• RQ1 直接極限構成を用いて、古典的符号から系統的に量子畳み込み符号を導出可能か？
• RQ2 純粋な量子畳み込み安定化符号の最大自由距離は何か？また、その上限は存在するか？
• RQ3 一般化リード・ソロモン符号から、シンギュラー境界に達する最適な量子畳み込み符号を構築可能か？
• RQ4 リード・マラー符号をどのように活用すれば、量子応用に適した構造的自己直交畳み込み符号を生成できるか？
• RQ5 得られた量子畳み込み符号は、純粋性を保ち、明確で高い自由距離を持つだろうか？

主な発見

• 一般化リード・ソロモン符号から新たな量子畳み込み符号族が構築され、自由距離 $2^{r+1}$ を有するパラメータ $[(2^{m-l}, 2^{m-l}-2k(r), \text{deg} \ ext{deg})]_2$ を達成する。
• 本稿では、純粋な量子畳み込み安定化符号に対するシンギュラー境界を確立し、符号性能の理論的限界を提示する。
• シンギュラー境界に達する最適な量子畳み込み符号が導出され、自由距離およびレートの観点からその最適性が確認される。
• すべての $1 \leq l \leq m$ および $0 \leq r \leq \lfloor(m-l-1)/2\rfloor$ に対して、構築された符号は純粋であり、双対距離が $2^{r+1}$ で自由距離も $2^{r+1}$ である。
• リード・マラー符号から導かれる畳み込み符号は自己直交的であり、CSS構成により有効な量子安定化符号の存在が保証される。
• 著者らは、構成に用いられた[3]の符号が次数ゼロであり、実質的に畳み込み符号として装ったブロック符号であると明確に述べており、そのパラメータは $[(2^{m-l}, 2^{m-l}-2k(r), 0; 0, 2^{r+1})]_2$ である。