Lower bounds for low moments of character sums, I: Short sums with general multiplicative weights

Resumen Técnico: Cotas Inferiores para Momentos Bajos de Sumas de Caracteres, I

Planteamiento del Problema
Este artículo aborda el problema de establecer cotas inferiores precisas para los momentos bajos ($0 \le q \le 1$) de las sumas de caracteres de Dirichlet y las sumas de caracteres continuas (sumas zeta):
$$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q}$$
donde $r$ es un número primo grande y $1 \le x \le r^{0.499}$. El autor también considera sumas ponderadas $\sum_{n \le x} h(n)\chi(n)$ con pesos multiplicativos $h(n)$ (donde $|h(p)|=1$ y $|h(p^k)| \le 1$) y sumas continuas $\sum_{n \le x} n^{it}$.

El trabajo previo del autor [10] estableció cotas superiores para estos momentos que exhiben una "cancelación mejor que la de la raíz cuadrada", específicamente del orden de:
$$\left( \frac{x}{1 + (1-q)\sqrt{\log \log (10L)}} \right)^q$$
donde $L = \min\{x, r/x\}$. Si bien se conjeturó que estas cotas superiores eran precisas, las cotas inferiores existentes (por ejemplo, las de La Bretèche, Munsch y Tenenbaum [1]) se quedaban cortas por factores de potencia logarítmica. Este artículo tiene como objetivo cerrar esa brecha y demostrar que las cotas superiores son, de hecho, precisas para el rango especificado de $x$.

Metodología
Las demostraciones se basan en un método de "proxy" (sustituto), un elemento fundamental en el análisis de los momentos de las funciones $L$, que implica la construcción de un objeto auxiliar específico $I(\chi)$ diseñado para imitar el comportamiento de la suma de caracteres $\sum_{n \le x} \chi(n)$, pero que sea más tratable para el análisis.

1. Construcción del Proxy $I(\chi)$:
   El proxy se define mediante una integral de Perron "ajustada por barrera":
   $$I(\chi) = \frac{1}{2\pi i} \int_{1/2-iT}^{1/2+iT} \left( \sum_{x^{1-3\beta} < p \le x^{1-\beta}} \frac{\chi(p)}{p^s} \right) F^*_\chi(s) G_\chi(s) \frac{x^s}{s} ds$$

   • Truncamiento: La integral se trunca en la altura $T$.
   • Polinomio Estructurado: La suma interna es reemplazada por un producto de polinomios de Dirichlet sobre rangos de primos disjuntos: primos grandes $(x^{1-3\beta}, x^{1-\beta}]$, números $P$-suaves ($\le x^\beta$) y números $P$-rugosos ($> P$).
   • La Barrera: El componente crucial es $G_\chi(s)$, un polinomio de Dirichlet corto que aproxima una función de "barrera". Esta barrera restringe el crecimiento de los productos Euler parciales $\prod_{p \le P} |1 - \chi(p)p^{-s}|^{-1}$ a través de múltiples escalas (definidas por $P e^{-j}$). Esta barrera está inspirada en resultados sobre funciones multiplicativas aleatorias y está diseñada para suprimir los valores grandes "anormales" que de otro modo harían que el cuarto momento se disparara.

2. Correlación y Cotas de Momentos:
   La estrategia de la demostración reduce el teorema principal a dos Proposiciones Clave involucrando al proxy $I(\chi)$:

   • Correlación: Una cota inferior para la correlación entre la suma de caracteres y el proxy: $E_{\text{char}} |\sum \chi(n)| |I(\chi)|$.
   • Momentos: Cotas superiores para el segundo y cuarto momento del proxy: $E_{\text{char}} |I(\chi)|^2$ y $E_{\text{char}} |I(\chi)|^4$.
     Al aplicar la desigualdad de Hölder, la cota inferior para el momento objetivo se deriva de estas cantidades.

