On the $2$-adic valuation of$\sigma_k(n)$

Dit artikel onderzoekt de 2-adische waardering van de delerfunctie $\sigma_k(n)$, bewijst scherpe bovengrenzen die afhangen van de pariteit van $k$, en levert een expliciete formule voor deze waardering op basis van de priemfactorisatie van $n$.

De kern

Stel je voor dat getallen niet alleen uit cijfers bestaan, maar uit een geheim recept van bouwstenen. In de wiskunde noemen we deze bouwstenen delers. Als je het getal 6 neemt, zijn de delers 1, 2, 3 en 6.

Deze paper van Kaimin Cheng en Ke Zhang gaat over een heel specifiek spelletje met deze delers, waarbij we kijken naar een geheim getal dat we de "2-adische waardering" noemen. Dat klinkt als een ingewikkeld woord, maar het is eigenlijk heel simpel: het is gewoon het antwoord op de vraag: "Hoe vaak kan ik dit getal door 2 delen voordat het oneven wordt?"

Laten we dit uitleggen met een paar creatieve analogieën.

1. Het Spel: De Delers-Som

Stel je voor dat je een getal $n$ hebt. Je verzamelt al zijn delers (de bouwstenen) en je verheft ze allemaal tot een macht $k$ (bijvoorbeeld $k=1$, $k=2$, of $k=3$). Vervolgens tel je ze allemaal bij elkaar op. Dit noemen wiskundigen $\sigma_k(n)$.

• Voorbeeld: Als $n=6$ en $k=1$, zijn de delers 1, 2, 3, 6. De som is $1+2+3+6 = 12$.
• De vraag is: Hoeveel keer kan ik 12 door 2 delen?
  • $12 / 2 = 6$ (1 keer)
  • $6 / 2 = 3$ (2 keer)
  • 3 is oneven, dus we stoppen.
  • Het antwoord is 2. In de taal van de auteurs is dit $\nu_2(12) = 2$.

2. Het Geheim: De "Mersenne-Primaire" Sleutels

De auteurs ontdekten een fascinerend patroon. Ze vonden dat er een maximaal limiet is aan hoe vaak je deze som door 2 kunt delen. Het hangt af van hoe groot je getal $n$ is.

Stel je voor dat je een toren bouwt met blokken. De hoogte van je toren is je getal $n$. De auteurs zeggen: "Je kunt de toren niet oneindig hoog maken zonder dat hij instort, en er is een maximale 'stabiliteit' (het aantal keer delen door 2) die je kunt bereiken."

Ze bewezen twee regels, afhankelijk van of je macht $k$ oneven of even is:

Regel A: Als $k$ oneven is (bijv. $k=1, 3, 5$)

Hier is de limiet vrij hoog. De auteurs zeggen dat je het aantal keren dat je door 2 kunt delen, nooit meer mag zijn dan het aantal cijfers dat je nodig hebt om $n$ in het binaire systeem (alleen 0-en en 1-en) te schrijven.

• De Uitzondering (De "Mersenne-Primaire" Blokken):
  Er is één speciale manier om deze limiet te bereiken. Je moet je getal $n$ bouwen met Mersenne-priemgetallen.
  • Analogie: Mersenne-priemgetallen zijn als "magische Lego-blokken" die perfect in elkaar passen. Als je een getal maakt door verschillende van deze magische blokken met elkaar te vermenigvuldigen (bijvoorbeeld $3 \times 7 \times 31$), dan bereik je precies de maximale stabiliteit.
  • Als je ook maar één "normaal" blok gebruikt, of als je magische blokken dubbel gebruikt, daalt je stabiliteit.

Regel B: Als $k$ even is (bijv. $k=2, 4, 6$)

Hier wordt het spelletje veel strenger. De limiet is lager.

• De auteurs ontdekten dat je de maximale stabiliteit alleen kunt bereiken als je getal $n$ precies 3 is.
• Analogie: Stel je voor dat je een zware last draagt (de som van de delers). Als je macht $k$ even is, is de last zo zwaar dat hij bijna nooit door 2 deelt. De enige uitzondering is als je last precies 3 is. Dan is het net zwaar genoeg om één keer door 2 te delen, maar niet meer.
• Voor elk ander getal (groter dan 3) is de "stabiliteit" altijd lager dan de theoretische limiet. Het is alsof je probeert een toren te bouwen die net iets te hoog is; hij zakt altijd een beetje in.

