A generalization of the Erd\H{o}s-Sierpinski conjecture

Dit artikel onderzoekt de vergelijking $\sigma(n+1) = k\sigma(n)$ door combinatorische generalisaties van Zumkeller-getallen te combineren met geavanceerde technieken uit de probabilistische getaltheorie om aan te tonen dat de oplossingsverzameling een natuurlijke dichtheid van nul heeft met een expliciete bovengrens van $O(x/\sqrt{\log \log \log x})$, terwijl tegelijkertijd een voorwaardelijke onendigheid wordt vastgesteld voor het geval $k=2$ onder de H-hypothese van Schinzel.

De kern

Stel je voor dat je kijkt naar een gigantische, oneindige lijn van getallen, beginnend bij 1 en oneindig doorgaand: 1, 2, 3, 4, 5...

Elk van deze getallen heeft een "familie" van delers (getallen die er zonder rest in passen). Als je alle delers van een getal optelt, krijg je een totaal dat de som van delers wordt genoemd. Laten we deze som $\sigma(n)$ noemen.

Bijvoorbeeld:

• De delers van 6 zijn 1, 2, 3 en 6. Hun som is $1+2+3+6 = 12$.
• De delers van 5 zijn slechts 1 en 5. Hun som is $1+5 = 6$.

De Grote Vraag

Wiskundigen zijn al lang gefascineerd door een specifiek raadsel: Hoe vaak hangt de som van delers van een getal samen met de som van delers van het zeer volgende getal?

De beroemde vermoeden van Erdős-Sierpiński vraagt of er oneindig vaak situaties zijn waarbij de som van delers van een getal exact hetzelfde is als de som van delers van het volgende getal (d.w.z. $\sigma(n+1) = \sigma(n)$). Dit is als vragen: "Hoe vaak hebben twee buren exact hetzelfde totale gewicht?"

Dit artikel neemt dat idee en maakt het algemener. In plaats van te vragen of de sommen gelijk zijn, vraagt het: Hoe vaak is de som van delers van het volgende getal precies $k$ keer zo groot als die van het huidige getal?
De vergelijking is: $\sigma(n+1) = k \times \sigma(n)$.

Hier is $k$ elk geheel getal groter dan 1 (zoals 2, 3, 4, enz.).

• Als $k=2$, is de delersom van het volgende getal het dubbele van het huidige getal.
• Als $k=3$, is het het drievoudige, en zo verder.

De Twee Hoofdontdekkingen

De auteur, Amirali Fatehizadeh, benadert dit probleem vanuit twee verschillende hoeken, met een mix van "tellen"-logica en "kans"-logica.

1. De "Zeldzaamheid"-ontdekking (Het Kansgedeelte)

Het eerste grote doel was om uit te zoeken hoe vaak deze speciale getallen voorkomen. Verschijnen ze frequent, of zijn het zeldzame edelstenen?

Om dit te beantwoorden, gebruikte de auteur een slimme truc uit de probabilistische getaltheorie. Stel je voor dat je het weer probeert te voorspellen. Je kunt de exacte temperatuur voor elke enkele dag voor altijd niet voorspellen, maar je kunt wel de kans op regen modelleren.

De auteur behandelde de getallen als een kansspel. Ze stelden zich voor dat de "delersommen" van opeenvolgende getallen zich enigszins gedragen als onafhankelijke willekeurige gebeurtenissen (zoals het gooien van munten), zelfs al zijn ze wiskundig met elkaar verbonden.

• De Analogie: Stel je voor dat je probeert twee mensen te vinden die naast elkaar staan in een menigte en een zeer specifieke, zeldzame combinatie van eigenschappen hebben (zoals een specifieke lengte, schoenmaat en favoriete kleur).
• Het Resultaat: De auteur bewees dat het vinden van deze specifieke "buren" ongelooflijk moeilijk is. Sterker nog, naarmate je kijkt naar steeds grotere groepen getallen, daalt het percentage getallen dat aan deze vergelijking voldoet naar nul.

Hoewel er misschien duizenden van deze getallen zijn, zijn ze zo schaars dat als je willekeurig een getal uit een enorme lijst kiest, de kans dat het een van deze speciale getallen is, effectief nul is. Het artikel biedt een specifieke formule die precies laat zien hoe langzaam ze verschijnen, en bewijst dat ze "asymptotisch zeldzaam" zijn.

2. De "Bestaan"-ontdekking (Het Constructiegedeelte)

Als deze getallen zo zeldzaam zijn, bestaan ze dan überhaupt? En zijn er oneindig veel van hen?

