[論文レビュー] Codes from Zero-divisors and Units in Group Rings

Paul Hurley, Ted Hurley|ArXiv.org|Oct 31, 2007

Coding theory and cryptography参考文献 5被引用数 4

ひとこと要約

本稿は、群環と行列環の同型を活用して、群環の要素から直接誤り訂正符号を構築する新規な手法を提案する。この手法により、ゼロ因子およびユニット由来の符号を、生成行列とチェック行列を効率的に計算可能にし、自己双対性や低密度パリティ検査（LDPC）構造といった所望の性質を持つ符号の体系的設計が可能になる。従来のイデアルに基づく構成を超えて、一般化された符号設計を実現する。

ABSTRACT

We describe and present a new construction method for codes using encodings from group rings. They consist primarily of two types: zero-divisor and unit-derived codes. Previous codes from group rings focused on ideals; for example cyclic codes are ideals in the group ring over a cyclic group. The fresh focus is on the encodings themselves, which only under very limited conditions result in ideals. We use the result that a group ring is isomorphic to a certain well-defined ring of matrices, and thus every group ring element has an associated matrix. This allows matrix algebra to be used as needed in the study and production of codes, enabling the creation of standard generator and check matrices. Group rings are a fruitful source of units and zero-divisors from which new codes result. Many code properties, such as being LDPC or self-dual, may be expressed as properties within the group ring thus enabling the construction of codes with these properties. The methods are general enabling the construction of codes with many types of group rings. There is no restriction on the ring and thus codes over the integers, over matrix rings or even over group rings themselves are possible and fruitful.

研究の動機と目的

• 群環内の非イデアル要素（特にゼロ因子とユニット）から誤り訂正符号を構築する一般枠組みを構築すること。
• 従来の群環符号構成がイデアルに限定されていたという制限を克服し、イデアルではなく符号化に焦点を当てる。
• 群環内での代数的記述を通じて、自己双対性やLDPC特性といった特定の構造的性質を持つ符号の構築を可能にすること。
• 体に限らない環（整数環や行列環など）への拡張を可能にし、整数的かつ構造的な符号を構築すること。
• 群環の要素から直接、生成行列とチェック行列を統一的な代数的手法で計算する方法を提供すること。

提案手法

• 群環 $RG$ と $R$ 上の $n \times n$ 行列環との同型（$n = |G|$）を用い、群環の要素を行列として表現する。
• ゼロ因子およびユニット $RG$ 内の行列表現を分析することで、符号の生成行列とチェック行列を構築する。
• 線形代数的手法を行列表現に適用する：ゼロ因子 $u$ に対して、その行列 $U$ の零空間がチェック行列を導き、$\operatorname{rank}U + \operatorname{rank}V = n$ のランク条件が符号次元を保証する。
• ユニット由来符号では、$RG$ 内のユニットの逆元性を活用し、柔軟で構造的な生成行列を生成する。
• 行列構造を用いて、最小距離、自己双対性、スパarsity（LDPC符号向け）といった性質を、群環内の代数的条件から直接導出する。
• この手法を $\mathbb{Z}$, $\mathbb{Z}_m$, 行列環を含む任意の環 $R$ に一般化し、体でない環上でも符号を構築可能にする。

実験結果

リサーチクエスチョン

• RQ1 ゼロ因子およびユニットがイデアルを生成しない場合でも、群環内のそれらから符号を体系的に構築する方法は何か？
• RQ2 群環と行列環の間の行列同型が、生成行列とチェック行列の直接計算を可能にする役割は何か？
• RQ3 自己双対性およびLDPC符号は、群環の要素から代数的に構築可能か？また、$RG$ 内でこれらの性質を保証する代数的条件は何か？
• RQ4 体以外の環（整数環や行列環など）への拡張はどのように行われるか？どのような種類の符号が得られるか？
• RQ5 最小距離は、ブルートフォースな全列挙を避けて、群環の構造から直接計算可能か？

主な発見

• 本稿は、二面体群環上に $(62,30,12)$ 符号を構築した。これは、この長さにおける既知の最高の最小距離と一致する。
• ユニット由来符号は、群環において決してイデアルにならない。これは、本手法が従来のイデアルに基づく構成を越えて拡張されることを示している。
• ゼロ因子およびユニット由来符号の生成行列とチェック行列は、群環要素の行列表現から直接計算可能である。
• 自己双対符号は、群環内でのゼロ因子またはユニットに対する特定の代数的条件（例：ゼロ因子 $u$ に対して $uv = g^n - 1$）を特定することで構築可能である。
• 直積群の群環におけるゼロ因子またはユニットから、正則かつスパースなパリティ検査行列を持つLDPC符号を体系的に生成可能である。
• 一部のケースでは、群環要素の代数的構造を分析することで、ブルートフォース手法を回避して最小距離を直接計算可能である。