[논문 리뷰] THE CONDITION FOR A CYCLIC CODE OVER Z 4 OF ODD LENGTH TO HAVE A COMPLEMENTARY DUAL

Seth Gannon, Hamid Kulosman|arXiv (Cornell University)|2019. 01. 01.

Coding theory and cryptography참고 문헌 5인용 수 2

한 줄 요약

이 논문은 Z4 위의 홀수 길이 순환 코드가 보완 쌍대(LCD) 코드가 되기 위한 필수 및 필요조건을 확립한다: 그러한 코드가 LCD일 필요충분조건은 Z4[X]에서 X^N − 1의 자기역행 단항 다항식 인수로 생성되는 것이다. 이 결과는 유한체 위의 고전적 LCD 코드 특성화를 Z4 환으로 확장하며, 이전 연구에서 유도된 유일 인수분해와 힐 크기 공식을 활용하며, 양자 코드 이론과 코드 설계에의 적용 가능성을 제시한다.

ABSTRACT

We show that a necessary and sufficient condition for a cyclic code C over Z4 of odd length to be an LCD code is that C=(f(x)) where f is a self-reciprocal polynomial in Z4[X].

연구 동기 및 목표

• 유한체 위의 LCD 코드 특성화를 Z4 환으로 확장하고, 특히 홀수 길이 순환 코드에 대해 적용한다.
• Z4 위의 순환 코드가 LCD 코드가 되는 정확한 대수적 조건을 규명한다.
• Z4 위에서 기존의 인수분해 정리와 힐 크기 공식을 활용하여, LCD 코드에 대한 깔끔하고 구조적인 기준을 도출한다.

제안 방법

• 정리 1.1을 활용하여 길이 N가 홀수인 Z4 위의 임의의 순환 코드 C를 C = (f(x)g(x), 2f(x))로 표현하며, f, g, h는 fgh = X^N − 1 를 만족하는 유일한 단항 다항식이다.
• 정리 1.2를 적용하여 Hull(C) = C ∩ C⊥ 의 크기를 계산하며, |Hull(C)| = 4^{deg(H)} · 2^{deg(G)} 로 표현되며, 여기서 H와 G는 f*, h, f의 최대공약수와 최소공배수를 통해 정의된다.
• |Hull(C)| = 1 (즉, C가 LCD임과 동치) 조건을 분석하여, gcd(h, f*) = 1 이고 lcm(f, h*) = X^N − 1 임을 도출한다.
• 요소 집합(Fact(f), Fact(g), Fact(h), Fact(h*))의 상호배타성 및 합집합 성질을 활용하여 g는 1이어야 함을 유추하며, 이는 C = (f(x)) 임을 의미한다.
• g = 1 이고 h = X^N − 1 / f 일 때, 이중성과 인수분해 제약 조건으로 인해 f는 반드시 자기역행이어야 함을 증명한다.
• 역으로 검증: f가 자기역행이면, 정리 1.2에 의해 H(X) = 1 이고 G(X) = 1 이므로 |Hull(C)| = 1 이 되어 C = (f(x)) 는 LCD임을 보장한다.

실험 결과

연구 질문

• RQ1 Z4 위의 홀수 길이 순환 코드가 LCD 코드가 되기 위한 필수 및 필요조건은 무엇인가?
• RQ2 Z4[X]에서 X^N − 1 의 인수분해 구조가 순환 코드의 힐 크기 및 LCD 성질에 어떻게 영향을 미치는가?
• RQ3 유한체 위의 LCD 코드 특성화를 Z4 환으로 확장할 수 있는가, 특히 홀수 길이 순환 코드에 대해 적용 가능한가?

주요 결과

• Z4 위의 홀수 길이 N인 순환 코드 C는 C = (f(x)) 인 경우에만 LCD 코드가 되며, 여기서 f(X)는 Z4[X]에서 X^N − 1 의 자기역행 단항 인수이다.
• 힐 크기 |Hull(C)| = 1 이 되는 것은 g(X) = 1 이고 f(X)가 자기역행일 때에만 가능하며, 이는 정확히 자기역행 다항식으로 생성되는 경우에 해당한다.
• f가 자기역행이고 g = 1 이면, h(X) = X^N − 1 / f(X) 도 자기역행이 되어 LCD 코드의 이중성 조건을 보장한다.
• Z4 위에서 길이 N인 순환 LCD 코드의 수는 2^{nsrf} 이며, 여기서 nsrf 는 양호한 쌍(n,2)에 대해 ϕ(n)/ord_{Z_n^*}(2) 를 포함하는 N의 약수 n에 대한 합이며, 악성 쌍에 대해서는 그 절반을 포함한다.
• N = 7 인 경우, 순환 LCD 코드는 (1), (g11), (f17 f17*), 그리고 (0) 이며, 이는 Z4[X]에서 X^7 − 1 의 자기역행 인수에 해당한다.
• 이 특성화는 [3]에서 확립된 X^N − 1 의 자기역행 및 역행 쌍 인수로의 유일 인수분해와 정리 1.2의 힐 크기 공식에 기반한다.