Subconvexity of Short $k$-Free Exponential Sums

Resumen Técnico: Subconvexidad de Sumas Exponencialeses Cortas de Números $k$-libres

Planteamiento del Problema
Este artículo investiga los momentos de las sumas exponenciales cortas sobre enteros $k$-libres. Sea $k \ge 2$ un entero, y denote $\mu_k(n)$ la función indicadora de los enteros $k$-libres (enteros no divisibles por ninguna potencia $k$-ésima de un primo). El objeto central de estudio es la suma exponencial sobre un intervalo corto $(N-K, N]$:
$$S_k(\alpha; K) = \sum_{N-K < n \le N} \mu_k(n) e(n\alpha),$$
donde $e(x) = e^{2\pi i x}$. El objetivo principal es determinar el rango de longitudes de intervalo $K$ (relativo a $N$) para los cuales los momentos $L^s$ de esta suma satisfacen el comportamiento asintótico "esperado" conocido para el caso del intervalo completo ($K=N$):
$$\int_0^1 |S_k(\alpha; K)|^s d\alpha \asymp_{k,s} \begin{cases} K^{\frac{s}{k+1}} & \text{si } s < 1 + \frac{1}{k}, \\ K^{s-1} & \text{si } s > 1 + \frac{1}{k}. \end{cases}$$
El artículo define un exponente $\theta_{k,s}$ como el ínfimo de todos los $\theta$ tales que estos límites se cumplen para cualquier $K \gg N^\theta$. El objetivo es reducir el valor de $\theta_{k,s}$, probando así que el comportamiento esperado persiste en intervalos más cortos, específicamente rompiendo la "barrera de la raíz cuadrada" ($\theta < 1/2$).

Metodología
El enfoque se basa en una descomposición de la suma exponencial en sumas de la "parte media" y la aplicación de una estimación $L^2$ refinada para estos componentes.

1. Descomposición: La suma $S_k(\alpha; K)$ se descompone utilizando la identidad $\mu_k(n) = \sum_{d^k|n} \mu(d)$. El autor define las sumas de la "parte media" como $c_n(y, z) = \sum_{y < d \le z, d^k|n} \mu(d)$ y particiona la suma exponencial en segmentos diádicos $T_i(\alpha)$ basados en el tamaño de $d$. La suma total se divide en una parte "baja" $h_D(\alpha)$ (sumando $d$ pequeños) y una parte "alta" $H_D(\alpha)$ (sumando $d$ grandes), donde $D \approx \log K$.
2. La Estimación Central (Lema 1.2): El motor técnico del artículo es una nueva cota sobre la media cuadrática de las sumas de la parte media:
   $$\sum_{N-K < n \le N} |c_n(y, z)|^2 \ll K y^{1-k} + N^\varepsilon K^{1/k} + N^{\delta_k + \varepsilon},$$
   donde $\delta_k$ es una constante específica que depende de $k$. Esta estimación combina varias herramientas:
   • Fórmula de Perron: Utilizada para manejar la estructura multiplicativa cuando el rango de sumatoria es pequeño.
   • Método del Hiperbola: Aplicado para acortar sumas largas que involucran la función de diente de sierra $\psi(x)$.
   • Método de Van der Corput: Se utilizan tanto versiones simples como multidimensionales. El artículo emplea la resolución de la conjetura principal del Teorema de Valor Medio de Vinogradov para seleccionar pares de exponentes $(p, q)$ óptimos para estas estimaciones.
   • Límites de la Función Zeta: Se utilizan cotas de convexidad estándar para $\zeta(s)$ en conjunción con polinomios de Dirichlet.
