[논문 리뷰] Families of Hadamard Z2Z4Q8-codes

Ángel del Rı́o, Josep Rifà|arXiv (Cornell University)|2012. 11. 22.

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

한 줄 요약

이 논문은 군환 ℤ₂ℤ₄𝒬₈ 위에서 새로운 히든드라드 코드의 클래스를 도입하고 특성화하며, 어떤 ℤ₂ℤ₄-선형 코드와도 동치가 되지 않는 '순수한' ℤ₂ℤ₄𝒬₈-코드의 존재를 입증한다. 이러한 코드에 대한 랭크와 커널 차원에 대한 경계를 설정하고, 그레이 사상과 크로네커 곱을 통해 구축하며, 길이 32인 비-ℤ₂ℤ₄-선형 히든드라드 코드와 형상-4 코드를 포함한 특정 예시를 규명함으로써, 기존 선형 모델을 초월한 이 코드 군집의 풍부함을 보여준다.

ABSTRACT

A Z2Z4Q8-code is a non-empty subgroup of a direct product of copies of Z_2, Z_4 and Q_8 (the binary field, the ring of integers modulo 4 and the quaternion group on eight elements, respectively). Such Z2Z4Q8-codes are translation invariant propelinear codes as the well known Z_4-linear or Z_2Z_4-linear codes. In the current paper, we show that there exist "pure" Z2Z4Q8-codes, that is, codes that do not admit any abelian translation invariant propelinear structure. We study the dimension of the kernel and rank of the Z2Z4Q8-codes, and we give upper and lower bounds for these parameters. We give tools to construct a new class of Hadamard codes formed by several families of Z2Z4Q8-codes; we study and show the different shapes of such a codes and we improve the upper and lower bounds for the rank and the dimension of the kernel when the codes are Hadamard.

연구 동기 및 목표

• ℤ₂ℤ₄𝒬₈-코드의 구조적 성질을 조사한다. 이는 히사키안 군 𝒬₈를 사용한 ℤ₂ℤ₄-선형 코드의 일반화이다.
• 이러한 코드 중 어떤 것이 ℤ₂ℤ₄-선형 코드와도 동치가 되지 않는 것이 존재하는지, 즉 '순수한' ℤ₂ℤ₄𝒬₈-코드의 존재를 규명한다.
• 특히 히든드라드 코드의 맥락에서 이러한 코드의 랭크와 커널 차원을 분석한다.
• 그레이 사상과 크로네커 곱을 이용해 히든드라드 ℤ₂ℤ₄𝒬₈-코드의 무한한 군을 구축하고, 기존의 구축 방법을 확장한다.
• 히든드라드 ℤ₂ℤ₄𝒬₈-코드의 가능한 군 구조와 형상들을 분류하고, 그들의 불변량에 대한 경계를 향상시킨다.

제안 방법

• 논문은 ℤ₂ᵏ¹ × ℤ₄ᵏ² × 𝒬₈ᵏ³ 의 부분군으로서 ℤ₂ℤ₄𝒬₈-코드를 정의하며, 번역 불변 선형적 성질을 갖는 코드를 정의하기 위해 군 구조를 활용한다.
• 그레이 사상 Φ 를 사용하여 ℤ₂ℤ₄𝒬₈-코드를 이진 코드로 변환하고, 해밍 거리 유지 및 이진 이미지 성질의 연구를 가능하게 한다.
• 크로네커 곱 구축 𝒦_g 는 기존 코드로부터 새로운 코드를 생성하는 데 사용되며, 특히 코드 길이를 늘리고 새로운 형상을 탐색하는 데 유용하다.
• 군론적 도구를 적용하여 코드 군의 구조를 분석하며, 생성자에 의해 생성된 군 내의 새로운 원소를 탐지하기 위해 스위퍼(swap)의 사용을 포함한다.
• 논문은 '형상(shape)' 개념을 사용하여 ℤ₂ℤ₄𝒬₈-코드의 군 구조를 분류하며, 다섯 가지 가능한 형상이 식별된다.
• 특정 예시는 ℤ₂, ℤ₄, 𝒬₈ 위에서의 생성자를 사용하여 구성되며, 그레이 사상을 통해 검증되어 이진 이미지가 원하는 매개변수를 갖는 히든드라드 코드임을 확인한다.

실험 결과

연구 질문

• RQ1 ℤ₂ℤ₄𝒬₈-코드 중 어떤 것이 ℤ₂ℤ₄-선형 코드와도 동치가 되지 않는 것이 존재하는가, 즉 '순수한' ℤ₂ℤ₄𝒬₈-코드가 존재하는가?
• RQ2 특히 히든드라드 코드의 맥락에서 ℤ₂ℤ₄𝒬₈-코드의 랭크와 커널 차원에 대한 날것의 상한과 하한은 무엇인가?
• RQ3 모든 가능한 ℤ₂ℤ₄𝒬₈-코드의 형상은 실현 가능한가? 만약 그렇다면 어떻게 구축할 수 있는가?
• RQ4 길이 16 또는 32인 히든드라드 코드 중 ℤ₂ℤ₄-선형은 아니지만 ℤ₂ℤ₄𝒬₈-코드로 실현 가능한 것이 존재하는가?
• RQ5 주어진 형상에 대해 히든드라드 ℤ₂ℤ₄𝒬₈-코드의 최대 랭크는 얼마이며, 그러한 코드는 명시적으로 구축 가능한가?

주요 결과

• 논문은 ℤ₂ℤ₄-선형 코드와도 동치가 되지 않는 '순수한' ℤ₂ℤ₄𝒬₈-코드의 첫 번째 알려진 예를 구성하며, 이러한 코드의 존재를 입증한다.
• 길이 32, 유형 (3,0,3), 형상 3, 랭크 7, 커널 차원 4인 히든드라드 코드는 ℤ₂ℤ₄𝒬₈-코드로서 구성되었으며, 이는 ℤ₂ℤ₄-선형이 아니다.
• 기본 코드의 크로네커 곱을 통해 길이 64, 유형 (3,0,4), 형상 2, 랭크 8, 커널 차원 3인 새로운 히든드라드 코드를 구성한다.
• 논문은 히든드라드 ℤ₂ℤ₄𝒬₈-코드의 가능한 군 구조를 완전히 분류하며, 다섯 가지의 구별 가능한 형상을 식별하고, 형상 1, 2, 3, 4, 5에 대해 명시적인 구축을 제공한다.
• 형상-4 코드는 ℤ₂⁴ × 𝒬₈ 위에서 생성자를 사용하여 명시적으로 구성되었으며, 크로네커 구축의 변형은 랭크 6인 비선형 코드를 유도하여 이 형상의 최대 랭크를 보여준다.
• 논문은 히든드라드 ℤ₂ℤ₄𝒬₈-코드의 랭크와 커널 차원에 대한 상한과 하한을 향상시켜, 일반적인 ℤ₂ℤ₄𝒬₈-코드보다 더 날것의 경계임을 보여준다.