[논문 리뷰] On integral weight spectra of the MDS codes cosets of weight 1, 2, and 3

Alexander A. Davydov, Stefano Marcugini외 1명|arXiv (Cornell University)|2020. 07. 05.

Coding theory and cryptography참고 문헌 18인용 수 4

한 줄 요약

이 논문은 최대 거리 분리(MDS) 코드의 무게 1, 2, 3인 코스에 대해 적분 무게 스펙트럼에 대한 명시적 공식을 유도한다. 대수적 조합론과 MDS 코드의 성질을 활용하여, 최소 거리 5이자 커버링 반경 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$.

연구 동기 및 목표

• 최소 거리 $d \geq 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})$로 단순화된다.
• 최소 거리 5이자 커버링 반경 3인 $[q+1, q-3, 5]_q3$ MDS 코드의 무게-3 코스에 대해 스펙트럼은 $\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 코드의 알려진 무게 분포와 일관된다.