🔢 mathematics

Two dimensional covering systems and possible prime producing $a^m-b^n$

Dit artikel presenteert een nieuwe toepassing van tweedimensionale deksystemen om paren gehele getallen $(a,b)$ te construeren waarvoor $a^m-b^n$ voor elke $m,n \geq 0$ een priemdeler heeft uit een gegeven eindige verzameling, wat leidt tot een conjectuur over de enige mogelijke belemmeringen voor het aannemen van oneindig veel verschillende priemwaarden door $|a^m-b^n|$ .

Oorspronkelijke auteurs: Andrew Granville, Francesco Pappalardi

Gepubliceerd 2026-04-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Andrew Granville, Francesco Pappalardi

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

De Grote Jacht op Priemgetallen: Een Reis door de Wiskundige Tuin

Stel je voor dat wiskunde een enorme, eindeloze tuin is. In deze tuin groeien twee soorten planten: de $a^m$ en de $b^n$ . Dit zijn geen gewone bloemen, maar getallen die razendsnel groeien naarmate je ze hoger optelt (zoals $2^3 = 8$ , $2^4 = 16$ , enzovoort).

De auteurs van dit paper, Andrew Granville en Francesco Pappalardi, zijn tuiniers die zich afvragen: "Als we het verschil nemen tussen twee van deze planten ( $a^m - b^n$ ), krijgen we dan ooit een 'heilige graal'?"

In de wiskunde is een priemgetal die heilige graal. Het is een getal dat alleen deelbaar is door 1 en zichzelf (zoals 2, 3, 5, 7, 11...). De vraag is: Groeien er oneindig veel van deze speciale priemgetallen in de tuin, of stopt het er ooit mee?

1. Het Probleem: De Onzichtbare Muur

Soms is het antwoord "nee". Soms is er een onzichtbare muur die ervoor zorgt dat het verschil tussen twee planten nooit een priemgetal kan zijn (behalve misschien heel soms in het begin).

Het voorbeeld uit het paper:
Kijk naar de planten $41^m$ en $34^n$ .
De auteurs ontdekten dat het verschil tussen deze twee altijd deelbaar is door 3, 5 of 7.

Als je op een bepaalde manier telt (bijvoorbeeld als $m$ even is), is het verschil deelbaar door 3.
Als $n$ even is, is het deelbaar door 5.
Als $m$ en $n$ hetzelfde zijn (beide even of beide oneven), is het deelbaar door 7.

De Analogie:
Stel je voor dat je een muur bouwt van bakstenen met de nummers 3, 5 en 7.
Elke keer als je een nieuw getal probeert te maken ( $41^m - 34^n$ ), landt het altijd op één van die bakstenen. Omdat het getal dan deelbaar is door 3, 5 of 7, kan het geen priemgetal zijn (want priemgetallen hebben geen andere delers).
Dit noemen de auteurs een "Twee-dimensionaal Dekkingssysteem". Het is alsof je de hele tuin met een net overdekt, zodat er geen enkele "priem-bloem" doorheen kan groeien.

2. De Grootse Hypothese (De Conjecture)

De auteurs zeggen: "Als er geen zo'n muur (dekkingssysteem) is, dan denken we dat er oneindig veel priemgetallen zijn."

Dit is hun Grootste Gissing:

Als je twee willekeurige getallen kiest (zoals 2 en 3, of 5 en 7) en er is geen logische reden (zoals de muur van 3, 5 en 7) waarom het verschil altijd samengesteld moet zijn, dan zullen er oneindig veel priemgetallen verschijnen.
Het is alsof je zegt: "Als er geen hek om de tuin is, dan zullen er overal bloemen bloeien."

Ze hebben zelfs een formule bedacht om te voorspellen hoeveel van deze bloemen er zullen zijn, afhankelijk van hoe groot de getallen $a$ en $b$ zijn.

3. Hoe hebben ze dit ontdekt? (De Landkaarten)

Hoe weet je of er zo'n muur is? Dat is lastig. De auteurs hebben een slimme methode bedacht die lijkt op het tekenen van een landkaart.

Ze kijken naar kleine priemgetallen (zoals 3, 5, 7, 11...) en kijken hoe de getallen $a^m$ en $b^n$ zich gedragen als je ze deelt door die kleine getallen.

Soms herhalen ze zich in patronen.
Als ze deze patronen op een kaart zetten, kunnen ze zien of ze de hele ruimte "overdekken".
Als de patronen elkaar overlappen en de hele kaart bedekken, dan is er een muur en zijn er geen (of heel weinig) priemgetallen.
Als er gaten in de kaart blijven, dan kunnen daar priemgetallen groeien.

Ze hebben een computer gebruikt om duizenden paren getallen te testen.