• Voor $k=2$: De auteur vond een specifiek recept (met behulp van polynomen) om deze getallen te genereren. Door een beroemde wiskundige hypothese aan te nemen (de H-hypothese van Schinzel), bewezen ze dat er oneindig veel oplossingen zijn waarbij de delersom van het volgende getal precies het dubbele is van die van het huidige getal.
• De Algemene Gissing: Gebaseerd op de patronen die voor $k=2$ zijn gevonden en computersonderzoek voor $k=3$, stelt de auteur een gedurfde gissing voor: Voor elk geheel getal $k$ zijn er oneindig veel oplossingen.

Verbinden met "Gelaagde" Getallen

Het artikel verbindt dit ook met een leuk combinatorisch concept dat gelaagde getallen wordt genoemd.

• De Analogie: Stel je voor dat je een stapel stenen hebt (de delers van een getal). Kun je deze stenen verdelen in $k$ aparte stapels, waarbij elke enkele stapel exact even zwaar is?
• Als je dit kunt doen, heet het getal "k-gelaagd".
• Het artikel laat zien dat de getallen die voldoen aan onze vergelijking ($\sigma(n+1) = k\sigma(n)$) diep verbonden zijn met deze "gelaagde" getallen. Sterker nog, de oplossingen hebben vaak de perfecte structuur om in gelijke lagen te worden verdeeld, waardoor ze de categorie van "raar getallen" (getallen die overvloedig zijn maar niet gelijkmatig kunnen worden verdeeld) vermijden.

Samenvatting in Gewone Taal

1. Het Raadsel: We zoeken naar paren opeenvolgende getallen waarbij de "delersom" van het tweede precies $k$ keer zo groot is als die van het eerste.
2. De Dichtheid: Deze paren zijn extreem zeldzaam. Als je kijkt naar een enorm bereik van getallen, is het aandeel dat aan deze regel voldoet nul. Het is als het vinden van een specifiek zandkorreltje op een strand dat steeds groter wordt.
3. De Oneindigheid: Ondanks dat ze zeldzaam zijn, stoppen ze waarschijnlijk nooit met verschijnen. Voor het geval dat de verhouding 2 is ($k=2$), bewees de auteur (onder voorwaarde) dat er oneindig veel van zijn.
4. De Structuur: Deze speciale getallen hebben een zeer georganiseerde interne structuur, waardoor hun delers kunnen worden opgesplitst in gelijke groepen, net als een perfect in evenwicht zijnde weegschaal.

Kortom, het artikel bewijst dat hoewel deze wiskundige "wonderen" in het grote geheel van getallen verdwijnend zeldzaam zijn, ze geen toeval zijn – ze gebeuren oneindig vaak en volgen een prachtige, gestructureerd patroon.

Technische samenvatting

Technische Samenvatting: Een Generalisatie van de Vermoeden van Erdős-Sierpiński

Probleemstelling
Dit artikel onderzoekt de combinatorische structuur en de asymptotische verdeling van de oplossingsverzameling voor de vergelijking $\sigma(n+1) = k\sigma(n)$, waarbij $k > 1$ een vast geheel getal is en $\sigma(n)$ de som van delers-functie aanduidt. Deze vergelijking vormt een generalisatie van het beroemde vermoeden van Erdős-Sierpiński (het geval $k=1$), dat het bestaan van oneindig veel oplossingen voor $\sigma(n+1) = \sigma(n)$ postuleert. De primaire doelstellingen zijn het bepalen van de natuurlijke dichtheid van de oplossingsverzameling $A_k = \{n \in \mathbb{N} : \sigma(n+1) = k\sigma(n)\}$ en het afleiden van expliciete kwantitatieve bovengrenzen voor de tel-functie $A_k(x) = \#\{n \le x : n \in A_k\}$. Daarnaast verkent het artikel het existentiële karakter van deze oplossingen, met name voor het geval $k=2$, en koppelt deze aan de concepten van $k$-gelagen en Zumkeller-getallen.

Methodologie
Het onderzoek maakt gebruik van een synthese van combinatorische getaltheorie en probabilistische getaltheorie. De kern van de analytische strategie omvat de volgende stappen:

