Small values of Carmichael's lambda function

Resumo Técnico de "Small Values of Carmichael's $\lambda$-Function" por Paul Pollack

Enunciado do Problema
O artigo investiga a distribuição de valores "intermediários" da função $\lambda$ de Carmichael, $\lambda(n)$, que representa o expoente do grupo multiplicativo $(\mathbb{Z}/n\mathbb{Z})^\times$. Enquanto a ordem máxima de $\lambda(n)$ é trivial ($n-1$ para primos) e a ordem típica é bem compreendida (Erdős, Pomerance e Schmutz mostraram que $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ para quase todos os $n$), a distribuição de valores significativamente menores que a ordem típica, mas maiores que a ordem mínima, permanece menos explorada.

O objeto central de estudo é a função de contagem $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$. O artigo visa estabelecer um limite superior para $\log L(x, y)$ que seja assintoticamente agudo no intervalo onde $y$ é "razoavelmente grande" em relação a $x$, especificamente para $y$ satisfazendo:
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
onde $\log_k$ denota a $k$-ésima iteração do logaritmo natural.

Metodologia
A estratégia de prova é dividida no estabelecimento de limites superiores rigorosos e limites inferiores condicionais (assumindo uma hipótese específica sobre primos deslocados) através de diferentes intervalos de $y$.

1. Limites Superiores para $y$ Pequeno:
   Para o intervalo $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$, o autor adapta técnicas de Erdős e Pomerance. O argumento central utiliza o truque de Rankin para limitar o número de inteiros $n \le x$ com um $\lambda(n) = m$ fixo. Ao analisar a condição de que $p-1 \mid m$ para todos os fatores primos $p$ de $n$, o autor deriva um limite superior exponencial envolvendo a função $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$.

2. Limites Inferiores (Condicionais):
   Para mostrar que os limites superiores são agudos, o artigo assume a Hipótese U, uma conjectura sobre a distribuição de primos deslocados de potência suave (powersmooth). Especificamente, ela postula que a contagem de primos $p \le x$ tal que o maior fator de potência de primo que divide $p-1$ é no máximo $y$ comporta-se como a contagem de inteiros $y$-suaves até $x$.

   • Para $y$ pequeno, o autor constrói valores "populares" de $\lambda(n)$ formando produtos de primos $p$ onde $p-1$ é powersmooth, adaptando argumentos de Erdős e Pomerance relativos à função totiente de Euler.
   • Para $y$ grande (especificamente $y \ge \mathcal{L}(x)^2$), uma construção diferente envolvendo pares de inteiros $(a, b)$ é utilizada para demonstrar a existência de suficientemente muitos $n$ com $\lambda(n)$ pequeno.

3. Limites Superiores para $y$ Grande:
   A contribuição mais inovadora do artigo é o limite superior rigoroso para $y$ grande (até $x/\exp((\log_2 x)^{1+\varepsilon})$). Esta seção revisita e refina métodos de trabalhos anteriores sobre a pré-imagem da função $\phi$ de Euler e funções de contagem de fatoração.

   • A prova envolve uma estratificação detalhada de inteiros baseada em suas propriedades de fatoração de primos.
   • Utiliza composições multiplicativas (fatorações ordenadas) e limites sobre o número de tais composições, denotado por $g_w(n)$.
   • Lemmas fundamentais estabelecem que, para um conjunto de inteiros $S$ com densidade $x^{1-\beta}$, a soma das composições multiplicativas é limitada por $x/\mathcal{L}(x)^\beta$.
   • O argumento reduz o problema à contagem de inteiros livres de quadrados e utiliza a desigualdade de Brun-Titchmarsh e propriedades do radical de inteiros para limitar o número de $n$ onde $\phi(n)/\lambda(n)$ cai em intervalos díadicos específicos.

Resultados Principais
O resultado principal é o Teorema 1.1, que fornece um limite superior para $L(x, y)$ no domínio especificado. Seja $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$. Quando $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{caso contrário.} \end{cases}$$
O artigo afirma que, sob a Hipótese U, estes limites superiores são assintoticamente agudos (ou seja, a igualdade ocorre).

Aplicação a Ordens Multiplicativas
Como aplicação direta, o artigo deriva o Corolário 1.2, que fornece um novo limite superior para a contagem de inteiros ímpares $n \le x$ para os quais a ordem multiplicativa de 2 módulo $n$, denotada por $l(n)$, é pequena.
Especificamente, para qualquer $\delta > 0$ fixo e $\beta \ge 0$:
$$\#\{ \text{ímpares } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
Este resultado melhora o conhecimento prévio, que não conseguia estabelecer limites não triviais para expoentes $\beta$ significativamente abaixo de $1/2$. O autor observa que, embora o expoente $1/2 - \beta$ apareça no limite, a versão "correta" provavelmente envolve $1 - \beta$, um refinamento que exigiria mais trabalho sobre a distribuição de primos com pequenas ordens multiplicativas.

Significância e Alegações
O artigo afirma fornecer os primeiros limites superiores assintóticos precisos para a distribuição de valores intermediários de $\lambda(n)$. A significância reside em:

1. Preencher a Lacuna: Ele preenche o hiato entre a ordem típica e a ordem mínima de $\lambda(n)$, um regime anteriormente não quantificado na literatura.
2. Agudeza: Os resultados são mostrados como assintoticamente agudos sob uma hipótese plausível (Hipótese U) relativa à suavidade de primos deslocados, uma conjectura apoiada por princípios heurísticos e trabalhos relacionados sobre pseudoprimos.
3. Inovação Metodológica: A prova do limite superior para $y$ grande introduz técnicas refinadas envolvendo composições multiplicativas e contagem de fatoração, que o autor sugere poder ter aplicações em outros problemas de teoria analítica dos números, como a distribuição de valores populares da função $\phi$ de Euler.
4. Aplicação a Ordens: O corolário referente a $l(n)$ oferece os limites superiores mais fortes conhecidos para a frequência de pequenas ordens multiplicativas, abordando uma limitação de longo prazo no campo onde o expoente $1/2$ era anteriormente uma barreira.

O autor mantém um tom modesto quanto à natureza condicional dos limites inferiores e ao potencial de melhoria do expoente na aplicação para $l(n)$, observando que o conhecimento atual ainda não permite provar o expoente "correto" sem novas conjecturas.