Positivity preservers over finite fields II

Technische Samenvatting: Positiviteitsbehouders over Eindige Lichamen II

Probleemstelling
Dit artikel behandelt de classificatie van entrywise positiviteitsbehouders op de ruimte van $n \times n$ matrices over een eindig lichaam $\mathbb{F}_q$, aangeduid als $M_n(\mathbb{F}_q)$. Een matrix $A \in M_n(\mathbb{F}_q)$ wordt gedefinieerd als positief definiet als deze symmetrisch is en alle leidende hoofdminoren niet nul kwadraten in $\mathbb{F}_q$ zijn (elementen van $\mathbb{F}_q^+$). Een functie $f: \mathbb{F}_q \to \mathbb{F}_q$ is een entrywise positiviteitsbehorder als de matrix $f[A] = (f(a_{ij}))$ positief definiet is telkens wanneer $A$ dat is.

Hoewel het eerdere werk van de auteurs (gepubliceerd in J. Algebra, 2025) erin geslaagd was deze positiviteitsbehorders te classificeren voor alle dimensies $n \ge 3$ en voor het geval $n=2$ wanneer $q$ even is, $q \equiv 3 \pmod 4$, of $q$ een onheldere vierkante is, bleef één specifieke casus onopgelost:

• De Open Casus: $n = 2$, $q \equiv 1 \pmod 4$, en $q$ is geen perfect kwadraat.

In het eerdere werk werd een strategie geïsoleerd (Propositie 5.8 in [5]) die suggereerde dat indien $f$ positiviteit behoudt op $M_2(\mathbb{F}_q)$ met $q \equiv 1 \pmod 4$, en indien $f$ genormaliseerd is zodanig dat $f(1)=1$, dan moet $f$ een machtsfunctie zijn ($f(x) = x^{p^j}$), mits de restrictie van $f$ op de verzameling van niet-nul kwadraten $\mathbb{F}_q^+$ injectief is. De ontbrekende schakel was het bewijzen dat deze injectiviteit automatisch geldt voor alle dergelijke $q$.

Methodologie
De auteurs lossen de open casus op door te bewijzen dat elke positiviteitsbehorder op $M_2(\mathbb{F}_q)$ (waarbij $q \equiv 1 \pmod 4$) noodzakelijkerwijs injectief is op $\mathbb{F}_q^+$. Het bewijs maakt gebruik van een nieuwe aanpak die de structurele complexiteiten van Paley-grafen vermijdt die eerdere pogingen voor niet-kwadratische $q$ hadden gehinderd.

1. Idempotente Reductie: De auteurs beschouwen de sequentie van iteraties van de functie $f$ (dat wil zeggen, $f, f^{(2)}, f^{(3)}, \dots$). Omdat $\mathbb{F}_q$ eindig is, wordt deze sequentie uiteindelijk periodiek. Ze selecteren een iteratie $h = f^{(m)}$ waarvoor $h$ een idempotente positiviteitsbehorder is (dat wil zeggen, $h \circ h = h$).
2. Tegenspraak via Kwadratische Karakters: Uitgaande van de veronderstelling dat $h$ niet injectief is op $\mathbb{F}_q^+$, bestaan er verschillende $a, b \in \mathbb{F}_q^+$ zodanig dat $h(a) = h(b) = s$.
   • Zij maken gebruik van een bekende eigenschap van kwadratische karakters (Lemma 2.1): voor verschillende $a, b \in \mathbb{F}_q^+$ bestaat er een niet-kwadraat $z \in \mathbb{F}_q^-$ zodanig dat $a-z \in \mathbb{F}_q^+$ en $b-z \in \mathbb{F}_q^-$.
   • Zij construeren twee specifieke positief definiete matrices, $A_1$ en $A_2$, betrokken bij $a, b, z$.
   • Door de idempotente afbeelding $h$ toe te passen op deze matrices, leiden zij beperkingen af voor de waarde $v = h(z)$. Specifiek dwingt het behoud van positieve definitie $v$ om een kwadraat te zijn ($v \in \mathbb{F}_q^+$).
   • Vervolgens construeren zij een derde matrix $C$ met behulp van $v$ en $z$. Afhankelijk van of $v-z$ een kwadraat of een niet-kwadraat is, wordt aangetoond dat $C$ positief definiet is.
   • Echter, het toepassen van $h$ op $C$ levert een singuliere matrix op (een matrix met een determinant gelijk aan nul), wat in tegenspraak is met de definitie van een positiviteitsbehorder.
3. Uniformiteit: Dit bewijs werkt uniform voor alle $q \equiv 1 \pmod 4$, waardoor de noodzaak voor de "clique-structuur" argumenten die gebruikt werden in het kwadratische geval, welke steunen op subveld-structuren die niet beschikbaar zijn voor niet-kwadratische orden, wordt omzeild.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is het bewijs van Stelling 1.1, die vaststelt dat voor $q \equiv 1 \pmod 4$, elke functie $f$ die positiviteit behoudt op $M_2(\mathbb{F}_q)$ zich restrictief gedraagt als een injectieve afbeelding op $\mathbb{F}_q^+$.

Deze resultaat, gecombineerd met de eerdere classificatie in [5], leidt tot de Volledige Classificatie (Stelling 1.2) van entrywise positiviteitsbehorders voor elk eindig lichaam en elke vaste dimensie $n$:

• Geval $n=1$: $f(\mathbb{F}_q^+) \subseteq \mathbb{F}_q^+$.
• Geval $n=2$, $q$ even: $f$ is een bijectieve monomiale functie $f(x) = cx^m$ waarbij $\gcd(m, q-1)=1$.
• Geval $n \ge 3$, $q$ even: $f(x) = cx^{2^j}$.
• Geval $n \ge 2$, $q$ oneven: $f(x) = cx^{p^j}$ voor een bepaalde $c \in \mathbb{F}_q^+$ en $0 \le j \le k-1$ (waarbij $q=p^k$).

Opvallend genoeg observeren de auteurs dat in oneven karakteristiek de classificatie voor dimensie $n=2$ identiek is aan de classificatie voor alle dimensies $n \ge 3$.

Betekenis en Claims
Het artikel claimt de laatste resterende casus in de classificatie van entrywise positiviteitsbehorders over eindige lichamen op te lossen. Door het bewijzen van de automatische injectiviteit van deze afbeeldingen op de verzameling kwadraten, verenigen de auteurs de theorie over alle dimensies en veldkarakteristieken heen.

De betekenis van het werk ligt in:

1. De Classificatie Voltooien: Het biedt een definitief antwoord op een probleem dat gedeeltelijk al was opgelost, waarbij enkel de specifieke niet-kwadratische, $n=2$ casus open stond.
2. Methodologische Innovatie: Het bewijs introduceert een "idempotente reductie" techniek. Deze aanpak slaagt erin de moeilijkheid te omzeilen van het analyseren van de clique-getallen van Paley-grafen van niet-kwadratische orde, een berucht openstaand probleem in de combinatoriek.
3. Unificatie: Het toont aan dat de structurele beperkingen op positiviteitsbehorders in dimensie $n=2$ (voor oneven $q$) niet complexer zijn dan in hogere dimensies, in tegenstelling tot wat men zou verwachten gezien de specifieke uitdagingen van de $n=2$ casus.

De auteurs stellen expliciet dat hun bewijs niet rust op de speciale subveld-structuur die beschikbaar is wanneer $q$ een kwadraat is, wat het resultaat robuust maakt voor alle $q \equiv 1 \pmod 4$.