🔢 mathematics

Consecutive non-square nom-primitive pairs in as finite field

Dit artikel bewijst dat in een eindig veld met een oneven priemgetal als macht, onder bepaalde voorwaarden voor de verhouding tussen het aantal totient-functies en de orde van het veld, er altijd twee opeenvolgende elementen bestaan die zowel niet-kwadraten als niet-primitieve elementen zijn, wat een eerdere bevinding voor priemvelden uitbreidt.

Oorspronkelijke auteurs: Stephen D. Cohen

Gepubliceerd 2026-04-24

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Stephen D. Cohen

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een grote, ronde dansvloer hebt met een heel specifiek aantal plekken. Dit is je eindige veld (in de wiskunde een Fq). Op deze dansvloer staan mensen die allemaal een unieke "dansstijl" hebben.

De wiskundige Stephen Cohen in dit artikel stelt een heel leuk vraagje: Kunnen we twee mensen vinden die direct naast elkaar staan (consecutief), en die beiden een heel specifieke, "moeilijke" dansstijl hebben?

Laten we de termen uit het artikel vertalen naar een verhaal:

1. De Dansers en hun Stijlen

Op de dansvloer zijn er twee belangrijke eigenschappen waar we naar kijken:

De "Primitieve" Dansers: Dit zijn de sterren van de show. Ze hebben een dansstijl die zo complex is dat ze pas na heel veel rondjes (precies $q-1$ keer) weer op hun startplek staan. Ze zijn uniek en krachtig. In de wiskunde noemen we ze primitieve elementen.
De "Niet-Primitieve" Dansers: Dit zijn de mensen die minder complex dansen. Ze komen sneller terug op hun startplek. Ze zijn niet de sterren, maar ze zijn er wel.
De "Kwadraat" Dansers: Stel je voor dat de vloer in tweeën is gedeeld: links en rechts. Als je een dansstijl hebt die past bij de linkerkant, ben je een "kwadraat". Als je op de rechterkant staat, ben je een "niet-kwadraat".

2. Het Doel: De "NSNP" Dansers

De wiskundige zoekt naar een heel specifiek type danser: iemand die geen ster is (niet-primitief) én die niet op de linkerkant staat (niet-kwadraat).
Hij noemt deze mensen NSNP-dansers (Non-Square, Non-Primitive).

De vraag is: Zitten er altijd twee van deze NSNP-dansers direct naast elkaar op de dansvloer?

3. De Uitdaging: Hoe groot is de vloer?

Niet elke dansvloer heeft genoeg ruimte voor dit soort paren.

Als de vloer heel klein is (bijvoorbeeld 7 of 13 plekken), kan het zijn dat er simpelweg geen twee NSNP-dansers naast elkaar passen.
Als de vloer groot is, is de kans groter.

De auteur introduceert een maatstaf, laten we hem $\theta$ (theta) noemen. Dit getal vertelt ons hoe groot het aandeel van de "ster-dansers" (primitieven) is.

Als er te veel sterren zijn (hoge $\theta$ ), dan zijn er te weinig "gewone" mensen om een paar te vormen.
De auteur bewijst dat als het aandeel sterren kleiner is dan 1 op de 3 (dus $\theta < 1/3$ ), er altijd een paar NSNP-dansers naast elkaar staat.

4. De Uitzonderingen (De "Rare" Vloeren)

Het is niet zo dat het altijd werkt, zelfs als de vloer groot genoeg lijkt. Er zijn een paar specifieke, rare vloer-groottes (zoals 7, 13, 19, 25, 37) waar het net niet lukt. Het is alsof op die specifieke vloer de dansers net verkeerd gepositioneerd zijn, waardoor er nooit twee "moeilijke" dansers naast elkaar staan.

De auteur zegt: "Behalve voor deze specifieke rare vloer-groottes, als er minder dan 1/3 sterren zijn, dan vind je het paar gegarandeerd."

5. Hoe heeft hij dit bewezen? (De Wiskundige Magie)

Hij gebruikt twee methoden om dit te bewijzen:

De Grote Vloeren (De "Sif" Methode): Voor grote vloeren gebruikt hij een wiskundig trucsysteem (een soort "zeef"). Hij telt niet één voor één, maar schat hoeveel kans er is dat er een paar is. Hij laat zien dat als de vloer groot genoeg is, de kans op een paar zo groot is dat het onmogelijk is dat er geen is.
De Kleine Vloeren (De "Lijst" Methode): Voor de kleinere vloeren (waar de schattingen niet werken), heeft hij gewoon de hele lijst van alle mogelijke dansers opgeschreven en gecontroleerd. Hij heeft een computer (Pari/GP) gebruikt om te kijken: "Hebben we hier een paar?" En hij heeft precies opgesomd welke vloers het wel doen en welke niet.

