[논문 리뷰] (l,s)-Extension of Linear Codes

Axel Kohnert|ArXiv.org|2007. 01. 17.

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

한 줄 요약

이 논문은 최소 거리를 향상시키기 위해 생성행렬에 l개의 열을 추가하여 새로운 선형 코드를 구성하는 (l, s)-확장 방법을 제안한다. 각 최소 무게 코드어가 적어도 s개의 비영원한 성분을 추가로 확보하도록 한다. 이 방법은 교차 행렬에서 유도된 디오판틴 방정식계를 사용하여 유효한 열 확장을 결정하며, 이로 인해 12개의 새로운 코드를 도출하였고, 그 중에는 기존에 알려진 상한을 초월한 최적의 [88, 8, 54]₃ 코드가 포함되어 있다.

ABSTRACT

We construct new linear codes with high minimum distance d. In at least 12 cases these codes improve the minimum distance of the previously known best linear codes for fixed parameters n,k. Among these new codes there is an optimal ternary [88,8,54] code. We develop an algorithm, which starts with already good codes C, i.e. codes with high minimum distance d for given length n and dimension k over the field GF(q). The algorithm is based on the newly defined (l,s)-extension. This is a generalization of the well-known method of adding a parity bit in the case of a binary linear code of odd minimum weight. (l,s)-extension tries to extend the generator matrix of C by adding l columns with the property that at least s of the l letters added to each of the codewords of minimum weight in C are different from 0. If one finds such columns the minimum distance of the extended code is d+s provided that the second smallest weight in C was at least d+s. The question whether such columns exist can be settled using a Diophantine system of equations.

연구 동기 및 목표

• 표준 패리티 비트 확장을 초월하여 최소 거리를 더 크게 증가시키는 일반화된 확장 방법을 개발하기 위해.
• 단일 열 확장의 한계를 극복하기 위해 최소 거리를 s ≥ 1만큼 증가시키는 l열 확장을 허용하는 방법을 개발하기 위해.
• 조합적 및 대수적 제약 조건을 활용하여 유효한 열 확장을 체계적으로 식별하는 알고리즘 프레임워크를 제공하기 위해.
• 고정된 n, k, q 파라미터에 대해 이전에 알려진 바보다 더 높은 최소 거리를 갖는 새로운 선형 코드를 구성하기 위해.

제안 방법

• 최소 무게 코드어가 각각 적어도 s개의 비영원한 성분을 추가로 확보하도록 하기 위해, 생성행렬에 l개의 열을 추가하는 (l, s)-확장 방법을 제안한다.
• 최소 무게 생성행렬 벡터와 후보 확장 열 간의 내적 값이 비영이면 1로 표시되는 교차 행렬 D를 구성한다.
• 유효한 (l, s)-확장의 존재성은 D의 각 행이 선택된 l개의 열에서 적어도 s개의 비영 성분을 가져야 한다는 조건에서 유도된 디오판틴 방정식계를 푸는 것으로 귀결된다.
• 각 최소 무게 코드어에 대해 s개의 비영 성분 조건을 만족시키기 위해 다중집합 선택(중복 허용)을 사용한다.
• LLL-알고리즘을 활용하여 디오판틴 방정식계를 푸는 데 있어 계산의 실현 가능성을 높였으며, 소형 l에 대해서는 순열과 댄싱 리크스 방법을 대체로 사용한다.
• 이 방법은 특수한 펌프링의 역방향이므로, (l,s)-확장을 통해 구성된 코드는 확장된 코드를 펌프링하여 복원할 수 있다.

실험 결과

연구 질문

• RQ1 l개의 열을 추가하면서 최소 거리를 1 이상 증가시킬 수 있는 일반화된 확장 방법을 개발할 수 있는가?
• RQ2 l열 확장이 최소 거리를 적어도 s만큼 증가시키는 조건은 무엇인가?
• RQ3 대수적 및 조합적 제약 조건을 활용하여 이러한 확장의 존재성을 체계적으로 결정할 수 있는가?
• RQ4 이 방법을 통해 고정된 n, k, q에 대해 기존의 알려진 상한을 초월하는 새로운 선형 코드를 발견할 수 있는가?
• RQ5 (l,s)-확장 방법은 표준 확장이 실패하는 경우에도 최적의 코드를 구성하는 데 효과적인가?

주요 결과

• 논문은 이론적으로 허용 가능한 최대 최소 거리를 달성한 새로운 최적의 삼진 [88, 8, 54]₃ 코드를 구성하였다.
• 12개의 새로운 선형 코드가 발견되었으며, 그 중에는 [82, 8, 49]₃, [132, 8, 81]₃, 그리고 GF(4)에서의 여러 개의 [n, 6, d]₄ 코드가 포함되어 있으며, 이는 이전에 알려진 최고의 최소 거리를 모두 향상시켰다.
• [88, 8, 54]₃ 코드는 최소 무게 코드어가 1320개인 [80, 8, 48]₃ 코드에서 출발하여 (1,1)-확장과 (2,1)-확장을 순차적으로 적용하여 구성되었다.
• 단일 열 패리티 확장이 실패하는 경우에도 이 방법이 성공적으로 코드를 확장하여, 길이 범위에서 최소 거리가 일정한 최고의 기록을 유지하는 경우에 유용함을 입증하였다.
• 최소 무게 코드어가 약 5000개 이하인 코드에 대해서도 알고리즘이 효율적으로 작동하며, 디오판틴 방정식계의 LLL 기반 해법 덕분에 계산 복잡도가 관리 가능하다.
• (l,s)-확장 방법이 패리티 확장과 특수한 펌프링 모두의 일반화임을 입증하였으며, 코드 구성에서 이중성 쌍을 이룬다.