[논문 리뷰] New Families of Triple Error Correcting Codes with BCH Parameters

Carl Bracken|ArXiv.org|2008. 03. 25.

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

한 줄 요약

이 논문은 카사미-웰처 정리의 일반화를 통해 BCH 매개수를 가진 새로운 이진 삼중 오류 수정 부호 가족을 제안한다. $GF(2^n)$ 위에서 정의된 함수 쌍을 사용하여 부호를 구성하며, 그 중 적어도 하나의 함수는 거의 완전 비선형(Almost Perfect Nonlinear, APN)이어야 하며, 이러한 함수 쌍의 일반화된 푸리에 변환이 오직 다섯 가지 특정 값만을 취함을 증명한다. 이는 최소 거리 7을 보장하고, 삼중 오류 수정 BCH 부호와 동일한 무게 분포를 갖게 한다.

ABSTRACT

Discovered by Bose, Chaudhuri and Hocquenghem, the BCH family of error correcting codes are one of the most studied families in coding theory. They are also among the best performing codes, particularly when the number of errors being corrected is small relative to the code length. In this article we consider binary codes with minimum distance of 7. We construct new families of codes with these BCH parameters via a generalisation of the Kasami-Welch Theorem.

연구 동기 및 목표

• Kasami-Welch 정리의 일반화를 사용하여 BCH 매개수를 가진 새로운 이진 삼중 오류 수정 부호 가족을 구성하는 것.
• 특정 함수 쌍을 통해 $GF(2^n)$ 위에서 구성된 부호가 최소 거리 7을 갖는다는 것을 증명하는 것.
• 함수 쌍의 일반화된 푸리에 변환이 오직 다섯 가지 지정된 값만을 취함을 보여주어 원하는 무게 분포를 확보하는 것.
• 기존의 삼중 오류 수정 부호 구축 방법을 $\gcd(n,k)=1$ 또는 홀수인 $n=2t+1$ 조건을 갖는 새로운 함수 쌍을 도입하여 확장하는 것.
• 이중 부호가 고전적인 삼중 오류 수정 BCH 부호와 동일한 무게 분포를 갖는다는 것을 검증하여 최적성의 확인을 하는 것.

제안 방법

• GF(2^n)에서 자기 자신으로의 세 함수 사상 $x$, $f(x)$, $g(x)$를 사용하여 $3n \times (2^n - 1)$ 행렬을 구성함으로써 부호 검사 행렬 $H$를 구성한다. 이때 $f(0)=g(0)=0$ 이다.
• 부호의 이중부호 $C^\perp$ 의 무게 분포를 분석하기 위해 일반화된 푸리에 변환 $F^w(a,b,c) = \sum_{x \in GF(2^n)} (-1)^{\text{Tr}(ax + b f(x) + c g(x))}$ 를 정의한다.
• MacWilliams 항등식을 사용하여 $C^\perp$ 의 무게 분포로부터 $C$ 의 무게 분포를 계산하며, 이는 이중부호에 대해 다섯 가지 알려진 무게 값이 존재함을 바탕으로 한다.
• 다항식의 해의 수에 관한 레마 1을 적용하여 $\gcd(k,n)=1$ 조건 하에서 $GF(2^n)$ 위에서의 해의 수를 제한한다.
• 고차수 방정식을 해결 가능한 형태로 줄이기 위해 반복적 치환과 변수 변환(예: $u = v w$, $r = w + w^{2^{-k}}$, $z = r p$, $d = q + q^{2^{-k}}$ ) 을 사용한다.
• 합의 항등식 $\sum_{x} (-1)^{\text{Tr}(\gamma x)} = 0$ 이 $\gamma = 0$ 이 아닐 경우에만 성립함을 이용하여 합을 압축하고 핵심 조건을 분리함으로써, 최종적으로 비자명한 해가 존재할 경우 모순이 발생함을 증명함으로써 변환이 오직 다섯 가지 값만을 취함을 확인한다.

실험 결과

연구 질문

• RQ1 Kasami-Welch 정리의 일반화된 형태를 사용하여 BCH 매개수를 가진 새로운 삼중 오류 수정 부호 가족을 구성할 수 있는가?
• RQ2 함수 쌍 $\{x^{2^k+1}, x^{2^{tk}+1}\}$ (t=2,3) 이며 $\gcd(n,k)=1$ 를 만족할 경우, 최소 거리 7을 갖는 부호를 생성하는가?
• RQ3 적어도 하나의 함수가 APN일 경우, 일반화된 푸리에 변환 $F^w(a,b,c)$ 가 오직 다섯 가지 값인 $0, \pm 2^{(n+1)/2}, \pm 2^{(n+3)/2}$ 로 제한되는가?
• RQ4 만약 변환 값이 다섯 가지 알려진 값으로 제한된다면, MacWilliams 항등식을 통해 이중부호의 무게 분포가 유일하게 결정되는가?
• RQ5 변수 치환을 통한 반복적 방정식 시스템 축소 과정에서 비자명한 해가 존재할 경우 모순이 발생하는가? 이는 변환의 범위가 제한됨을 확인하는 데 기여한다.

주요 결과

• 논문은 함수 쌍 $\{x^{2^k+1}, x^{2^{2k}+1}\}$ 과 $\{x^{2^k+1}, x^{2^{3k}+1}\}$ 에 대해 일반화된 푸리에 변환 $F^w(a,b,c)$ 가 오직 다섯 가지 값인 $0, \pm 2^{(n+1)/2}, \pm 2^{(n+3)/2}$ 만을 취함을 증명한다. 이는 부호의 최소 거리가 7임을 보장하는 데 충분하다.
• 이 구성은 매개수 $[2^n - 1, 2^n - 3n - 1, 7]$ 을 갖는 부호를 생성하며, 이는 삼중 오류 수정 BCH 부호의 매개수와 정확히 일치한다.
• 이중부호 $C^\perp$ 는 고전적인 삼중 오류 수정 BCH 부호의 이중부호와 동일한 무게 분포를 갖는다. 이는 MacWilliams 항등식과 다섯 가지 알려진 무게 값에 의해 확인된다.
• 증명은 반복적 변수 치환과 추적 합 항등식의 적용에 기반하며, 유도된 방정식이 오직 자명한 해만을 갖는다는 것을 보여주며, 이는 비자명한 해가 존재할 경우 모순이 발생함을 의미한다.
• 이 방법은 $\gcd(n,k)=1$ 이고 $n$ 이 홀수일 경우, 이러한 함수 쌍으로 구성된 부호가 삼중 오류 수정에 대해 최적임을 확인한다.
• 논문은 새로운 가족이 기존의 구성 방법을 일반화함을 입증하였으며, 고전적인 BCH 부호 쌍 $\{x^3, x^5\}$ 과 이전 연구에서 제안된 비-BCH 부호를 포함하여 그 적용 범위를 확장한다.