3. Waarom is dit belangrijk?

In de wiskunde zijn er veel regels die zeggen "dit kan niet groter zijn dan X". Vaak zijn deze regels niet scherp; ze zijn een beetje ruw.

Deze paper is belangrijk omdat de auteurs de perfecte, scherpe grens hebben gevonden. Ze hebben niet alleen gezegd "dit is de limiet", maar ze hebben ook precies uitgelegd wanneer die limiet wordt bereikt en waarom.

• Ze hebben een formule bedacht die voor elk willekeurig getal $n$ precies voorspelt hoeveel keer de som van zijn delers door 2 deelbaar is.
• Ze hebben laten zien dat de "magische" Mersenne-priemgetallen (zoals 3, 7, 31) de enige zijn die de maximale stabiliteit kunnen bieden bij oneven machten.
• Ze hebben laten zien dat bij even machten, bijna elk getal faalt, behalve het getal 3.

Samenvatting in één zin

Deze paper legt uit dat als je de som van de delers van een getal bekijkt, het aantal keren dat je die som door 2 kunt delen, strikt beperkt is door de grootte van het getal, en dat je alleen de absolute maximum haalt als je getal bestaat uit specifieke "magische" priemgetallen (als de macht oneven is) of als het getal precies 3 is (als de macht even is).

Het is alsof ze een kaart hebben getekend van een berglandschap waar ze precies hebben aangegeven waar de hoogste pieken liggen en welke paden je moet nemen om ze te bereiken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the 2-adic valuation of $\sigma_k(n)$" van Kaimin Cheng en Ke Zhang, geschreven in het Nederlands.

Titel en Context

Titel: Over de 2-adische waardering van $\sigma_k(n)$
Auteurs: Kaimin Cheng en Ke Zhang
Onderwerp: Getaltheorie (Specifiek: Delersfuncties en $p$-adische waarderingen)

1. Probleemstelling

Het artikel onderzoekt het gedrag van de 2-adische waardering van de delersfunctie van orde $k$, genoteerd als $\nu_2(\sigma_k(n))$.

• Definitie: Voor een positief geheel getal $n$ en een positief geheel getal $k$ is $\sigma_k(n) = \sum_{d|n} d^k$.
• Doel: Het bepalen van een scherpe bovengrens voor $\nu_2(\sigma_k(n))$ (de hoogste macht van 2 die $\sigma_k(n)$ deelt) en het identificeren van de gevallen waarin deze bovengrens wordt bereikt (gelijkheid).
• Achtergrond: Recent werk door Zhao [9] had een algemene bovengrens bewezen: $\nu_p(\sigma_k(n)) \leq \lceil k \log_p n \rceil$. De auteurs willen deze schatting verfijnen voor het specifieke geval $p=2$, waarbij ze aantonen dat de bovengrens onafhankelijk is van $k$ (behalve in de pariteit van $k$) en scherp is.

2. Methodologie

De auteurs hanteren een systematische aanpak gebaseerd op de multiplicativiteit van de functie en eigenschappen van priemgetallen:

1. Multiplicativiteit: Omdat $\sigma_k$ een multiplicatieve functie is, wordt het probleem gereduceerd tot het analyseren van priemkrachten. Als $n = 2^a \prod p_i^{\alpha_i}$, dan is $\nu_2(\sigma_k(n)) = \nu_2(\sigma_k(2^a)) + \sum \nu_2(\sigma_k(p_i^{\alpha_i}))$.
2. Analyse van machten van 2: Ze bewijzen dat $\nu_2(\sigma_k(2^a)) = 0$ voor alle $a \geq 0$. Dit betekent dat de 2-adische waardering uitsluitend wordt bepaald door het oneven deel van $n$.
3. Analyse van oneven priemkrachten: Voor een oneven priem $p$ en exponent $\alpha$, gebruiken ze de formule:
   $$\sigma_k(p^\alpha) = \frac{p^{k(\alpha+1)} - 1}{p^k - 1}$$
   Ze passen het Lifting-the-Exponent Lemma (specifiek voor $p=2$) toe om de waardering van deze breuk te berekenen.
4. Pariteit van $k$: De analyse wordt gesplitst in twee hoofdgevallen:
   • $k$ is oneven: Hier geldt $\nu_2(p^k+1) = \nu_2(p+1)$.
   • $k$ is even: Hier geldt $\nu_2(p^k+1) = 1$ (omdat $p^k \equiv 1 \pmod 8$ voor oneven $p$ en even $k$).
