[논문 리뷰] Binary Images of Z2Z4-Additive Cyclic Codes

Joaquim Borges, Steven T. Dougherty외 2명|arXiv (Cornell University)|2017. 07. 11.

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

한 줄 요약

이 논문은 이진 이미지가 선형 이진 코드가 되는 홀수 β를 가진 모든 ℤ₂ℤ₄-덧셈 순환 코드를 특성화한다. 이러한 코드들이 ℤ₂-이중 순환 코드를 생성함을 입증하고, 𝔽₂[x]에서 x^β−1의 인수분해와 최대공약수 조건을 이용하여 이의 이진 이미지에 대한 명시적 생성 다항식을 제공한다.

ABSTRACT

A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes.

연구 동기 및 목표

• 이진 그레이 이미지가 선형 코드가 되는 홀수 β를 가진 모든 ℤ₂ℤ₄-덧셈 순환 코드를 규명하는 것.
• ℤ₂ℤ₄-덧셈 순환 코드의 이진 이미지가 선형으로 유지되는 구조적 조건을 규명하는 것.
• Nechaev-그레이 사상 하에서의 이진 이미지를 ℤ₂-이중 순환 코드로 특성화하는 것.
• 원래 코드가 ℤ₂×ℤ₄에서 가지는 구조에 기반하여 이진 이미지에 대한 명시적 생성 다항식을 제공하는 것.
• 원래 코드의 생성 다항식과 그 이진 이미지의 생성 다항식 사이의 관계를 설정하는 것.

제안 방법

• ℤ₂ℤ₄-덧셈 순환 코드를 ℤ₂[x]/⟨x^α−1⟩ × ℤ₄[x]/⟨x^β−1⟩의 부분모듈로 표현하는 것.
• Nechaev-그레이 사상 Ψ를 사용하여 ℤ₂^α × ℤ₄^β의 코드워드를 ℤ₂^{α+2β}로 변환하고, 코드의 구조를 유지하는 것.
• 𝔽₂[x]에서 gcd( (f̃b)/gcd(b,ℓg̃), g̃⊗g̃ ) = 1 조건을 적용하여 이진 이미지의 선형성을 확보하는 것.
• 이진 이미지의 생성자를 ⟨(b|0), (ℓ′|f̃²h)⟩로 유도하며, 여기서 ℓ′ ≡ pℓ mod b 이고, p는 p(fh+2f) = ψ⁻¹(f̃²h)를 만족하는 것.
• x^β−1 = fgh로 다항식 인수분해하고, f,h를 모닉으로 하고 g|f̃로 설정하여 코드의 구조를 분석하는 것.
• 논문 [6]에서의 ℤ₂-이중 순환 코드 결과를 활용하여, 이미지가 선형일 경우 Ψ(𝒞)가 이중 순환 코드가 됨을 보이는 것.

실험 결과

연구 질문

• RQ1 ℤ₂ℤ₄-덧셈 순환 코드의 이진 이미지가 선형이 되는 조건은 무엇인가?
• RQ2 이미지가 선형일 경우, 이의 생성자를 어떻게 명시적으로 결정할 수 있는가?
• RQ3 Nechaev-그레이 사상 하에서 원래 ℤ₂ℤ₄ 코드의 생성 다항식과 그 이진 이미지의 생성 다항식 사이의 관계는 무엇인가?
• RQ4 왜 표준 그레이 사상보다 Nechaev-그레이 사상이 이진 이미지의 순환 구조를 유지하는 데 더 유리한가?
• RQ5 이미지의 선형성을 보장하는 데 있어 β의 홀수성은 어떤 역할을 하는가?

주요 결과

• 이진 그레이 이미지가 선형 이진 코드가 되는 모든 ℤ₂ℤ₄-덧셈 순환 코드는 𝔽₂[x]에서 gcd( (f̃b)/gcd(b,ℓg̃), g̃⊗g̃ ) = 1 조건에 의해 완전히 특성화된다.
• Nechaev-그레이 사상 하에서의 이진 이미지는 길이 α+2β인 ℤ₂-이중 순환 코드이며, ⟨(b|0), (ℓ′|f̃²h)⟩로 생성된다.
• 이미지의 생성자 ℓ′는 ℓ′ ≡ pℓ mod b로 얻어지며, 여기서 p는 p(fh+2f) = ψ⁻¹(f̃²h)를 만족한다.
• 이미지가 선형임은 오직 그 gcd 조건이 성립할 경우에만 가능하며, 이는 이미지가 덧셈에 대해 닫혀 있음을 보장한다.
• 예시로 β=3, α=3일 때 f=1, h=x²+x+1로 설정하면, 코드 ⟨(x²+x+1|0),(1|x²+x+3)⟩는 길이 9인 선형 ℤ₂-이중 순환 코드로 사상된다.
• 논문은 어떤 κ에 대해서도 유형 (2,7;2,3;κ)을 가진 ℤ₂ℤ₄-덧셈 코드가 선형 그레이 이미지를 가지지 않음을 증명한다. 이는 gcd 조건이 실패하기 때문이다.