[논문 리뷰] Z2Z4-additive cyclic codes, generator polynomials and dual codes

Joaquim Borges, Cristina Fernández-Córdoba외 1명|arXiv (Cornell University)|2014. 06. 17.

Coding theory and cryptography참고 문헌 6인용 수 25

한 줄 요약

이 논문은 Z₂[x]/(x^α−1) 및 Z₄[x]/(x^β−1) 위에서의 생성 다항식을 사용하여 Z₂Z₄-덧셈 순환 코드의 특성을 규명하며, 헨젤 상승과 최대공약수 기반 구성 방법을 통해 이들의 이중 코드의 생성 다항식에 대한 명시적 공식을 도출한다. 주요 기여는 이러한 순환 코드의 이중 코드를 계산하기 위한 완전한 대수적 프레임워크를 제공함으로써, 체계적인 자기이중 및 MDS 코드의 구축과 분석을 가능하게 한다.

ABSTRACT

A ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code ${\cal C}\subseteq{\mathbb{Z}}_2^α imes{\mathbb{Z}}_4^β$ is called cyclic if the set of coordinates can be partitioned into two subsets, the set of ${\mathbb{Z}}_2$ and the set of ${\mathbb{Z}}_4$ coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. These codes can be identified as submodules of the $\mathbb{Z}_4[x]$-module $\mathbb{Z}_2[x]/(x^α-1) imes\mathbb{Z}_4[x]/(x^β-1)$. The parameters of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are stated in terms of the degrees of the generator polynomials of the code. The generator polynomials of the dual code of a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive cyclic code are determined in terms of the generator polynomials of the code ${\cal C}$.

연구 동기 및 목표

• Z₂^α × Z₄^β 위에서 Z₂Z₄-덧셈 순환 코드에 대한 다항식 기반 대수적 프레임워크를 수립하기 위해.
• Z₂Z₄-덧셈 순환 코드의 이중 코드의 생성 다항식을 원래 코드의 생성자에 따라 특성화하기 위해.
• Henkel 상승과 Z₂ 위에서의 다항식 인수분해를 사용하여 이중 코드 생성자에 대한 명시적 공식을 제공하기 위해.
• 대수적 매개변수화를 통해 자기이중 및 MDS Z₂Z₄-덧셈 순환 코드의 구축을 가능하게 하기 위해.
• 이중 순환성 하에 Z₂Z₄-덧셈 코드의 구조를 통합함으로써 기존 이진 및 Z₄-순환 코드 결과를 일반화하기 위해.

제안 방법

• Z₂Z₄-덧셈 순환 코드를 Z₄[x]-모듈 Z₂[x]/(x^α−1) × Z₄[x]/(x^β−1) 의 부분모듈로 표현하기 위해.
• x^β−1 = fgh 를 Z₄[x] 에서 만족시키는 생성 다항식 b(x), ℓ(x), f(x), h(x) 를 사용하며, b, ℓ ∈ Z₂[x] 이다.
• Z₂[x] 에서 Z₄[x] 로 다항식을 상승시키기 위해 헨젤 상승을 적용하여 이중 코드 생성자를 구성하기 위해.
• 최대공약수와 모듈로 역행렬을 포함하는 공식을 통해 이중 코드 생성자를 도출하기 위해: b* = (gcd(b,ℓ))*, ℓ* = (b*)⁻¹ mod (b*/gcd(b,ℓg)*), 등.
• Z₂×Z₄ 위에서 표준 내적을 정의하여 이중성과 생성자 집합의 수직성 검증하기 위해.
• Z₂Z₄-덧셈 코드와 Z₂^γ × Z₄^δ 사이의 동형사상 활용하여 코드 매개변수 계산 및 자기이중성 검증하기 위해.

실험 결과

연구 질문

• RQ1 Z₂Z₄-덧셈 순환 코드의 이중 코드 생성 다항식은 원래 코드의 생성자에 대해 어떻게 대수적으로 특성화될 수 있는가?
• RQ2 Z₂Z₄-덧셈 순환 코드가 자기이중이 되기 위한 조건은 무엇이며, 이러한 코드는 어떻게 체계적으로 구축할 수 있는가?
• RQ3 MDS Z₂Z₄-덧셈 순환 코드는 다항식 생성 구조와 싱글턴 부등식을 사용하여 특성화될 수 있는가?
• RQ4 혼합 환 위에서 이중 코드를 구성할 때 헨젤 상승과 최대공약수 기반 다항식 축소는 어떤 역할을 하는가?
• RQ5 Z₂Z₄-덧셈 순환 코드의 매개변수 (α, β; γ, δ; κ) 는 생성 다항식의 차수와 인수분해와 어떻게 관련되는가?

주요 결과

• Z₂Z₄-덧셈 순환 코드 C = ⟨(b|0), (ℓ|fh+2f)⟩ 의 이중 코드는 C⊥ = ⟨(b̄|0), (ℓ̄|f̄h̄+2f̄)⟩ 로 명시적으로 주어지며, 여기서 b̄, ℓ̄, f̄, h̄ 는 헨젤 상승과 최대공약수 기반 공식을 통해 유도된다.
• 이중 코드의 생성 다항식 b̄ 는 Z₂[x] 에서 b̄ = (x^α−1)/gcd(b,ℓ)* 이다. 이는 이중 코드의 정확한 이진 성분을 보장한다.
• 이중 코드의 Z₄-성분 생성자 f̄h̄ 는 Z₂[x] 에서 (x^β−1)·gcd(b,ℓg)* / (f*b*) 의 헨젤 상승으로서 유도되며, 이는 체계적인 이중 코드 구성 가능하게 한다.
• 이중 코드의 ℓ̄ 생성자는 모듈로 역행렬을 통해 계산되며, Z₂[x] 에서 ℓ̄ = (x^α−1)/b* · [ (gcd(b,ℓg)*/gcd(b,ℓ)*)·x^{m−deg(f)}·μ₁ + (b*/gcd(b,ℓg)*)·x^{m−deg(fh)}·μ₂ ] 이다.
• 형식 (3,3;2,1;2) 의 코드 C₁ = ⟨(x−1| x²+x+1+2)⟩ 는 이중 코드 C₁⊥ = ⟨(x²+x+1|0), (x| (x−1)+2(x−1))⟩ 를 가지며, 형식 (3,3;1,2;1) 이다. 이는 이중성 공식을 확인한다.
• α 가 짝수이고 β 가 홀수이며, b = x^{α/2}−1, ℓ=0, f=1, h=x^β−1 이면, 무한한 자기이중 Z₂Z₄-덧셈 순환 코드의 가닥이 존재하며, 이는 형식 (α,β; β+α/2, 0; α/2) 을 가진다.