[論文レビュー] Self-dual, dual-containing and related quantum codes from group rings

Ted Hurley|ArXiv.org|Nov 26, 2007

Quantum Computing Algorithms and Architecture参考文献 9被引用数 12

ひとこと要約

本稿は、特にGF(4)における有限体上の群環を用いて、自己双対性・双対包含性・量子符号を構築するための新しい代数的技法を提示する。群環と行列環の同型を活用することで、明示的な生成行列および検査行列を有する符号が得られ、高いレートと改善された最小距離を達成する。具体的には、GF(4)上での$(2\times 4^m, 4^m, 2^{m+1})$自己双対符号や、$(2\times 8^m, \frac{7}{4}\times 8^m, 2^m)$双対包含符号が得られ、代数的公式を用いた効率的な記憶と低消費電力実装が可能となる。

ABSTRACT

Classes of self-dual codes and dual-containing codes are constructed. The codes are obtained within group rings and, using an isomorphism between group rings and matrices, equivalent codes are obtained in matrix form. Distances and other properties are derived by working within the group ring. Quantum codes are constructed from the dual-containing codes.

研究の動機と目的

• 群環構造を用いた一般の代数的フレームワークを構築し、自己双対および双対包含量子符号を生成すること。
• 循環的および準循環的構成を超えて、群環におけるゼロ因子およびユニット由来符号を活用することで、利用可能な量子符号の範囲を拡張すること。
• 計算およびメモリのオーバーヘッドを低減するため、代数的公式による効率的な記憶および行列生成を可能にすること。
• 特に量子符号応用を想定し、高レートで改善された最小距離を有する符号を導出すること。
• GF(4)上での群環構成において、スイッチドおよびエウクレイド内積の役割を調査し、符号性能を向上させること。

提案手法

• 群環の同型を用いて代数的群環要素を行列表現に写像し、明示的な生成行列および検査行列を可能にする。
• 対称的群環要素$u$を用い、$u^{2^t} = 0$および$\text{rank}(u) = (2^t - 1)q$を満たすことで、レート$\frac{2^t - 1}{2^t}$の双対包含符号を構築する。
• 再帰的構成法を用い、$u_i = (a_i + a_i^{2^t} + a_i^{2^{t+1}-1})u_{i-1}$のような要素を用いて、$C_2 \times C_{2^{t+1}}^m$上での長さのより大きな符号を生成する。
• 二面体群における差集合を活用し、長さ$8m-2$で距離$m+3$の自己双対符号を構築し、最小距離対長さ比において$\frac{1}{8}$に近いレートを達成する。
• 原始的要素$\omega$を用いてGF(4)に適応し、$u_1 = \omega a_1 + a_2^2 + \omega a_1^3$を定義することで、シンプレクティック内積に基づく双対包含符号を可能にする。
• 相互接続技術を導入し、符号長を拡張する。例えば、任意の$n \geq 1$に対して、$(2\times(16n)^m, \frac{7}{4}\times(16n)^m, 2^m)$の双対包含符号が得られる。

実験結果

リサーチクエスチョン

• RQ1 従来の循環的または準循環的構成を超えて、群環モジュール法を用いて自己双対および双対包含符号を体系的に構築できるか？
• RQ2 代数的群環構造をどのように用いることで、高レートで改善された最小距離を有する符号を生成できるか？
• RQ3 対称的要素およびネリポテンシー条件（$u^{2^t} = 0$）は、既知のランクと双対包含性を有する符号の構築において果たす役割は何か？
• RQ4 これらの手法をGF(4)のような非2進数体に拡張することで、シンプレクティック内積を用いた量子符号性能の向上が図れるか？
• RQ5 再帰的または相互接続された群環要素を用いることで、より高レートの双対包含符号を生成するための一般化はどの程度可能か？

主な発見

• 本稿は、エウクレイド内積を用いてGF(4)上に$(2\times 4^m, 4^m, 2^{m+1})$自己双対符号を構築し、例として$(8,4,4)$、$(32,16,8)$、$(128,64,16)$を示す。
• シンプレクティック内積を用いて、GF(4)上に$(2\times 8^m, \frac{7}{4}\times 8^m, 2^m)$双対包含符号を生成し、$\frac{7}{8}$のレートを達成し、$(1024,768,8)$などの例を示す。
• 二面体群では、長さ$8m-2$で距離$m+3$の自己双対符号を構築し、$(22,11,6)$、$(38,19,8)$、$(54,27,10)$などの例が得られ、それぞれの長さにおいて最適である。
• 本手法により、$(2\times 6^m, 6^m, 2^{m+1})$自己双対符号が得られ、$(12,6,4)$、$(72,36,8)$、$(432,216,16)$などの例が得られるが、小規模な場合を除き、既存の明示的行列記述は知られていない。
• 本構成法により、代数的記憶とオンデマンドでの行列生成が可能となり、従来のルックアップテーブルに比べてメモリおよび電力消費を削減できる。
• 相互接続技術により、任意の$n \geq 1$に対して、$(2\times(16n)^m, \frac{7}{4}\times(16n)^m, 2^m)$のスケーラブルな双対包含符号が得られ、適用可能な符号の範囲が拡張される。