Small values of Carmichael's lambda function

Sintesi Tecnica di "Small Values of Carmichael's $\lambda$-Function" di Paul Pollack

Enunciato del Problema
Il saggio investiga la distribuzione dei valori "intermedi" della funzione $\lambda$ di Carmichael, $\lambda(n)$, che rappresenta l'esponente del gruppo moltiplicativo $(\mathbb{Z}/n\mathbb{Z})^\times$. Mentre l'ordine massimo di $\lambda(n)$ è banale ($n-1$ per i numeri primi) e l'ordine tipico è ben compreso (Erdős, Pomerance e Schmutz hanno dimostrato che $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ per quasi tutti gli $n$), la distribuzione dei valori significativamente più piccoli rispetto alla dimensione tipica, ma più grandi dell'ordine minimo, rimane meno esplorata.

L'oggetto centrale di studio è la funzione di conteggio $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$. Il saggio mira a stabilire un limite superiore per $\log L(x, y)$ che sia asintoticamente stretto nell'intervallo in cui $y$ è "ragionevolmente grande" rispetto a $x$, specificamente per $y$ soddisfacente:
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
dove $\log_k$ indica l'iterata $k$-esima del logaritmo naturale.

Metodologia
La strategia di prova è divisa tra l'instaurazione di rigorosi limiti superiori e limiti inferiori condizionali (assumendo un'ipotesi specifica sui numeri primi traslati) attraverso diversi intervalli di $y$.

1. Limiti Superiori per $y$ Piccoli:
   Per l'intervallo $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$, l'autore adatta le tecniche di Erdős e Pomerance. L'argomento centrale utilizza il trucco di Rankin per limitare il numero di interi $n \le x$ con un valore fissato $\lambda(n) = m$. Analizzando la condizione che $p-1 \mid m$ per ogni fattore primo $p$ di $n$, l'autore deriva un limite superiore esponenziale coinvolgente la funzione $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$.

2. Limiti Inferiori (Condizionati):
   Per dimostrare che i limiti superiori sono stretti, il saggio assume l'Ipotesi U, una congettura riguardante la distribuzione dei numeri primi traslati powersmooth. Nello specifico, essa postula che il conteggio dei numeri primi $p \le x$ tali che la più grande potenza di primo che divide $p-1$ sia al massimo $y$ si comporti come il conteggio degli interi $y$-powersmooth fino a $x$.

   • Per $y$ piccoli, l'autore costruisce valori "popolari" di $\lambda(n)$ formando prodotti di numeri primi $p$ dove $p-1$ è powersmooth, adattando gli argomenti di Erdős e Pomerance relativi alla funzione $\phi$ di Eulero.
   • Per $y$ grandi (specificamente $y \ge \mathcal{L}(x)^2$), viene utilizzata una diversa costruzione che coinvolge coppie di interi $(a, b)$ per dimostrare l'esistenza di un numero sufficiente di $n$ con piccolo $\lambda(n)$.

3. Limiti Superiori per $y$ Grandi:
   Il contributo più originale del saggio è il rigoroso limite superiore per $y$ grandi (fino a $x/\exp((\log_2 x)^{1+\varepsilon})$). Questa sezione rivisita e perfeziona i metodi di lavori precedenti sulla preimmagine della funzione $\phi$ di Eulero e sulle funzioni di conteggio dei fattori.

   • La prova implica una dettagliata stratificazione degli interi basata sulle loro proprietà di fattorizzazione primi.
   • Utilizza le composizioni multiplicative (fattorizzazioni ordinate) e i limiti sul numero di tali composizioni, denotato con $g_w(n)$.
   • Lemmi chiave stabiliscono che per un insieme di interi $S$ con densità $x^{1-\beta}$, la somma delle composizioni multiplicative è limitata da $x/\mathcal{L}(x)^\beta$.
   • L'argomento riduce il problema al conteggio degli interi squarefree e utilizza la disuguaglianza di Brun-Titchmarsh e le proprietà del radicale degli interi per limitare il numero di $n$ dove $\phi(n)/\lambda(n)$ cade in specifici intervalli diamento.

Risultati Chiave
Il risultato principale è il Teorema 1.1, che fornisce un limite superiore per $L(x, y)$ nel dominio specificato. Sia $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$. Per $x \to \infty$:
$$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{se } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{altrimenti.} \end{cases}$$
Il saggio afferma che, sotto l'Ipotesi U, questi limiti superiori sono asintoticamente stretti (ovvero, l'uguaglianza è verificata).

Applicazione agli Ordini Moltiplicativi
Come applicazione diretta, il saggio deriva il Corollario 1.2, che fornisce un nuovo limite superiore sul conteggio degli interi dispari $n \le x$ per i quali l'ordine moltiplicativo di 2 modulo $n$, indicato con $l(n)$, è piccolo.
Nello specifico, per ogni $\delta > 0$ e $\beta \ge 0$:
$$\#\{ \text{dispari } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
Questo risultato migliora la conoscenza precedente, che non riusciva a stabilire limiti non banali per esponenti $\beta$ significativamente inferiori a $1/2$. L'autore nota che, sebbene l'esponente $1/2 - \beta$ appaia nel limite, la versione "corretta" probabilmente coinvolge $1 - \beta$, un raffinamento che richiederebbe ulteriori studi sulla distribuzione dei numeri primi con piccoli ordini moltiplicativi.

Significato e Rivendicazioni
Il saggio sostiene di fornire i primi limiti superiori asintotici precisi per la distribuzione dei valori intermedi di $\lambda(n)$. La significatività risiede in:

1. Colmare il Vuoto: Colma il divario tra l'ordine tipico e l'ordine minimo di $\lambda(n)$, un regime precedentemente non quantificato nella letteratura.
2. Strettezza: I risultati sono mostrati essere asintoticamente stretti sotto un'ipotesi plausibile (Ipotesi U) riguardante la smoothness dei numeri primi traslati, una congettura supportata da principi euristici e lavori correlati sui pseudoprimi.
3. Novità Metodologica: La prova del limite superiore per $y$ grandi introduce tecniche raffinate che coinvolgono composizioni multiplicative e conteggio delle fattorizzazioni, che l'autore suggerisce possano avere applicazioni ad altri problemi di teoria analitica dei numeri, come la distribuzione dei valori popolari della funzione $\phi$ di Eulero.
4. Applicazione agli Ordini: Il corollario riguardante $l(n)$ offre i limiti superiori più forti noti per la frequenza di piccoli ordini moltiplicativi, affrontando una limitazione di lungo corso nel campo dove l'esponente $1/2$ era precedentemente una barriera.

L'autore mantiene un tono modesto riguardo alla natura condizionata dei limiti inferiori e al potenziale di miglioramento dell'esponente nell'applicazione a $l(n)$, osservando che la conoscenza attuale non permette ancora di provare l'esponente "corretto" senza ulteriori congetture.