Average sizes of mixed character sums

Resumen Técnico de "Average Sizes of Mixed Character Sums"

Planteamiento del Problema
El artículo investiga el tamaño promedio de las sumas de caracteres mixtos de la forma:
$$S(\chi) = \sum_{1 \le n \le x} \chi(n) e(n\theta) w(n/x)$$
donde $\chi$ es un carácter de Dirichlet módulo un primo grande $r$, $\theta$ es un número real, $w$ es una función de peso suave con soporte en $[0,1]$, y $x \le r$. Los autores buscan determinar la magnitud típica de esta suma cuando se promedia sobre todos los caracteres $\chi \pmod r$.

El trabajo previo de Harper estableció que para $\theta$ racional (o en el modelo de funciones multiplicativas aleatorias), el tamaño promedio es $o(\sqrt{x})$, exhibiendo una "cancelación mejor que la de la raíz cuadrada". Sin embargo, el comportamiento para $\theta$ irracional seguía siendo una pregunta abierta. El problema central abordado es si el tamaño promedio permanece como $o(\sqrt{x})$ o si regresa al "tamaño de la raíz cuadrada" ($\asymp \sqrt{x}$) cuando $\theta$ es irracional y satisface una condición diofántica específica.

Metodología
Los autores emplean un método de momentos, analizando específicamente el segundo y cuarto momento de la suma para acotar el primer momento absoluto mediante la desigualdad de Hölder. La demostración se divide en dos regímenes basados en el tamaño de $x$ relativo a $r$:

1. Caso de Sumas Cortas ($x \le \sqrt{r}$):

   • Los autores utilizan la ortogonalidad de los caracteres de Dirichlet. En este rango, la condición de congruencia $m_1 m_2 \equiv n_1 n_2 \pmod r$ en la expansión del cuarto momento se simplifica a una igualdad $m_1 m_2 = n_1 n_2$ debido a que las variables son pequeñas comparadas con $r$.
   • El problema se reduce a acotar una suma exponencial sobre soluciones enteras de $m_1 m_2 = n_1 n_2$.
   • Los autores adaptan las técnicas de Heap y Soundararajan (específicamente [13] en la bibliografía) referentes a funciones multiplicativas aleatorias. Parametrizan las soluciones y utilizan la inversión de Möbius para detectar la coprimalidad.
   • Un paso técnico clave es una condición diofántica sobre $\theta$ (específicamente $\|q\theta\| \ge C \exp(-q^{1/4})$) para acotar sumas exponenciales donde la frecuencia es no nula. Definen un conjunto $L$ de enteros "malos" y muestran que la contribución de los términos donde la frecuencia pertenece a $L$ es despreciable debido a las propiedades de espaciamiento de $L$.

2. Caso de Sumas Largas ($\sqrt{r} \le x \le r$):

   • La ortogonalidad directa falla cuando las variables exceden $\sqrt{r}$. En su lugar, los autores aplican la fórmula de sumatoria de Poisson para transformar la suma sobre $n \in [1, x]$ en una suma dual sobre frecuencias $m$ módulo $r$, reemplazando efectivamente el rango $x$ por $r/x$.
   • Esta transformación introduce un problema dual que involucra los coeficientes de Fourier de la función de peso y sumas de Gauss.
   • El cálculo del cuarto momento se reduce a contar el número de soluciones a una ecuación diofántica cuadrática específica que involucra congruencias:
     $$k(m_1 + m_2 - n_1 - n_2) \equiv n_1 n_2 - m_1 m_2 \pmod r$$
     donde $k = \lfloor r\theta \rfloor$.
   • Los autores utilizan un lema de inyección (Lema 3.2) para mapear el conjunto de soluciones de 4 variables a un conjunto de 3 variables definido por una ecuación hiperbólica $ab + 2cS = S^2 - 4P$.
   • El problema de conteo se resuelve utilizando el principio del palomar combinado con las propiedades de aproximación diofántica de $\theta$. Demuestran que el número de soluciones $(S, P)$ a la congruencia $kS \equiv P \pmod r$ dentro de los rangos relevantes es suficientemente pequeño, evitando que el cuarto momento crezca demasiado.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.1): Los autores demuestran que para un $\theta$ irracional que satisface la condición diofántica débil $\|q\theta\| \ge C \exp(-q^{1/4})$, el tamaño promedio de la suma de caracteres mixtos es del orden de $\sqrt{x}$. Específicamente:
  $$\sqrt{x} \ll \frac{1}{r-1} \sum_{\chi \pmod r} \left| \sum_{1 \le n \le x} \chi(n) e(n\theta) w(n/x) \right| \ll \sqrt{x}$$
  Esto se mantiene uniforme para todo $x \le r$.
• Contraste con $\theta$ Racional: El resultado confirma que el fenómeno de "cancelación mejor que la de la raíz cuadrada" observado por Harper para $\theta$ racional (y modelos aleatorios) no persiste para la mayoría de los $\theta$ irracionales. El giro aditivo $e(n\theta)$ destruye la estructura delicada requerida para la cancelación adicional cuando $\theta$ es irracional.
• Condición Diofántica: El artículo establece que una condición diofántica relativamente débil (más débil que las requeridas para funciones multiplicativas aleatorias en la literatura previa) es suficiente para asegurar el tamaño de la raíz cuadrada. Esta condición es satisfecha por la mayoría de los números irracionales, incluyendo $\pi$, $e$ y los irracionales algebraicos.
• Pregunta de Distribución: Los autores plantean la pregunta de si la suma normalizada converge a una distribución gaussiana compleja estándar. Observan que, si bien esto ocurre para $x$ pequeño (donde la ortogonalidad es perfecta), trabajos recientes de Bober, Klurman y Shala sugieren que la respuesta es negativa para el rango completo $x=r$.

Significado
El artículo demuestra que la "cancelación mejor que la de la raíz cuadrada" en las sumas de caracteres es una propiedad frágil, altamente sensible a la naturaleza aritmética del giro aditivo. Al probar que el tamaño promedio regresa al límite estándar de $\sqrt{x}$ para $\theta$ irracional, los autores delinean la frontera entre el comportamiento similar al aleatorio de los giros racionales y el comportamiento determinista de los giros irracionales. El trabajo conecta el estudio de las sumas de caracteres mixtos con la teoría del caos multiplicativo crítico y la aproximación diofántica, proporcionando un marco riguroso para entender cómo las perturbaciones aditivas afectan la distribución de las funciones multiplicativas. La reducción técnica del cuarto momento a un problema de conteo para ecuaciones diofánticas cuadráticas representa una novedosa contribución metodológica al campo.