6. Waarom is dit belangrijk?

In de wiskunde is het vaak makkelijker om te zeggen: "Hier is een ster, en daar is nog een ster." Maar het is veel lastiger om te zeggen: "Hier is een niet-ster, en daar is nog een niet-ster."

Deze paper laat zien dat zelfs de "minderwaardige" dansers (de niet-sterren) vaak in paren voorkomen, zolang de vloer maar groot genoeg is en er niet te veel sterren zijn die de ruimte innemen. Het is een mooi bewijs dat chaos en eenvoudige patronen vaak hand in hand gaan.

Samenvatting in één zin:

Als je een grote groep mensen hebt, en minder dan één derde zijn de "supersterren", dan kun je gegarandeerd twee mensen vinden die direct naast elkaar staan en die beiden geen supersterren zijn én een specifieke "moeilijke" eigenschap hebben (behalve op een paar heel specifieke, kleine uitzonderingen).

Titel: Consecutieve niet-kwadratische, niet-primitieve paren in een eindig lichaam

1. Probleemstelling

Het artikel onderzoekt de existentie van paren van opeenvolgende elementen $(\alpha, \alpha+1)$ in een eindig lichaam $\mathbb{F}_q$ (waarbij $q$ een oneven priemkracht is) die zowel niet-kwadratisch (non-square) als niet-primitief (non-primitive) zijn. Dergelijke elementen worden aangeduid als NSNP-elementen.

Context: In een eindig lichaam $\mathbb{F}_q$ is precies de helft van de niet-nul elementen kwadraten. Primitieve elementen zijn die met multiplicatieve orde $q-1$ . De verhouding van primitieve elementen wordt gegeven door $\theta_q = \frac{\phi(q-1)}{q-1}$ .
Uitdaging: Als $\theta_q = 1/2$ (wat gebeurt bij Fermat-priemgetallen of $q=9$ ), is elk niet-kwadratisch element automatisch primitief, waardoor geen NSNP-elementen bestaan. Er is dus een restrictie op $\theta_q$ nodig.
Doel: Bepalen onder welke voorwaarden $\theta_q$ er gegarandeerd een paar opeenvolgende NSNP-elementen bestaat. Dit is een complementair probleem ten opzichte van de bestudering van opeenvolgende primitieve paren.

2. Methodologie

De auteur hanteert een combinatie van analytische methoden (karakter-sommen en Jacobi-sommen) en computationele verificatie via cyclotomische getallen.

Veralgemening naar $\ell$ -de machten:
In plaats van direct naar NSNP-elementen te kijken, introduceert de auteur het concept van NS $\ell$ -paren: paren van opeenvolgende elementen die zowel niet-kwadratisch als $\ell$ -de machten zijn, waarbij $\ell$ een oneven priemfactor van $q-1$ is. Omdat elk NS $\ell$ -paar ook een NSNP-paar is, is het voldoende om de existentie van NS $\ell$ -paren te bewijzen voor de kleinste oneven priemfactor $\ell$ van $q-1$ .
Analytische benadering (Jacobi-sommen):
De auteur definieert een karakteristieke functie $f_\ell(\alpha)$ voor elementen die zowel niet-kwadratisch als $\ell$ -de machten zijn. Het aantal paren $N_\ell(q)$ wordt uitgedrukt als een som over $\mathbb{F}_q$ van producten van deze functies.
Door deze sommen te ontwikkelen, worden ze gerelateerd aan Jacobi-sommen $J(\chi_1, \chi_2)$ .
- De hoofdterm wordt geschat met $q$ .
- De fouttermen worden begrensd met $\sqrt{q}$ , gebaseerd op de eigenschappen van Jacobi-sommen (waarbij $|J(\chi_1, \chi_2)| = \sqrt{q}$ als de producten van karakters triviaal zijn).
- Dit leidt tot een ondergrens voor $N_\ell(q)$ (Stelling 2.1). Als deze ondergrens positief is, bestaat er een paar.
Grenswaarden en Cyclotomische Getallen:
- Voor grote $\ell$ (namelijk $\ell \geq 7$ ) volstaat de analytische ondergrens om de existentie te garanderen voor $\theta_q \leq 1/3$ .
- Voor kleine $\ell$ (namelijk $\ell=3$ en $\ell=5$ ) is de analytische ondergrens niet sterk genoeg voor kleine $q$ . De auteur gebruikt hier cyclotomische getallen van orde $2\ell$ (specifiek $(3,3)_{6}$ en $(5,5)_{10}$ ). Deze getallen tellen het aantal oplossingen voor specifieke machten in $\mathbb{F}_q$ .
- Voor $\ell=3$ worden expliciete formules gebruikt die afhankelijk zijn van de representatie $q = A^2 + 3B^2$ en de index van het getal 2.
- Voor $\ell=5$ worden waarden berekend met computeralgebra (Pari/GP).

