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

技術要約：除法代数および線形最大ランク距離符号の構成のための歪多項式フレームワーク

問題設定
本論文は、体上の非単位除法代数および線形最大ランク距離（MRD）行列符号の構成に取り組んでいる。Petit (1966)、Sheekey (2016, 2019)、および Lobillo, Santonastaso, and Sheekey (2026) による先行研究は、スキュー多項式環 $R = K[t; \sigma]$ を用いてこれらの構造を生成することに成功してきたが、これらの構成は特定のパラメータに制限されることが多かった。具体的には、従来の構成では、積の定義における線形写像 $\rho$ を環自己同型（具体的にはガロア自己同型）に限定し、インデックス・パラメータ $i_0$ を 0 に固定することが一般的であった。本論文は、これらのフレームワークを一般化し、より広範な写像およびインデックスを用いることで、新たな除法代数および MRD 符号が得られるかどうかを判断し、これらの一般化された構造が除法特性を満たすか、あるいは最大ランク距離を達成するための厳密な基準を確立することを目的としている。

手法
著者は、スキュー多項式環 $R = K[t; \sigma]$（ここで $K/F$ は次数 $n$ の巡回ガロア体拡大であり、$\sigma$ によって生成されるガロア群を持つ）に基づく統一的なフレームワークを採用している。

1. 代数の構成:
   核となる構成は、スキュー多項式環 $R = K[t; \sigma]$ におけるベクトル空間 $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$ の最小中心左倍数 $h$（$h$ が $k$ 個の既約因子を持つ）と整数 $l$ ($1 < l < k$) を考慮することで、次数が最大 $lm$である多項式の集合$P_{i_0}$を定義する。この集合の剰余環$R/Rh$における像が、行列代数$M_k(B)$における符号$C_{i_0, n, m, l}$を定義する。ここで$B$ は関連する Petit 代数の右核である。

3. 解析ツール:
   分析は、類似なスキュー多項式の理論に大きく依存している。2つの多項式は、左 $R$-加群 $R/Rf$と$R/Rg$が同型である場合に「類似」しているとされる。著者は、$f$ に類似な多項式の集合とその係数を利用して、代数的および符号化の特性に関する必要十分条件を導出している。

主要な貢献および結果

• 構成の一般化:
  本論文は、既存のフレームワークが、$i_0 = 0$ かつ $\rho$ が自己同型である場合の提案されたフレームワークの特殊なケースであることを示している。提案されたフレームワークは、任意の全単射線形写像 $\rho$ および任意のインデックス $i_0$ を許容する。
• 除法代数のための基準:
  • 定理 3.2: $S_f(K, i_0, \nu, \rho)$ が $F_0$ 上の除法代数であるための必要十分条件は、多項式 $g(t) + \nu\rho(g_{i_0})t^m$ の形をした集合 $P_{i_0}$ が $f$ に類似する多項式を含まないことである。
  • 定理 3.5 & 3.8: $f$ に類似する多項式の係数に基づく具体的な基準を提供する。具体的には、すべての単項多項式 $g$ が $f$ に類似する場合、$\nu\rho(g_{i_0}) \neq 1$ （$g_{i_0} \neq 0$ のとき）が成立するか、あるいは $g_{i_0}$ と $\nu$ に関する特定のノルム条件が満たされない場合に、その代数は除法代数となる。
  • 系 3.7 および 3.9: Sheekey の従来のツイスト巡回半体（twisted cyclic semifields）の結果を特殊なケースとして回収し、それらが前半体（pre-semifields）となるための代替条件を提供する。
• 同型性と単位性:
  • 定理 5.4: 非単位代数が、単位的な Petit 除法代数と同型（isotopic）であることを示す。これは、以前の構成（特に [LobSanSh2026, Theorem 5.4]）が、既知の Petit 代数と同型であることを意味する。
  • 定理 5.7: [LobSanSh2026, Theorem 5.7] の主張を修正し、そこで構成された代数は非単位的であるが左単位元を持ち、かつ 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: これらの代数および符号の左核、中核、右核、ならびに中心化群および中心を計算する。
  • 定理 6.2 & 6.7: 有限体の場合、$\rho$ と $\sigma$ のべき乗の合成の固定体を用いた、核の明示的な記述を導出する。これは、$\rho$ を非自己同型的な線形写像として選択することで、古典的な構成とは異なるイデアル化（idealizers）を持つ「新しい」コードが得られる可能性があることを強調している。

意義および主張
本論文は、除法代数および MRD 符号の最近および古典的な構成を包含する統一的フレームワークを提供すると主張している。その主な意義は以下の通りである：

1. 範囲の拡大: $\rho$ が自己同型であるという要件を緩和し、$i_0$ を可変にすることで、提案されたフレームワークは大幅に広いクラスの潜在的な構成を網羅している。
2. 同型類の明確化: 新しい構成と既存の構成との関係を明確にし、一部の「新しい」代数が既知の Petit 代数と同型であることを示す一方で、真に新しい同型類（したがって新しい MRD 符号）が生じるための特定の条件を特定している。
3. 文献の修正: 先行文献における特定の代数の単位性に関する主張を修正している。
4. 計算の実現可能性: 無限体に対する基準は抽象的であるが、有限体については、係数とノルムの有限なチェックを含むため、計算可能であることを述べている。ただし、大きなパラメータに対する明示的な計算には計算代数システムが必要である。

著者は、セットアップ自体はより一般的であるが、除法特性や MRD 特性を検証するための計算量は従来のメソッドと同等であり、本フレームワークがスキュー多項式に基づく除法代数と符号の理論をうまく一般化していると結論付けている。