3. Transición a Funciones Multiplicativas Aleatorias:
   Un paso crítico implica el paso de las sumas de caracteres a las funciones multiplicativas aleatorias de Steinhaus $f(n)$. Usando la relación de ortogonalidad $E_{\text{char}} \chi(n)\overline{\chi(m)} = \delta_{n,m}$ (válida para $n,m < r$), el autor muestra que, siempre que las longitudes de los polinomios de Dirichlet involucrados sean suficientemente pequeñas en relación con $r$ (específicamente $x^{2+4\beta} \ll r$), los promedios de los caracteres coinciden con las expectativas sobre funciones multiplicativas aleatorias. Esto permite el uso de herramientas probabilísticas (desigualdad de Khintchine, propiedades de los productos Euler aleatorios) para estimar los momentos de $I(\chi)$.

4. Manejo de la Barrera:
   La dificultad técnica central reside en estimar el cuarto momento del proxy. La barrera $G_\chi(s)$ se construye para asegurar que el factor de "explosión" en el cuarto momento (derivado de las correlaciones de los productos Euler en puntos $s$ y $s'$ cercanos) permanezca insignificante. La barrera restringe las sumas parciales del logaritmo del producto Euler para que se mantengan dentro de límites específicos, controlando efectivamente el comportamiento de "caos multiplicativo".

Contribuciones Clave y Resultados
El artículo establece las siguientes cotas inferiores precisas, que coinciden con las cotas superiores conocidas:

• Teorema 1: Para un número primo grande $r$, uniformemente para $1 \le x \le r^{0.499}$ y $0 \le q \le 1$:
  $$\frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{n \le x} \chi(n) \right|^{2q} \gg \left( \frac{x}{1 + (1-q)\sqrt{\log \log (10x)}} \right)^q$$
• Teorema 2: La misma cota inferior precisa se mantiene para sumas ponderadas $\sum_{n \le x} h(n)\chi(n)$ donde $h(n)$ es una función multiplicativa con $|h(p)|=1$ y $|h(p^k)| \le 1$.
• Teorema 3: La misma cota inferior precisa se mantiene para sumas de caracteres continuos (sumas zeta) $\sum_{n \le x} n^{it}$ para $1 \le x \le T^{0.499}$.

Significancia y Reivindicaciones

• Precisión: Los resultados confirman la conjetura de que las cotas superiores obtenidas en [10] son precisas para el rango $x \le r^{0.499}$. Esto proporciona una comprensión completa del orden de magnitud de los momentos bajos en este régimen.
• Innovación Metodológica: El artículo introduce un objeto proxy específico "ajustado por barrera" que logra imitar exitosamente el comportamiento de las sumas de caracteres permitiendo, al mismo tiempo, estimaciones rigurosas del cuarto momento. Este enfoque sirve como sustituto de los argumentos de condicionamiento utilizados en el entorno de las funciones multiplicativas aleatorias, los cuales son difíciles de aplicar directamente a las sumas de caracteres debido a las restricciones del conductor $r$.
• Limitaciones del Rango: El autor señala que la restricción $x \le r^{0.499}$ (específicamente $x < r^{1/2}$) surge naturalmente de las restricciones de longitud de los polinomios de Dirichlet del proxy requeridas para invocar la relación de ortogonalidad (1.3).
• Trabajo Futuro: El artículo menciona que un artículo compañero [14] extiende estos argumentos al rango completo $x \le 0.99r$ para sumas no ponderadas, utilizando propiedades especiales de las sumas no ponderadas para superar las restricciones de longitud encontradas aquí. Esta extensión conduce a resultados de no anulación para las funciones theta de Dirichlet.

El artículo no pretende resolver el comportamiento de los momentos para $1 < q < 2$ (la brecha entre el segundo y cuarto momento), señalando que esto sigue siendo un desafío abierto, aunque se conjetura que sigue un patrón logarítmico similar.