[논문 리뷰] Notes on Reed-Muller Codes

Yanling Chen, A. J. Han Vinck|ArXiv.org|2009. 01. 14.

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

한 줄 요약

이 논문은 길이, 차원, 최소거리가 동일한 모든 선형 코드들 중에서 첫 번째 순서의 리드-멀러(RM) 코드가 유일하다는 것을 증명한다. 또한 길이가 2의 짝수 거듭제곱인 경우 두 번째 순서의 RM 코드에 대해 새로운 선형 부분코드 가족을 구성하며, 이러한 부분코드들이 그들의 매개변수에 대해 알려진 최고의 최소거리 또는 상한 최소거리를 달성함을 보여준다. 추가로, 이러한 코드들로부터 유도된 전치행렬이 완전질량을 가지는 가환 덧셈군인 새로운 심플렉틱 행렬 집합을 발견하였다.

ABSTRACT

In this paper, we consider the Reed-Muller (RM) codes. For the first order RM code, we prove that it is unique in the sense that any linear code with the same length, dimension and minimum distance must be the first order RM code; For the second order RM code, we give a constructive linear sub-code family for the case when m is even. This is an extension of Corollary 17 of Ch. 15 in the coding book by MacWilliams and Sloane. Furthermore, we show that the specified sub-codes of length <= 256 have minimum distance equal to the upper bound or the best known lower bound for all linear codes of the same length and dimension. As another interesting result, we derive an additive commutative group of the symplectic matrices with full rank.

연구 동기 및 목표

• 매개변수 $[2^m, 1+m, 2^{m-1}]$를 가진 모든 선형 코드가 동치 관계에서 첫 번째 순서의 리드-멀러 코드일 것임을 증명하는 것.
• 이전에 홀수 m에 대해서만 알려져 있던 두 번째 순서의 RM 코드 $\mathcal{R}(2,m)$의 부분코드 가족을 짝수 m의 경우로 확장하는 것.
• m ≤ 8인 경우에 구성된 부분코드들이 길이와 차원이 동일한 선형 코드들 중에서 이론적 상한 또는 알려진 최고의 최소거리를 달성함을 보여주는 것.
• 서브코드의 코스터 구조에서 유도된 $m \times m$ 심플렉틱 행렬의 가환 덧셈군이라는 새로운 대수적 구조를 드러내는 것.

제안 방법

• 자르기된 생성행렬의 쌍대코드를 분석하고 플롯킨의 부등식을 적용하여 최소거리가 낮은 경우를 제거함으로써 첫 번째 순서의 RM 코드의 유일성을 증명한다.
• 특정 아이디포텐트를 가진 순환 부분코드의 체계적 확장을 사용하여, m이 짝수일 때 $\mathcal{R}(2,m)$에 대한 선형 부분코드 가족을 구성한다.
• 자기보완성 있는 선형 코드가 매개변수 $[2^m, 1+3m/2, 2^{m-1}-2^{m/2-1}]$를 가질 수는 없으며, 더 큰 최소거리를 가질 수 없음을 회색-랭킨 부등식을 통해 보여준다.
• 각 $\mathcal{R}(1,m)$의 서브코드 내 코스터와 이차 벤트 함수를 연결하여 심플렉틱 행렬 집합을 유도하고, 덧셈에 대해 닫혀 있는 행렬 집합을 구성한다.
• 서브코드가 선형임을 이용하여, 관련된 심플렉틱 행렬 집합(영 행렬 포함)이 가환 덧셈군을 이룬다는 것을 보여준다.
• 기존 문헌에서 알려진 상한과 최고의 값(예: [1])과 비교하여 구성된 서브코드의 최소거리를 검증한다.

실험 결과

연구 질문

• RQ1 매개변수 $[2^m, 1+m, 2^{m-1}]$를 가진 선형 코드는 동치 관계에서 첫 번째 순서의 리드-멀러 코드 외에 존재하는가?
• RQ2 홀수 m에 대한 결과를 확장하여, 짝수 m에 대해 $\mathcal{R}(2,m)$의 선형 부분코드 가족을 구성할 수 있는가?
• RQ3 m ≤ 8인 경우에 구성된 부분코드들이 길이와 차원이 동일한 선형 코드들 중에서 이론적 상한 또는 알려진 최고의 최소거리를 달성하는가?
• RQ4 특히 심플렉틱 행렬과의 관계에서, 구성된 부분코드의 코스터 대표원들 뒤에 숨겨진 대수적 구조는 무엇인가?

주요 결과

• 첫 번째 순서의 리드-멀러 코드는 매개변수 $[2^m, 1+m, 2^{m-1}]$로 유일하게 특징지어지며, 이 매개변수를 가진 모든 선형 코드는 이와 동치임을 의미한다.
• 짝수 m에 대해 $\mathcal{R}(2,m)$에 대한 새로운 선형 부분코드 가족이 구성되었으며, 이는 매클레인과 슬로운의 책 제15장의 보조정리 17을 확장한 것이다.
• m ≤ 8인 경우, 모든 구성된 부분코드들이 이론적 상한 $d_+$ 또는 동일한 길이와 차원을 가진 선형 코드들 중에서 알려진 최고의 하한 $d_-$ 최소거리를 달성한다.
• 이 부분코드들은 $\mathcal{R}(1,m)$을 포함하고 있으며, 지정된 부분코드 가족의 무게 분포와 일치하여 최적성임을 확인한다.
• 크기가 $2^{m/2}$인 $m \times m$ 심플렉틱 행렬의 가환 덧셈군 $\mathcal{G}$가 구성되었으며, 이 군의 모든 비영 행렬은 전부 전위치를 가지는 것으로 나타났다.
• 이 군 $\mathcal{G}$는 서브코드 $\mathcal{R}_{2t+2}^{t+1}$의 코스터 구조에서 자연스럽게 유도되며, 행렬 덧셈에 대해 닫혀 있다.