[논문 리뷰] Z2Z4-linear codes: rank and kernel

Cristina Fernández-Córdoba, Jaume Pujol외 1명|ArXiv.org|2008. 07. 26.

Coding theory and cryptography참고 문헌 16인용 수 3

한 줄 요약

이 논문은 ℤ₂ℤ₄-선형 코드의 질량과 핵심 차원에 대해 조밀한 경계를 설정하고, 가능한 모든 (질량, 핵심 차원) 쌍을 달성하는 명시적 구성법을 제공한다. 또한 이러한 코드의 핵심과 스팬이 모두 ℤ₂ℤ₄-선형임을 증명하여, ℤ₂^α × ℤ₄^β에서의 가역 코드 구조를 통해 효율적인 계산이 가능함을 보여준다.

ABSTRACT

A code C is Z2Z4-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). In this paper, the rank and dimension of the kernel for Z2Z4-linear codes, which are the corresponding binary codes of Z2Z4-additive codes, are studied. The possible values of these two parameters for Z2Z4-linear codes, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a Z2Z4-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a Z2Z4-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a Z2Z4-additive code for each possible pair (r,k) is given.

연구 동기 및 목표

• ℤ₂ℤ₄-선형 코드의 질량과 핵심 차원이 가질 수 있는 가능한 값을 규명하는 것.
• 모든 실현 가능한 질량 또는 핵심 차원을 달성하는 ℤ₂ℤ₄-선형 코드의 명시적 구성법을 제공하는 것.
• 고정된 핵심 차원에 대해 질량에 대한 경계를 수립하고, 각 유효한 (질량, 핵심) 쌍에 대해 코드를 구성하는 것.
• ℤ₂ℤ₄-선형 코드의 핵심과 스팬이 모두 ℤ₂ℤ₄-선형임을 보여주어, 역 그레이 맵을 통해 효율적인 계산이 가능하도록 하는 것.

제안 방법

• ℤ₂ℤ₄-선형 코드의 질량과 핵심 차원에 대한 하한과 상한을 유도하기 위해 조합적 수량 기법을 사용하는 것.
• ℤ₂ℤ₄-가역 코드의 표준 생성행렬 형태를 활용하여 해당 ℤ₂ℤ₄-선형 코드의 구조를 매개변수화하는 것.
• 역 그레이 맵 Φ⁻¹을 적용하여 이진 코드 C를 그에 상응하는 ℤ₂ℤ₄-가역 코드 ℒ로 변환함으로써, 가역 코드 공간에서 핵심을 계산하는 것.
• ℤ₂ℤ₄-선형 코드 C의 핵심 K(C)를 C ∪ (x + C) = C 를 만족하는 벡터 x의 집합으로 정의하고, K(C)가 ℤ₂ℤ₄-선형임을 증명하는 것.
• 생성행렬 ℒ_G_S = [I_γ | T' | 0 | 0 | 0; 0 | 0 | 0 | 2 | 0; 0 | S' | S_{r,k} | 0 | I_δ] 의 구조를 이용하여 원하는 (질량, 핵심) 매개변수를 가진 코드를 구성하는 것.
• 크기가 δ × (β - γ - δ)인 ℤ₄ 상의 부분행렬 S_{r,k}를 특성화하여 특정한 (질량, 핵심) 쌍 (r, k)을 달성하는 것.

실험 결과

연구 질문

• RQ1 유형 (α, β; γ, δ; κ)을 갖는 ℤ₂ℤ₄-선형 코드의 질량에 대해 가능한 가장 날카로운 하한과 상한은 무엇인가요?
• RQ2 실현 가능한 질량 r 값에 대해, 그 질량을 갖는 ℤ₂ℤ₄-선형 코드를 명시적으로 구성할 수 있나요?
• RQ3 실현 가능한 핵심 차원 k 값에 대해, 그 핵심 차원을 갖는 ℤ₂ℤ₄-선형 코드를 명시적으로 구성할 수 있나요?
• RQ4 고정된 핵심 차원 k에 대해, ℤ₂ℤ₄-선형 코드의 가능한 질량 r에 대한 엄밀한 경계는 무엇이며, 각 (r, k) 쌍에 대해 코드를 구성할 수 있나요?
• RQ5 기초가 되는 ℤ₂ℤ₄-가역 코드 구조를 통해 ℤ₂ℤ₄-선형 코드의 핵심과 스팬을 어떻게 효율적으로 계산할 수 있나요?

주요 결과

• 유형 (α, β; γ, δ; κ)을 갖는 ℤ₂ℤ₄-선형 코드 C의 질량은 γ + 2δ에서 γ + 2δ + 1 사이에 있으며, 두 값 모두 실현 가능하다.
• 이러한 코드의 핵심 차원은 γ + 2δ - 2⌈(δ - 1)/2⌉에서 γ + 2δ 사이이며, 이 구간 내의 모든 정수 값이 실현 가능하다.
• 구간 [γ + 2δ, γ + 2δ + 1] 내의 실현 가능한 질량 r에 대해, ℤ₄ 상의 적절한 부분행렬을 갖는 생성행렬을 사용하여 그 질량을 갖는 ℤ₂ℤ₄-선형 코드를 구성할 수 있다.
• 구간 [γ + 2δ - 2⌈(δ - 1)/2⌉, γ + 2δ] 내의 실현 가능한 핵심 차원 k에 대해, 그 핵심 차원을 갖는 ℤ₂ℤ₄-선형 코드를 구성할 수 있다.
• 고정된 핵심 차원 k에 대해, ℤ₂ℤ₄-선형 코드의 질량 r는 r_min = γ + 2δ - (2⌈(δ - 1)/2⌉ - k)에서 r_max = γ + 2δ + 1 사이에 있으며, 이 구간 내의 모든 값이 실현 가능하다.
• 각 유효한 (r, k) 쌍에 대해, ℤ₄ 상의 적절히 선택된 S_{r,k} 부분행렬을 갖는 표준 생성행렬 형태를 사용하여 질량 r와 핵심 차원 k를 갖는 ℤ₂ℤ₄-선형 코드를 명시적으로 구성할 수 있다.