[논문 리뷰] The Parameters of Minimal Linear Codes

Wei Lu, Xia Wu외 1명|arXiv (Cornell University)|2019. 11. 18.

Coding theory and cryptography참고 문헌 16인용 수 5

한 줄 요약

이 논문은 유한체 위의 선형 코드의 최소성 여부를 판단하기 위한 새로운 필요충분조건을 제안하며, 이를 통해 최소 선형 코드의 구성과 검증을 보다 쉽게 할 수 있다. $[n,k]_q$ 최소 코드의 존재 여부에 대한 임계값 $ n(k;q) $ 가 존재함을 보이며, 임의의 소수 거듭제곱 $ q $ 에 대해 네 가지 일반화된 최소 코드 클래스를 제시한다. 이는 이전의 이진 결과를 단순하고 보다 효과적인 방법으로 확장한 것이다.

ABSTRACT

Let $k\leq n$ be two positive integers and $q$ a prime power. The basic question in minimal linear codes is to determine if there exists an $[n,k]_q$ minimal linear code. The first objective of this paper is to present a new sufficient and necessary condition for linear codes to be minimal. Using this condition, it is easy to construct minimal linear codes or to prove some linear codes are minimal. The second objective of this paper is to use the new sufficient and necessary condition to partially give an answer to the basic question in minimal linear codes. The third objective of this paper is to present four classes of minimal linear codes, which generalize the results about the binary case given in [X. Li and Q. Yue, Des. Codes Cryptogr., 2019]. One can find that our method is much easier and more effective.

연구 동기 및 목표

• 선형 코드가 최소임을 판단하기 위한 기존 무게 분포에 의존하지 않는 새로운 필요충분조건을 개발하는 것.
• 존재성의 근본적 질문인 $[n,k]_q$ 최소 선형 코드가 존재하는 조건을 임계값 $ n(k;q) $ 를 통해 규명하는 것.
• 기존 문헌에서 제안된 최소 선형 코드의 구성, 특히 이진 사례를 임의의 소수 거듭제곱 필드로 일반화하는 것.
• 기존 방법보다 더 단순하고 효과적인 최소 선형 코드 구성 방법을 제공하는 것.

제안 방법

• 지지 집합 포함 관계에 기반한 최소성에 대한 새로운 기준을 제안: 코드워드 $ \mathbf{c} $ 가 최소임은 어떤 다른 코드워드 $ \mathbf{b} \neq a\mathbf{c} $ 가 $ \mathrm{Suppt}(\mathbf{b}) \subseteq \mathrm{Suppt}(\mathbf{c}) $ 를 만족하지 않는 것과 동치이다.
• 이 기준을 이용해 $[n,k]_q$ 최소 코드가 존재하는지 여부가 $ n \geq n(k;q) $ 인지에 따라 결정됨을 보이며, 임계값 $ n(k;q) $ 를 유도한다.
• 한계를 도출: $ q(k-1) < n(k;q) \leq (q-1)\frac{k(k-1)}{2} + k $, 특히 $ n(2;q) = q+1 $ 는 정확히 결정된다.
• 구조화된 정의 집합을 사용하여 $ \mathbb{F}_q^k $ 내에서 네 가지 새로운 최소 코드 클래스 $ \mathcal{C}(D_1), \mathcal{C}(D_2), \mathcal{C}(D_3), \mathcal{C}(D_4) $ 를 구성한다.
• 정의 집합 포함 관계를 활용하여, 각 $ D_i $ 가 기존의 최소 코드 $ \mathcal{C}(D_0) $ 를 포함함을 보여 최소성을 증명한다. 여기서 $ D_0 = \{\mathbf{e}_i\} \cup \{\mathbf{e}_i + a\mathbf{e}_j \} $ 이다.
• 문헌 [14]의 이진 구성 방법을 일반화하여, 대칭적이고 중첩된 부분공간을 사용해 지지 집합 포함에 대한 닫힘을 보장한다.

실험 결과

연구 질문

• RQ1 무게 분포에 의존하지 않는 선형 코드의 최소성에 대한 새로운 필요충분조건은 무엇인가?
• RQ2 $[n,k]_q$ 최소 선형 코드가 존재하는 $ n $ 의 값은 무엇인가?
• RQ3 임계값 $ n(k;q) $ 는 경계를 가질 수 있으며, 작은 $ k $ 에 대해 정확한 값은 무엇인가?
• RQ4 기존의 이진 최소 코드 구성 방법은 임의의 소수 거듭제곱 필드로 일반화할 수 있는가?
• RQ5 기존 방법보다 더 단순하고 효과적인 최소 선형 코드 구성 방법이 존재하는가?

주요 결과

• 무게나 무게 분포에 의존하지 않고 지지 집합 포함 관계에만 기반한 새로운 최소성의 필요충분조건이 확립되었다.
• 존재성에 대한 임계값 $ n(k;q) $ 가 존재하여, $[n,k]_q$ 최소 코드가 존재하는 것은 $ n \geq n(k;q) $ 일 때에만 성립함을 보였다. 이는 존재성 문제의 일부를 해결하였다.
• 임계값은 $ q(k-1) < n(k;q) \leq (q-1)\frac{k(k-1)}{2} + k $ 를 만족하며, $ n(2;q) = q+1 $ 는 정확히 결정되었다.
• 임의의 소수 거듭제곱 $ q $ 에 대해 네 가지 새로운 최소 선형 코드 클래스가 구성되었으며, 이는 [14]의 이진 구성 결과를 비이진 필드로 일반화한 것이다.
• 최소성 증명에 사용된 방법은 이전 방법보다 더 단순하고 효과적이며, 복잡한 무게 분석을 피하고 집합 포함 관계에 기반한다.
• 이 구성 방법은 모든 $ k \geq 2 $ 와 임의의 소수 거듭제곱 $ q $ 에 대해 유효하며, 부분공간과 여부를 기반으로 한 명시적 정의 집합 $ D_1, D_2, D_3, D_4 $ 를 제공한다.