Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

기술적 요약: 에르미트 외피 변형 및 벡터 랭크 거리 부호의 자기 직교 일반화 가비들린 부호

문제 제기
본 논문은 에르미트 내적을 갖춘 벡터 랭크 거리 부호에 대한 "외피 변형 문제 (hull-variation problem)"를 조사합니다. 선형 부호 $C$의 외피는 $H(C) = C \cap C^\perp$로 정의되며, 이는 특정 구성 (예: 얽힘 보조 양자 오류 정정 부호, EAQECC) 의 실현 가능성을 결정하는 근본적인 부분 부호입니다. 해밍 거리에서 유클리드 및 에르미트 부호에 대한 외피 변형 문제는 대부분 해결되었으나 (원래 부호의 외피 차원까지 임의의 지정된 외피 차원을 갖는 동치 부호로 변환 가능한 것으로 나타남), 벡터 랭크 거리 부호에 대한 유사한 문제는 열려 있었습니다. 구체적으로, 본 논문은 모든 벡터 랭크 거리 부호가 에르미트 LCD (선형 보완 직교) 부호 (즉, 자명한 외피를 갖는 부호) 와 동치인지, 그리고 최대 랭크 거리 (MRD) 부호를 임의의 지정된 에르미트 외피 차원으로 구성할 수 있는지 여부를 다룹니다.

방법론 및 주요 기여

1. 에르미트 외피 변형 정리:
   저자들은 $\mathbb{F}_{q^{2m}}$ 위의 벡터 랭크 거리 부호에 대해, 특정 조건이 충족될 경우 부호의 동치 클래스 내에서 에르미트 외피 차원을 1 만큼 감소시킬 수 있음을 입증합니다.

   • 일반적인 경우 ($n \ge 3$ 또는 $q \ge 4$): 증명은 생성 행렬을 포함하는 구성적 접근법을 사용합니다. 외피 내의 0 이 아닌 벡터를 식별하고 특정 동치 변환 $M \in GL_n(\mathbb{F}_q)$을 적용함으로써, 저자들은 행렬 $GG^\dagger$의 랭크가 1 만큼 증가하여 외피 차원이 1 만큼 감소함을 보여줍니다. 이는 에르미트 행렬에 랭크 1 항 $\lambda aa^\dagger$를 추가하는 것이 특정 조건 하에서 영차수 (nullity) 를 어떻게 감소시키는지 보여주는 보조정리 3.1 에 의존합니다.
   • 소수 매개변수 ($n=2$): $n=2$인 경우는 별도로 다룹니다. $q \ge 4$인 경우 일반적 구성이 적용됩니다. $q=3$인 경우, $\mathbb{F}_3$ 위의 2 차 다항식을 이용한 특정 논증을 통해 외피를 제거하는 변환을 찾습니다.
   • 장애물: 본 논문은 외피 변형이 불가능한 단일 예외 사례를 규명합니다: $(q, n) = (2, 2)$. 이 특정 사례에서 저자들은 자명하지 않은 외피를 갖는 부호가 에르미트 LCD 부호로 변환될 수 없음을 보여주는 반례를 제시합니다.

2. 확대된 트레이스 자기 쌍대 기저:
   지정된 외피 차원을 갖는 MRD 부호의 존재성을 다루기 위해, 저자들은 확대된 트레이스 자기 쌍대 기저 (scaled trace-self-dual basis) 개념을 도입합니다.

   • 이전 연구는 $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$에 대한 일반 트레이스 자기 쌍대 기저가 $q$가 짝수일 때만 존재함을 입증했습니다. 이는 홀수 $q$의 경우 에르미트 자기 직교 가비들린 부호를 구성하는 문제를 열려 있게 남겼습니다.
   • 저자들은 $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$가 되도록 하는 기저 $\alpha$와 $\lambda \in \mathbb{F}_{q^{2m}}^*$의 쌍 $(\alpha, \lambda)$를 정의합니다.
   • 그들은 그러한 기저가 모든 소수 거듭제곱 $q$와 정수 $m$에 대해 존재함을 증명합니다. 증명은 트레이스 형태의 그람 행렬의 행렬식의 역수와 노름이 같도록 $\lambda$를 선택하여 이차 형식을 표준 직교 형태로 변환하는 과정을 포함합니다.

3. 자기 직교 MRD 부호의 구성:
   확대된 트레이스 자기 쌍대 기저를 사용하여, 저자들은 에르미트 자기 직교인 일반화 가비들린 부호를 구성합니다.

   • 그들은 임의의 $1 \le k \le m$에 대해, 확대된 트레이스 자기 쌍대 기저로 생성된 일반화 가비들린 부호 $G_{k,s}(\alpha)$가 에르미트 자기 직교임을 보여줍니다.
   • 이 구성은 홀수 $q$에 대한 열려 있던 사례를 해결하여, 모든 소수 거듭제곱에 대해 에르미트 자기 쌍대 MRD 부호 ($k=m$인 경우) 를 생성할 수 있게 합니다.

주요 결과

• 외피 변형 분류: 모든 $(q, n) \neq (2, 2)$ 쌍에 대해, 에르미트 외피 차원이 $h$인 모든 벡터 랭크 거리 부호는 $0 \le \ell \le h$인 임의의 $\ell$에 대해 외피 차원이 $\ell$인 부호와 동치입니다. 결과적으로, 그러한 모든 부호는 에르미트 LCD 부호와 동치입니다.
• 지정된 외피를 갖는 MRD 부호의 존재성: 모든 $(q, m) \neq (2, 1)$에 대해, 모든 차원 $1 \le k \le m$ 및 모든 목표 외피 차원 $0 \le \ell \le k$에 대해, 매개변수 $[2m, k, 2m-k+1]_{q^{2m}/q}$와 에르미트 외피 차원 $\ell$을 갖는 $\mathbb{F}_{q^{2m}}^{2m}$ 내의 MRD 부호가 존재합니다.
• 유클리드 비교: 본 논문은 벡터 랭크 거리 부호에 대한 유클리드 내적에 대한 외피 변형 결과를 확장하여 이전 문헌에서 열려 있던 사례를 완성합니다. 그러나 중요한 차이점을 지적합니다: 에르미트 설정과 달리, 유클리드 자기 직교 MRD 부호는 짝수 표수에서는 존재하지 않습니다.

의의
본 논문은 에르미트 내적 하에서 벡터 랭크 거리 부호에 대한 외피 변형 문제에 대한 포괄적인 해법을 제공하며, $(2, 2)$에서의 고유한 장애물을 규명합니다. 확대된 트레이스 자기 쌍대 기저를 도입함으로써 저자들은 이전에 에르미트 자기 직교 가비들린 부호의 구성을 방해했던 $q$의 홀짝성 제한을 제거합니다. 이는 이론을 통합하여, 모든 소수 거듭제곱에 대해 허용 가능한 에르미트 외피 차원을 갖는 MRD 부호를 구성할 수 있음을 보장합니다. 이러한 결과는 외피 차원이 필요한 사전 공유 얽힘 쌍의 수를 결정하는 EAQECC 구성에 직접적으로 동기 부여되며 적용 가능합니다.