[논문 리뷰] Quasi-cyclic Codes of Index 1.5

Yun Fan, Hualu Liu|arXiv (Cornell University)|2015. 05. 09.

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

한 줄 요약

이 논문은 유한체 위에서 정의된 선형 코드의 새로운 클래스인 인덱스 $1.5$를 가진 준주기적 코드를 제안한다. 이는 혼합 순환 치환 작용 하에서 다항식 및 행렬 표현을 통해 구성된다. 무작위 구성 방법을 사용하여 저자들은 이러한 코드가 점점 커지는 경우에 양의 전송률($1/3$)과 0에서 벗어난 상대 최소 거리를 가지며, 따라서 모든 유한체에 대해 점근적으로 좋은 성질을 가짐을 증명한다.

ABSTRACT

We introduce quasi-cyclic codes of index 1.5, construct such codes in terms of polynomials and matrices; and prove that the quasi-cyclic codes of index 1.5 are asymptotically good.

연구 동기 및 목표

• 인덱스 $1.5$를 가진 선형 코드의 새로운 클래스를 정의하고 체계화함으로써 순환 코드(인덱스 1)와 인덱스 2인 준주기적 코드 사이의 격차를 메우기.
• 분수 인덱스를 가진 코드가 점근적으로 좋은 성질을 가질 수 있는지에 대한 열린 문제를 다루며, 정수 인덱스를 넘어서 이론을 확장하기.
• 유한체 위에서 다항식 및 행렬 표현을 사용하여 이러한 코드를 구성함으로써 군환과 몫환의 구조를 활용하기.
• 확률적 및 무작위 부호 구성 논증을 통해 이 새로운 클래스 내에서 점근적으로 좋은 수열의 존재를 보여주기.

제안 방법

• 인덱스 $1.5$를 가진 준주기적 코드와 공인덱스 $2m$를 정의하여, $F^{2m} \times F^m$의 부분공간으로서, 길이 $2m$와 $m$인 서로소 순환의 곱으로 구성된 치환에 대해 불변인 것으로 간주한다. 이는 순서 $2m$의 순환군을 생성한다.
• 이러한 코드를 다항식 환 $R_{2m} = F[X]/\langle X^{2m}-1 \rangle$ 및 $R_m = F[X]/\langle X^m - 1 \rangle$의 원소로 표현하며, 코드어를 다항식 쌍 $(a(X), a'(X))$로 식별한다.
• 무작위 다항식 $a(X)$와 $a'(X)$를 각각의 이상에 대해 무작위로 선택하여, 인덱스 $1.5$와 공인덱스 $2m_i$를 가진 무작위 부호 $C^{(i)}_{a,a'}$를 구성한다.
• 상대 최소 거리를 $q$-진 엔트로피 함수 $h_q(x)$를 기반으로 한 경계를 사용하여 분석하며, $\Delta(C^{(i)}_{a,a'}) > \delta$일 확률에 대한 하한을 유도한다.
• 무작위 부호의 전송률을 분석하기 위해 $\frac{X^{m_i}-1}{X-1}$의 기약 인수를 분석하여, $\dim C^{(i)}_{a,a'} = m_i - 1$임을 보이고, 이는 높은 확률로 성립함을 보인다.
• 거리와 차원에 대한 확률적 경계를 통합하여, 임의의 $\delta < \frac{2}{3}h_q^{-1}(1/2)$에 대해 전송률이 $1/3$으로 수렴하고 상대 최소 거리가 점차적으로 $\delta$를 초과함을 증명한다.

실험 결과

연구 질문

• RQ1 유한체 선형 부호에서 분수 인덱스, 특히 $1.5$를 가진 준주기적 코드를 의미 있게 정의하고 구성할 수 있는가?
• RQ2 인덱스 $1.5$를 가진 이러한 부호는 전송률과 상대 최소 거리가 모두 0에서 벗어나 있는 수열을 포함하는가, 즉 점근적으로 좋은가?
• RQ3 이 새로운 클래스 내에서 점근적으로 좋은 부호의 존재를 보일 수 있는가에 대해 무작위 구성 방법을 사용할 수 있는가?
• RQ4 공인덱스가 증가함에 따라 이러한 부호의 한계 전송률과 최소 거리 행동은 어떻게 되는가?
• RQ5 무작위 $1.5$-인덱스 부호의 상대 최소 거리는 점근적 영역에서 어떻게 행동하며, 양의 하한이 보장되는 임계값은 무엇인가?

주요 결과

• 논문은 인덱스 $1.5$를 가진 준주기적 코드가 점근적으로 좋은 성질을 가짐을 증명한다. 즉, 전송률과 상대 최소 거리가 모두 0에서 벗어나는 수열이 존재한다.
• 모든 유한체 $F_q$에 대해, 공인덱스 $2m_i \to \infty$가 되는 동안 전송률이 $1/3$으로 수렴하는 인덱스 $1.5$를 가진 준주기적 코드의 수열이 존재한다.
• 이러한 부호의 상대 최소 거리 $\Delta(C_i)$는 모든 $i$에 대해 $\delta$를 초과하며, $\delta < \frac{2}{3}h_q^{-1}(1/2)$를 만족한다. 이 경계는 정량적으로 명시되어 있으며, 예를 들어 $q=3$일 경우 $\delta > 0.106$이다.
• 주어진 $\delta$ 조건 하에서, 인덱스 $1.5$를 가진 무작위 부호가 상대 최소 거리가 $\delta$를 초과할 확률은 $i \to \infty$가 될수록 1에 수렴한다.
• 무작위 부호 $C^{(i)}_{a,a'}$의 차원은 확률이 1로 수렴하면서 $m_i - 1$이 되며, 이는 전송률이 $1/3$으로 수렴함을 보장한다.
• 이 구성은 $X^m - 1$의 기약 인수에 대한 확률적 분석에 기반하며, 경계는 $q$-진 엔트로피 함수 $h_q(x)$를 사용하여 도출된다.