On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

De auteurs bewijzen dat elk interval tussen twee opeenvolgende kwadraten een geheel getal bevat met hoogste drie priemfactoren, waarmee ze het vorige record van vier priemfactoren verbeteren door een combinatie van computationele verificatie en expliciete zeeftheorie te gebruiken.

De kern

Stel je voor dat je een lange, oneindige rij van huizen hebt, genummerd van 1 tot oneindig. De wiskundigen zijn al eeuwenlang op zoek naar een heel specifiek type huis: de priemgetallen. Dit zijn de "sterke" huizen die alleen door zichzelf en het getal 1 kunnen worden gedeeld. Ze zijn uniek en lastig te vinden.

Een beroemde vraag (het vermoeden van Legendre) is: Tussen twee perfecte vierkante huizen (bijvoorbeeld tussen het huis nummer $n^2$ en $(n+1)^2$) zit er altijd minstens één priemgetal?

Dit klinkt simpel, maar het is zo moeilijk dat niemand het ooit heeft kunnen bewijzen, zelfs niet met de slimste computers en de strengste wiskundige regels. Het is alsof je zegt: "Tussen elke twee bomen in dit bos zit altijd een gouden appel," maar je kunt die appels niet vinden om het te bewijzen.

Wat doet deze wetenschapper (Peter Campbell)?

In plaats van te proberen die onvindbare "gouden appels" (de priemgetallen) te vinden, zegt Campbell: "Oké, laten we iets minder streng zijn. Laten we kijken naar huizen die bijna net zo sterk zijn als de priemgetallen. Noem ze 'bijna-priemgetallen'."

Een "bijna-priemgetal" is een huis dat hooguit 3 "zwakke" onderdelen (priemfactoren) heeft.

• Een priemgetal heeft 1 onderdeel.
• Een getal dat het product is van twee priemgetallen (bijvoorbeeld $6 = 2 \times 3$) heeft 2 onderdelen.
• Campbell bewijst dat er altijd een huis is tussen twee vierkante huizen dat maar 3 of minder onderdelen heeft.

Hoe heeft hij dit bewezen? (De analogie van de zoektocht)

Campbell gebruikt een slimme combinatie van twee methoden, alsof hij een zoektocht in twee fasen doet:

1. De kleine zoektocht (Computers):
   Voor de eerste paar duizend huizen (waar de getallen nog klein zijn), heeft hij gewoon een computer laten rekenen. Hij heeft gecontroleerd dat er tussen elk paar vierkante huizen inderdaad zo'n "bijna-priemgetal" zit. Dit is als het controleren van de eerste straten van een stad met een loopfiets. Hij heeft dit gedaan tot aan een enorm groot getal ($10^{31}$).

