[論文レビュー] An explicit formula for a weight enumerator of linear-congruence codes

Taro Sakurai|arXiv (Cornell University)|Aug 28, 2018

Coding theory and cryptography被引用数 6

ひとこと要約

本稿では、非二進アルファベットにおける線形合同符号の重み列挙子に対する明示的公式を提示している。これは、BibakとMilenkovicの二進の場合の結果を拡張したものである。指数和（一次のウェイユ和）を用いて、GCD条​​件に依存せずに、以前の証明を簡略化し、符号サイズの列挙問題を完全に解消する閉形式の表現を導出している。

ABSTRACT

An explicit formula for a weight enumerator of linear-congruence codes is provided. This extends the work of Bibak and Milenkovic [IEEE ISIT (2018) 431-435] addressing the binary case to the non-binary case. Furthermore, the extension simplifies their proof and provides a complete solution to a problem posed by them.

研究の動機と目的

• 非二進の場合における線形合同符号の重み列挙子に対する明示的公式を提供すること。これは、従来の二進符号に限局された先行研究を拡張するものである。
• BibakとMilenkovicが提起した線形合同符号のサイズに関する問題を解消すること。
• 二進の場合に用いられた証明技法を、レーマーの定理やGCD条件に依存しない形で一般化・簡略化すること。
• 線形合同方程式の解におけるハミング重みの分布を特定すること。

提案手法

• 離散フーリエ変換による指数関数の直交性を用いて、合同式 $ a \cdot x \equiv b \pmod{m} $ を満たす解を特定する。
• 生成関数において合同条件を強制するために、恒等式 $ \frac{1}{m} \sum_{j=1}^{m} e\left(\frac{j b}{m}\right) = \delta_{b \equiv 0 \pmod{m}} $ を用いる。
• 重み列挙子 $ W_C(z) $ は、すべての $ x \in \mathbb{Z}_q^n $ に対する和として構成され、$ z^{\operatorname{wt}(x)} $ で重み付けされ、合同条件は指数和によって強制される。
• 各座標は、$ \sum_{x_i \in \mathbb{Z}_q} z^{\operatorname{wt}(x_i)} e\left(\frac{j a_i x_i}{m}\right) $ の形の因子を寄与させ、主な公式における積の形を導く。
• 最終的な式は、和の順序を入れ替え、ケロネッカーのデルタの性質を適用してコード $ C $ の解に制限することで得られる。
• この手法は、$ \gcd(a_1,\dotsc,a_n,m) \mid b $ のような数論的条件に依存しないため、公式は普遍的に適用可能である。

実験結果

リサーチクエスチョン

• RQ1 非二進線形合同符号の重み列挙子の明示的形は何か？
• RQ2 GCD条件に依存せずに、線形合同符号のサイズを閉形式でどのように表現できるか？
• RQ3 二進符号に用いられた証明技法を、非二進アルファベットに一般化・簡略化できるか？
• RQ4 線形合同方程式 $ a \cdot x \equiv b \pmod{m} $ の解におけるハミング重みの分布は何か？
• RQ5 指数和（一次のウェイユ和）は、線形合同符号の構造をどのように符号化するか？

主な発見

• 線形合同符号 $ C \subseteq \mathbb{Z}_q^n $ が $ a \cdot x \equiv b \pmod{m} $ で定義されるとき、その重み列挙子は次の式で与えられる： $$ W_C(z) = \frac{1}{m} \sum_{j=1}^{m} e\left(-\frac{jb}{m}\right) \prod_{i=1}^{n} \left(1 + z e\left(\frac{ja_i}{m}\right) + \cdots + z e\left(\frac{ja_i(q-1)}{m}\right)\right). $$
• 符号サイズ $ |C| $ は、同じ式において $ z = 1 $ と置くことで明示的に与えられ、次のようになる： $$ |C| = \frac{1}{m} \sum_{j=1}^{m} e\left(-\frac{jb}{m}\right) \prod_{i=1}^{n} \left(1 + e\left(\frac{ja_i}{m}\right) + \cdots + e\left(\frac{ja_i(q-1)}{m}\right)\right). $$
• レーマーの定理やGCD条件に基づく場合分けに依存しないため、BibakとMilenkovicの手法と比較して証明が著しく簡略化されている。
• 公式は、$ \gcd(a_1,\dotsc,a_n,m) $ が $ b $ を割り切るかどうかにかかわらず一様に適用可能であり、より一般かつ強固である。
• この手法は自然に解のハミング重み分布を捉え、コードの重みスペクトルの完全な特徴付けを提供する。
• この結果は、二進の場合の一般化として、任意の $ q \geq 2 $ にまで拡張され、BibakとMilenkovicが提起した未解決問題に対する完全な解決を提供する。