[논문 리뷰] Checkable Codes from Group Rings

Somphong Jitman, San Ling외 2명|arXiv (Cornell University)|2010. 12. 26.

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

한 줄 요약

이 논문은 유한 체 위의 군환에서 유도된 '검사 가능한 코드'를 도입하고 특성화하며, 단일 검사 원소를 통해 순환 코드를 일반화한다. 유한 아벨 군환 FG가 검사 가능한 코드를 갖기 위한 필요 및 충분 조건을 확립하여, 그라스르의 경계를 초월하는 최소 거리를 가진 새로운 코드를 구성한다. 이와 같은 조건을 만족하는 두 개의 코드와 두 개의 단순화된 코드가 이를 달성하며, 생성자 다항식 및 부호 검사 다항식 개념을 다변수 설정으로 일반화한다.

ABSTRACT

We study codes with a single check element derived from group rings, namely, checkable codes. The notion of a code-checkable group ring is introduced. Necessary and sufficient conditions for a group ring to be code-checkable are given in the case where the group is a finite abelian group and the ring is a finite field. This characterization leads to many good examples, among which two checkable codes and two shortened codes have minimum distance better than the lower bound given in Grassl's online table. Furthermore, when a group ring is code-checkable, it is shown that every code in such a group ring admits a generator, and that its dual is also generated by an element which may be deduced directly from a check element of the original code. These are analogous to the generator and parity-check polynomials of cyclic codes. In addition, the structures of reversible and complementary dual checkable codes are established as generalizations of reversible and complementary dual cyclic codes.

연구 동기 및 목표

• 유한 체 위의 군환에서 모든 비자명한 아이디얼이 단일 검사 원소를 통해 검사 가능한 코드가 되는 '검사 가능한 군환'을 정의하고 특성화하기.
• 유한 아벨 군환 FG가 검사 가능한 코드를 갖기 위한 필요 및 충분 조건을 규명하기.
• 그라스르의 온라인 표에 기록된 하한을 초월하는 최소 거리를 가진 새로운 선형 코드를 구성하기.
• 순환 코드의 이중성 구조를 일반화하여, 검사 가능한 코드의 이중이 그 검사 원소의 변환에 의해 생성됨을 보여주기.
• 검사 가능한 코드 이론을 반전 가능하고 보완 이중 검사 가능한 코드로 확장하여, 순환 코드의 성질을 일반화하기.

제안 방법

• 모든 비자명한 아이디얼이 단일 검사 원소 v에 의해 정의된 검사 가능한 코드 C = {y ∈ FG | yv = 0}로 구성되는 검사 가능한 군환의 개념을 도입하기.
• 유한 아벨 군 G에 대해 FG ≅ F[X₁,…,Xₜ]/⟨X₁ⁿ¹−1,…,Xₜⁿᵗ−1⟩의 동형을 이용하여 원소들을 다변수 다항식으로 간주하기.
• Sylow p-부분군의 구조와 FG 내의 영약수를 통해 검사 가능성의 특성화를 수행하며, 특히 F가 유한 체일 경우를 중심으로 분석하기.
• v = ∑₉∈G v_g g에 대해 v⁽⁻¹⁾ = ∑₉∈G v_g⁻¹ g로 정의된 역변환을 도입하여, 이는 이중 코드 FGv⁽⁻¹⁾를 생성함을 보여주기.
• 특정 검사 가능한 코드를 F₅와 F₃에서 구체적으로 구성하며, 단순화된 코드를 포함하기.
• 순환 코드에서 유도된 구조적 성질을 확장하여 반전 가능하고 보완 이중 검사 가능한 코드의 성질을 분석하기.

실험 결과

연구 질문

• RQ1 유한 체 F 위의 유한 아벨 군환 FG가 언제 검사 가능한 코드를 갖는가? 즉, 모든 비자명한 아이디얼이 단일 원소에 의해 검사 가능한가?
• RQ2 군환에서 유도된 검사 가능한 코드는 그라스르의 표에 기록된 하한을 초월하는 최소 거리를 가진 새로운 선형 코드를 생성할 수 있는가?
• RQ3 검사 가능한 코드의 이중은 어떻게 그 검사 원소를 통해 기술할 수 있는가? 이는 순환 코드의 부호 검사 다항식을 일반화하는가?
• RQ4 반전 가능하고 보완 이중 검사 가능한 코드의 구조적 성질은 무엇이며, 이는 순환 코드의 성질을 어떻게 일반화하는가?
• RQ5 형태 [n,1,n] 및 [n,n−1,2]의 MDS 코드는 FG 내에서 검사 가능한 코드로서 실현 가능한가?

주요 결과

• F₅에서 구성된 두 개의 새로운 검사 가능한 코드, [36,28,6] 및 [72,62,6]는 그라스르의 표에서 기록된 하한을 초월하는 최소 거리를 확보한다.
• 기존 [72,62,6] 코드에서 유도된 두 개의 단순화된 코드는 [36,28,6] 및 [72,62,6] 코드를 생성하며, 이들의 최소 거리는 그라스르의 표에서의 하한을 초월한다.
• 검사 가능한 군환 FG 내의 임의의 검사 가능한 코드의 이중은 그 검사 원소 v에 대해 v⁽⁻¹⁾로 생성되며, 이는 순환 코드의 이중성 구조를 일반화한다.
• 검사 가능한 군환 FG 내의 모든 영약수 코드는 어떤 v ∈ FG에 대해 {y ∈ FG | yv = 0}의 형태를 가지며, 그 이중은 FGv⁽⁻¹⁾로 표현된다.
• 검사 가능한 코드의 범주는 MDS 코드 [n,1,n] 및 [n,n−1,2]를 포함하며, 이는 FG 내에서 검사 가능한 코드로서 실현 가능하다.
• 반전 가능하고 보완 이중 검사 가능한 코드의 구조는 완전히 특성화되어 있으며, 기존 순환 코드에 대한 알려진 결과를 일반화한다.