3. Interpolación de Momentos: Las cotas para los momentos $L^s$ se derivan interpolando entre las estimaciones $L^1$ y $L^2$ de las sumas decompuestas. Para el caso subcrítico ($s < 1 + 1/k$), el argumento utiliza núcleos de Fejér para suavizar las sumas y manejar el límite inferior. Para los casos crítico y supercrítico ($s \ge 1 + 1/k$), el artículo utiliza la desigualdad de Hölder y estimaciones puntuales cuidadosas de las sumas de la parte alta $H_D(\alpha)$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Principal): El artículo establece cotas explícitas para el exponente admisible $\theta_{k,s}$. Para $s \neq 1 + 1/k$, el artículo prueba:
  $$\theta_{k,s} \le \begin{cases} \left(\frac{k+1}{2}\right)\delta_k & \text{si } s < 1 + \frac{1}{k}, \\ \left(\frac{1}{2} + \frac{1}{2(s-1)}\right)\delta_k & \text{si } 1 + \frac{1}{k} < s < 2, \\ \delta_k & \text{si } s \ge 2. \end{cases}$$
  Aquí, $\delta_2 = 105/317 \approx 0.331$ y para $k \ge 3$, $\delta_k$ se define mediante una función racional específica de $k$ que es estrictamente menor que $1/(k+1)$.
• Rompiendo la Barrera de la Raíz Cuadrada: Una consecuencia significativa es que para $s=1$ (la media $L^1$), el comportamiento esperado se mantiene para intervalos de longitud $K \gg N^\theta$ donde $\theta < 1/2$. Específicamente, para $k=4$, la cota alcanza $K \gg N^{1555/3142 + \varepsilon} \approx N^{0.49491}$.
• Teorema 1.5 (Momento Crítico): Para el exponente crítico $s = 1 + 1/k$, el artículo prueba:
  $$K^{1/k} \log K \ll \int_0^1 |S_k(\alpha; K)|^{1+1/k} d\alpha \ll K^{1/k} (\log K)^{2-1/k},$$
  válido para $K \gg N^{(\frac{k+1}{2})\delta_k + \varepsilon}$. Esto mejora ligeramente la cota superior para el caso del intervalo completo ($K=N$).
• Corolario 1.8 (Aplicación de la Función Möbius): Al relacionar la suma $k$-libre con la suma con giro de Möbius mediante ortogonalidad, el artículo deriva una cota inferior para la media $L^1$ de $\sum \mu(n)e(n\alpha)$. Muestra que para $K \gg N^{105/317 + \varepsilon} \approx N^{0.49685}$, la integral es $\gg K^{1/6}$. Esto mejora el mejor resultado previo de Sun ($K \gg N^{9/17}$).

Significado y Reivindicaciones
El artículo afirma que la fuerza de la cota en el Lema 1.2 es el "único impedimento" para lograr $\theta_{k,s} = 0$. Los resultados demuestran que mejoras adicionales a la estimación $L^2$ de las sumas de la parte media (específicamente reduciendo el exponente $\Delta_k$ en la ecuación 1.5) se traducirían inmediatamente en resultados de subconvexidad más fuertes para todos los momentos.

El autor señala que el caso $s=2$ corresponde al problema clásico de contar enteros $k$-libres en intervalos cortos. Aunque las cotas del artículo para este caso específico aún no coinciden con los resultados más fuertes conocidos (por ejemplo, Filaseta y Trifonov para brechas de números $k$-libres), la metodología proporciona un marco unificado. El artículo establece explícitamente que la mejora en la media $L^1$ para la función Möbius es una consecuencia directa del Lema 1.2 refinado.

El trabajo se presenta como una generalización y mejora de los resultados previos de Sun, Balog, Ruzsa y Keil, utilizando herramientas modernas de la teoría de sumas exponenciales (específicamente la resolución del Teorema de Valor Medio de Vinogradov) para empujar los límites de la subconvexidad en intervalos cortos. El artículo no pretende resolver completamente el problema de las brechas para los números $k$-libres, sino que sugiere que las cotas derivadas para $\theta_{k,2}$ son un paso hacia mejores resultados de brechas.