[논문 리뷰] It is indeed a fundamental construction of all linear codes

Can Xiang|arXiv (Cornell University)|2016. 10. 20.

Coding theory and cryptography참고 문헌 17인용 수 11

한 줄 요약

이 논문은 유한체 위에서 선형 코드를 생성하는 데 사용되는 정의 집합 구축 방식—유한체 위에서의 추적 함수를 통한 생성—이 모든 유한체 위의 선형 코드를 생성할 수 있는 기본적인 방법임을 증명한다. 이는 모든 선형 코드에 대한 보편적인 추적 표현을 수립함으로써, 기존의 생성 행렬 방법만큼 포괄적인 방법임을 확인한다. 응용으로는 무게 분포 및 최소 거리 분석이 가능하다.

ABSTRACT

Linear codes are widely employed in communication systems, consumer electronics, and storage devices. All linear codes over finite fields can be generated by a generator matrix. Due to this, the generator matrix approach is called a fundamental construction of linear codes. This is the only known construction method that can produce all linear codes over finite fields. Recently, a defining-set construction of linear codes over finite fields has attracted a lot of attention, and have been employed to produce a huge number of classes of linear codes over finite fields. It was claimed that this approach can also generate all linear codes over finite fields. But so far, no proof of this claim is given in the literature. The objective of this paper is to prove this claim, and confirm that the defining-set approach is indeed a fundamental approach to constructing all linear codes over finite fields. As a byproduct, a trace representation of all linear codes over finite fields is presented.

연구 동기 및 목표

• 유한체 위의 모든 선형 코드를 생성할 수 있다는 점을 증명함으로써, 문헌에서 오랫동안 미해결로 남아 있던 주장에 대한 해결을 제시한다.
• 모든 유한체 위의 선형 코드에 대한 보편적인 추적 표현을 제공함으로써, 기존의 순환 코드에 국한된 제약 조건 gcd(q,n)=1을 초월한다.
• 이 추적 기반의 구축 방식이 무게 분포 분석을 단순화하고 최소 거리에 대한 새로운 하한을 도출할 수 있음을 보여준다.
• 추적 표현이 기존의 다양한 구축 방식(생성 행렬 및 순환 코드 접근법 포함)을 통합하고 일반화함을 보여준다.
• 기존에 기본적인 것으로 여겨지는 생성 행렬 방법과 동일한 강력함과 포괄성을 지닌다는 점을 확인한다.

제안 방법

• 정의 집합 D ⊆ GF(q^m)를 이용해 선형 코드 𝒞_D를 정의하며, 여기서 코드어는 x ∈ GF(q^m)에 대해 (Tr(xd₁), ..., Tr(xdₙ)) 형태로 생성된다.
• GF(q^n) → GF(q)로의 추적 함수 Tr을 사용하여 큰 확장체의 원소를 기저 체로 매핑함으로써 선형성을 보장한다.
• 모든 GF(q) 위의 선형 코드가 어떤 정의 집합 D에 대해 𝒞_D로 표현될 수 있음을 증명하기 위해, 순환 코드의 생성 다항식으로부터 D를 구성한다.
• 정규 원소를 통한 GF(q^n) 내에서의 생성 다항식과 정의 집합 D 사이의 일대일 대응을 수립함으로써 포괄성을 확보한다.
• GF(q^n) 내에 정규 기저가 존재함을 활용하여, D 위에서의 추적 평가를 통해 체계적으로 모든 코드어를 생성한다.
• Delsarte의 정리와 최소 다항식의 성질을 활용하여 추적 표현을 다항식 환의 이상 구조와 연결한다.

실험 결과

연구 질문

• RQ1 이전 문헌에서 주장한 바와 같이, 정의 집합 구축 방식은 모든 유한체 위의 선형 코드를 생성할 수 있는가?
• RQ2 gcd(q,n)=1와 같은 구조적 제약 조건 없이, 모든 유한체 위의 선형 코드에 대해 보편적인 추적 표현이 존재하는가?
• RQ3 정의 집합을 통한 추적 표현은 기존의 생성 행렬 구축 방식에 비해 단순성과 분석적 능력 측면에서 어떻게 비교되는가?
• RQ4 정의 집합을 통한 추적 표현을 통해 선형 코드의 무게 분포와 최소 거리를 더 효과적으로 유도할 수 있는가?
• RQ5 정의 집합 D와 기저 코드의 대수적 구조, 특히 순환 및 준순환 코드의 경우와의 관계는 어떠한가?

주요 결과

• 정의 집합 구축 방식이 모든 유한체 위의 선형 코드를 생성할 수 있음을 증명함으로써, 이는 기본적인 구축 방식임이 확인되었다.
• 모든 유한체 위의 선형 코드에 대해 유효한 보편적인 추적 표현이 수립되었으며, 길이 n과 소수 거듭제곱 q에 관계없이 적용 가능하다.
• 추적 표현을 통해 문자합을 이용한 효율적인 무게 분포 계산이 가능해져 새로운 분석 기법이 가능해졌다.
• 기존의 추적 표현(정리 1.1)이 gcd(q,n)=1 조건을 만족하지 못할 경우 실패하는 경우에도, 이 방법은 모든 순환 코드에 적용 가능하다.
• 추적 함수의 성질을 활용하여 선형 코드의 최소 거리에 대한 하한을 체계적으로 유도할 수 있는 방법을 제공한다.
• 추적 표현은 기존의 다양한 구축 방식, 예를 들어 준순환 및 준역순환 코드의 경우를 포함하여, 하나의 프레임워크로 통합한다.