[論文レビュー] Quasi-cyclic Codes of Index 1.5

Yun Fan, Hualu Liu|arXiv (Cornell University)|May 9, 2015

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

ひとこと要約

本稿は、有限体上に定義された線形符号の新規クラスとして、混合サイクル置換作用の下で多項式および行列表現を用いて構成される、インデックス $1.5$ の準巡回符号を導入する。ランダム構成法を用いて、これらの符号が漸近的に良いことを証明し、正のレート ($1/3$) とゼロから離れた相対最小距離を達成する。これにより、任意の有限体に対して、漸近的に良い符号の存在が保証される。

ABSTRACT

We introduce quasi-cyclic codes of index 1.5, construct such codes in terms of polynomials and matrices; and prove that the quasi-cyclic codes of index 1.5 are asymptotically good.

研究の動機と目的

• インデックス $1.5$ を持つ、循環符号（インデックス 1）とインデックス 2 の準巡回符号の間を埋める、分数インデックスを持つ線形符号の新規クラスを定義・形式化すること。
• 分数インデックスを持つ符号が漸近的に良いかどうかという未解決の問題に取り組み、整数インデックスに限らない理論を拡張すること。
• 群環および商環構造を活用して、有限体上での多項式および行列表現を用いて、このような符号を構築すること。
• 確率的およびランダム符号化の議論を用いて、この新規クラス内に漸近的に良い符号列の存在を示すこと。

提案手法

• インデックス $1.5$ の準巡回符号とその共インデックス $2m$ を、$F^{2m} \times F^m$ の部分空間として定義し、長さ $2m$ と $m$ の互いに素な巡回置換の積で生成される巡回群（位数 $2m$）による不変性を満たすものとする。
• 符号を環 $R_{2m} = F[X]/\langle X^{2m}-1 \rangle$ および $R_m = F[X]/\langle X^m - 1 \rangle$ の元として表現し、符号語を多項式対 $(a(X), a'(X))$ として同定する。
• それぞれのイデアルを法としてランダムな多項式 $a(X)$ と $a'(X)$ を選択し、インデックス $1.5$、共インデックス $2m_i$ のランダム符号 $C^{(i)}_{a,a'}$ を構成する。
• 相対最小距離の分析に、$q$-元エントロピー関数 $h_q(x)$ を用いたエントロピーに基づく評価を適用し、$\Delta(C^{(i)}_{a,a'}) > \delta$ となる確率の下界を導出する。
• $\frac{X^{m_i}-1}{X-1}$ の既約因子の解析を通じて次元を分析し、ランダム符号のレートを確立する。具体的には、$\dim C^{(i)}_{a,a'} = m_i - 1$ が高確率で成立することを示す。
• 距離と次元に関する確率的評価を統合し、任意の $\delta < \frac{2}{3}h_q^{-1}(1/2)$ に対して、レートが $1/3$ に収束し、相対最小距離が $\delta$ を上回る漸近的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 インデックスが分数、特に $1.5$ の準巡回符号が、有限体上の線形符号において意味的に定義され、構築可能であるか？
• RQ2 インデックス $1.5$ の符号が、レートと相対最小距離の両方がゼロから離れているような符号列を含む、すなわち漸近的に良いか？
• RQ3 この新規クラス内に漸近的に良い符号の存在を示すために、ランダム構成法を用いることができるか？
• RQ4 共インデックスが増大する際、このような符号の極限レートおよび最小距離の挙動はいかなるものか？
• RQ5 共インデックスが増大する漸近的状況において、$1.5$-インデックスのランダム符号の相対最小距離はどのように振る舞い、正の下界が保証される閾値は何か？

主な発見

• 本稿は、インデックス $1.5$ の準巡回符号が漸近的に良いことを証明しており、これは、レートと相対最小距離の両方がゼロから離れている符号列が存在することを意味する。
• 任意の有限体 $F_q$ に対して、共インデックス $2m_i \to \infty$ のとき、レートが $1/3$ に近づくインデックス $1.5$ の準巡回符号の符号列が存在する。
• このような符号の相対最小距離 $\Delta(C_i)$ は、すべての $i$ に対して $\delta$ を上回り、ここで $\delta < \frac{2}{3}h_q^{-1}(1/2)$ であり、この境界は定量的に指定されている（例：$q=3$ の場合、$\delta > 0.106$）。
• 条件 $\delta$ を満たす限り、ランダム符号の相対最小距離が $\delta$ を上回る確率は $i \to \infty$ のとき 1 に収束する。
• ランダム符号 $C^{(i)}_{a,a'}$ の次元は、確率が 1 に近づくにつれて $m_i - 1$ に収束するため、レートが $1/3$ に収束することが保証される。
• この構成は、$X^m - 1$ の既約因子の確率的解析に依拠しており、境界は $q$-元エントロピー関数 $h_q(x)$ を用いて導出される。