Summing the sum of digits

Dit artikel heroverweegt en generaliseert ongelijkheden voor de sommatiefunctie van de som van cijfers in een gegeven grondtal, en toont aan dat verschillende bekende resultaten kunnen worden afgeleid uit een theorema uit een 2023-publieatie over mutatie-robuustheid.

De kern

Samenvatting van het artikel: "Het optellen van de som van cijfers"

Stel je voor dat je een enorme rij getallen hebt: 1, 2, 3, 4, 5, enzovoort. Nu ga je niet de getallen zelf optellen, maar tel je de cijfers van die getallen bij elkaar op.

• Bij het getal 12 tel je 1 + 2 = 3.
• Bij het getal 99 tel je 9 + 9 = 18.
• Bij het getal 100 tel je 1 + 0 + 0 = 1.

De auteurs van dit artikel, Jean-Paul Allouche en Manon Stipulanti, kijken naar de totaalsom van al die cijfers tot aan een bepaald punt. Ze noemen dit de "som van de sommen". Het klinkt als een saaie rekenoefening, maar het blijkt een wereld vol mysterieuze patronen en wiskundige regels te zijn.

Hier is wat ze hebben ontdekt, vertaald naar alledaags taal met een paar creatieve vergelijkingen:

1. De Grote Ontdekking: Een Universele Regel

De auteurs hebben een oude, ingewikkelde formule uit 2023 gevonden (geschreven door een groep onderzoekers die zich eigenlijk bezighielden met biologie en genetica). Die formule leek totaal niets met getallen te maken te hebben, maar bleek eigenlijk een meesterformule te zijn voor deze cijfersommen.

De metafoor:
Stel je voor dat je een enorme stapel blokken hebt. Je mag ze in verschillende groepen verdelen. De onderzoekers hebben ontdekt dat er een simpele regel is die altijd geldt, ongeacht hoe je die blokken verdeelt, zolang je maar binnen een bepaald systeem (een "basis", zoals ons tientallig stelsel of het binaire stelsel) blijft.

Ze zeggen: "Als je deze specifieke manier van optellen toepast, dan is de totale som van de losse groepen altijd kleiner dan of gelijk aan de som als je alles in één grote groep had gedaan."

2. Het Oplossen van een Raadsel (De "p=0" kwestie)

Een andere wiskundige, Allaart, had in 2011 een formule bedacht die een beetje raar leek. Hij had een variabele 'p' in zijn formule. Voor de meeste waarden van 'p' wist niemand of de formule klopte, maar voor de waarde p=0 kon hij geen bewijs vinden.

De oplossing:
De auteurs van dit artikel hebben laten zien dat dit raadsel eigenlijk al in 1970 was opgelost door een man genaamd Graham. Het was alsof Allaart een nieuw slot had ontworpen, maar de sleutel (het bewijs) al decennia eerder in een oude lade van Graham had liggen. Ze hebben de link gelegd en gezegd: "Kijk, wat jij voor p=0 zoekt, is precies wat Graham al had bewezen."

3. De "Blancmange"-Kekel (De Fractale Vorm)

In het artikel wordt gesproken over een "blancmange-curve". Dat klinkt als een Frans dessert (een gelatinepudding), maar in de wiskunde is het een heel gekke, golvende lijn die overal "ruw" is (je kunt er geen rechte lijn op tekenen).

De analogie:
Stel je voor dat je een berg sneeuw hebt. Als je de som van de cijfers van alle getallen tot nu toe plukt, krijg je geen gladde berg, maar een berg met oneindig veel kleine piekjes en dalen. Het artikel laat zien dat de regels die ze hebben gevonden, helpen om te begrijpen hoe die ruwe berg eruitziet. Het is alsof ze de wetten van de sneeuwvlokken hebben gevonden.

4. Waarom is dit belangrijk?

Je zou kunnen denken: "Wie heeft er nou last van het optellen van cijfers?"
Het antwoord is verrassend: Overal.

• Biologie: De originele formule kwam uit onderzoek naar hoe DNA-mutaties werken.
• Computerwetenschap: Het helpt bij het begrijpen van hoe computers data opslaan en verwerken.
• Wiskunde: Het verbindt verschillende gebieden die normaal gesproken niet met elkaar praten.