Succes: De meeste paren gedroegen zich precies zoals ze voorspelden. Als er geen muur was, vonden ze veel priemgetallen.
Uitzonderingen: Ze vonden een paar paren waar ze weinig priemgetallen vonden. Toen keken ze op hun kaart en zagen ze: "Ah! Hier is een muur die we eerst over het hoofd hadden gezien!"

4. De "Bijzondere Gevallen"

Soms is één van de planten een "perfecte macht" (bijvoorbeeld $64 = 4^3$ of $64 = 8^2$ ). Dit maakt de tuin een beetje anders.

Als $b$ een vierkant is (zoals 64), dan is de tuin iets anders ingericht.
De auteurs hebben ook hier een regel voor bedacht: "Tenzij er een specifieke muur is die werkt voor deze speciale situatie, groeien er toch oneindig veel bloemen."

5. Waarom is dit belangrijk?

Dit paper is als een gids voor tuiniers.
Vroeger wisten we niet zeker of er oneindig veel priemgetallen waren in deze specifieke vormen ( $a^m - b^n$ ). Nu hebben we:

Een manier om te zien of er een "muur" is die het bloeien verhindert.
Een sterke overtuiging (een conjecture) dat als er geen muur is, de tuin vol staat met priemgetallen.
Een schatting van hoeveel er zijn, gebaseerd op een formule die ze hebben getest met computers.

Samenvattend in één zin:
De auteurs hebben bewezen dat als er geen logische reden is waarom het verschil tussen twee snelgroeiende getallen altijd samengesteld moet zijn (door een patroon van delers), dan is de kans 100% dat er oneindig veel priemgetallen tussen zitten, en ze hebben een manier bedacht om te voorspellen hoeveel.

Het is een mooi voorbeeld van hoe wiskundigen proberen de chaos van getallen te ordenen door te zoeken naar patronen, muren en de ruimte die overblijft voor de magie van de priemgetallen.

1. Probleemstelling

Het artikel onderzoekt de vraag of de uitdrukking $|a^m - b^n|$ (waarbij $a, b \ge 2$ gehele getallen zijn en $m, n \ge 1$ ) oneindig veel verschillende priemgetallen kan genereren.

De auteurs identificeren een specifieke obstructie die kan voorkomen dat er oneindig veel priemgetallen zijn: het bestaan van een dekkingssysteem (covering system). Als er een eindige verzameling priemgetallen $S$ bestaat (of een geheel getal $Q$ ) zodanig dat voor elk paar $(m, n)$ het getal $a^m - b^n$ deelbaar is door ten minste één priemfactor van $Q$ , dan kan $|a^m - b^n|$ slechts voor eindig veel paren $(m, n)$ een priemgetal zijn (of een macht van een priemgetal).

Het centrale probleem is om te bepalen onder welke voorwaarden dergelijke obstakels bestaan en of deze de enige reden zijn waarom $|a^m - b^n|$ niet oneindig veel priemwaarden zou kunnen hebben.

2. Methodologie

De auteurs combineren getaltheoretische stellingen met constructieve methoden uit de theorie van dekkingssystemen.

Twee-dimensionale dekkingssystemen:
Een verzameling van drietallen $\{(u_i, v_i, r_i)\}$ wordt een tweedimensionaal dekkingssysteem genoemd als voor elk paar gehele getallen $(m, n)$ er een $i$ bestaat waarvoor geldt:
$m v_i \equiv n u_i \pmod{r_i}$
De auteurs tonen aan dat het bestaan van een $Q$ waarvoor $(a^m - b^n, Q) > 1$ voor alle $m, n$ , equivalent is aan het bestaan van een dergelijk tweedimensionaal dekkingssysteem gebaseerd op de orde van $a$ en $b$ modulo de priemfactoren van $Q$ .
Constructie van $a, b$ en $Q$ :
Ze ontwikkelen een methode om voor een gegeven (gereduceerd) tweedimensionaal dekkingssysteem specifieke gehele getallen $a$ en $b$ te construeren, samen met een product van priemgetallen $Q$ , zodat de dekkingsconditie geldt. Dit gebeurt via het Chinese Reststelling en het selecteren van priemgetallen $p_i \equiv 1 \pmod{L_i}$ (waarbij $L_i$ de periode is in het systeem).
Heuristische schattingen (Cramér-model):
Voor het geval er geen dekkingssysteem bestaat, gebruiken de auteurs een probabilistische heuristiek (Cramér-model) om het aantal priemgetallen te schatten. Ze passen dit model aan voor lokale factoren (deeltbaarheid door kleine priemgetallen) en corrigeren voor de correlatie tussen $m$ en $n$ .
Ze definiëren een constante $\kappa_{a,b}$ die de dichtheid van paren $(m, n)$ weergeeft waarvoor $a^m - b^n$ niet deelbaar is door kleine priemgetallen en waarvoor $(m, n)$ onderling ondeelbaar is.
Numerieke experimenten:
De auteurs voeren uitgebreide berekeningen uit om het aantal gevonden priemgetallen te vergelijken met hun theoretische voorspellingen voor verschillende paren $(a, b)$ .