3. Belangrijkste Resultaten

Stelling 1.1 (Hoofdstelling)

Laat $q$ een oneven priemkracht zijn en definieer $\theta_q = \frac{\phi(q-1)}{q-1}$ .

Als $\theta_q < 1/3$ , dan bevat $\mathbb{F}_q$ een paar van opeenvolgende elementen die zowel niet-kwadratisch als niet-primitief zijn.
Als $\theta_q = 1/3$ , dan geldt dezelfde conclusie, behalve voor de uitzonderingswaarden:
$q \in \{7, 13, 19, 25, 37\}$
(Voor deze waarden bestaan er geen dergelijke paren).

Stelling 1.2 (Veralgemeende Stelling)

Laat $\ell$ de kleinste oneven priemfactor van $q-1$ zijn. Als $\theta_q \leq 1/3$ , dan bevat $\mathbb{F}_q$ een NS $\ell$ -paar, behalve wanneer $\ell=3$ en:
$q \in \{7, 13, 19, 25, 37, 43\}$
Opmerking: Voor $q=43$ bestaat er wel een NSNP-paar (namelijk $(7,8)$ ), maar geen NS3-paar. Dit verklaart waarom $q=43$ in Stelling 1.2 een uitzondering is, maar niet in Stelling 1.1.

Specifieke Gevallen:

$\ell \geq 7$ : De analytische methode (Corollary 2.2 en Stelling 3.4) bewijst dat voor $\ell \geq 7$ en $\theta_q \leq 1/3$ , de waarde van $q$ altijd groot genoeg is om de ondergrens positief te maken.
$\ell = 3$ : De auteur berekent exacte waarden voor $N_3(q)$ voor kleine $q$ (tot 241) en identificeert de uitzonderingen.
$\ell = 5$ : Voor $q$ met kleinste priemfactor 5 en $\theta_q \leq 1/3$ , wordt de existentie bewezen voor $q > 4117$ . Voor kleinere $q$ (zoals 911, 1331, etc.) wordt de existentie computergestuurd bevestigd.

4. Significatie en Bijdrage

Verbetering van bestaande resultaten: Het artikel verbetert eerdere resultaten van Jarso en Trudgian (voor priemvelden $\mathbb{F}_p$ ) die een sterkere voorwaarde vereisten ( $\theta_p \leq 1/4$ ). Cohen toont aan dat de drempelwaarde $1/3$ voldoende is voor alle eindige lichamen (behalve de specifieke uitzonderingen).
Scherpe grenzen: De auteur identificeert precies welke waarden van $q$ de grens $\theta_q = 1/3$ bereiken maar geen oplossing hebben, wat een scherp inzicht geeft in de structuur van deze paren.
Methodologische synthese: Het paper combineert succesvol klassieke analytische getaltheorie (karakter-sommen) met moderne computationele verificatie en theorie van cyclotomische getallen om een probleem op te lossen dat weerstand bood tegen puur analytische benaderingen voor kleine waarden.
Verband met primitieve paren: Het werk plaatst het probleem van NSNP-paren in perspectief ten opzichte van het probleem van opeenvolgende primitieve paren, en suggereert dat hoewel de methoden anders zijn (bovengrens-sievs vs. ondergrens-sievs), de moeilijkheidsgraad vergelijkbaar is.

5. Conclusie

Stephen D. Cohen bewijst dat voor een oneven priemkracht $q$ , de voorwaarde $\theta_q \leq 1/3$ (met uitzondering van een kleine, expliciete verzameling van $q$ ) voldoende is om de existentie van opeenvolgende niet-kwadratische, niet-primitieve elementen te garanderen. Dit is een aanzienlijke verbetering van de bekende grenzen en biedt een volledig beeld van de uitzonderingsgevallen.