Positivity preservers over finite fields II

技術的要約：有限体上の正値性保存写像 II

問題提起
本論文は、有限体 $\mathbb{F}_q$ 上の $n \times n$ 行列の空間 $M_n(\mathbb{F}_q)$ における成分ごとの正値性保存写像（entrywise positivity preservers）の分類を扱う。行列 $A \in M_n(\mathbb{F}_q)$ は、対称行列であり、かつすべての主小行列式が $\mathbb{F}_q$ の非ゼロ平方元（$\mathbb{F}_q^+$ の要素）であるとき、「正定値」であると定義される。関数 $f: \mathbb{F}_q \to \mathbb{F}_q$ は、行列 $A$ が正定値であるとき常に $f[A] = (f(a_{ij}))$ も正定値となるならば、成分ごとの正値性保存写像である。

著者らによる先行研究（J. Algebra, 2025）では、すべての次元 $n \ge 3$、および $n=2$ の場合で $q$ が偶数、$q \equiv 3 \pmod 4$、または $q$ が奇数の平方数の場合はすべて分類に成功していたが、ある特定のケースが未解決のまま残されていた：

• 未解決のケース： $n = 2$、$q \equiv 1 \pmod 4$、かつ $q$ が完全平方数ではない場合。

先行研究において、一つの戦略（[5] の Proposition 5.8）が示されており、もし $f$ が $q \equiv 1 \pmod 4$ のもとで $M_2(\mathbb{F}_q)$ 上の正値を保存し、かつ $f(1)=1$ と正規化されているならば、$f$ の非ゼロ平方集合 $\mathbb{F}_q^+$ への制限が単射であるという条件の下で、$f$ は冪写像（$f(x) = x^{p^j}$）でなければならないとしていた。欠けていたミッシングリンクは、このような $q$ に対してこの単射性が自動的に成り立つことを証明することであった。

手法
著者らは、任意の正値性保存写像 $f$（$q \equiv 1 \pmod 4$ の場合）が $\mathbb{F}_q^+$ 上で必然的に単射であることを証明することで、この未解決ケースを解決する。証明には、非平方数の $q$ に対して従来の試みを阻んでいたパラグラフグラフ（Paley graphs）の構造的複雑さを回避する、新しいアプローチが用いられている。

1. 冪等簡約（Idempotent Reduction）： 著者らは、関数の反復列（すなわち $f, f^{(2)}, f^{(3)}, \dots$）を検討する。$\mathbb{F}_q$ は有限集合であるため、この列は最終的に周期性を帯びる。彼らは、冪等な正値性保存写像（すなわち $h \circ h = h$ を満たすもの）となる反復 $h = f^{(m)}$ を選択する。
2. 二次レジェンドル記号による矛盾の導出： $h$ が $\mathbb{F}_q^+$ 上で単射ではないと仮定すると、異なる $a, b \in \mathbb{F}_q^+$ が存在して $h(a) = h(b) = s$ となる。
   • 著者らは、二次レジェンドル記号の既知の性質（Lemma 2.1）を利用する：異なる $a, b \in \mathbb{F}_q^+$ に対して、 $a-z \in \mathbb{F}_q^+$ かつ $b-z \in \mathbb{F}_q^-$ となるような非平方元 $z \in \mathbb{F}_q^-$ が存在する。
   • これを用いて、$a, b, z$ を含む2つの特定の正定値行列 $A_1$ および $A_2$ を構成する。
   • これらの冪等写像 $h$ をこれらの行列に適用することで、$v = h(z)$ に関する制約を導き出す。具体的には、正定値性の保存により、$v$ は平方元（$v \in \mathbb{F}_q^+$）でなければならない。
   • 次に、$v$ と $z$ を用いて第3の行列 $C$ を構成する。$v-z$ が平方元であるか非平方元であるかに応じて、$C$ は正定値であることが示される。
   • しかし、$C$ に $h$ を適用すると、特異行列（行列式がゼロとなる行列）が得られ、これが正値性保存写像の定義に矛盾する。
3. 一様性： この証明はすべての $q \equiv 1 \pmod 4$ に対して一様に機能し、平方数の場合に必要とされる、非平方数のオーダーでは利用できない部分体構造に依存する「クリーク構造」の議論を回避している。

主要な貢献と結果
主な貢献は、定理 1.1 の証明であり、これは $q \equiv 1 \pmod 4$ において、正定値性を保存する任意の関数 $f$ は $\mathbb{F}_q^+$ への単射な写像に制限されることを確立している。

この結果は、先行研究 [5] における分類と組み合わされ、あらゆる有限体および固定された次元 $n$ に対する成分ごとの正値性保存写像の**完全な分類（定理 1.2）**へとつながる：

• $n=1$ の場合： $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$。
• $n=2, q$ が偶数の場合： $f$ は、$\gcd(m, q-1)=1$ を満たす全単射な単項式 $f(x) = cx^m$ である。
• $n \ge 3, q$ が偶数の場合： $f(x) = cx^{2^j}$ である。
• $n \ge 2, q$ が奇数の場合： $f(x) = cx^{p^j}$ である（ここで $c \in \mathbb{F}_q^+$ かつ $0 \le j \le k-1$、ただし $q=p^k$）。

注目すべき点として、著者らは、奇数標数の場合、次元 $n=2$ の分類はすべての次元 $n \ge 3$ の場合の分類と同一であると指摘している。

意義と主張
本論文は、有限体上の成分ごとの正値性保存写像の分類における最後の残されたケースを解決したと主張している。これらの写像が平方集合上での自動的な単射性を有することを証明することで、著者らはすべての次元と体の標数にわたって理論を統一した。

本研究の意義は以下の通りである：

1. 分類の完了： 部分的に解決されていた問題に対し、決定的な回答を与えた。これまで、特定の非平方数の $n=2$ のケースのみが未解決となっていた。
2. 手法の革新性： 「冪等簡約」という手法を導入した。このアプローチは、非平方数のオーダーのパラグラフグラフのクリーク数を分析するという、組合せ論における極めて困難な問題を見事に回避している。
3. 統一性： $n=2$ における正値性保存写像の構造的制約（奇数 $q$ の場合）は、高次元の場合よりも複雑であるという予想に反し、実際には高次元の場合と同様に単純であることを示した。

著者らは、自らの証明が、平方数の場合に利用可能な特殊な部分体構造に依存していないことを明言しており、その結果がすべての $q \equiv 1 \pmod 4$ に対して堅牢であることを示している。