5. Combinatorische ongelijkheden: Om de bovengrenzen te bewijzen en de gelijkheidgevallen te karakteriseren, gebruiken ze logaritmische schattingen en eigenschappen van de som van de exponenten in de priemfactorisatie ($\Omega(n)$).

3. Belangrijkste Resultaten

De kern van het artikel wordt gevormd door Stelling 1.1, die een expliciete formule en scherpe bovengrenzen geeft.

A. Expliciete Formule

Voor $n = 2^a \prod_{i=1}^r p_i^{\alpha_i}$ (waarbij $p_i$ oneven priemgetallen zijn):
$$\nu_2(\sigma_k(n)) = \sum_{\substack{1 \leq i \leq r \\ \alpha_i \text{ oneven}}} \left( \nu_2(\alpha_i + 1) + \nu_2(p_i^k + 1) - 1 \right)$$

B. Geval 1: $k$ is oneven

• Formule: $\nu_2(\sigma_k(n)) = \sum_{\alpha_i \text{ oneven}} (\nu_2(\alpha_i + 1) + \nu_2(p_i + 1) - 1)$.
  • Opmerking: Dit is identiek aan de formule voor de klassieke som van delers $\sigma(n)$ (dus $k=1$).
• Bovengrens: $\nu_2(\sigma_k(n)) \leq \lceil \log_2 n \rceil$.
• Gelijkheid: De gelijkheid geldt dan en slechts dan als $n$ een product is van verschillende Mersenne-priemgetallen (priemgetallen van de vorm $2^m - 1$).

C. Geval 2: $k$ is even

• Formule: $\nu_2(\sigma_k(n)) = \sum_{\alpha_i \text{ oneven}} \nu_2(\alpha_i + 1)$.
  • Opmerking: De term $\nu_2(p_i^k + 1)$ verdwijnt effectief omdat deze gelijk is aan 1, wat de formule vereenvoudigt tot alleen afhankelijk van de exponenten.
• Bovengrens: $\nu_2(\sigma_k(n)) \leq \lfloor \log_2 n \rfloor$.
• Gelijkheid: De gelijkheid geldt dan en slechts dan als $n = 3$.
  • Voor $n=3$ is $\sigma_k(3) = 1 + 3^k$. Omdat $k$ even is, is $3^k \equiv 1 \pmod 8$, dus$1+3^k \equiv 2 \pmod 8$, wat$\nu_2 = 1$geeft. Dit komt overeen met$\lfloor \log_2 3 \rfloor = 1$.

4. Significatie en Bijdrage

1. Verfijning van bestaande grenzen: Het artikel verbetert de recente resultaten van Zhao [9] voor de specifieke casus $p=2$. De nieuwe grenzen zijn strakker en onafhankelijk van de grootte van $k$ (behalve dat de pariteit van $k$ de formule verandert).
2. Karakterisering van extremen: Het biedt een volledige classificatie van de getallen $n$ waarvoor de bovengrens wordt bereikt. Dit is een zeldzame en waardevolle eigenschap in de analytische getaltheorie.
3. Verbinding met Mersenne-priemgetallen: Het resultaat voor oneven $k$ bevestigt en generaliseert eerdere bevindingen (zoals die van Amdeberhan et al.) door te laten zien dat de structuur van Mersenne-priemgetallen fundamenteel is voor het maximaliseren van de 2-adische waardering van delersfuncties.
4. Contrast tussen even en oneven $k$: Het paper benadrukt een scherp contrast: terwijl oneven $k$ een complexe structuur toelaat (producten van Mersenne-priemgetallen), is het geval voor even $k$ extreem restrictief (alleen $n=3$ voldoet aan de bovengrens).

Conclusie

Cheng en Zhang leveren een volledig en scherp antwoord op de vraag naar de 2-adische waardering van $\sigma_k(n)$. Ze tonen aan dat de waarde wordt bepaald door de interactie tussen de exponenten in de priemfactorisatie van $n$ en de aard van de priemgetallen zelf, met een fundamenteel verschil in gedrag afhankelijk van of $k$ even of oneven is. De resultaten zijn optimaal, aangezien de auteurs de exacte voorwaarden voor gelijkheid hebben vastgesteld.