A skew polynomial framework for constructing division algebras and linear maximum rank distance codes

기술 요약: 나눗셈 대수 및 선형 최대 순위 거리(Maximum Rank Distance) 코드 구축을 위한 스큐 다항식 프레임워크

문제 정의
본 논문은 체(field) 위에서 비단위(non-unital) 나눗셈 대수와 선형 최대 순위 거리(Maximum Rank Distance, MRD) 행렬 코드를 구축하는 문제를 다룬다. Petit (1966), Sheekey (2016, 2019), 그리고 Lobillo, Santonastaso, Sheekey (2026)의 선행 연구들은 스큐 다항식 환 $R = K[t; \sigma]$를 활용하여 이러한 구조들을 생성하는 데 성공했으나, 이러한 구성들은 종종 특정 매개변수로 제한되었다. 구체적으로, 이전의 구성들은 곱셈 정의에 사용되는 선형 사상 $\rho$가 반드시 환 동형 사상(특히 갈루아 동형 사상)이어야 하며, 인덱스 매개변수 $i_0$를 0으로 고정해야 한다는 제약이 있었다. 본 논문은 이러한 프레임워크를 일반화하여, 더 넓은 범위의 사상과 인덱스가 새로운 나눗셈 대수 및 MRD 코드를 생성할 수 있는지 확인하고, 이러한 일반화된 구조가 나눗셈 성질을 만족하거나 최대 순위 거지를 달성하기 위한 엄격한 기준을 확립하고자 한다.

방법론
저자는 $K/F$가 차수가 $n$인 순환 갈루아 체 확장이고 갈루아 군이 $\sigma$에 의해 생성되는 스큐 다항식 환 $R = K[t; \sigma]$에 기반한 통합된 프레임워크를 사용한다.

1. 대수 구축:
   핵심적인 구성은 $R_m = \{g \in R \mid \deg(g) < m\}$인 벡터 공간 위에 곱셈을 정의한다. 차수가 $m$인 단항 기약 스큐 다항식 $f \in R$, 스칼라 $\nu \in K$, 정수 $i_0 \in \{0, \dots, m-1\}$, 그리고 생단사적 $F'$-선형 사상 $\rho: K \to K$ ($F' \supseteq F$)가 주어졌을 때, $b(t), c(t) \in R_m$에 대하여 다음과 같이 새로운 곱셈 $\circ$를 정의한다:
   $$b(t) \circ c(t) = (b(t) + \nu\rho(b_{i_0})t^m)c(t) \mod_r f$$
   여기서 우변은 $f$에 의한 우측 나눗셈의 나머지를 의미한다. 이로 인해 생성된 구조를 $S_f(K, i_0, \nu, \rho)$라고 명명한다. 이는 $\rho$를 동형 사상(특히 갈루아 동형 사상)으로 제한하고 $i_0$를 0으로 고정했던 기존의 구성들을 일반화한 것이다.

2. MRD 코드 구축:
   본 논문은 이를 선형 MRD 코드를 구축하는 데로 확장한다. $f$의 최소 중심 좌측 다배수(minimal central left multiple) $h$ (여기서 $h$는 $k$개의 기약 인수를 가짐)와 정수 $l$ ($1 < l < k$)을 고려함으로써, 저자는 차수가 $lm$인 다항식들의 집합$P_{i_0}$를 정의한다. 이 집합의 몫 환$R/Rh$에서의 상(image)은 행렬 대수 $M_k(B)$에서의 코드 $C_{i_0, n, m, l}$을 정의하며, 여기서 $B$는 연관된 Petit 대수의 우측 핵(right nucleus)이다.

3. 분석 도구:
   분석은 스큐 다항식의 유사성(similarity) 이론에 크게 의존한다. 두 다항식은 $R/Rf$와$R/Rg$가 좌$R$-모듈로서 동형일 때 유사하다고 한다. 저자는$f$와 유사한 다항식들의 집합과 그 계수들을 활용하여 대수적 및 코딩 성질을 위한 필요충분조건을 도출한다.

주요 기여 및 결과