De auteurs zeggen dat onderzoekers vaak te veel in hun eigen bubbel zitten. Ze hebben dit artikel geschreven om te zeggen: "Kijk eens, wat jullie in de biologie doen, is eigenlijk hetzelfde als wat wij in de getaltheorie doen!"

5. Wat is er nog niet opgelost?

Hoewel ze veel oude puzzels hebben opgelost, zijn er nog vragen:

• Kunnen we de regels nog breder maken?
• Is er een "super-regel" die alles dekt?
• Kunnen we dit toepassen op andere soorten "tellingen" (bijvoorbeeld: tel niet de cijfers, maar tel hoe vaak het patroon '11' voorkomt in een getal)?

Conclusie

Dit artikel is een soort brugbouwer. De auteurs hebben een brug gebouwd tussen een oud wiskundig probleem, een recente biologische ontdekking en een mysterieuze formule. Ze hebben laten zien dat als je goed kijkt, de wiskunde overal hetzelfde patroon volgt, of je nu kijkt naar getallen, DNA of ruwe pudding-achtige lijnen.

Het is een feestje voor de wiskunde, en ze hebben het cadeau gemaakt aan een collega (Christiane Frougny) die 75 jaar wordt, als eerbetoon aan haar werk op dit gebied.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Summing the sum of digits" van Jean-Paul Allouche en Manon Stipulanti, in het Nederlands.

Probleemstelling

Het artikel richt zich op de som van de som van cijfers (summatory function of the sum of digits) in een gegeven gehele basis $b$. Voor een geheel getal $n$ wordt $s_b(n)$ gedefinieerd als de som van de cijfers van $n$ in basis $b$. De sommatiefunctie $S_b(n)$ is de som van $s_b(j)$ voor alle $j$ van $1$tot$n-1$.

Hoewel er veel onderzoek is gedaan naar asymptotische formules voor deze sommen (zoals het werk van Delange uit 1975), richt dit artikel zich specifiek op het afleiden van optimaliteitsongelijkheden voor deze sommen. De auteurs willen bestaande resultaten uit de literatuur verenigen en generaliseren, en onderzoeken de connectie tussen wiskundige resultaten over cijfersommen en toepassingen in andere domeinen, zoals de maximale mutatie-robuustheid in genotype-fenotype kaarten (een paper uit 2023 door Mohanty et al.).

Methodologie

De auteurs hanteren een combinatorische en algebraïsche aanpak met de volgende kernpunten:

1. Analyse van bestaande theorema's: Ze bestuderen resultaten van Graham (1970), Allaart (2011) en Mohanty et al. (2023). Ze tonen aan dat veel van deze resultaten op elkaar inwerken.
2. Herschrijving en generalisatie: Ze bewijzen dat een complexere ongelijkheid uit de paper van Mohanty et al. (Theorema 1.1) de sleutel is om eerdere, schijnbaar losstaande resultaten (zoals die van Graham en Allaart) te deduceren.
3. Constructie van nieuwe ongelijkheden: Ze ontwikkelen variaties en generalisaties van Theorema 1.1 door het aantal termen in de sommen te variëren en de voorwaarden voor de indices te versoepelen.
4. Optimaliteitsanalyse: Ze testen de grenzen van hun theorema's door te onderzoeken of generalisaties mogelijk zijn voor parameters buiten de oorspronkelijke reikwijdte (bijvoorbeeld wanneer het aantal termen groter is dan de basis $b$).
5. Verbinding met binomiale coëfficiënten: Ze onderzoeken de link met de $b$-adische waardering van binomiale coëfficiënten (via de stelling van Legendre) om inzicht te krijgen in de structuur van de ongelijkheden.

Belangrijkste Bijdragen en Resultaten

1. Verbinding tussen Graham, Allaart en Mohanty

• Theorema 1.1 (Mohanty et al.): De auteurs tonen aan dat dit theorema, dat oorspronkelijk uit de biologie/evolutie komt, de basis vormt voor veel ongelijkheden over cijfersommen.
  $$\sum_{i=1}^b S_b(n_i) + \sum_{i=1}^{b-1} (b-i)n_i \leq S_b\left(\sum_{i=1}^b n_i\right)$$
  voor $0 \leq n_1 \leq \dots \leq n_b$.
