On the 3-adic Valuation of a Cubic Binomial Sum

In dit korte artikel bewijzen de auteurs een conjectuur van Alekseyev, Amdeberhan, Shallit en Vukusic over de 3-adische waardering van een kubieke binomiale som.

De kern

Stel je voor dat wiskunde een gigantische keuken is, waar getallen de ingrediënten zijn. In dit artikel, geschreven door Valentio Iverson, gaat het over een heel specifiek recept: een "kubische binomiale som". Dat klinkt ingewikkeld, maar het is eigenlijk gewoon een manier om een heleboel getallen op te tellen die zijn samengesteld uit combinaties (zoals het kiezen van items uit een groep) en machten van 2.

De vraag die de auteurs van het artikel wilden beantwoorden, was: "Als je dit enorme getal uitrekent, hoe vaak is het dan deelbaar door het getal 3?"

In de wiskunde noemen we dit de "3-adische waardering". Om het simpel te houden: stel dat je een enorme berg munten hebt. Je wilt weten hoe vaak je die berg in stapels van 3 kunt verdelen voordat er één munt overblijft die niet meer past. Het antwoord op die vraag is wat de wiskundigen zoeken.

Het mysterie van de voorspelling

Een groep andere wiskundigen had eerder een raadsel opgegeven. Ze dachten dat het antwoord afhing van twee dingen:

1. Of het getal $n$ (het aantal ingrediënten in je recept) even of oneven is.
2. Een trucje met het getal 3: als je $n$ schrijft als een som van machten van 3 (net zoals we getallen in ons dagelijks leven schrijven als sommen van machten van 10), hoeveel "cijfers" zijn er dan nodig? Dit noemen ze de "som van de cijfers".

Ze hadden een formule bedacht, maar ze hadden het nog niet bewezen. Het was als een voorspelling van een weerman: "Ik denk dat het morgen regent," maar zonder de metingen te hebben gedaan.

De oplossing: Een slimme transformatie

Valentio Iverson komt met een oplossing. Hij gebruikt een oude, maar krachtige formule (de identiteit van MacMahon) om het recept te herschrijven.

De analogie van de orkestzaal:
Stel je voor dat je de som berekent als een orkest dat speelt. Elk lid van het orkest (elk getal in de som) speelt een noot. De meeste leden spelen heel zacht (ze zijn niet erg deelbaar door 3), maar één lid speelt een enorme, diepe basnoot die alles overstemt.

Iversons bewijs laat zien dat:

1. Hij het orkest herschikt zodat hij precies kan zien wie er speelt.
2. Hij ontdekt dat er één specifieke speler is die veel luider klinkt dan de rest. Deze speler is het getal dat bepaalt hoe vaak het totaal getal deelbaar is door 3.
3. Alle andere spelers zijn zo zacht (ze hebben een hogere "waarde" van deelbaarheid, wat betekent dat ze "schoner" zijn en minder vaak door 3 gedeeld kunnen worden) dat ze de luide basnoot niet kunnen overstemmen.

Het resultaat

Het mooie aan dit bewijs is dat het bevestigt wat de andere wiskundigen dachten:

• Als je startgetal $n$ even is, hangt het antwoord af van de "cijfersom" van de helft van $n$.
• Als je startgetal $n$ oneven is, is het antwoord precies één stapje hoger dan de "cijfersom" van de helft van $n$ (afgerond).

Waarom is dit belangrijk?

In de wereld van de getaltheorie (het bestuderen van getallen) zijn deze patronen als schatten. Ze laten zien dat er, ondanks de chaos van enorme sommen, een strakke, regelmatige orde schuilt. Iverson heeft laten zien dat deze orde echt bestaat en heeft de voorspelling van zijn collega's bevestigd.

Kortom: Hij heeft een ingewikkeld wiskundig raadsel opgelost door te laten zien dat in een enorme chaos van getallen, één enkel getal de leiding neemt en het antwoord bepaalt. En dat antwoord bleek precies te kloppen met wat anderen hadden geraden.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the 3-adic Valuation of a Cubic Binomial Sum" van Valentio Iverson, geschreven in het Nederlands.

Titel en Context

Titel: Over de 3-adische waardering van een kubieke binomiale som.
Auteur: Valentio Iverson (Universiteit van Waterloo, Canada).
Datum: 13 maart 2026.
Onderwerp: Getaltheorie, p-adische analyse, combinatorische rijen.

---

1. Het Probleem

Het artikel richt zich op de studie van de p-adische waardering (aangeduid als $\nu_p$) van combinatorische rijen en binomiale sommen. Specifiek wordt een conjectuur onderzocht die onlangs werd geformuleerd door Alekseyev, Amdeberhan, Shallit en Vukusic.

De kernvraag betreft de 3-adische waardering van de volgende kubieke binomiale som:
$$S_n = \sum_{r=0}^{n} \binom{n}{r}^3 2^r$$

