[논문 리뷰] On self-dual four circulant codes

Minjia Shi, Hongwei Zhu외 1명|arXiv (Cornell University)|2017. 09. 22.

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

한 줄 요약

이 논문은 유한체 위의 자기쌍대 사중행렬 코드를 연구하며, 순환행렬의 대수적 구조와 $x^n - 1$의 인수분해를 활용하여 $x^n - 1$이 정확히 두 개의 기약 다항식으로 분해될 경우에 대한 수량 공식을 도출한다. 아르틴의 원시근 추측과 엔트로피 기반 부피 추정을 통해 상대 최소 거리 $\delta$가 $H_q(\delta) \geq \frac{1}{8}$를 만족하는 무한한 수의 코드 가닥이 존재함을 증명하며, 기존의 질베르트-바르샤모프 경계와 유사한 새로운 渐近 하한 경계를 수립한다.

ABSTRACT

Four circulant codes form a special class of $2$-generator, index $4$, quasi-cyclic codes. Under some conditions on their generator matrices they can be shown to be self-dual. Artin primitive root conjecture shows the existence of an infinite subclass of these codes satisfying a modified Gilbert-Varshamov bound.

연구 동기 및 목표

• 유한체 위 자기쌍대 사중행렬 코드의 대수적 구조를 링 $R(n,\mathbb{F}_q) = \mathbb{F}_q[x]/\langle x^n - 1 \rangle$ 를 이용해 분석한다.
• 유한체 $\mathbb{F}_q$ 위에서 $x^n - 1$이 정확히 두 개의 기약 다항식으로 분해될 경우 자기쌍대 사중행렬 코드에 대한 수량 공식을 유도한다.
• 이러한 코드의 최소 거리에 대한 渐近 하한 경계를 설정하며, 질베르트-바르샤모프 경계와 유사한 형태로 구성한다.
• 수론적 가정 하에 상대 거리가 양호한 자기쌍대 사중행렬 코드의 무한한 가닥 존재성을 조사한다.

제안 방법

• 사중행렬 코드를 두 생성자 $((1,0,a(x),b(x)),(0,1,-b'(x),a'(x)))$ 에 의해 생성되는 $R(n,\mathbb{F}_q)$-부모듈로 표현한다.
• Chinese Remainder Theorem를 적용하여 $x^n - 1$의 기약 인수가 적을 경우 $R(n,\mathbb{F}_q)$ 를 유한체의 곱으로 분해한다.
• 자기쌍대 사중행렬 코드를 순환행렬 $A, B$ 를 통해 특성화하기 위해 조건 $AA^T + BB^T + I_n = 0$ 를 사용한다.
• 다항식 합동식 시스템의 해의 수를 유한체 모듈로 $x^n - 1$ 에서 유계함으로써 자기쌍대 코드의 수를 추정하며, 엔트로피 기반 부피 추정을 활용한다.
• 아르틴의 원시근 추측을 활용하여 $q$ 가 $n$ 모듈로 원시근이 되는 소수 $n$ 이 무한히 존재함을 보장함으로써 무한한 코드 가닥의 존재를 확보한다.
• 큐-기반 엔트로피 함수 $H_q(t)$ 를 적용하여 해밍 공의 부피를 추정하고, 최소 거리에 대한 渐近 하한 경계를 도출한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q$ 위에서 $x^n - 1$ 의 인수분해 조건이 무엇이면 자기쌍대 사중행렬 코드를 수량화할 수 있는가?
• RQ2 상대 최소 거리가 양호한 자기쌍대 사중행렬 코드의 무한한 가닥을 구성할 수 있는가?
• RQ3 아르틴의 원시근 추측은 이러한 코드의 존재를 어떻게 뒷받기하는가?
• RQ4 큐-기반 엔트로피 함수를 기반으로 자기쌍대 사중행렬 코드의 최소 거리에 대한 渐近 하한 경계는 어떻게 표현되는가?
• RQ5 두 기약 인수로 분해되는 경우를 초월하여 수량화 및 거리 경계를 일반화할 수 있는가?

주요 결과

• 유한체 $\mathbb{F}_q$ 위에서 $x^n - 1$ 이 정확히 두 개의 기약 다항식으로 분해될 경우, 중국의 나머지 정리 분해를 통해 자기쌍대 사중행렬 코드에 대한 명시적 수량 공식이 도출된다.
• 주어진 인수분해 조건 하에서 자기쌍대 사중행렬 코드의 총 수는 渐近적으로 $O(q^{3n/2})$ 이다.
• 고정된 무게 $\sim 4\delta n$ 를 가진 벡터를 포함하는 이러한 코드의 수는 $O(q^{n(1 + 4H_q(\delta))})$ 이하로 유계되며, 지수적 요소를 제외한 상황에서 성립한다.
• 해밍 공의 부피와 자기쌍대 코드 총 수를 비교함으로써, 상대 최소 거리 $\delta$ 가 $H_q(\delta) \geq \frac{1}{8}$ 를 만족하는 무한한 수의 자기쌍대 사중행렬 코드 가닥이 존재함을 증명한다.
• 결과는 아르틴의 원시근 추측에 따라 조건부이며, 이는 $q$ 가 $n$ 모듈로 원시근이 되는 소수 $n$ 이 무한히 존재함을 보장한다.
• 최소 거리에 대한 渐近 하한 경계는 실패한 랜덤 코딩 기법과 엔트로피 기반 부피 추정을 통해 유도되었으며, 질베르트-바르샤모프 경계 정신에 기반한 새로운 경계를 수립한다.