On the digits of the sum of proper divisors

Technische Samenvatting: Over de Cijfers van de Som van Echte Delers

Probleemstelling
Dit artikel onderzoekt het probabilistische gedrag van de decimale (en algemene basis-$g$) cijfers van $s(n)$, de som van de echte delers van een positief geheel tal $n$. De auteurs behandelen drie primaire vragen:

1. Cijfervoorkomen: Hoe vaak komen alle mogelijke cijfers voor in de voorste en achterste posities van $s(n)$?
2. Verdeling van het Voorste Cijfer: Volgen de voorste cijfers van $s(n)$ de wet van Benford?
3. Spaarze Preimages: Hoeveel samengestelde gehele getallen $n$ bestaan er zodanig dat $s(n)$ "elliptisch" is (d.w.z. ten minste één cijfer mist in zijn basis-$g$ expansie)?

De studie wordt gemotiveerd door het contrast tussen het gedrag van $s(n)$ op alle gehele getallen versus het gedrag wanneer het beperkt is tot samengestelde getallen, specifiek met betrekking tot de preimages van verzamelingen met ontbrekende cijfers.

Methodologie
De auteurs maken gebruik van een combinatie van analytische getaltheorie, probabilistische methoden en zeeftechnieken.

• Cijfervoorkomen (Theorema's 1.1, 2.2, 2.5): Om te bewijzen dat bijna alle gehele getallen $n \le x$ een $s(n)$ hebben dat alle cijfers bevat in de eerste en laatste $k(x)$ posities (waarbij $k(x) \to \infty$), maken de auteurs gebruik van:

  • Modulaire Beperkingen: Ze analyseren $s(n) \pmod{g^k}$ en relateren dit aan $\sigma(n) \pmod{g^k}$.
  • Gladde Getallen (Smooth Numbers): Ze decomponeren $n$ in een glad deel en een ruw deel, waarbij zij de priemgetalstelling gebruiken om de bijdrage van uitzonderlijke gevallen te begrenzen.
  • Distributie van $\sigma(n)/n$: Ze vertrouwen op de continuïteit van de distributiefunctie van $\sigma(n)/n$ (Davenport's resultaten) om aan te tonen dat $s(n)$ zich gedraagt als een willekeurig geheel tal van vergelijkbare grootte met betrekking tot de cijferverdeling.

• Wet van Benford (Theorema's 1.2, 3.5, 3.6):

  • Logaritmische Dichtheid: De auteurs bewijzen dat $s(n)$ de wet van Benford volgt met betrekking tot logaritmische dichtheid. Ze passen Weyl's criterium voor uniforme verdeling modulo 1 toe op de rij $\{\log_g s(n)\}$.
  • Halász's Stelling: Omdat $s(n)$ niet multiplicatief is, drukken ze $s(n)^{i\alpha}$ uit via een binomiale expansie van $\sigma(n)^{i\alpha}(1 - n/\sigma(n))^{i\alpha}$. Ze trunceren deze reeks en passen een gewogen versie van Halász's Stelling (Propositie 3.3) toe om te laten zien dat het logaritmische gemiddelde van de resulterende multiplicatieve functies nul is.
  • Natuurlijke Dichtheid: Daarentegen bewijzen ze dat $s(n)$ niet de wet van Benford volgt met betrekking tot natuurlijke dichtheid. Ze construeren een specifieke verzameling "handige" getallen (veelvouden van 6 met grote priemfactoren) waar $s(n)$ dicht geclusterd is nabij $n$, wat een bias creëert in de breukdelen van $\log_g s(n)$ die de uniforme verdeling vereist voor natuurlijke dichtheid Benford-gedrag schendt.

• Samengestelde Getallen en Ontbrekende Cijfers (Theorema 1.5):

  • Uitsluiting van Priemgetallen: Het artikel adresseert een hiaat in eerder werk (Benli et al., 2026) dat een bovengrens vaststelde voor $s(n)$ met ontbrekende cijfers, maar opmerkte dat priemgetal-inputs ($s(p)=1$) de telling domineren.
  • Decompositie: Voor samengestelde $n$ schrijven ze $n = Pm$ waarbij $P = P^+(n)$ de grootste priemfactor is. Ze analyseren $s(n) = P s(m) + \sigma(m)$.
  • Zeef en Gladheid: Ze splitsen de analyse op basis van de grootte van $m$ en $P$. Voor grote $P$ gebruiken ze de Brun-Titchmarsh stelling en grenzen aan het aantal gehele getallen met ontbrekende cijfers (elliptische getallen) om aan te tonen dat de telling aanzienlijk kleiner is dan het algemene geval.
  • Modulaire Rekenkunde: Ze gebruiken Lemma 4.3 om het aantal $m$ te begrenzen waarvoor $s(m)$ deelbaar is door specifieke moduli, om de distributie van $s(n)$ modulo $g^k$ te controleren.

Kernresultaten

1. Universeel Cijfervoorkomen: Voor elke basis $g \ge 2$ en elke functie $k(x) \to \infty$, bevat asymptotisch 100% van de gehele getallen $n \le x$ alle $g$ cijfers in zowel de eerste als de laatste $k(x)$ posities (Theorema 1.1).
2. Wet van Benford (Logaritmische Dichtheid): De functie $s(n)$ voldoet aan de wet van Benford met betrekking tot logaritmische dichtheid. Specifiek is de logaritmische dichtheid van $n$ waarvoor de voorste cijfers van $s(n)$ een blok $D$ vormen $\log_g(1 + 1/D)$ (Theorema 1.2).
3. Falen van de Wet van Benford (Natuurlijke Dichtheid): $s(n)$ voldoet niet aan de wet van Benford met betrekking tot natuurlijke dichtheid (Propositie 3.6).
4. Samengestelde Preimages van Spaarse Verzamelingen: Wanneer $n$ wordt beperkt tot samengestelde getallen, wordt het aantal $n \le x$ zodanig dat $s(n)$ een specifiek cijfer $a_0$ in basis $g$ mist, begrensd door $O(x \exp(-c\sqrt{\log x}))$ voor een constante $c > 0$ (Theorema 1.5). Dit is een aanzienlijk sterkere grens dan de $O(x \exp(-(\log \log x)^\gamma))$ grens voor alle gehele getallen, wat benadrukt dat priemgetal-inputs de primaire bron zijn van "ontbrekende cijfer" waarden voor $s(n)$.

Betekenis en Claims
Het artikel beweert vast te stellen dat de cijfers van $s(n)$ een hoge mate van willekeur vertonen, waarbij ze zich vergelijkbaar gedragen als willekeurige gehele getallen wat betreft cijfervoorkomen en de verdeling van het voorste cijfer (onder logaritmische dichtheid).

Een centrale bijdrage is de verduidelijking van de rol van priemgetallen in de preimage van verzamelingen met ontbrekende cijfers. De auteurs demonstreren dat hoewel de verzameling van alle gehele getallen $n$ waar $s(n)$ ontbrekende cijfers heeft relatief groot is (door het triviale geval $s(p)=1$), de deelverzameling van samengestelde gehele getallen met deze eigenschap veel kleiner is. Dit resultaat verfijnt het begrip van de Erdős–Granville–Pomerance–Spiro (EGPS) conjectuur, die stelt dat de preimage van een verzameling met een asymptotische dichtheid van nul ook een asymptotische dichtheid van nul heeft. De auteurs tonen aan dat voor het specifieke geval van ontbrekende cijfers, de "dichtheid" van de preimage bijna volledig wordt gedreven door priemgetallen, en het uitsluiten daarvan een veel spaarsere verzameling oplevert.

Het werk steunt op standaard instrumenten uit de analytische getaltheorie (Halász's stelling, Brun-Titchmarsh, distributie van $\sigma(n)/n$) en stelt geen nieuwe experimentele toepassingen of toekomstige implicaties voor buiten de theoretische grenzen die zijn vastgesteld.