1. Logaritmische Transformatie en Additieve Functies: De hoofdvorm wordt via logaritmen getransformeerd naar een additieve vorm die de functie $g(n) = \log(\sigma(n)/n)$ omvat. Het probleem wordt herschreven als het onderzoeken van de waarschijnlijkheid dat het verschil $g(n+1) - g(n)$ binnen een kleine omgeving van $\log k$ valt.
2. Truncatie en het Kubilius-model: Om de quasi-onafhankelijkheid van delingsgebeurtenissen te hanteren, maken de auteurs gebruik van het Kubilius-model. De additieve functie $g(n)$ wordt getruncateerd zodat deze alleen afhankelijk is van priemfactoren tot een grens $y$. Door toepassing van de Chinese Reststelling wordt de arithmetische verdeling van de getruncateerde functie over de gehele getallen benaderd door een synthetische maatruimte uitgerust met onafhankelijke stochastische variabelen.
3. Anti-concentratie Ongelijkheden: In tegenstelling tot standaardtoepassingen van het Kubilius-model, die vaak centrale limietstellingen voor globale verdelingen zoeken, richt dit artikel zich op lokaal gedrag. De auteurs maken gebruik van de Lévy-concentratiefunctie en een geoptimaliseerde versie van de anti-concentratie-ongelijkheid van Kolmogorov-Rogozin (specifiek de stelling van Petrov). Dit maakt het mogelijk om de waarschijnlijkheid te begrenzen dat de som van onafhankelijke stochastische variabelen concentreert rond een specifieke doelwaarde.
4. Foutcontrole: Het bewijs begrenst rigoureus de fout die wordt geïntroduceerd door truncatie, de benadering van de arithmetische ruimte door het probabilistische model, en de bijdrage van "grote" priemfactoren of hoge priem machten. Deze foutverzamelingen blijken verwaarloosbaar klein in vergelijking met de belangrijkste probabilistische term.
5. Existentiële Analyse: Voor het specifieke geval van $k=2$ maakt het artikel gebruik van het H-vermoeden van Schinzel. Door specifieke polynoomfamilies te construeren, tonen de auteurs aan dat, indien het vermoeden geldt, er oneindig veel gehele getallen $n$ bestaan die aan de vergelijking voldoen.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Asymptotische Dichtheid): Het artikel stelt vast dat voor elk geheel getal $k > 1$ de natuurlijke dichtheid van de oplossingsverzameling $A_k$ nul is. Specifiek voldoet de tel-functie aan de expliciete bovengrens:
  $$A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$$
  Dit resultaat impliceert dat, hoewel oplossingen kunnen bestaan, ze asymptotisch zeldzaam zijn onder de natuurlijke getallen.
• Conditionele Oneindigheid: Onder de aanname van het H-vermoeden van Schinzel bewijst het artikel dat de vergelijking $\sigma(n+1) = 2\sigma(n)$ oneindig veel oplossingen bezit. Dit wordt aangetoond door een polynoomfamilie te construeren waarbij de gelijktijdige primaliteit van bepaalde factoren garandeert dat de vergelijking geldt.
• Berekeningsresultaten: De auteurs leveren expliciete lijsten van oplossingen voor kleine waarden van $k$ (specifiek $k=2$ en $k=3$) gevonden via computationeel zoeken, waarmee wordt bevestigd dat de oplossingsverzamelingen niet leeg zijn.
• Structurele Connecties: Het artikel verduidelijkt de relatie tussen de oplossingen en $k$-gelagen getallen (een generalisatie van Zumkeller-getallen). Het observeert dat oplossingen vaak voldoen aan de noodzakelijke algebraïsche voorwaarden om $k$-gelagen te zijn (specifiek $\sigma(N) \equiv 0 \pmod k$ voor $N=n+1$) en vaak eigenschappen vertonen van praktische en overvloedige getallen.

Betekenis en Aanspraken
Het artikel claimt de kloof te overbruggen tussen de combinatorische classificatie van gehele getallen (zoals perfecte, Zumkeller- en $k$-gelagen getallen) en de analytische studie van de som-van-delers-functie op opeenvolgende argumenten.

De primaire betekenis ligt in de afleiding van een kwantitatieve grens voor de oplossingsverzameling van $\sigma(n+1) = k\sigma(n)$, een probleem dat eerder alleen in specifieke existentiële of elementaire contexten werd bestudeerd (bijvoorbeeld Torabi en Fatehizadeh, 2020). Door de nul-dichtheid te bewijzen, bevestigt het werk dat de toevallige samenval van geschaalde som-van-delers-waarden op opeenvolgende gehele getallen een zeldzaam fenomeen is, en breidt het het bekende gedrag van vergelijkbare vergelijkingen uit (zoals die bestudeerd door Erdős, Pomerance en Sárközy).

Bovendien formuleert het artikel Vermoeden 4.2, dat het vermoeden van Erdős-Sierpiński generaliseert naar alle $k > 1$: "Voor elk positief geheel getal $k$ heeft de vergelijking $\sigma(n+1) = k\sigma(n)$ oneindig veel oplossingen." Hoewel het artikel alleen de conditionele oneindigheid voor $k=2$ bewijst, stelt het dit voor als een natuurlijke uitbreiding gebaseerd op de waargenomen structurele connecties.

Het werk claimt niet het vermoeden van Erdős-Sierpiński zelf op te lossen (het geval $k=1$) noch de onvoorwaardelijke oneindigheid van oplossingen voor $k>1$ te bewijzen. In plaats daarvan biedt het een robuust analytisch kader voor het begrenzen van de dichtheid van oplossingen en vestigt het een conditioneel existentie-resultaat dat verdere onderzoek naar de verdeling van deze speciale gehele getallen motiveert.