🔢 mathematics

On the Digits of Partition Functions

Dit artikel verbetert de bestaande bovengrenzen voor de kleinste $n$ waarvoor de partitiefunctie $p(n)$ begint met een specifieke cijferreeks in basis $b$ , door een elementaire discrepantieframework te gebruiken die de eerdere resultaten van Luca aanzienlijk overtreft.

Oorspronkelijke auteurs: Siddharth Iyer

Gepubliceerd 2026-03-27

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Siddharth Iyer

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 enorme berg blokken hebt, en je wilt ze op verschillende manieren stapelen. In de wiskunde noemen we dit "partities". Het getal $p(n)$ vertelt je hoeveel manieren er zijn om het getal $n$ op te delen in kleinere stukjes. Bijvoorbeeld, het getal 4 kan op 5 manieren worden opgedeeld: 4, 3+1, 2+2, 2+1+1, en 1+1+1+1.

Deze wiskundige berg groeit razendsnel. Als je naar het getal $n=100$ kijkt, is het aantal manieren om het te stapelen al gigantisch groot.

Het Grote Raadsel: De Eerste Cijfers

Stel je nu voor dat je niet naar de hele berg kijkt, maar alleen naar het eerste cijfer (of de eerste paar cijfers) van dat enorme getal.

Beginnen de getallen vaak met een 1? Of met een 9?
Als ik zeg: "Ik zoek het kleinste getal $n$ waarbij het aantal manieren om te stapelen begint met de cijfers '123'", hoe groot moet dat $n$ dan zijn?

Dit is het probleem waar deze paper over gaat. Wiskundigen wisten al dat deze cijfers zich gedragen volgens een bepaalde wet (de wet van Benford), maar ze wilden weten: Hoe ver moet je zoeken voordat je die specifieke reeks cijfers vindt?

Vroeger dachten wiskundigen dat je misschien tot een getal moest zoeken dat zo groot was als het aantal atomen in het hele universum (of nog veel meer). Dat is een beetje alsof je zegt: "Om een specifiek woord te vinden in een bibliotheek, moet je misschien alle boeken van de hele planeet doorzoeken."

De Oplossing: Een Slimme Schatting

De auteur, Siddharth Iyer, heeft een nieuwe, veel slimmere manier bedacht om dit te berekenen. Hij gebruikt geen ingewikkelde, zware wiskundige machines, maar een eenvoudige "discrepantie-methode" (een manier om te kijken hoe goed getallen zich verspreiden).

Hij gebruikt een paar creatieve metaforen om zijn methode uit te leggen:

De Trede-trap:
Stel je voor dat je een trap beklimt waar elke trede een heel groot getal voorstelt. De hoogte van de treden groeit, maar niet willekeurig. Ze volgen een heel strak patroon. Iyer laat zien dat als je deze trap beklimt, je op een bepaald moment altijd een trede zult vinden die precies past in het raam dat je zoekt (bijvoorbeeld de cijfers '123'). Je hoeft niet de hele oneindige trap te beklimmen; je stopt veel eerder dan gedacht.
De Rijdende Band:
Denk aan een rijdende band in een fabriek die getallen produceert. Soms komen er getallen voorbij die beginnen met '1', soms met '9'. De vraag is: hoe lang moet je wachten tot er een getal voorbij komt dat begint met '42'?
De oude wiskundigen zeiden: "Misschien moet je uren wachten."
Iyer zegt: "Nee, kijk goed naar de snelheid van de band. Als je de snelheid en de afstanden tussen de getallen begrijpt, weet je dat je hooguit een paar minuten hoeft te wachten."

Wat is het Nieuwe Resultaat?

Iyer heeft bewezen dat je veel minder ver hoeft te zoeken dan eerder werd gedacht.

