1. 問題設定と背景

• ランク計量符号と半体:
  ランク計量符号は、有限体上の行列空間において、行列の差のランクを距離として定義する符号です。特に、最小距離 $d$ が行列のサイズ $m=n$ に等しい場合（MRD 符号）、その符号集合は「半体（semifield）」の構造と密接に関連しています。半体とは、加法と乗法を持ち、乗法が可換・結合的である必要はないが、零因子を持たない有限次元代数です。
• 既存の構築法と課題:
  Sheekey [She20] は、歪多項式環（twisted polynomial ring）の商環を用いて、新しい半体符号の無限族を構築しました。しかし、この構成は直接的な計算に依存しており、より統一的な代数的枠組みの中で理解される余地がありました。また、Drinfeld 加群は楕円曲線と形式的な類似性を持ちますが、その半線形性（semilinear nature）のため暗号応用には適さないと考えられてきました。しかし、この半線形構造こそが、ランク計量符号の構築には理想的であるという洞察が本論文の起点です。
• 目的:
  Drinfeld 加群の理論を用いて、ランク計量符号（特に半体符号）を統一的に構築し、Sheekey の構成を自然に包含する枠組みを提供すること、および新たな無限族の構築を行うことです。

2. 手法と構成原理

著者らは、Drinfeld 加群のねじれ部分加群（torsion submodules）上の作用素の線形部分空間から符号を構築する手法を提案しています。

• 基本的な構成（Recipe）:

  1. Drinfeld 加群 $\phi$ の選択: 階数 $r$ の Drinfeld 加群 $\phi$ を定義域 $k$ 上で選択します。
  2. 部分空間 $M$ の選択: 加群 $\phi$ の自己準同型環 $\text{End}(\phi)$ 内の $F_q$-線形部分空間 $M$ を選びます。
  3. 素イデアル $\mathfrak{p}$ の選択: $\phi$ の $A$-特性と異なる素イデアル $\mathfrak{p} \subset A$ を選びます。
  4. 可逆性の条件: 任意の非ゼロ元 $u \in M$ が、ねじれ部分加群 $\phi[\mathfrak{p}]$ 上で可逆な線形変換として作用することを保証します。
  5. 符号の生成: 条件が満たされ、かつ $\dim_{F_q} M = r \cdot \deg(\mathfrak{p})$ であるとき、写像 $\iota_\mathfrak{p}: M \hookrightarrow \text{End}_{F_\mathfrak{p}}(\phi[\mathfrak{p}]) \cong \text{Mat}_r(F_\mathfrak{p})$ の像が半体符号となります。

• 技術的ツール:

  • 双対性: $u \in M$ が $\phi$ の自己準同型であることと、$\phi_T$ が $\psi$（$\psi_T = u$ で定義される Drinfeld 加群）の自己準同型であることとの双対性を利用します。これにより、可逆性の問題が、$\psi$ の Frobenius 自己準同型の特性多項式に関する問題に変換されます。
  • Anderson 加群（Motive）: Drinfeld 加群の Anderson 加群 $M_\phi$ を用いて、自己準同型の特性多項式を行列式として計算します。
  • Chebotarev の密度定理: 特定の条件（多項式の既約性や定数項の生成性）を満たす素イデアル $\mathfrak{p}$ が常に存在することを示すために使用します。

3. 主要な貢献と結果

3.1. Sheekey 構成の再解釈と証明の簡略化

• Sheekey の構成 [She20] は、Drinfeld 加群 $\phi_T = \tau^n$ と、特定の係数条件（$u_s = \eta u_0$）を満たす多項式空間 $M$ を用いるものでした。
• 著者らは、この構成を Drinfeld 加群の枠組み内で再解釈し、Sheekey の主要定理の証明を、特性多項式と双対性を用いた概念的な短い証明に置き換えました。
• このアプローチにより、Sheekey 構成が「$\eta=0$ の場合の単純な例（Example 1.2）」の一般化であることが明確になりました。

3.2. 新たな半体符号の無限族の構築

• 従来の構成（Sheekey, TZ19, LSS25 など）はすべて $\phi_T = \tau^n$ という最大限の自己準同型環を持つ加群を用いていましたが、著者らはより小さな自己準同型環を持つ Drinfeld 加群を用いる新しい構成を提案しました。
• 構成の詳細:
  • $n = \text{lcm}(\ell, s)$ とし、$\phi_T \in F_{q^\ell}\{\tau^\ell\}$ となるように $\phi$ を定義します。
  • 部分空間 $M$ として、$F_{q^\ell}$ 係数の $\tau^s$ の多項式空間を選びます。
  • これにより、$k(\tau)$ の分割部分代数（division subalgebras）の構造を利用した符号が得られます。
• 存在証明:
  • Frobenius 自己準同型 $\pi = \tau^n$ の最小多項式 $m_\phi(x)$ に関する技術的仮定（$\mathfrak{p}$ での既約性、定数項の生成性など）を満たす $\phi$ と $\mathfrak{p}$ が常に存在することを、Chebotarev の密度定理を用いて証明しました。
  • これにより、パラメータの適切な選択により、既知の族とは異なる新しい半体符号の無限族が得られることが示されました。

3.3. 核パラメータ（Nuclear Parameters）の解析

• 構築された符号の同値不変量である「核パラメータ」（左・右イデライザー、中心化子、中心の次元）を計算しました。
• 特定の条件下（例：$s < \ell$ など）では、期待されるパラメータ $(rd\ell, \ell, \ell, rdg, g)$ が得られることを示し、これが既知の符号族と区別できる可能性を指摘しました。
• 具体的な数値例（$q=3, \ell=2, s=3$）を Magma 計算機を用いて検証し、パラメータ $(4, 2, 2, 2, 1)$ を持つ符号が得られることを示しました。

4. 意義と将来の展望

• 理論的統合:
  本研究は、Drinfeld 加群の豊富な理論（Tate 加群、Anderson 加群、Frobenius 作用素の性質など）を符号理論へ導入する道を開きました。これにより、ランク計量符号の構築が、単なる行列計算や歪多項式環の代数的操作を超え、数論的対象の深い構造に基づいていることが示されました。
• 新たな符号族の発見:
  既存の構成法では得られなかったパラメータ領域での半体符号の存在が示唆されており、特に「真に新しい半体（genuinely new semifields）」の発見につながる可能性があります。
• 暗号への応用可能性:
  Drinfeld 加群自体は暗号には適さないと言われてきましたが、その構造を利用した「符号」の構築は、ネットワーク符号化や分散データストレージ、そして後量子暗号（ランク計量符号に基づく暗号）において重要な応用が期待されます。
• 手法の一般化:
  本論文で提示された「可逆性の条件を特性多項式の問題に変換する」という手法は、他の MRD 符号の構成や、より一般的な代数構造からの符号構築にも応用可能な汎用性を持っています。

結論

この論文は、Drinfeld 加群の理論を駆使して、ランク計量符号（半体符号）の新しい構築枠組みを確立した点で画期的です。Sheekey の構成を自然に包含・一般化し、さらにそれらを超えた新しい無限族の存在を証明しました。これは、数論と符号理論の交差点における重要な進展であり、今後の符号設計や半体の分類研究に大きな影響を与えると考えられます。