Matrices over Finite Fields of Characteristic 2 as Sums of Diagonalizable and Square-Zero Matrices

以下は、Peter Danchev、Esther García、Miguel Gómez Lozano による論文「MATRICES OVER FINITE FIELDS OF CHARACTERISTIC 2 AS SUMS OF DIAGONALIZABLE AND SQUARE-ZERO MATRICES（特性 2 の有限体上の行列を対角化可能行列と平方零行列の和として）」の技術的サマリーです。

1. 研究の背景と問題設定

本論文は、有限体上の正方行列を、**対角化可能行列（diagonalizable matrix）と平方零行列（square-zero matrix、$N^2=0$）**の和として分解できるかという問題を取り扱っています。

• 背景: 以前の研究（Šter [9], Shitov [8] など）により、有限体 $\mathbb{F}_2$（要素数 2 の体）上の行列は、一般に「冪等行列（$E^2=E$）＋ 冪零行列（$N^3=0$）」として分解できないことが示されていました。特に、$\mathbb{F}_2$ 上の特定の $4\times4$ 行列は、冪等行列と指数 3 以下の冪零行列の和では表現できないことが判明しています。
• Breaz の問い: Breaz [1] は、要素数が奇数 $q$ の有限体では、すべての行列が「$q$-冪等行列（$E^q=E$）＋ 冪零行列（$N^3=0$）」に分解できるか、あるいはより強く「$q$-冪等行列＋ 平方零行列（$N^2=0$）」に分解できるかを問いました。
• 本研究の焦点: 特性 2 の有限体（$\mathbb{F}_{2^m}$）における分解可能性、特に要素数が 4 以上（$q \ge 4$）の場合と、例外である $\mathbb{F}_2$ の場合を明確にすることです。

2. 主要な結果（結論）

論文は以下の 2 つの主要な結論を導き出しています。

A. 要素数が 4 以上の特性 2 有限体（$\#F \ge 4$）の場合

定理 3.1: 特性 2 で要素数が 4 以上の有限体 $F$ 上の任意の正方行列 $A$ は、ある対角化可能行列 $D$ と平方零行列 $N$（$N^2=0$）を用いて、
$$A = D + N$$
と分解可能です。

• 帰結（Corollary 3.2）: 有限体 $F$ の要素数が $2^m$ ($m \ge 2$) の場合、任意の行列 $A$ は、$2^m$-冪等行列（$D^{2^m}=D$）と平方零行列 $N$ の和として表せます。
• 意義: これにより、Breaz の問いに対する「$q$-冪等行列＋平方零行列」という分解が、特性 2 で $q \ge 4$ のすべての有限体で肯定されたことになります。

B. 要素数が 2 の場合（$\mathbb{F}_2$）

$\mathbb{F}_2$ 上では、対角化可能行列＝冪等行列であるため、前述の「対角化可能＋平方零」への分解は一般には成立しません（Šter や Shitov の反例による）。しかし、本論文はより緩やかな条件で分解可能であることを証明しました。

定理 3.3: $\mathbb{F}_2$ 上の任意の正方行列 $A$ は、4-冪等行列（$D^4=D$）と平方零行列 $N$（$N^2=0$）の和として分解可能です。
$$A = D + N, \quad D^4 = D, \quad N^2 = 0$$

• 意義: これは、$\mathbb{F}_2$ 上の行列が「冪等行列＋冪零行列（指数 3）」では分解できないという既存の知見に対し、「冪指数を 4 に許容すれば、平方零行列との和で常に分解可能である」という肯定的な回答を提供しています。

3. 手法と証明の概要

証明は、行列の**有理標準形（Rational Canonical Form）**に基づいて構成されています。任意の行列は、その不変因子（invariant factors）の同伴行列（companion matrices）の直和に相似変換されます。したがって、問題は「任意の次数の同伴行列を、平方零行列と対角化可能行列（または冪等行列）の和に分解できるか」に帰着されます。

著者は、行列の次数 $n$ と跡（Trace）の値に応じて、以下のケースを網羅的に処理しました。

1. 非退化行列（Non-derogative matrices）の分解:

   • 次数 2, 3, 4: 具体的な構成行列（$D_2, D_3, D_4$ など）を定義し、それらが対角化可能であることを示しつつ、残りを平方零行列 $N$ として表現する構成を行いました（Proposition 2.2 - 2.5）。
   • 次数 $4k, 4k+1, 4k+2, 4k+3$ ($k \ge 1$): 帰納的な構成法を用いて、より高次の行列を、次数 2, 3, 4 のブロックの直和と、それらを繋ぐ特定の構造を持つ平方零行列の和として表現しました（Proposition 2.7, 2.9, 2.11, 2.13）。
   • 対角化可能性の保証: 各構成において、対角化可能部分 $D$ の固有値を明確に指定し（例：$\{0, 1, a, a+1\}$ など）、それらが互いに異なり、かつ基底を形成することを示すことで、$D$ が対角化可能であることを保証しました。

2. $\mathbb{F}_2$ への適用:

   • $\mathbb{F}_2$ 自体では必要な固有値（例：$a, a+1$ で $a \notin \mathbb{F}_2$）が存在しないため、拡大体 $\mathbb{F}_4$ 上で分解を構成し、その結果が元の $\mathbb{F}_2$ 行列の分解として有効であることを示しました。
   • この際、$\mathbb{F}_4$ 上の対角化可能行列 $D$ は、$\mathbb{F}_4$ 上で固有値 $\{0, 1, a, a+1\}$（ここで $a^2+a+1=0$）を持つため、$D^4=D$ を満たすことが確認されました。

4. 追加的な知見（Proposition 3.4）

本論文では、分解における冪等性の指数を、行列の特性多項式の係数や部分体を用いてさらに最適化できる可能性についても議論しています。

• 行列 $A$ の次数 $n$ や跡、特性多項式の係数が特定の部分体 $K$ に属する場合、分解される対角化可能部分 $D$ の冪指数を $K$ の位数 $s$（$D^s=D$）にまで下げられることを示しています。
• 特に $n=2$ で跡が 0 の場合、$D^3=D$ となる分解が可能であることが示されました。

5. 学術的意義

• 問題の完全解決: 特性 2 の有限体における「対角化可能（または冪等）＋ 平方零」分解の問題について、$\mathbb{F}_2$ と $\mathbb{F}_2$ 以外のすべての有限体に対して完全に解決しました。
• 既存研究の補完: $\mathbb{F}_2$ における分解不可能性の反例（Šter, Shitov）に対し、冪指数を 4 に緩和することで分解可能になるという新たな肯定的結果を提供しました。
• 構成的可能性: 単なる存在証明ではなく、具体的な行列の構成（ブロック分解と平方零行列の明示的な定義）を提供しており、計算論的な観点からも価値があります。

要約すると、この論文は特性 2 の有限体上の行列論における重要な未解決問題を解決し、行列の構造分解に関する理論的基盤を大幅に強化したものです。