[論文レビュー] On integral weight spectra of the MDS codes cosets of weight 1, 2, and 3

Alexander A. Davydov, Stefano Marcugini+1 more|arXiv (Cornell University)|Jul 5, 2020

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

ひとこと要約

本稿は、最小距離5および覆い半径3を持つMDS符号の、重み1、2、3のコセットの積分重みスペクトルの明示的公式を導出する。代数的組合せ論とMDS符号の性質を用いて、固定された重みのすべてのコセットにおける各重みのベクトル総数の閉形式表現を提供する。主な貢献は、これらのスペクトルを体系的かつ簡略化された方法で計算可能にすることであり、符号理論におけるコセット重み分布の効率的解析を可能にする。

ABSTRACT

The weight of a coset of a code is the smallest Hamming weight of any vector in the coset. For a linear code of length $n$, we call integral weight spectrum the overall numbers of weight $w$ vectors, $0\le w\le n$, in all the cosets of a fixed weight. For maximum distance separable (MDS) codes, we obtained new convenient formulas of integral weight spectra of cosets of weight 1 and 2. Also, we give the spectra for the weight 3 cosets of MDS codes with minimum distance $5$ and covering radius $3$.

研究の動機と目的

• MDS符号の重み1および2のコセットの積分重みスペクトルの明示的かつ簡略化された公式を導出すること。
• 最小距離5および覆い半径3を持つMDS符号の重み3コセットへの分析を拡張すること。
• MDS符号において、固定された重みのすべてのコセットにおける各重みのベクトル総数を計算する体系的かつ簡潔な手法を提供すること。
• デコーディング性能推定に不可欠なコセット重み分布の理解を深めること。
• 代数的恒等式と組合せ論的技法を用いて、先行研究の重みスペクトルに関する結果を一般化・精緻化すること。

提案手法

• 本稿は、固定された重み $W$ のすべてのコセットにおける重み-$w$ ベクトルの総数として定義される積分重みスペクトル $\mathcal{A}_w^\Sigma(\mathcal{V}^{(W)})$ を用いる。
• 特に $w \geq d$ の場合に成り立つ $A_w(\mathcal{C}) = \binom{n}{w} \sum_{j=0}^{w-d} (-1)^j \binom{w}{j} q^{w-d-j}$ という既知のMDS符号の重み分布公式を適用し、符号自体からの寄与を計算する。
• 重み1および2のコセットに対しては、$\mathbb{F}_q^n$ 内の重み-$w$ ベクトル総数と、低重みコセットのスペクトルを組み合わせることで、新たな閉形式表現を導出する。
• 複雑な和を簡略化するため、$\binom{w}{d-1}\binom{d-1}{2} = \binom{w}{2}\binom{w-2}{d-3}$ などの組合せ恒等式を用いる。
• 重み3コセットの場合は、覆い半径 $R=3$ の性質により、重み $>3$ のコセットが存在しないことを保証し、$\mathcal{A}_w^\Sigma(\mathcal{V}^{(3)}) = \binom{n}{w}(q-1)^w - \mathcal{A}_w^\Sigma(\mathcal{V}^{\leq 2})$ の利用が可能になる。
• 低重みコセットのスペクトルを再帰的に差し引く手法を用い、残差項を捉えるために $\Phi_w^{(j)}$ や $\Delta_w(\mathcal{C})$ などの補助関数を導入する。

実験結果

リサーチクエスチョン

• RQ1 最小距離 $d \geq 3$ のMDS符号において、重み1のコセットのすべてにおける重み-$w$ ベクトルの総数は何か？
• RQ2 最小距離 $d \geq 5$ のMDS符号における重み2コセットの積分重みスペクトルを、簡略化された閉形式でどのように表現できるか？
• RQ3 最小距離 $d=5$ および覆い半径 $R=3$ のMDS符号における重み3コセットの積分重みスペクトルの構造は何か？
• RQ4 重み1および重み2コセットのスペクトルは、空間 $\mathbb{F}_q^n$ の完全な重み分布を決定するためにどのように組み合わされるか？
• RQ5 既知の低重みスペクトルと代数的恒等式を用いて、高重みコセットのスペクトルを効率的に計算できるか？

主な発見

• 最小距離 $d \geq 3$ のMDS符号に対して、$\mathcal{A}_w^\Sigma(\mathcal{V}^{(1)})$ の閉形式表現が導出され、$\binom{n}{w}(q-1)\left[\sum_{j=0}^{w-3} (-1)^j \binom{w}{j} q^{w-2-j} - (-1)^{w-2} \binom{w}{2} \right] + \Delta_w(\mathcal{C})$ で与えられる。
• 最小距離 $d \geq 5$ のMDS符号における重み2コセットに対して、スペクトルは $\mathcal{A}_w^\Sigma(\mathcal{V}^{(2)}) = \binom{n}{w}(q-1)^2 \left[ \binom{n}{2} \sum_{j=0}^{w+1-d} (-1)^j \binom{w}{j} q^{w+1-d-j} - (-1)^{w-d} \binom{w}{2} \binom{w-3}{d-3} + (-1)^{w-d} \binom{w}{d-1} \binom{d-1}{2} \right] + \Delta_w(\mathcal{C})$ で与えられる。
• 特に $n = q+1$ および $d=5$ の場合、重み2コセットのスペクトルは $\mathcal{A}_w^\Sigma(\mathcal{V}^{(2)}) = \binom{q+1}{w}(q-1)^2 \left[ \binom{q+1}{2} \sum_{j=0}^{w-4} (-1)^j \binom{w}{j} q^{w-4-j} - \sum_{j=0}^{w-4} (-1)^j \binom{w}{j} \binom{w-j}{2} \right] + \Delta_w(\mathcal{C})$ に簡略化される。
• 重み3コセットの $[q+1, q-3, 5]_q3$ MDS符号に対して、スペクトルは $\mathcal{A}_w^\Sigma(\mathcal{V}^{(3)}) = \binom{q+1}{w}(q-1)^w - \left[ \binom{q+1}{w} \sum_{j=0}^{w-5} (-1)^j \binom{w}{j} \left( q^{w-4-j} V_{q+1}(2) - V_{w-j}(2) \right) \right] - (-1)^{w-5} \frac{(q-3)(q-1)}{2} \left( \binom{w}{4}(q^2+3q-2) - \binom{w}{3}(q-2) \right)$ で与えられる。
• さらに、$\mathcal{A}_w^\Sigma(\mathcal{V}^{(3)})$ の公式は $V_{q+1}(2)$、$\Phi_w^{(1)}$、$\Phi_w^{(2)}$、および $\Delta_w(\mathcal{C})$ を用いて表現され、既知の成分を用いた効率的計算が可能になる。
• 二項係数の恒等式を用いた代数的簡略化により、結果は既知のMDS符号の重み分布と整合的であることが確認された。