2. De grote zoektocht (De "Zeef" voor de rest):
   Voor de oneindig grote getallen (waar de computer niet meer kan rekenen), gebruikt hij een wiskundig hulpmiddel dat een zeef wordt genoemd.

   • De Zeef: Stel je voor dat je een bak met zand en stenen hebt. Je wilt de stenen (de priemgetallen) vinden. Je gebruikt een zeef met gaten. Als de gaten te groot zijn, vallen de stenen erdoorheen. Als ze te klein zijn, blijven ze vastzitten.
   • De slimme truc (Richert's gewichten): In het verleden gebruikten wiskundigen een simpele zeef. Campbell gebruikt een "slimme zeef" met gewichten (een methode bedacht door Richert). Hij geeft de getallen die hij zoekt een extra gewicht of "bonus". Hierdoor kan hij bewijzen dat er statistisch gezien onmogelijk geen getal met maximaal 3 factoren kan zijn, zelfs als hij de getallen niet één voor één kan zien.
   • Het resultaat: Hij toont aan dat de "zeef" altijd minstens één "bijna-priemgetal" vasthoudt in elk interval tussen twee vierkante getallen.

Waarom is dit belangrijk?

Voorheen wisten we dat er tussen twee vierkante getallen altijd een getal zat met maximaal 4 onderdelen. Campbell heeft deze grens verlaagd naar 3.
Het is alsof je eerder dacht: "Er zit altijd een auto tussen twee bomen, maar die auto heeft misschien wel 4 deuken." Campbell zegt nu: "Nee, die auto heeft maximaal 3 deuken."

Kunnen we het nog beter maken?
De volgende stap zou zijn om te bewijzen dat er altijd een getal is met maximaal 2 onderdelen (een "semi-priemgetal"). Maar Campbell zegt dat de huidige methoden daarvoor niet sterk genoeg zijn. Het zou net als proberen een naald te vinden in een hooiberg, maar dan met een magneet die net iets te zwak is. Om dat te doen, zouden we waarschijnlijk nog veel meer rekenkracht nodig hebben voor de kleine getallen en nog slimmere wiskundige technieken voor de grote getallen.

Samenvattend:
Campbell heeft bewezen dat in de wiskundige wereld, tussen elk paar perfecte vierkanten, er altijd een getal zit dat "bijna" een priemgetal is (het heeft maar 3 of minder bouwstenen). Hij deed dit door een deel van het probleem uit te rekenen met computers en het andere deel te "zeven" met een slimme wiskundige methode. Het is een grote stap voorwaarts in het begrijpen van hoe getallen zich gedragen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares" van Peter Campbell, geschreven in het Nederlands.

Titel en Kernvraag

Het artikel adresseert een veralgemening van de beroemde Legendre-conjectuur. De oorspronkelijke conjectuur stelt dat tussen twee opeenvolgende kwadraten $(n^2, (n+1)^2)$ altijd een priemgetal ligt. Hoewel dit eenvoudig geformuleerd is, blijft het een van de moeilijkste open problemen in de getaltheorie, zelfs onder de aanname van de Riemann-hypothese.

Campbell bewijst een expliciet "bijna-priem" (almost-prime) analogon van deze conjectuur. Het centrale probleem is om de kleinste waarde $k$ te vinden zodat voor elke $n \ge 1$ er een geheel getal $a$ bestaat in het interval $(n^2, (n+1)^2)$ met $\Omega(a) \le k$, waarbij $\Omega(a)$ het aantal priemfactoren van $a$ is (geteld met multipliciteit).

Resultaat

Het hoofdstuk van het artikel is Stelling 1.1:

Voor elke gehele $n \ge 1$ bestaat er een $a \in (n^2, (n+1)^2)$ zodanig dat $\Omega(a) \le 3$.

Dit verbetert het eerdere beste resultaat van Dudek en Johnston (2023), die bewezen hadden dat $\Omega(a) \le 4$. Het bewijs is volledig expliciet en geldig voor alle $n \ge 1$, niet alleen voor voldoende grote $n$.

Methodologie

Het bewijs combineert twee benaderingen: een computationele verificatie voor kleine waarden van $n$ en een expliciete analytische argumentatie (zeeftheorie) voor grote waarden.

1. Computationele verificatie voor kleine $n$ (Lemma 2.1)

Voor het bereik $n^2 \le 10^{31}$ wordt het probleem opgelost door direct te zoeken naar priemgetallen of semipriemgetallen (producten van twee priemgetallen).

• Basis: Voor $n \le 7.05 \cdot 10^{13}$ is reeds bewezen dat er een priemgetal ligt in het interval (werk van Sorenson en Webster).
• Uitbreiding: Voor het bereik $7.05 \cdot 10^{13} < n \le 10^{15.5}$(waar$n^2 \le 10^{31}$) construeert Campbell een semipriemgetal$pq$ in het interval.
• Techniek: Hij kiest een specifiek priemgetal $p$ zodat het geschaalde interval voor $q$ langer is dan de bekende maximale priemgaten (record: 1724 voor priemgetallen onder $6.8 \cdot 10^{19}$). Omdat de gaten tussen priemgetallen in dit bereik bekend zijn, garandeert dit het bestaan van een priemgetal$q$in het geschaalde interval, en dus een product$pq$ in het oorspronkelijke kwadraatinterval.

2. Analytisch bewijs voor grote $n$ (De Zeefmethode)

Voor $n^2 \ge 10^{31}$ wordt een gewichtige lineaire zeef (weighted linear sieve) toegepast, specifiek aangepast aan de geometrie van kwadraatintervallen.

• Zeefopzet: Het interval wordt gemodelleerd als $A(N) = \mathbb{Z} \cap (N, N + 2\sqrt{N})$ met $N=n^2$. De lengte van het interval is ongeveer $2\sqrt{N}$, wat aanzienlijk korter is dan bij kubusintervallen ($N^{2/3}$), wat de analyse moeilijker maakt.
• Gewichten: In plaats van de eerdere Kuhn-gewichten, past Campbell Richert's logaritmische gewichten toe. Dit is een techniek die eerder succesvol was gebruikt voor kubusintervallen, maar hier voor het eerst wordt toegepast op kwadraatintervallen. De gewichten $w(a)$ worden gedefinieerd als:
  $$w(a) := \lambda - \sum_{z \le p < y, p|a} \left(1 - \frac{\log p}{\log y}\right)$$
  waarbij $\lambda = k + 1 - k_2$.
• Expliciete Zeefgrenzen: Het artikel maakt gebruik van de expliciete lineaire zeef van Bordignon, Johnston en Starichkova. Dit levert onder- en bovengrenzen op voor het aantal elementen in de gezeefde verzameling.
• Optimalisatie: De parameters $k_1, k_2, \alpha$ en de sifting-niveaus $z, y$ worden zorgvuldig gekozen om de ondergrens voor het aantal elementen met $\Omega(a) \le 3$ positief te houden.
  • $k = 3$ (doelwit: maximaal 3 priemfactoren).
  • $k_1 = 8$ en $k_2 = 3.17$.
  • De analyse toont aan dat de som van de gewichten strikt positief is, wat impliceert dat er ten minste één getal is met $\Omega(a) \le 3$.

Belangrijke Technieken en Aanpassingen

Campbell introduceert specifieke aanpassingen om de overgang van kubus- naar kwadraatintervallen te beheersen:

1. Schaalverandering: De natuurlijke schaal van de verzameling $A(N)$ is van de orde $\sqrt{N}$ (in plaats van $N^{2/3}$ bij kubussen). Dit vereist dat alle termen in de optimalisatie worden begrensd door veelvouden van $\sqrt{N}/\log X$.
2. Fouttermen: De controle van de fouttermen (zoals de som over $|A_{p^2}|$) is kritisch. Lemma 4.3 bewijst een expliciete bovengrens voor het verlies door kwadraatfactoren, wat essentieel is voor de geldigheid van de gewichtsfunctie.
3. Numerieke constanten: Het artikel levert zeer specifieke, expliciete constanten voor de zeeffuncties $F(s)$ en $f(s)$ en de fouttermen, waardoor het bewijs volledig computable en controleerbaar is.

Betekenis en Impact

• Verbetering van de grens: Het resultaat verlaagt de bovengrens van het aantal priemfactoren van 4 naar 3. Dit is een significante stap dichterbij de ultieme doelstelling van $\Omega(a) \le 2$ (wat zou betekenen dat er altijd een priemgetal of een product van twee priemgetallen ligt).
• Methodologische doorbraak: Het bewijs toont aan dat Richert's gewichten, die eerder alleen voor kubusintervallen waren geoptimaliseerd, ook effectief kunnen worden toegepast op de kortere kwadraatintervallen, mits de parameters zorgvuldig worden gekozen.
• Beperkingen: De auteur merkt op dat het bereiken van $\Omega(a) \le 2$ waarschijnlijk buiten het bereik ligt van de huidige methode (die alleen Type I-informatie gebruikt). Verdere verbetering zou waarschijnlijk sterkere zeef-informatie (zoals Type II) en nog uitgebreidere computationele verificaties vereisen.

Conclusie

Peter Campbell levert een volledig expliciet bewijs dat tussen elk paar opeenvolgende kwadraten een getal ligt met hoogstens drie priemfactoren. Door een combinatie van geavanceerde zeeftheorie, specifieke aanpassingen voor de korte lengte van kwadraatintervallen en uitgebreide computationele verificatie, verbetert hij het bestaande record en biedt hij een robuust kader voor toekomstig onderzoek naar de verdeling van priemgetallen en bijna-priemgetallen in korte intervallen.