[論文レビュー] THE CONDITION FOR A CYCLIC CODE OVER Z 4 OF ODD LENGTH TO HAVE A COMPLEMENTARY DUAL

Seth Gannon, Hamid Kulosman|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

本稿は、奇数長のZ4上における巡回符号が補完的双対（LCD）符号であるための必要十分条件を確立する：このような符号がLCDであるための必要十分条件は、Z4[X]におけるX^N − 1の自己双対モニック因子によって生成されることである。この結果は、有限体上での古典的なLCD符号の特徴付けをZ4の環へと拡張し、独自の因数分解とホールサイズの公式を活用しており、量子符号理論および符号設計への応用を持つ。

ABSTRACT

We show that a necessary and sufficient condition for a cyclic code C over Z4 of odd length to be an LCD code is that C=(f(x)) where f is a self-reciprocal polynomial in Z4[X].

研究の動機と目的

• 有限体上でのLCD符号の特徴付けをZ4の環へと拡張すること、特に奇数長の巡回符号に対して行う。
• Z4上における巡回符号がLCD符号であるための正確な代数的条件を同定すること。
• Z4上での既存の因数分解定理およびホールサイズの公式を活用し、LCD符号の明快で構造的な基準を導出すること。

提案手法

• 定理1.1を用いて、奇数長NのZ4上における任意の巡回符号Cを、C = (f(x)g(x), 2f(x))と表現する。ここでf, g, hはfgh = X^N − 1を満たす一意なモニック多項式である。
• 定理1.2を適用して、Hull(C) = C ∩ C⊥ のサイズを計算する。|Hull(C)| = 4^{deg(H)} · 2^{deg(G)} となる。ここでHとGはf*, h, fのgcdおよびlcmを用いて定義される。
• |Hull(C)| = 1（CがLCDであることに等価）である条件を分析し、gcd(h, f*) = 1およびlcm(f, h*) = X^N − 1が導かれる。
• 因子集合（Fact(f), Fact(g), Fact(h), Fact(h*))の互いに素でかつ和集合の性質を用いて、gが1でなければならないことを導出する。これによりC = (f(x))であることが示される。
• g = 1でh = X^N − 1 / fのとき、双対性および因数分解の制約からfが自己双対でなければならないことを確立する。
• 逆を検証する：fが自己双対であれば、定理1.2におけるH(X) = 1およびG(X) = 1となり、|Hull(C)| = 1となる。従ってC = (f(x))はLCDである。

実験結果

リサーチクエスチョン

• RQ1 奇数長のZ4上における巡回符号がLCD符号であるための必要十分条件は何か？
• RQ2 Z4[X]におけるX^N − 1の因数分解構造は、巡回符号のホールサイズおよびLCD性質にどのように影響するか？
• RQ3 有限体上でのLCD符号の特徴付けを、特に奇数長の巡回符号に対してZ4の環へと拡張できるか？

主な発見

• 奇数長NのZ4上における巡回符号Cは、X^N − 1の自己双対モニック因子f(X)を用いてC = (f(x))と生成されるとき、かつそのときに限りLCD符号である。
• ホールサイズ|Hull(C)| = 1であることは、g(X) = 1かつf(X)が自己双対であることと同値であり、これは符号が自己双対多項式によって生成される場合に限り成立する。
• fが自己双対でg = 1のとき、h(X) = X^N − 1 / f(X)もまた自己双対であるため、LCD符号の双対性条件が保証される。
• Z4上における長さNの巡回LCD符号の数は2^{nsrf}であり、ここでnsrfは、良い対(n,2)に対してはϕ(n)/ord_{Z_n^*}(2)を、悪い対に対してはその半分を含むNの約数nに関する和である。
• N = 7の場合、巡回LCD符号は(1)、(g11)、(f17 f17*)、および(0)であり、これらはZ4[X]におけるX^7 − 1の自己双対因子に対応する。
• この特徴付けは、[3]で確立されたX^N − 1の自己双対因子および逆対因子への一意的因数分解および定理1.2のホールサイズ公式に依存している。