De auteurs van de oorspronkelijke conjectuur stelden dat de waarde van $\nu_3(S_n)$ afhangt van de pariteit van $n$ en de som van de cijfers in het grondtal 3, aangeduid als $s_3(\cdot)$. De conjectuur stelde een expliciete formule voor die nog niet bewezen was.

2. Methodologie

Iverson biedt een elementair en direct bewijs door een combinatie van klassieke identiteiten en p-adische analysetechnieken toe te passen. De methode verloopt als volgt:

1. Toepassing van MacMahon's Identiteit:
   De auteur transformeert de oorspronkelijke som $S_n$ met behulp van de klassieke identiteit van MacMahon. Door $x=2$ en $y=1$ in te vullen, wordt de som herschreven in een vorm die geschikter is voor p-adische analyse:
   $$S_n = \sum_{r=0}^{\lfloor n/2 \rfloor} \binom{n+r}{3r} \binom{2r}{r} \binom{3r}{r} 2^r 3^{n-2r}$$
   Hierbij worden de individuele termen aangeduid als $A_r$.

2. Gebruik van Legendre's Formule:
   Om de 3-adische waardering van de termen te bepalen, maakt Iverson gebruik van Legendre's formule. Een cruciale observatie is de waardering van het product van binomiale coëfficiënten:
   $$\nu_3\left( \binom{2k}{k} \binom{3k}{k} \right) = s_3(k)$$
   Deze relatie is fundamenteel voor het afleiden van ondergrenzen voor de waardering van de termen in de herschreven som.

3. Dominantie-analyse:
   Het bewijs maakt gebruik van het principe dat de 3-adische waardering van een som wordt bepaald door de term met de laagste waardering (de "dominerende term"), mits deze laagste waardering uniek is en strikt lager is dan die van alle andere termen.
   Iverson analyseert de termen $A_r$ voor $0 \le r \le \lfloor n/2 \rfloor$en toont aan dat de term waarbij$r = \lfloor n/2 \rfloor$ een strikt lagere 3-adische waardering heeft dan alle andere termen in de som.

3. Belangrijkste Resultaten en Bewijsstructuur

Het hoofdstuk bewijst de conjectuur door twee gevallen te onderscheiden op basis van de pariteit van $n$:

• Geval 1: $n$ is even ($n = 2m$)

  • De som loopt tot $r=m$.
  • De term voor $r=m$ (namelijk $A_m$) heeft een waardering van $\nu_3(A_m) = s_3(m)$.
  • Voor alle andere termen ($r < m$) wordt aangetoond dat $\nu_3(A_r) \ge 1 + s_3(m)$.
  • Conclusie: Omdat de term $A_m$ strikt de laagste waardering heeft, geldt: $\nu_3(S_{2m}) = s_3(m)$.

• Geval 2: $n$ is oneven ($n = 2m + 1$)

  • De som loopt tot $r=m$.
  • De term voor $r=m$ (namelijk $A_m$) bevat een extra factor $3$door de exponent van 3 in de herschreven vorm, wat leidt tot$\nu_3(A_m) = 1 + s_3(m)$.
  • Voor alle andere termen ($r < m$) geldt $\nu_3(A_r) \ge 2 + s_3(m)$.
  • Conclusie: De term $A_m$ is wederom de dominante term, dus: $\nu_3(S_{2m+1}) = s_3(m) + 1$.

4. Hoofdstelling (Theorem 1)

Voor elke gehele getal $n \ge 1$ geldt de volgende formule voor de 3-adische waardering van de som:

$$\nu_3 \left( \sum_{r=0}^{n} \binom{n}{r}^3 2^r \right) = \begin{cases} s_3\left(\frac{n-1}{2}\right) + 1 & \text{als } n \text{ oneven is}, \\ s_3\left(\frac{n}{2}\right) & \text{als } n \text{ even is}. \end{cases}$$

5. Betekenis en Bijdrage

• Bevestiging van een Conjectuur: Het artikel lost een open probleem op dat recent was gesteld door vooraanstaande onderzoekers op het gebied van p-adische waarderingen van Legendre-polynomen en gerelateerde rijen.
• Eenvoudige Bewijsvoering: Hoewel het onderwerp diep in de getaltheorie ligt, biedt Iverson een "elementair en direct" bewijs. Dit wordt bereikt door slimme toepassing van MacMahon's identiteit in plaats van zwaardere analytische methoden.
• Technische Inzicht: Het werk illustreert hoe de subadditiviteit van de som-van-cijfers-functie ($s_3(a+b) \le s_3(a) + s_3(b)$) kan worden gebruikt om strikte ondergrenzen te stellen en de dominantie van specifieke termen in een som te isoleren.
• Toepassingsgebied: De resultaten dragen bij aan het bredere begrip van de arithmetische structuur van combinatorische sommen en hun gedrag in p-adische ruimten, wat relevant is voor de studie van congruenties en deeltaltheorie.

Samenvattend bevestigt dit korte artikel een belangrijke voorspelling over de 3-adische structuur van een specifieke kubieke binomiale som en levert het een elegant, zelfstandig bewijs dat de relatie tussen de som en de cijfersom in grondtal 3 expliciet maakt.