Positivity preservers over finite fields II

Sintesi Tecnica: Preservatori di Positività su Campi Finiti II

Enunciato del Problema
Questo articolo affronta la classificazione dei preservatori di positività elemento per elemento sullo spazio delle matrici $n \times n$ su un campo finito $\mathbb{F}_q$, denotato con $M_n(\mathbb{F}_q)$. Una matrice $A \in M_n(\mathbb{F}_q)$ è definita definita positiva se è simmetrica e tutti i suoi minori principali primi sono quadrati non nulli in $\mathbb{F}_q$ (elementi di $\mathbb{F}_q^+$). Una funzione $f: \mathbb{F}_q \to \mathbb{F}_q$ è un preservatore di positività elemento per elemento se la matrice $f[A] = (f(a_{ij}))$ è definita positiva ogni volta che $A$ lo è.

Mentre il lavoro precedente degli autori (pubblicato in J. Algebra, 2025) aveva classificato con successo questi preservatori per tutte le dimensioni $n \ge 3$ e per il caso $n=2$ quando $q$ è pari, $q \equiv 3 \pmod 4$, o $q$ è un quadrato dispari, un caso specifico rimaneva irrisolto:

• Il Caso Aperto: $n = 2$, $q \equiv 1 \pmod 4$, e $q$ non è un quadrato perfetto.

Nel lavoro precedente, è stata isolata una strategia (Proposizione 5.8 in [5]) suggerendo che se $f$ preserva la positività su $M_2(\mathbb{F}_q)$ con $q \equiv 1 \pmod 4$, e se $f$ è normalizzata tale che $f(1)=1$, allora $f$ deve essere una mappa di potenza ($f(x) = x^{p^j}$) a condizione che la restrizione di $f$ sull'insieme dei quadrati non nulli $\mathbb{F}_q^+$ sia iniettiva. Il tassello mancante era dimostrare che questa iniettività è automatica per tutti tali $q$.

Metodologia
Gli autori risolvono il caso aperto dimostrando che qualsiasi preservatore di positività su $M_2(\mathbb{F}_q)$ (dove $q \equiv 1 \pmod 4$) è necessariamente iniettivo su $\mathbb{F}_q^+$. La prova impiega un approccio innovativo che evita le complessità strutturali dei grafi di Paley che avevano ostacolato i tentativi precedenti per $q$ non quadrato.

1. Riduzione per Idempotenti: Gli autori considerano la sequenza delle iterazioni della funzione $f$ (ovvero $f, f^{(2)}, f^{(3)}, \dots$). Poiché $\mathbb{F}_q$ è finito, questa sequenza diventa eventualmente periodica. Selezionano un'iterazione $h = f^{(m)}$ tale che $h$ sia un preservatore di positività idempotente (ovvero $h \circ h = h$).
2. Contraddizione tramite Caratteri Quadratici: Assumendo che $h$ non sia iniettiva su $\mathbb{F}_q^+$, esistono $a, b \in \mathbb{F}_q^+$ distinti tali che $h(a) = h(b) = s$.
   • Utilizzano una proprietà nota dei caratteri quadratici (Lemma 2.1): per distinti $a, b \in \mathbb{F}_q^+$, esiste un non-quadrato $z \in \mathbb{F}_q^-$ tale che $a-z \in \mathbb{F}_q^+$ e $b-z \in \mathbb{F}_q^-$.
   • Costruiscono due matrici definite positive specifiche, $A_1$ e $A_2$, coinvolgendo $a, b, z$.
   • Applicando la mappa idempotente $h$ a queste matrici, derivano vincoli sul valore $v = h(z)$. Nello specifico, la preservazione della definitività positiva forza $v$ a essere un quadrato ($v \in \mathbb{F}_q^+$).
   • Costruiscono poi una terza matrice $C$ usando $v$ e $z$. A seconda che $v-z$ sia un quadrato o un non-quadrato, si dimostra che $C$ è definita positiva.
   • Tuttavia, applicando $h$ a $C$, si ottiene una matrice singolare (una matrice con determinante nullo), il che contraddice la definizione di preservatore di positività.
3. Uniformità: Questa prova funziona uniformemente per tutti i $q \equiv 1 \pmod 4$, superando la necessità di argomenti sulla "struttura di clique" utilizzati nel caso quadrato, che si basano su strutture di sottocampi non disponibili per ordini non quadrati.

Contributi Chiave e Risultati
Il contributo primario è la dimostrazione del Teorema 1.1, che stabilisce che per $q \equiv 1 \pmod 4$, qualsiasi funzione $f$ che preserva la definitività positiva si restringe a una mappa iniettiva su $\mathbb{F}_q^+$.

Questo risultato, combinato con la precedente classificazione in [5], porta alla Classificazione Completa (Teorema 1.2) dei preservatori di positività elemento per elemento per ogni campo finito e per ogni dimensione $n$ fissata:

• Caso $n=1$: $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$.
• Caso $n=2$, $q$ pari: $f$ è un monomio biettivo $f(x) = cx^m$ dove $\gcd(m, q-1)=1$.
• Caso $n \ge 3$, $q$ pari: $f(x) = cx^{2^j}$.
• Caso $n \ge 2$, $q$ dispari: $f(x) = cx^{p^j}$ per qualche $c \in \mathbb{F}_q^+$ e $0 \le j \le k-1$ (dove $q=p^k$).

Notevolmente, gli autori osservano che in caratteristica dispari, la classificazione per la dimensione $n=2$ è identica alla classificazione per tutte le dimensioni $n \ge 3$.

Significato e Rivendicazioni
L'articolo sostiene di aver risolto l'ultimo caso rimanente nella classificazione dei preservatori di positività elemento per elemento su campi finiti. Dimostrando l'automatica iniettività di queste mappe sull'insieme dei quadrati, gli autori unificano la teoria attraverso tutte le dimensioni e le caratteristiche del campo.

La significatività del lavoro risiede in:

1. Completamento della Classificazione: Fornisce una risposta definitiva a un problema che era stato parzialmente risolto, lasciando solo il caso specifico non-quadrato, $n=2$ aperto.
2. Innovazione Metodologica: La prova introduce una tecnica di "riduzione per idempotenti". Questo approccio aggira con successo la difficoltà di analizzare i numeri di clique dei grafi di Paley di ordine non quadrato, un problema notoriamente aperto nella combinatoria.
3. Unificazione: Dimostra che i vincoli strutturali sui preservatori di positività in dimensione $n=2$ (per $q$ dispari) non sono più complessi di quelli in dimensioni superiori, contrariamente a quanto ci si potrebbe aspettare data la specifica difficoltà del caso $n=2$.

Gli autori dichiarano esplicitamente che la loro prova non si basa sulla speciale struttura di sottocampo disponibile quando $q$ è un quadrato, rendendo il risultato robusto per tutti i $q \equiv 1 \pmod 4$.