Voor de gewone stapels ( $p(n)$ ): Hij heeft een nieuwe formule gevonden die zegt dat je het getal $n$ kunt vinden dat begint met jouw gewenste cijfers, en dat dit getal $n$ niet groter is dan ongeveer $288$ keer een macht van je gewenste cijfers.
- Vergelijking: Als je eerder dacht dat je een naald in een hooiberg moest zoeken, zegt hij nu: "Nee, de naald zit in een klein zakje dat je zo in je hand kunt houden."
Voor de "Vlakke Stapels" ($PL(n)$): Dit is een nog complexere versie (waarbij je blokken in 3D stapelt, alsof je een muur bouwt). Ook hier heeft hij laten zien dat de zoektocht veel korter is dan gedacht, hoewel het getal iets groter is dan bij de gewone stapels.

Waarom is dit belangrijk?

Het klinkt misschien als een puur theoretisch raadsel, maar het laat zien dat wiskunde soms verrassend simpel kan zijn als je de juiste bril opzet.

Het toont aan dat grote, chaotisch ogende getallen eigenlijk een heel voorspelbaar ritme hebben.
Het verbetert de "kaarten" die wiskundigen gebruiken om te navigeren door de wereld van getallen.
Het bewijst dat je niet altijd de zwaarste gereedschappen nodig hebt; soms werkt een simpele, slimme observatie (zoals het gebruik van de "Middelpuntstelling" uit de analyse) beter dan een kanon.

Kort samengevat:
Deze paper pakt een mysterie op: "Hoe groot moet een getal zijn om te beginnen met een specifiek cijfer?" De auteur zegt: "Het is veel kleiner dan je denkt." Hij heeft de zoektocht van een reis door de hele melkweg teruggebracht tot een wandeling door je eigen tuin.

Titel: Over de cijfers van partitiefuncties

Auteur: Siddharth Iyer
Onderwerp: Getaltheorie, Partitiefuncties, Benford's Law, Discrepantie

1. Probleemstelling

Het artikel behandelt een specifiek probleem dat onlangs werd geformuleerd door Douglass en Ono, en dat hier wordt veralgemeend. Het gaat over de partitiefunctie $p(n)$ (het aantal manieren om een natuurlijk getal $n$ te schrijven als som van positieve gehele getallen) en de vlakke partitiefunctie $PL(n)$ (het aantal vlakke partities van $n$ ).

Het centrale vraagstuk is het vinden van de kleinste positieve integer $N_p(f, b)$ zodanig dat het getal $p(N_p(f, b))$ (of $PL(N_p(f, b))$ ) in basis $b$ begint met een specifieke reeks cijfers $f$ .

De reeks $f$ heeft lengte $t$ in basis $b$ en begint niet met de cijfer 0.
Het doel is om niet-triviale bovengrenzen te vinden voor $N_p(f, b)$ en $N_{PL}(f, b)$ .

Eerdere resultaten van Luca (2023) gebruikten complexe methoden zoals exponentiële sommen en transcendentietheorie om zeer hoge bovengrenzen te bewijzen:

Voor $p(n)$ : $N_p(f, b) \leq \exp(2 \cdot 10^{25}(t+12)(\ln b)^2)$ .
Voor $PL(n) $:$ N_{PL}(f, b) \leq b^{51t+688}$.

Deze grenzen zijn extreem groot en niet scherp. Iyer stelt dat elementaire methoden veel scherpere resultaten kunnen opleveren.

2. Methodologie

Iyer gebruikt een elementair discrepantiekader gebaseerd op de volgende pijlers:

Logaritmische Fractionele Delen:
Het probleem wordt omgezet in het vinden van een $n$ zodanig dat het fractionele deel van $\log_b(p(n))$ binnen een specifiek interval ligt. Als $f$ de leidende cijfers zijn, dan moet gelden:
$\{ \log_b(p(n)) \} \in [\log_b(f) - t + 1, \log_b(f+1) - t + 1)$
De breedte van dit interval is $\delta = \log_b(f+1) - \log_b(f)$ .
Asymptotische Benaderingen:
De auteur maakt gebruik van nauwkeurige asymptotische formules voor $\ln(p(n))$ en $\ln(PL(n))$ (gebaseerd op werk van Hardy-Ramanujan en andere):
- Voor $p(n)$ : De groei wordt gedomineerd door termen van de vorm $\sqrt{n}$ .
- Voor $PL(n)$: De groei wordt gedomineerd door termen van de vorm $n^{2/3}$ .
  Deze formules worden opgesplitst in een hoofdterm $h(x)$ en een foutterm $E(x)$ .
