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

1. 問題設定と背景

本論文は、実数および複素数行列に関するシェーンベルグ（Schoenberg, 1942）の著名な結果の代数的な類似物である、**成分ごとの正値性保存写像（entrywise positivity preservers）**の有限体上での分類に取り組んでいる。古典的な設定において、シェーンベルグの定理は、任意の次元の行列に対して正定値性を保存する関数 $f: \mathbb{R} \to \mathbb{R}$ が絶対単調関数（非負の係数を持つ冪級数）であることを特徴付けている。

$\mathbb{R}$ および $\mathbb{C}$ 上の固定された次元の行列に対する保存写像については、かなりの進展が見られるものの、問題は依然として大部分が未解決のままである。本論文は、この設定を有限体 $\mathbb{F}_q$ へと移行させる。著者らは、対称行列 $A \in M_n(\mathbb{F}_q)$ が正定値であるとは、すべての主座小行列式が $\mathbb{F}_q$ の非ゼロ平方元（$\mathbb{F}_q^+$と表記）であることであると定義する。中心となる問題は、任意の正定値行列 $A$ に対して、成分変換された行列 $f[A] = (f(a_{ij}))$ も正定値となるような関数 $f: \mathbb{F}_q \to \mathbb{F}_q$ を特徴付けることである。

著者らは、標準的な正定値性の定義（例：二次形式や固有値によるもの）は有限体の上では有用な概念を与えないことを指摘しており、Cooper, Hanna, Whitlatch によって確立された、主座小行列式に基づく定義を採用している。

2. 手法

実数や複素数の保存写像に関する先行研究が解析的手法に大きく依存しているのに対し、本論文は代数的、組合せ論的、および数論的な議論を用いている。その手法は、有限体 $\mathbb{F}_q$ の標数と性質に基づいた3つの異なるケースに構造化されている：

1. 偶数標数 ($q = 2^k$): この場合、すべての非ゼロ元は平方元である。問題は、非特異性を保存する変換を特徴付けることに帰着する。著者らは、置換多項式と単項式写像の性質を利用している。
2. 奇数標数かつ $q \equiv 3 \pmod 4$: この場合、$-1$は平方元ではない。著者らは、**二次指標**$\eta$ と、差の二次指標を保存する関数に関するカールッツ（Carlitz）の定理の性質を活用している。間接的な代数的議論と指標和の評価（ヴェイルの不等式）を用いて、保存写像の全単射性と特定の構造的性質を確立している。
3. 奇数標数かつ $q \equiv 1 \pmod 4$: ここでは $-1$は平方元である。このケースは著しく困難である。著者らは、頂点を$\mathbb{F}_q$ の元とし、辺を差が平方元である要素間で結ぶパーレイ・グラフ（Paley graph） $P(q)$ の構造を利用している。
   • 正値性保存写像を、パーレイ・グラフおよびその部分グラフの自己同型へと結びつけている。
   • 平方次数のパーレイ・グラフにおけるエルデシュ・コー・ラド（Erdős-Ko-Rado, EKR）定理を用いて、最大クリークを分析している。
   • $q \equiv 3 \pmod 4$ の場合の冪関数を分析するために、二項係数の素数に対する**リュカの定理（Lucas' Theorem）**を適用している。

3. 主な貢献と結果

本論文は、$n \ge 3$ における正値性保存写像の完全な特徴付け、および $n=2$ における準完全な特徴付けを提供している。

主定理

$f: \mathbb{F}_q \to \mathbb{F}_q$ とする。

• 定理 A (偶数標数, $q=2^k$):

  • $n \ge 3$ のとき、$f$ が $M_n(\mathbb{F}_q)$ 上の正値を保存するための必要十分条件は、$f$ が体の自己同型の非ゼロ倍であることである（すなわち、$f(x) = c x^{2^\ell}$）。
  • $n=2$ のとき、$f$ が正値を保存するための必要十分条件は、$f$ が全単射な単項式であることである（$f(x) = cx^n$ かつ $\gcd(n, q-1)=1$）。

• 定理 B (奇数標数, $q \equiv 3 \pmod 4$):

  • $n \ge 2$ のとき、$f$ が正値を保存するための必要十分条件は、$f(0)=0$ かつ全ての $a, b$ に対して $\eta(f(a)-f(b)) = \eta(a-b)$ であることである。
  • これは、$f$ が体の自己同型の正の倍数であること（$f(x) = c x^{p^\ell}$ ただし $c \in \mathbb{F}_q^+$）と同値である。

• 定理 C (奇数標数, $q \equiv 1 \pmod 4$):

  • $n \ge 3$ のとき、特徴付けは定理 B と同一である：$f$ は体の自己同型の正の倍数でなければならない。
  • $n=2$ のとき、特徴付けは $q \equiv 1 \pmod 4$ かつ $q$ が完全平方数ではない場合を除いて、すべての $q$ に対して成立する。
  • $q = r^2$（完全平方数）の場合、$n=2$ のケースも体の自己同型の正の倍数として完全に特徴付けられる。これは、平方次数のパーレイ・グラフにおけるクリークの特定の構造に依拠している。

• 定理 D (符号保存写像):

  • 本論文は、符号保存写像（正定値行列を正定値へ、非正定値行列を非正定値へと写す関数）についても特徴付けている。
  • $n \ge 3$ では、これらはまさに体の自己同型の正の倍数である。
  • $n=2$ では、全単射な単項式（偶数 $q$）または体の自己同型の正の倍数（奇数 $q$）である。

系 1.4

主要な結果の驚くべき帰結として、固定された $n \ge 3$ に対して、$M_n(\mathbb{F}_q)$ 上の正値性保存写像は、正確に $\mathbb{F}_q$ の体の自己同型の正の倍数である。これは、そのような関数が任意の行列のすべての小行列式の「符号」（二次指標）を保存することを意味している。

4. 意義と主張

著者らは、彼らの研究が有限体におけるシェーンベルグの定理の代数的なバージョンを解決したと主張している。その意義は以下の点にある：

1. 固定次元における完全性: 実数や複素数の固定次元の問題が大部分未解決であるのに対し、著者らは有限体上の $n \ge 3$ についての完全な分類を提供している。
2. 斬新な結合: 証明は、以下の間の新たなつながりを明らかにしている：
   • 正値性保存写像と体の自己同型。
   • 正値性保存写像とパーレイ・グラフの自己同型。
   • パーレイ・グラフのクリークの構造（特に平方次数のための EKR 定理の使用）。
3. 次元への感受性: 結果は、$n=2$ と $n \ge 3$ の間の顕著な違いを浮き彫りにしている。$n \ge 3$ では、保存写像は（スカラー倍を除いて）体の自己同型であることを強制するが、$n=2$ のケース（偶数標数）では、より広いクラスの全単射な単項式が許容される。
4. 未解決問題: 著者らは、$q \equiv 1 \pmod 4$ かつ $q$ が平方数ではない場合の $n=2$ に関しては、依然として未解決であることを明示している。彼らは、この特定のケースにおけるパーレイ・グラフのクリーク数を推定することが極めて困難であり、それが現在の彼らの手法を妨げていると述べている。彼らは、この未解決のケースにおいて、$\mathbb{F}_q^+$ 上の単射性が必要条件であるかという問いを投げかけている。

本論文は、焦点は正定値性に置いているものの、有限体における半正定値性に関する類似の問題は、標準的な半定値性の概念が有限体に直接翻訳されないため、今後の調査における未解決領域として残されていると述べて締めくくっている。