Small values of Carmichael's lambda function

Technische Samenvatting van "Small Values of Carmichael's $\lambda$-Function" door Paul Pollack

Probleemstelling
Het artikel onderzoekt de distributie van "intermediaire" waarden van de $\lambda$-functie van Carmichael, $\lambda(n)$, die de exponent representeert van de multiplicatieve groep $(\mathbb{Z}/n\mathbb{Z})^\times$. Terwijl de maximale orde van $\lambda(n)$ triviaal is ($n-1$ voor priemgetallen) en de typische orde goed begrepen is (Erdős, Pomerance en Schmutz toonden aan dat $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ voor bijna alle $n$), blijft de distributie van waarden die significant kleiner zijn dan de typische grootte, maar groter dan de minimale orde, minder onderzocht.

Het centrale object van studie is de telfunctie $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$. Het artikel beoogt een bovengrens vast te stellen voor $\log L(x, y)$ die asymptotisch scherp is in het bereik waar $y$ "redelijk groot" is ten opzichte van $x$, specifiek voor $y$ die voldoet aan:
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
waarbij $\log_k$ de $k$-de iteratie van de natuurlijke logaritme aanduidt.

Methodologie
De bewijsstrategie is verdeeld in het vaststellen van rigoureuze bovengrenzen en conditionele ondergrenzen (uitgaande van een specifieke hypothese over verschoven priemgetallen) over verschillende bereiken van $y$.

1. Bovengrenzen voor kleine $y$:
   Voor het bereik $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$ past de auteur technieken van Erdős en Pomerance aan. Het kernargument maakt gebruik van Rankin's trick om het aantal gehele getallen $n \le x$ met een vaste $\lambda(n) = m$ te begrenzen. Door de conditie $p-1 \mid m$ te analyseren voor alle priemfactoren $p$ van $n$, leidt de auteur een exponentiële bovengrens af die de functie $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$ bevat.

2. Ondergrenzen (conditioneel):
   Om aan te tonen dat de bovengrenzen scherp zijn, neemt het artikel Hypothese U aan, een conjectuur over de distributie van powersmooth verschoven priemgetallen. Specifiek stelt het dat de telling van priemgetallen $p \le x$ waarvoor de grootste priemmacht die $p-1$ deelt maximaal $y$ is, zich gedraagt als de telling van $y$-powersmooth gehele getallen tot $x$.

   • Voor kleine $y$ construeert de auteur "populaire" waarden van $\lambda(n)$ door producten te vormen van priemgetallen $p$ waarbij $p-1$ powersmooth is, waarbij hij argumenten van Erdős en Pomerance betreffende de Euler $\phi$-functie aanpast.
   • Voor grote $y$ (specifiek $y \ge \mathcal{L}(x)^2$) wordt een andere constructie gebruikt die betrokken is bij paren gehele getallen $(a, b)$ om het bestaan van voldoende veel $n$ met een kleine $\lambda(n)$ aan te tonen.

3. Bovengrenzen voor grote $y$:
   De meest vernieuwende bijdrage van het artikel is de rigoureuze bovengrens voor grote $y$ (tot $x/\exp((\log_2 x)^{1+\varepsilon})$). Dit deel herbezoekt en verfijnt methoden uit eerdere werken over het preimage van de Euler $\phi$-functie en factorisatie-tellingfuncties.

   • Het bewijs omvat een gedetailleerde stratificatie van gehele getallen op basis van hun priemfactorisatie-eigenschappen.
   • Het maakt gebruik van multiplicatieve composities (geordende factorisaties) en grenzen op het aantal van dergelijke composities, aangeduid met $g_w(n)$.
   • Kernlemma's stellen vast dat voor een verzameling gehele getallen $S$ met dichtheid $x^{1-\beta}$, de som van multiplicatieve composities begrensd wordt door $x/\mathcal{L}(x)^\beta$.
   • Het argument reduceert het probleem tot het tellen van vierkante vrije gehele getallen en gebruikt de Brun-Titchmarsh ongelijkheid en eigenschappen van de radicalen van gehele getallen om het aantal $n$ te begrenzen waarbij $\phi(n)/\lambda(n)$ in specifieke dyadische intervallen valt.

Belangrijkste Resultaten
Het hoofdresultaat is Stelling 1.1, die een bovengrens biedt voor $L(x, y)$ in het gespecificeerde domein. Laat $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$. Als $x \to \infty$:
$$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{indien } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{anders.} \end{cases}$$
Het artikel stelt dat onder Hypothese U, deze bovengrenzen asymptotisch scherp zijn (d.w.z. gelijkheid geldt).

Toepassing op Multiplicatieve Ordes
Als directe toepassing leidt het artikel Corollary 1.2 af, die een nieuwe bovengrens geeft op de telling van oneven gehele getallen $n \le x$ waarvoor de multiplicatieve orde van 2 modulo $n$, aangeduid met $l(n)$, klein is.
Specifiek, voor elke vaste $\delta > 0$ en $\beta \ge 0$:
$$\#\{ \text{oneven } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
Dit resultaat verbetert de eerdere kennis, die geen niet-triviale grenzen kon vaststellen voor exponenten $\beta$ die aanzienlijk onder $1/2$ liggen. De auteur merkt op dat hoewel de exponent $1/2 - \beta$ in de grens verschijnt, de "correcte" versie waarschijnlijk $1 - \beta$ is, een verfijning die verder werk op de distributie van priemgetallen met kleine multiplicatieve orden vereist.

Betekenis en Claims
Het artikel claimt de eerste precieze asymptotische bovengrenzen te bieden voor de distributie van intermediaire waarden van $\lambda(n)$. De betekenis ligt in:

1. Het overbruggen van de kloof: Het vult de kloof tussen de typische orde en de minimale orde van $\lambda(n)$, een regime dat voorheen onkwantificeerbaar was in de literatuur.
2. Scherpte: De resultaten zijn aangetoond asymptotisch scherp onder een plausibele hypothese (Hypothese U) betreffende de smoothness van verschoven priemgetallen, een conjectuur die ondersteund wordt door heuristische principes en gerelateerd werk over pseudoprimen.
3. Methodologische Vernieuwing: Het bewijs van de bovengrens voor grote $y$ introduceert verfijnde technieken met betrekking tot multiplicatieve composities en factorisatie-tellingen, waarvan de auteur suggereert dat ze toepassingen kunnen hebben op andere problemen in de analytische getaltheorie, zoals de distributie van populaire waarden van de Euler $\phi$-functie.
4. Toepassing op Ordes: Het corolarium betreffende $l(n)$ biedt de sterkste bekende bovengrenzen voor de frequentie van kleine multiplicatieve orden, en adresseert een langdurige beperking in het veld waar de exponent $1/2$ voorheen een barrière vormde.

De auteur behoudt een bescheiden toon met betrekking tot het conditionele karakter van de ondergrenzen en de potentie om de exponent in de toepassing op $l(n)$ te verbeteren, waarbij wordt opgemerkt dat de huidige kennis nog niet toelaat om de "correcte" exponent zonder verdere conjecturen te bewijzen.