[논문 리뷰] Algebraic structures of MRD Codes

Javier de la Cruz, Kiermaier, Michael외 2명|arXiv (Cornell University)|2015. 01. 16.

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

한 줄 요약

이 논문은 유한 준체, 준분야, 이동 평면과 관련된 대수적 구조를 활용하여 최소 거리가 $n$인 최대 랭크 거리(MRD) 코드가 $(\mathbb{F}_q)_{n,n}$에 존재함을 입증한다. 이는 가비두린 코드와 본질적으로 다른 코드이다. 주요 기여는 심플렉틱 스트립과 비아벨 곱셈군을 포함한 준체의 연결성을 통해 이러한 비가비두린 MRD 코드의 존재를 증명한 것이다. 특히 $\mathbb{F}_3^{3\times3}$에서 동일한 랭크 분포를 가지는 비동치 MRD 코드를 명시적으로 구성한 것이다.

ABSTRACT

Based on results in finite geometry we prove the existence of MRD codes in (F_q)_(n,n) with minimum distance n which are essentially different from Gabidulin codes. The construction results from algebraic structures which are closely related to those of finite fields. Some of the results may be known to experts, but to our knowledge have never been pointed out explicitly in the literature.

연구 동기 및 목표

• 등급 변환에 대해 동치가 아닌가를 조사한다.
• 최싱 바운드에 도달하는 파라미터를 갖는 MRD 코드의 배경이 되는 대수적 구조—특히 준체, 준분야, 준체—를 탐구한다.
• 최소 거리 $n$인 MRD 코드와 심플렉틱 이동 평면 간의 연결 고리를 스트립셋을 통해 수립한다.
• 특히 $\mathbb{F}_3^{3\times3}$에서 가비두린 코드와 동형이 아닌 선형 MRD 코드의 구체적 예를 구성한다.
• 가비두린 구조를 초월해 MRD 코드를 구분하는 데서 덧셈군과 곱셈군의 구조적 역할을 명확히 한다.

제안 방법

• 스트립셋과 이동 평면 간의 대응관계를 활용하여 MRD 코드를 구성한다.
• 델사르트–가비두린 구조를 기준으로 삼고, 준체 및 준분야에서 유도된 코드와 비교한다.
• 매트릭스 공간 위의 등급 변환의 화우–완 분류를 적용하여 코드의 동치 클래스를 정의한다.
• Magma를 사용하여 $\mathbb{F}_3^{3\times3}$에서 구체적인 MRD 코드를 구성하고, 두 개의 비동치 클래스—한 개는 가비두린 유형, 다른 하나는 비가비두린 유형—를 확인한다.
• 코드의 비영 원소들의 랭크 분포와 군 구조를 분석하여, 비가비두린 코드가 비아벨 곱셈군을 갖는다는 것을 보여준다.
• 두 코드가 동치를 제외하고 자가수반임을 보이기 위해 $\langle A,B \rangle = \operatorname{tr}(AB^t)$의 트레이스 대칭을 사용한다.

실험 결과

연구 질문

• RQ1 $(\mathbb{F}_q)_{n,n}$에서 최소 거리가 $n$인 MRD 코드 중 등급 변환에 대해 동치가 아닌 것은 존재하는가?
• RQ2 유한체를 초월한 어떤 대수적 구조—준체, 준분야, 준체 등—가 최싱 바운드에 도달하는 선형 MRD 코드를 생성할 수 있는가?
• RQ3 가비두린 코드와 다른 MRD 코드 간의 비영 원소의 곱셈군 구조는 어떻게 다를까?
• RQ4 비가비두린 MRD 코드는 명시적으로 구성할 수 있으며, 가비두린 코드와 동일한 랭크 분포를 갖는가?
• RQ5 준분야와 준체는 가비두린 코드와 동형이 아닌 선형 MRD 코드를 생성하는 데 어떤 역할을 하는가?

주요 결과

• $\mathbb{F}_3^{3\times3}$에서 최소 거리 $d=2$인 선형 MRD 코드에 대해 정확히 두 개의 동치 클래스가 존재한다. 하나는 가비두린 코드에 대응하고, 다른 하나는 비동치 코드에 대응한다.
• 비가비두린 코드는 랭크 2인 행렬 338개와 랭크 3인 행렬 390개를 포함하며, 이는 가비두린 코드와 동일한 랭크 분포를 보이며, 델사르트 정리와 일치한다.
• 비가비두린 코드의 비영 원소들의 곱셈군은 비아벨이지만, 가비두린 코드에서는 순환군이며 차수는 $q^n - 1$이므로, 이는 구조적 차이를 제공한다.
• 비가비두린 코드는 덧셈에 대해 닫혀 있지 않음을 보여주는 예시에서 $E + A$의 차수는 40이므로, 이는 $\mathbb{F}_q$-선형 코드가 아님을 시사한다.
• 비가비두린 코드의 쌍대는 또한 MRD 코드이며, 가비두린 코드와 비가비두린 코드 모두 순서 27인 두 준분야의 쌍대로부터 유도된다.
• $\mathbb{F}_{11}^{2\times2}$에서 특별한 준체 $\mathrm{SL}(2,5)$로부터 유도된 코드는 비아벨 곱셈군을 가지며 덧셈에 대해 닫혀 있지 않아 비가비두린 성격을 확인한다.