The critical-window profile for $d_k$ in short intervals

Resumen Técnico: El Perfil de la Ventana Crítica para la Función Divisora $k$-doble en Casi Todos los Intervalos Cortos

Planteamiento del Problema
El artículo aborda el problema de comparar los promedios locales de la función divisora $k$-doble $d_k(n)$ con sus promedios largos en intervalos cortos. Mientras que el célebre teorema de Matomäki–Radziwiłł establece que las funciones multiplicativas acotadas exhiben promedios esperados en casi todos los intervalos cortos cuya longitud tiende a infinito, las funciones no acotadas como $d_k(n)$ presentan un fenómeno de umbral diferente. La dificultad central reside en la "cola pesada" de $d_k(n)$, donde los enteros con muchos factores primos cargan un peso desproporcionadamente grande, lo que hace que las teorías de funciones acotadas sean insuficientes.

El objetivo específico es determinar la escala de transición de casi todos para $d_k(n)$. El trabajo previo de Mangerel estableció que el promedio largo se recupera cuando la longitud del intervalo $h$ satisface $h / (\log X)^{(k-1)^2} \to \infty$. Este artículo busca identificar la escala crítica precisa y el perfil de transición por debajo de este umbral, investigando específicamente intervalos donde $h$ está cerca de la longitud crítica $D_k(X) = (\log X)^{k \log k - k + 1}$.

Metodología
La demostración se basa en dos ingredientes técnicos primarios, combinando resultados distributivos probabilísticos con estimaciones de valor medio analíticas:

1. Teorema de Erdős–Kac Ponderado: El autor utiliza un teorema del límite central para la función $\Omega(n)$ (el número de factores primos contados con multiplicidad) bajo la medida de probabilidad ponderada por $d_k(n)$. Bajo esta medida, la variable normalizada $\frac{\Omega(n) - k \log \log X}{\sqrt{k \log \log X}}$ converge a una distribución gaussiana estándar. Esto proporciona la entrada distributiva necesaria para relacionar la longitud del intervalo con la proporción de enteros que satisfacen cortes específicos de $\Omega(n)$.

2. Estimaciones de Matomäki–Radziwiłł con Truncamiento de $\Omega$: El núcleo analítico consiste en establecer estimaciones de media cuadrática para polinomios de Dirichlet truncados por la condición $\Omega(n) \le L$.

   • Descomposición de Ramaré: Para manejar la naturaleza no multiplicativa del truncamiento, el autor emplea una descomposición de Ramaré. Crucialmente, no trata el corte de $\Omega$ como una cola despreciable en el rango crítico. En su lugar, aplica la fórmula de Cauchy a la condición residual $\Omega(m) \le L-1$ solo después de la descomposición, convirtiendo el corte en pesos multiplicativos $z^{-\Omega(m)}$.
   • Distancia de Halász y Valores Grandes: La capa restante de primos grandes en la descomposición fuerza una distancia de Halász de alta frecuencia uniforme. Este mecanismo suministra el ahorro logarítmico necesario en el rango de valores grandes final, algo que una estimación directa de la cola no lograría proporcionar.
   • Límites de Valor Medio: La demostración utiliza una combinación de estimaciones de valor medio de Montgomery–Vaughan, estimaciones de tipo Shiu para funciones divisoras y límites de valores grandes de tipo Halász para polinomios primos para controlar la norma $L^2$ de las sumas truncadas.

Resultados Clave
El artículo establece un perfil de transición preciso para el promedio de $d_k(n)$ en intervalos cortos $[x, x+h]$ para casi todo $x \in [X, 2X]$.

• Escala Crítica: La longitud crítica se identifica como $D_k(X) = (\log X)^{k \log k - k + 1}$.
• Perfil de Transición (Teorema 1.1): Sea $\ell = \log \log X$ y defínase el parámetro normalizado $A(X) = \frac{1}{\sqrt{\ell}} \log \frac{h}{D_k(X)}$. Si $A(X) = O(1)$, entonces para casi todo $x$:
  $$\frac{1}{h} \sum_{x < n \le x+h} d_k(n) = \left( \Phi_G\left( \frac{A(X)}{\sqrt{k \log k}} \right) + o(1) \right) M_k(x)$$
  donde $\Phi_G$ es la función de distribución gaussiana estándar y $M_k(x)$ es el promedio largo. Esta fórmula describe la "parte finita" de la transición, mostrando que el promedio local es una fracción del promedio global determinada por la función de distribución acumulada gaussiana.
• Régimen de Extremo (Corolario 1.2): Si la longitud del intervalo satisface $\frac{\log(h/D_k(X))}{\sqrt{\ell}} \to +\infty$ (es decir, $A(X) \to +\infty$), el factor gaussiano tiende a 1, y el promedio largo completo se recupera para casi todo $x$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una mejora de ahorro de potencia respecto a los resultados previos (específicamente el exponente de Mangerel) en cuanto a la longitud de los intervalos requeridos para recuperar el promedio largo de la función divisora. Al identificar el perfil de transición exacto, el trabajo cierra la brecha entre la teoría de funciones acotadas y el comportamiento de las funciones multiplicativas no acotadas en escalas polilogarítmicas.

El autor enfatiza que la transición es impulsada por la interacción entre la longitud del intervalo y la distribución de $\Omega(n)$ bajo la ponderación $d_k$. La novedad técnica reside en el manejo del corte de $\Omega$: en lugar de descartarlo como una cola, el autor lo integra en la maquinaria analítica mediante la descomposición de Ramaré y la fórmula de Cauchy, permitiendo un ahorro de alta frecuencia uniforme que es esencial para el rango crítico. Los resultados se presentan como un teorema de transición de "casi todo", consistente con la naturaleza probabilística del método de Matomäki–Radziwiłł.