• Graham's resultaat als special case: Ze bewijzen dat Graham's ongelijkheid (voor basis 2) een direct gevolg is van Theorema 1.1.
• Allaart's resultaat ($p=0$): Ze lossen een open vraag van Allaart op door aan te tonen dat zijn ongelijkheid voor het geval $p=0$ (in Theorema 1.2) een gevolg is van Graham's resultaat, en dus indirect ook van Theorema 1.1.

2. Nieuwe Generalisaties (Sectie 4)

De auteurs presenteren drie nieuwe theorema's die de bestaande resultaten generaliseren:

• Theorema 4.1 (Variatie): Een herschreven versie van Theorema 1.1 die een andere vorm van ongelijkheid biedt, nuttig voor specifieke combinaties van indices.
• Theorema 4.2 (Generalisatie van het aantal termen): Ze tonen aan dat het aantal termen $r$ in de som niet hoeft gelijk te zijn aan de basis $b$, zolang $r \leq b$ is. Dit leidt tot een bredere ongelijkheid die Graham's en Allaart's resultaten voor twee termen ($r=2$) omvat.
• Theorema 4.3 (Generalisatie van Theorema 4.1): Een verdere uitbreiding die de ongelijkheid toepasbaar maakt op een subset van termen binnen een grotere basis.

3. Optimaliteit en Grenzen

• Theorema 4.4: De auteurs bewijzen dat hun generalisaties optimaal zijn wat betreft het aantal termen $r$. Als $r > b$, dan bestaan er geen constante coëfficiënten $\alpha_i \geq 1$ die de ongelijkheid voor alle $n_i$ laten gelden. Ze construeren een tegenvoorbeeld waarbij de ongelijkheid faalt als $r > b$.
• Opmerking 5.3: Ze merken op dat voor specifieke gevallen (zoals $b \geq 4$ en $r=2$) bestaande scherpe ongelijkheden van Allaart (Theorema 5.4) sterker zijn dan hun eigen generalisatie, en dat deze specifieke scherpe ongelijkheid niet direct uit hun theorema's kan worden afgeleid.

4. Uitdagingen en Open Vragen

• Generalisatie van Theorema 1.2: De auteurs proberen de ongelijkheid van Allaart voor $p \in [0, 1]$ te generaliseren door de reeks $(2^{pi})$ te vervangen door een algemene reeks $(\lambda_i)$. Ze tonen aan dat dit niet werkt voor willekeurige niet-dalende reeksen (bijvoorbeeld $\lambda_i = 3^i$), omdat de ongelijkheid dan faalt voor grote $m$.
• Binomiale coëfficiënten: Ze suggereren dat een bewijs via $b$-adische waarderingen van binomiale coëfficiënten mogelijk is, maar dat dit voor de complexere gevallen nog niet volledig is uitgewerkt.

Significantie

Dit artikel is significant omdat het:

1. Interdisciplinaire connecties legt: Het toont aan hoe resultaten uit de theoretische biologie (mutatie-robuustheid) fundamentele wiskundige ongelijkheden over cijfersommen kunnen verklaren en generaliseren.
2. De literatuur verenigt: Het lost de fragmentatie in de literatuur op door te laten zien dat resultaten van Graham, Allaart en anderen allemaal voortvloeien uit één onderliggend theorema (Theorema 1.1).
3. Nieuwe richtingen biedt: Het stelt duidelijke grenzen (optimaliteit voor $r \leq b$) en formuleert concrete open vragen voor toekomstig onderzoek, zoals het vinden van een "Graham-Allaart ongelijkheid" die beide gevallen dekt en het gebruik van gegeneraliseerde binomiale coëfficiënten.
4. Een eerbetoon is: Het werk is opgedragen aan Christiane Frougny ter ere van haar 75e verjaardag, een vooraanstaand figuur in de combinatoriek van woorden en getaltheorie.

Kortom, het artikel biedt een diepgaande, gestructureerde analyse van ongelijkheden voor sommen van cijfersommen, verduidelijkt de onderlinge relaties tussen bestaande theorema's en biedt een solide basis voor toekomstige generalisaties.