3. Belangrijkste Bijdragen

A. Karakterisering van Obstructies

De auteurs bewijzen dat de enige bekende manier om te garanderen dat $|a^m - b^n|$ slechts eindig veel priemwaarden heeft, het bestaan is van een tweedimensionaal dekkingssysteem. Ze tonen aan hoe elk dergelijk systeem leidt tot een $Q$ waarvoor $(a^m - b^n, Q) > 1$ .

B. De Vermoedens (Conjectures)

Op basis van hun analyse formuleren ze twee centrale vermoedens:

Conjecture 1: Voor elke $a, b \ge 2$ (die geen perfecte machten zijn van een ander geheel getal), zijn er oneindig veel priemgetallen van de vorm $|a^m - b^n$ , tenzij er een niet-nul geheel getal $Q$ bestaat zodat $(a^m - b^n, Q) > 1$ voor alle $m, n \ge 1$ .
Conjecture 2: Een veralgemening voor het geval $a$ of $b$ wel een perfecte macht is (bijv. $a = A^k$ ). Hierbij wordt de voorwaarde voor $Q$ aangepast aan paren $(m, n)$ die relatief priem zijn met de exponenten.

C. Asymptotische Formule

Als er geen obstructie is, vermoeden de auteurs dat het aantal priemgetallen $|a^m - b^n| \le x$ asymptotisch gedraagt als:
$\#\{ |a^m - b^n| \le x : |a^m - b^n| \text{ is priem} \} \sim c_{a,b} \log x$
waarbij $c_{a,b}$ een constante is die afhangt van $a$ en $b$ , gedefinieerd als een limiet van een reeks correctiefactoren ( $\kappa_{a,b}$ ).

D. Dichtheidsresultaat

Ze vermoeden dat de verzameling paren $(a, b)$ waarvoor een dergelijke obstructie (dekkingssysteem) bestaat, een positieve dichtheid heeft die strikt kleiner is dan 1. Dit impliceert dat voor "meeste" paren $(a, b)$ er oneindig veel priemgetallen zijn.

4. Resultaten en Numerieke Bevestiging

Constructieve Voorbeelden: De auteurs construeren expliciete voorbeelden van paren $(a, b)$ die voldoen aan de obstructie. Een bekend voorbeeld uit de inleiding is $41^m - 34^n$ , dat altijd deelbaar is door 3, 5 of 7. Ze geven ook complexere voorbeelden met grotere $Q$ (bijv. $Q = 7 \cdot 13 \cdot 19 \cdot 31$ ).
Numerieke Validatie:
- Ze berekenden het aantal priemgetallen voor paren $(a, b)$ tot $a+b \le 500$ .
- Voor paren waarvoor ze geen dekkingssysteem vonden, bleek het aantal priemgetallen consistent met hun lineaire voorspelling ( $\sim c_{a,b} \log x$ ).
- Voor paren waarvoor ze weinig priemgetallen vonden ( $\Pi_{a,b}(100) < 25$ ), slaagden ze erin om voor bijna alle gevallen een bijbehorend tweedimensionaal dekkingssysteem te vinden dat de afwezigheid van priemgetallen verklaarde.
- De numerieke data voor de constante $\kappa_{a,b}$ lijkt te convergeren, wat de geldigheid van hun asymptotische formule ondersteunt.

5. Betekenis en Conclusie

Dit artikel biedt een diep inzicht in de verdeling van priemgetallen in exponentiële rijen. De belangrijkste bijdrage is de koppeling tussen het probleem van priemproductie in $a^m - b^n$ en de theorie van tweedimensionale dekkingssystemen.

Theoretisch: Het stelt een duidelijke "of-of" situatie: ofwel is er een algebraïsche reden (dekkingssysteem) waarom er geen oneindig veel priemgetallen zijn, ofwel zijn er er oneindig veel.
Praktisch: De methode om $a$ en $b$ te construeren op basis van een gewenst dekkingssysteem biedt een krachtig gereedschap om contra-exemplaren te genereren en de grenzen van priemproductie te testen.
Toekomst: Hoewel de auteurs de limiet van de constante $\kappa_{a,b}$ niet strikt kunnen bewijzen dat bestaat of niet-nul is, wordt hun conjectuur sterk ondersteund door numerieke data. Het werk legt een fundament voor verdere studies naar de dichtheid van priemgetallen in niet-lineaire rijen.

Kortom, Granville en Pappalardi suggereren dat de enige barrière voor het genereren van oneindig veel priemgetallen door $|a^m - b^n|$ een "lokaal" obstakel is (deeltbaarheid door een vaste verzameling priemgetallen), en dat zodra dit obstakel wegvalt, de rij zich gedraagt als een willekeurige verzameling getallen met een verwachte dichtheid van priemgetallen.