Small values of Carmichael's lambda function

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

Planteamiento del Problema
El artículo investiga la distribución de los valores "intermedios" de la función $\lambda$ de Carmichael, $\lambda(n)$, que representa el exponente del grupo multiplicativo $(\mathbb{Z}/n\mathbb{Z})^\times$. Mientras que el orden máximo de $\lambda(n)$ es trivial ($n-1$ para primos) y el orden típico está bien comprendido (Erdős, Pomerance y Schmutz demostraron que $\lambda(n) \approx n(\log n)^{-\log \log \log n - A}$ para casi todos los $n$), la distribución de los valores significativamente menores que el tamaño típico, pero mayores que el orden mínimo, permanece menos explorada.

El objeto central de estudio es la función de conteo $L(x, y) = \#\{n \le x : \lambda(n) \le y\}$. El artículo tiene como objetivo establecer un límite superior para $\log L(x, y)$ que sea asintóticamente ajustado en el rango donde $y$ es "razonablemente grande" en relación con $x$, específicamente para $y$ que satisfacen:
$$\exp((\log_2 x)^{1+\varepsilon}) \le y \le x / \exp((\log_2 x)^{1+\varepsilon})$$
donde $\log_k$ denota la $k$-ésima iteración del logaritmo natural.

Metodología
La estrategia de la prueba se divide en el establecimiento de límites superiores rigurosos y límites inferiores condicionales (asumiendo una hipótesis específica sobre primos desplazados) a través de diferentes rangos de $y$.

1. Límites Superiores para $y$ Pequeños:
   Para el rango $\exp((\log_2 x)^{1+\varepsilon}) \le y \le x^{1/\log_2 x}$, el autor adapta las técnicas de Erdős y Pomerance. El argumento central utiliza el truco de Rankin para acotar el número de enteros $n \le x$ con un $\lambda(n) = m$ fijo. Al analizar la condición de que $p-1 \mid m$ para todos los factores primos $p$ de $n$, el autor deriva un límite superior exponencial que involucra la función $\mathcal{L}(x, y) = \exp\left(\frac{\log x \log_3 x}{\log_2 y}\right)$.

2. Límites Inferiores (Condicionales):
   Para demostrar que los límites superiores son ajustados, el artículo asume la Hipótesis U, una conjetura relativa a la distribución de primos desplazados con suavidad de potencia (powersmooth). Específicamente, postula que el conteo de primos $p \le x$ tales que la mayor potencia de primo que divide a $p-1$ es a lo sumo $y$ se comporta como el conteo de enteros con suavidad de potencia $y$ hasta $x$.

   • Para $y$ pequeño, el autor construye valores "populares" de $\lambda(n)$ formando productos de primos $p$ donde $p-1$ es suave de potencia, adaptando argumentos de Erdős y Pomerance relativos a la función totiente de Euler.
   • Para $y$ grande (específicamente $y \ge \mathcal{L}(x)^2$), se utiliza una construcción diferente que involucra pares de enteros $(a, b)$ para demostrar la existencia de suficientes $n$ con $\lambda(n)$ pequeño.

3. Límites Superiores para $y$ Grandes:
   La contribución más novedosa del artículo es el límite superior riguroso para $y$ grande (hasta $x/\exp((\log_2 x)^{1+\varepsilon})$). Esta sección revisa y refina los métodos de trabajos previos sobre la preimagen de la función $\phi$ de Euler y funciones de conteo de factorización.

   • La prueba implica una estratificación detallada de los enteros basada en sus propiedades de factorización prima.
   • Utiliza composiciones multiplicativas (factorizaciones ordenadas) y límites sobre el número de tales composiciones, denotado por $g_w(n)$.
   • Lemmas clave establecen que para un conjunto de enteros $S$ con densidad $x^{1-\beta}$, la suma de las composiciones multiplicativas está acotada por $x/\mathcal{L}(x)^\beta$.
   • El argumento reduce el problema al conteo de enteros libres de cuadrados y utiliza la desigualdad de Brun-Titchmarsh y propiedades del radical de los enteros para acotar el número de $n$ donde $\phi(n)/\lambda(n)$ cae en intervalos diádicos específicos.

Resultados Clave
El resultado principal es el Teorema 1.1, que proporciona un límite superior para $L(x, y)$ en el dominio especificado. Sea $\mathcal{L}(x) = \exp\left(\frac{\log x \log_3 x}{\log_2 x}\right)$. Cuando $x \to \infty$:
$$\frac{L(x, y)}{x} \le \begin{cases} \mathcal{L}(x/y)^{-1+o(1)} & \text{si } y \ge \mathcal{L}(x)^2, \\ \mathcal{L}(x, y)^{-1+o(1)} & \text{en otro caso.} \end{cases}$$
El artículo afirma que, bajo la Hipótesis U, estos límites superiores son asintóticamente ajustados (es decir, la igualdad se cumple).

Aplicación a Órdenes Multiplicativos
Como aplicación directa, el artículo deriva el Corolario 1.2, que proporciona un nuevo límite superior para el conteo de enteros impares $n \le x$ para los cuales el orden multiplicativo de 2 módulo $n$, denotado por $l(n)$, es pequeño.
Específicamente, para cualquier $\delta > 0$ fijo y $\beta \ge 0$:
$$\#\{ \text{impares } n \le x : l(n) \le x^\beta \} \le \frac{x}{\mathcal{L}(x)^{\frac{1}{2} - \beta - \delta}}$$
Este resultado mejora el conocimiento previo, que no podía establecer límites no triviales para exponentes $\beta$ significativamente por debajo de $1/2$. El autor señala que, aunque el exponente $1/2 - \beta$ aparece en el límite, la versión "correcta" probablemente involucra $1 - \beta$, un refinamiento que requeriría más trabajo sobre la distribución de primos con órdenes multiplicativos pequeños.

Significancia y Reivindicaciones
El artículo afirma proporcionar los primeros límites superiores asintóticos precisos para la distribución de los valores intermedios de $\lambda(n)$. La significancia radica en:

1. Cerrar la Brecha: Llena el vacío entre el orden típico y el orden mínimo de $\lambda(n)$, un régimen previamente no cuantificado en la literatura.
2. Ajuste: Los resultados se muestran como asintóticamente ajustados bajo una hipótesis plausible (Hipótesis U) relativa a la suavidad de los primos desplazados, una conjetura apoyada por principios heurísticos y trabajos relacionados sobre pseudoprimos.
3. Novedad Metodológica: La prueba del límite superior para $y$ grande introduce técnicas refinadas que involucran composiciones multiplicativas y conteo de factorizaciones, las cuales el autor sugiere que pueden tener aplicaciones en otros problemas de la teoría analítica de números, como la distribución de los valores populares de la función $\phi$ de Euler.
4. Aplicación a Órdenes: El corolario respecto a $l(n)$ ofrece los límites superiores más fuertes conocidos para la frecuencia de órdenes multiplicativos pequeños, abordando una limitación de larga data en la que el exponente $1/2$ era anteriormente una barrera.

El autor mantiene un tono modesto respecto a la naturaleza condicional de los límites inferiores y el potencial de mejorar el exponente en la aplicación a $l(n)$, señalando que el conocimiento actual aún no permite probar el exponente "correcto" sin más conjeturas.