Average sizes of mixed character sums

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

Enunciado do Problema
O artigo investiga o tamanho médio de somas de caracteres mistos da forma:
$$S(\chi) = \sum_{1 \le n \le x} \chi(n) e(n\theta) w(n/x)$$
onde $\chi$ é um caractere de Dirichlet módulo um primo grande $r$, $\theta$ é um número real, $w$ é uma função de peso suave suportada em $[0,1]$, e $x \le r$. Os autores visam determinar a magnitude típica desta soma quando calculada em média sobre todos os caracteres $\chi \pmod r$.

Trabalhos anteriores realizados por Harper estabeleceram que, para $\theta$ racional (ou no modelo de funções multiplicativas aleatórias), o tamanho médio é $o(\sqrt{x})$, exibindo um "cancelamento melhor que a raiz quadrada". No entanto, o comportamento para $\theta$ irracional permaneceu uma questão em aberto. O problema central abordado é se o tamanho médio permanece $o(\sqrt{x})$ ou se retorna ao "tamanho de raiz quadrada" ($\asymp \sqrt{x}$) quando $\theta$ é irracional e satisfaz uma condição diofantina específica.

Metodologia
Os autores empregam o método dos momentos, especificamente analisando o segundo e o quarto momentos da soma para limitar o primeiro momento absoluto via desigualdade de Hölder. A prova é dividida em dois regimes baseados no tamanho de $x$ em relação a $r$:

1. Caso de Soma Curta ($x \le \sqrt{r}$):

   • Os autores utilizam a ortogonalidade dos caracteres de Dirichlet. Neste intervalo, a condição de congruência $m_1 m_2 \equiv n_1 n_2 \pmod r$ na expansão do quarto momento simplifica-se para uma igualdade $m_1 m_2 = n_1 n_2$, pois as variáveis são pequenas em comparação a $r$.
   • O problema reduz-se a limitar uma soma exponencial sobre soluções inteiras de $m_1 m_2 = n_1 n_2$.
   • Os autores adaptam técnicas de Heap e Soundararajan (especificamente [13] na bibliografia) relativas a funções multiplicativas aleatórias. Eles parametrizam as soluções e utilizam a inversão de Möbius para detectar a coprimaridade.
   • Um passo técnico fundamental envolve uma condição diofantina sobre $\theta$ (especificamente $\|q\theta\| \ge C \exp(-q^{1/4})$) para limitar somas exponenciais onde a frequência é não nula. Eles definem um conjunto $L$ de inteiros "ruins" e mostram que a contribuição dos termos onde a frequência pertence a $L$ é desprezível devido às propriedades de espaçamento de $L$.

2. Caso de Soma Longa ($\sqrt{r} \le x \le r$):

   • A ortogonalidade direta falha quando as variáveis excedem $\sqrt{r}$. Em vez disso, os autores aplicam a fórmula de soma de Poisson para transformar a soma sobre $n \in [1, x]$ em uma soma dual sobre frequências $m$ módulo $r$, efetivamente substituindo o intervalo $x$ por $r/x$.
   • Esta transformação introduz um problema dual envolvendo os coeficientes de Fourier da função de peso e somas de Gauss.
   • O cálculo do quarto momento reduz-se à contagem do número de soluções para uma equação diofantina quadrática específica envolvendo congruências:
     $$k(m_1 + m_2 - n_1 - n_2) \equiv n_1 n_2 - m_1 m_2 \pmod r$$
     onde $k = \lfloor r\theta \rfloor$.
   • Os autores utilizam um lema de injeção (Lema 3.2) para mapear o conjunto de soluções de 4 variáveis para um conjunto de 3 variáveis definido por uma equação hiperbólica $ab + 2cS = S^2 - 4P$.
   • O problema de contagem é resolvido usando o princípio da casa dos pombos combinado com as propriedades de aproximação diofantina de $\theta$. Eles mostram que o número de soluções $(S, P)$ para a congruência $kS \equiv P \pmod r$ dentro dos intervalos relevantes é suficientemente pequeno, impedindo que o quarto momento cresça excessivamente.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.1): Os autores provam que, para um $\theta$ irracional que satisfaz a condição diofantina fraca $\|q\theta\| \ge C \exp(-q^{1/4})$, o tamanho médio da soma de caracteres mistos é da ordem de $\sqrt{x}$. Especificamente:
  $$\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}$$
  Isso ocorre uniformemente para todo $x \le r$.
• Contraste com $\theta$ Racional: O resultado confirma que o fenômeno de "cancelamento melhor que a raiz quadrada" observado por Harper para $\theta$ racional (e modelos aleatórios) não persiste para a maioria dos $\theta$ irracionais. A torção aditiva $e(n\theta)$ destrói a estrutura delicada necessária para o cancelamento extra quando $\theta$ é irracional.
• Condição Diofantina: O artigo estabelece que uma condição diofantina relativamente fraca (mais fraca do que as exigidas para funções multiplicativas aleatórias na literatura anterior) é suficiente para garantir o tamanho de raiz quadrada. Esta condição é satisfeita pela maioria dos números irracionais, incluindo $\pi$, $e$ e irracionais algébricos.
• Questão da Distribuição: Os autores levantam a questão de se a soma normalizada converge para uma distribuição gaussiana complexa padrão. Eles observam que, embora isso ocorra para $x$ pequeno (onde a ortogonalidade é perfeita), trabalhos recentes de Bober, Klurman e Shala sugerem que a resposta é negativa para o intervalo completo $x=r$.

Significância
O artigo demonstra que o "cancelamento melhor que a raiz quadrada" em somas de caracteres é uma propriedade frágil, altamente sensível à natureza aritmética da torção aditiva. Ao provar que o tamanho médio retorna ao limite padrão de $\sqrt{x}$ para $\theta$ irracional, os autores delineiam a fronteira entre o comportamento semelhante ao aleatório das torções racionais e o comportamento determinístico das torções irracionais. O trabalho conecta o estudo de somas de caracteres mistos à teoria do caos multiplicativo crítico e à aproximação diofantina, fornecendo um arcabouço rigoroso para entender como perturbações aditivas afetam a distribuição de funções multiplicativas. A redução técnica do quarto momento para um problema de contagem de equações diofantinas quadráticas representa uma contribuição metodológica novel para o campo.