• 구성의 일반화: 본 논문은 기존의 프레임워크와 Sheekey의 뒤틀린 순환 세미필드(twisted cyclic semifields) 및 [LobSanSh2026]의 대수들이 $i_0 = 0$이고 $\rho$가 동형 사상인 특수한 경우임을 입증한다. 새로운 프레임워크는 임의의 생단사 선형 사상 $\rho$와 임의의 인덱스 $i_0$를 허용한다.
• 나눗셈 대수에 대한 기준:
  • 정리 3.2: $S_f(K, i_0, \nu, \rho)$가 $F_0$ 위의 나눗셈 대수일 필요충분조건은 $P_{i_0}$ (다항식 $g(t) + \nu\rho(g_{i_0})t^m$ 형태의 다항식 집합)가 $f$와 유사한 다항식을 포함하지 않는 것이다.
  • 정리 3.5 & 3.8: $f$와 유사한 다항식들의 계수를 기반으로 구체적인 기준을 제공한다. 즉, 모든 단항 $g$가 $f$와 유사할 때, $g_{i_0} \neq 0$이면 $\nu\rho(g_{i_0}) \neq 1$이라는 조건이 성립하거나, 혹은 $g_{i_0}$와 $\nu$를 포함하는 특정 노름(norm) 조건이 충족되지 않을 때 이 대수는 나눗셈 대수가 된다.
  • 따름정리 3.7 및 3.9: Sheekey의 기존 결과를 뒤틀린 순환 대수의 특수한 사례로 복구하며, 이들이 프리세미필드(pre-semifields)가 되기 위한 대안적 조건을 제공한다.
• 동형성(Isotopy) 및 단위성(Unitality):
  • 정리 5.4: 구성된 비단위 대수들이 단위적인 Petit 나눗셈 대수와 동형(isotopic)임을 보여준다. 이는 이전에 별개의 것으로 생각되었던 구성들(구체적으로 [LobSanSh2026, Theorem 5.4])이 실제로는 알려진 Petit 대수들과 동형임을 의미한다.
  • 정리 5.7: [LobSanSh2026, Theorem 5.7]의 주장을 바로잡으며, 해당 구성 대수가 단위적이지는 않지만 좌단위(left unit) 원소를 가지며 Petit 대수와 동형임을 입증한다.
• MRD 코드 기준:
  • 정리 4.1: 구성된 코드 $C_{i_0, n, m, l}$이 최소 거리 $k - l + 1$을 갖는 MRD 코드이기 위한 필요충분조건을 제공한다. 이 조건은 $P_{i_0, l}$이 $f$와 유사한 $l$개의 기약 인수를 가진 차수 $lm$의 다항식을 포함하지 않아야 함을 요구한다.
  • 정리 4.2: 비동형 $\rho$에 대해 기존의 결과를 일반화하여, 코드가 MRD가 되기 위한 노름 기반의 충분조건을 제공한다.
• 불변량 및 핵(Nuclei):
  • 섹션 6: 이 대수 및 코드들에 대한 좌측, 중측, 우측 핵(left, middle, right nuclei)과 중심화 부분 집합(centralizer) 및 중심(center)을 계산한다.
  • 정리 6.2 & 6.7: 유한 체의 경우, $\rho$와 $\sigma$의 거듭제곱의 합성의 고정 체(fixed fields)를 통해 핵에 대한 명시적인 설명을 도출한다. 이는 $\rho$를 비동형 선형 사상으로 선택함으로써 고전적 구성과는 다른 아이디얼라이저(idealizer)를 갖는 "새로운" 코드를 얻을 수 있음을 강조한다.

의의 및 주장
본 논문은 최근 및 고전적 구성들을 포괄하는 통합 프레임워크를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 범위의 확장: $\rho$가 동형 사수여야 한다는 요구를 완화하고 $i_0$를 가변적으로 설정함으로써, 본 프레임워크는 훨씬 더 넓은 범위의 잠재적 구성을 포함한다.
2. 동형 클래스의 명확화: 새로운 구성과 기존 구성 사이의 관계를 명확히 하여, 일부 "새로운" 대수들이 실제로는 알려진 Petit 대수와 동형임을 보여주는 동시에, 진정으로 새로운 동형 클래스(따라서 새로운 MRD 코드)가 나타날 수 있는 특정 조건을 식별한다.
3. 문헌 수정: 특정 대수의 단위성에 관한 기존 문헌의 주장을 바로잡는다.
4. 계산 가능성: 무한 체에 대한 기준은 추상적이지만, 유한 체의 경우 계수와 노름의 유한한 검사를 포함하므로 계산이 용이함을 언급한다. 다만, 큰 매개변수에 대한 명시적 계산에는 컴퓨터 대수 시스템이 필요하다.

저자는 설정이 더 일반적임에도 불구하고, 나눗셈 성질이나 MRD 성질을 검증하기 위한 계산 노력은 이전 방식과 비교할 만한 수준이며, 본 프레임워크가 스큐 다항식 기반의 나눗셈 대수 및 코드 이론을 성공적으로 일반화했음을 결론짓는다.