[논문 리뷰] The Z_4-Linearity of Kerdock, Preparata, Goethals and Related Codes

A. Roger Hammons, Pratyush Kumar외 3명|arXiv (Cornell University)|2002. 07. 23.

Coding theory and cryptography참고 문헌 43인용 수 82

한 줄 요약

이 논문은 기존에 강력한 비선형 이진 코드로 알려진 Kerdock, Preparata, Goethals 및 Nordstrom-Robinson 코드들이 이전에 알려진 바와 같이 ℤ₄ 위의 선형 코드에 대한 Gray 사상의 이진 이미지로 구성될 수 있음을 입증한다. 주요 기여는 이러한 코드들이 ℤ₄ 선형임을 보여주는 것으로, Kerdock 및 Preparata 코드가 ℤ₄ 위에서 상보적임을 보여주며, 이는 그들의 무게 분포에서의 형식적 상보성과 관련하여 설명되며, ℤ₄의 구조를 통해 효율적인 대수적 디코딩을 가능하게 한다.

ABSTRACT

Certain notorious nonlinear binary codes contain more codewords than any known linear code. These include the codes constructed by Nordstrom-Robinson, Kerdock, Preparata, Goethals, and Delsarte-Goethals. It is shown here that all these codes can be very simply constructed as binary images under the Gray map of linear codes over Z_4, the integers mod 4 (although this requires a slight modification of the Preparata and Goethals codes). The construction implies that all these binary codes are distance invariant. Duality in the Z_4 domain implies that the binary images have dual weight distributions. The Kerdock and "Preparata" codes are duals over Z_4 -- and the Nordstrom-Robinson code is self-dual -- which explains why their weight distributions are dual to each other. The Kerdock and "Preparata" codes are Z_4-analogues of first-order Reed-Muller and extended Hamming codes, respectively. All these codes are extended cyclic codes over Z_4, which greatly simplifies encoding and decoding. An algebraic hard-decision decoding algorithm is given for the "Preparata" code and a Hadamard-transform soft-decision decoding algorithm for the Kerdock code. Binary first- and second-order Reed-Muller codes are also linear over Z_4, but extended Hamming codes of length n >= 32 and the Golay code are not. Using Z_4-linearity, a new family of distance regular graphs are constructed on the cosets of the "Preparata" code.

연구 동기 및 목표

• Kerdock 및 Preparata 코드가 대수적 의미에서 상보적임을 입증할 수 있는지 오랫동안 남아있던 질문을 해결하기 위해.
• 선형 코드를 ℤ₄ 위에서 사용하여 몇 가지 유명한 비선형 이진 코드를 통합된 대수적 구조로 제공하기 위해.
• 이 코드들이 ℤ₄ 위에서 확장 순환 코드임을 보여줌으로써 인코딩 및 디코딩을 단순화하기 위해.
• 이 코드들의 무게 분포가 ℤ₄ 영역에서의 상보성 덕분에 상호 보완적임을 입증하기 위해.
• Preparata 코드의 코스터 구조를 활용하여 새로운 정규 거리 그래프를 구성하기 위해.

제안 방법

• 기존의 확장 히브먼 코드의 부분코드와는 다름없이 ℤ₄ 위에서 선형으로 정의된 수정된 Preparata 코드를 정의한다.
• Gray 사상을 사용하여 ℤ₄ 위의 선형 코드를 이진 비선형 코드로 변환하며, 동일한 무게 분포를 유지한다.
• Kerdock 및 Preparata 코드가 ℤ₄ 위에서 상보적임을 보여주며, 이는 그들의 형식적 무게 분포 상보성의 원인을 설명한다.
• 이 코드들을 ℤ₄ 위에서의 확장 순환 코드로 표현함으로써, 심플렉스 기반 디코딩을 효율적으로 가능하게 한다.
• 수정된 Preparata 코드에 대해 ℤ₄ 위에서의 대수적 디지털 디코딩 알고리즘을 개발한다.
• Kerdock 코드에 대해 ℤ₄ 선형성을 활용한 히어르만 변환 기반 소프트 디시전 디코딩 알고리즘을 구성한다.

실험 결과

연구 질문

• RQ1 Kerdock 및 Preparata 코드가 무게 분포에서의 형식적 상보성 외에도 의미 있는 대수적 의미에서 상보적임을 입증할 수 있는가?
• RQ2 이러한 비선형 이진 코드들을 통합적으로 구성할 수 있는 유한환 위의 선형 대수적 구조가 존재하는가?
• RQ3 ℤ₄ 위의 선형 코드의 Gray 사상 이미지가 Kerdock, Preparata 및 Goethals 코드의 무게 분포를 재현할 수 있는가?
• RQ4 비선형 이진 방법에 비해 ℤ₄ 선형성은 이 코드들의 인코딩 및 디코딩을 단순화하는가?
• RQ5 Preparata 코드의 코스터 구조를 활용하여 새로운 정규 거리 그래프를 구성할 수 있는가?

주요 결과

• Kerdock 및 Preparata 코드는 ℤ₄ 위에서 상보적이며, 이는 그들의 무게 분포에서의 형식적 상보성의 원인을 설명한다.
• Nordstrom-Robinson 코드는 ℤ₄ 위의 자기상보 '옥타코드'(길이 8의 자기상보 코드)의 Gray 이미지이다.
• 이 모든 코드들—Goethals 및 Delsarte-Goethals 코드 포함—은 ℤ₄ 위에서의 확장 순환 코드이며, 이는 인코딩 및 디코딩을 단순화한다.
• 수정된 Preparata 코드는 원래 코드와 동일한 무게 분포를 가지지만 ℤ₄ 위에서 선형이므로 심플렉스 기반 디코딩이 가능하다.
• 수정된 Preparata 코드에 대해 ℤ₄ 위에서의 대수적 디지털 디코딩 알고리즘을 제공한다.
• Kerdock 코드에 대해 ℤ₄ 선형성을 활용한 히어르만 변환 기반 소프트 디시전 디코딩 알고리즘을 구성한다.