Het Algemene Discrepantie-Bewijs (Propositie 3.1):
De kern van de methode is een nieuw bewijs dat een bovengrens geeft voor de kleinste integer $m$ waarvoor $\{g(m)\}$ in een doelinterval valt.
- De functie $g(x)$ heeft de vorm $c_1 x^\theta + c_2 \ln x + c_3 + E(x)$ .
- Met behulp van de Middelpuntstelling (Mean Value Theorem) wordt aangetoond dat als de afgeleide $h'(x)$ groot genoeg is en de foutterm $E(x)$ klein genoeg, er binnen een bepaald interval zeker een integer $m$ bestaat die aan de voorwaarde voldoet.
- De methode berekent specifieke constanten ( $L_1, L_2, L_3, L_4$ ) die afhangen van de parameters van de functie en de breedte $\delta$ van het doelinterval.

3. Belangrijkste Resultaten

De auteur leidt nieuwe, drastisch scherpere bovengrenzen af voor $N_p(f, b)$ en $N_{PL}(f, b)$ .

Stelling 1.2:
Laat $b \geq 2$ een gehele basis zijn en $t$ de lengte van de cijferstring $f$ . Dan geldt:

Voor de partitiefunctie $p(n)$ :
$N_p(f, b) \leq 288 \cdot b^{2t} + 2$
Dit is een aanzienlijke verbetering ten opzichte van de exponentiële groei in de eerdere resultaten van Luca. De groei is nu polynomiëel in $b^t$ .
Voor de vlakke partitiefunctie $PL(n)$:
$N_{PL}(f, b) \leq 130 \cdot b^{3t} + 29400 \cdot b^{3t/2}$
Ook hier is de groei polynomiëel in $b^t$ (specifiek $O(b^{3t})$ ), wat veel beter is dan de eerdere $O(b^{51t})$ .

Technische afleiding:

Voor $p(n)$ is de dominante term $L_2$ in het discrepantiebewijs, wat leidt tot de orde $b^{2t}$ .
Voor $PL(n)$ zijn de dominante termen $L_2$ (orde $b^{3t/2}$ ) en $L_4$ (orde $b^{3t}$ ). De som van deze termen geeft de uiteindelijke grens.

4. Significatie en Impact

Methodologische Vooruitgang: Het artikel toont aan dat complexe analytische getaltheorie (zoals transcendentietheorie) niet altijd nodig is voor dit type probleem. Een elementaire benadering met de middelpuntstelling en nauwkeurige asymptotische analyse volstaat om veel sterkere resultaten te behalen.
Kwalitatieve Verbetering: De nieuwe grenzen zijn niet alleen numeriek kleiner, maar ook van een fundamenteel betere orde. Waar Luca's resultaten exponentieel groeiden in de lengte van de cijferstring $t$ , groeien de nieuwe resultaten polynomiëel.
Verband met Benford's Law: Aangezien zowel $p(n)$ als $PL(n)$ voldoen aan Benford's Law (de verdeling van de leidende cijfers), bevestigt dit werk dat de eerste keer dat een specifieke cijferreeks voorkomt, relatief vroeg gebeurt in de rij van partities.
Toepasbaarheid: De methode is flexibel en kan waarschijnlijk worden toegepast op andere rijen van gehele getallen die een vergelijkbare asymptotische groei vertonen.

Conclusie

Siddharth Iyer heeft het probleem van Douglass en Ono opgelost door een elementair maar krachtig discrepantieframework te ontwikkelen. Dit resulteert in bovengrenzen voor de eerste verschijning van specifieke cijferreeksen in partitiefuncties die een orde van grootte (en meer) beter zijn dan eerdere resultaten, en dit zonder gebruik te maken van zware transcendentietheorie.