Distribution of mixed character sums and extremal problems for Littlewood polynomials

Resumo Técnico: Distribuição de Sums de Caracteres Mistas e Problemas Extremais para Polinômios de Littlewood

1. Problema e Motivação

O artigo aborda o comportamento assintótico e a distribuição de somas de caracteres mistas (mixed character sums) da forma:
$$S(\chi, x, \theta) = \sum_{n \le x} \chi(n) e(n\theta)$$
onde $\chi$ é um caráter de Dirichlet (multiplicativo) módulo $q$, $e(x) = e^{2\pi i x}$ é o caráter aditivo, e $\theta \in [0, 1]$.

Os autores investigam dois problemas principais:

1. Distribuição para $\chi$ aleatório: Qual é a distribuição de $S(\chi, x, \theta)$ quando $\chi$ varia sobre a família de caracteres módulo $q$, para $x$ e $q$ tendendo ao infinito com uma razão fixa $x/q \to \beta$?
2. Distribuição para $\theta$ aleatório: Qual é a distribuição limite quando $\chi$ é fixo (especificamente o caráter quadrático) e $\theta$ é escolhido uniformemente aleatoriamente?

O trabalho é motivado por questões clássicas na teoria dos números e análise, particularmente relacionadas às propriedades extremas de polinômios de Littlewood (polinômios com coeficientes $\pm 1$). Especificamente, o artigo visa resolver problemas abertos sobre a medida de Mahler e as normas $L^p$ desses polinômios, incluindo a conjectura de G¨unther e Schmidt sobre a minimização das normas $L^{2k}$.

2. Metodologia

A abordagem dos autores combina análise harmônica, teoria probabilística e técnicas de soma exponencial. Os pilares metodológicos incluem:

• Fórmula de Poisson Quantitativa: Os autores utilizam uma versão quantitativa da fórmula de soma de Poisson para transformar as somas de caracteres parciais em séries condicionalmente convergentes. Isso permite expressar as somas como processos estocásticos discretos que podem ser analisados via o método dos momentos.
• Modelos Probabilísticos (Steinhaus e Rademacher): Eles definem processos estocásticos limites que aproximam o comportamento das somas de caracteres.
  • Para caracteres aleatórios, o limite envolve variáveis aleatórias de Steinhaus (completamente multiplicativas).
  • Para o caráter quadrático fixo com $\theta$ aleatório, o limite envolve variáveis de Rademacher independentes ($\pm 1$).
• Convergência em Espaços de Funções Contínuas: O teorema principal estabelece a convergência em distribuição dos processos de soma de caracteres normalizados para processos estocásticos contínuos no espaço $C[0,1]$, utilizando o critério de Prokhorov (compactidade relativa e convergência de momentos).
• Tratamento de "Log-Integrabilidade": Um dos maiores obstáculos técnicos é que o funcional da medida de Mahler, $\ell(f) = \int_0^1 \log|f(t)| dt$, não é contínuo no espaço de funções contínuas (devido a zeros da função). Para superar isso, os autores desenvolvem um método geral para lidar com a integrabilidade logarítmica de séries que não convergem absolutamente. Eles provam um lema geral (Proposição 1) que limita a integral de $\log|f(t)|$ perto de zero, utilizando operadores diferenciais lineares para garantir que a função não permaneça "demasiado perto" de zero por longos intervalos.

3. Resultados Principais

A. Teoremas de Distribuição (Teoremas 1 e 2)

• Teorema 1: Estabelece que, para $\theta$ fixo (ou racional/irracional) e $\chi$ variando aleatoriamente, o processo de soma de caracteres normalizado converge em distribuição para um processo estocástico específico $F_{k, \alpha, \beta}$ ou $F_{\alpha, \beta}$, dependendo do comportamento de $k$ (o índice de deslocamento).
• Teorema 2: Para o caráter quadrático fixo $\chi_q$ e $\theta$ aleatório, o processo de soma converge para um processo limite $G_{\alpha, \beta}$ definido por variáveis de Rademacher independentes.

B. Aplicação à Medida de Mahler (Corolário 2 e Teorema 3)
Os autores aplicam seus resultados de distribuição para construir polinômios de Littlewood com medidas de Mahler excepcionalmente altas.

• Eles demonstram a existência de polinômios de Littlewood de grau arbitrariamente grande com medida de Mahler normalizada maior que 0.954.
• Isso estabelece um novo recorde para o problema de Mahler, superando o recorde anterior de ~0.951 obtido por Mossinghoff.
• O valor limite é dado por:
  $$\lim_{q \to \infty} \frac{1}{(1.1q)^{1/2}} \exp\left( \int_0^1 \log |S(\chi_q, 0.2, 1.1, \theta)| d\theta \right) \approx 0.954$$
  onde os parâmetros $\alpha=0.2$ e $\beta=1.1$ são otimizados numericamente.

C. Aplicação à Conjectura de G¨unther-Schmidt (Teorema 4)

• O artigo confirma a conjectura de que as normas $L^{2k}$ dos polinômios de Turyn (e Fekete) são assintoticamente minimizadas quando o deslocamento $\alpha = 1/4$.
• Formalmente, para todo inteiro $k \ge 2$, $\text{argmin}_{\alpha \in [0,1]} \phi_k(\alpha) = 1/4$, onde $\phi_k(\alpha)$ é o limite da norma $L^{2k}$ normalizada.
• Isso implica que os polinômios com deslocamento $1/4$ tendem a ser "mais planos" (flat), o que explica por que eles alcançam valores altos de medida de Mahler.

D. Normas $L^1$ (Problema de Newman)

• Os autores também melhoram ligeiramente o limite inferior conhecido para a razão $||P_n||_1 / \sqrt{n}$ (Problema de Newman), alcançando 0.9783 usando polinômios de Turyn generalizados com $\alpha=0.2$ e $\beta=1.1$.

4. Contribuições Chave e Significância

1. Novos Recordes em Problemas Clássicos: O trabalho fornece os melhores limites inferiores conhecidos para a medida de Mahler e a norma $L^1$ de polinômios de Littlewood, superando resultados recentes de Mossinghoff, Erdélyi e outros.
2. Resolução de Conjecturas: A confirmação da conjectura de G¨unther e Schmidt sobre a minimização das normas $L^{2k}$ em $\alpha=1/4$ fecha um capítulo importante na teoria dos polinômios extremos.
3. Inovação Técnica em Log-Integrabilidade: A principal contribuição metodológica é o desenvolvimento de uma ferramenta geral (Proposição 1 e seus lemas associados) para lidar com a não-continuidade do funcional logarítmico em processos estocásticos. Isso permite aplicar teoremas de distribuição (que exigem continuidade) a funcionais que envolvem logaritmos, um problema que havia sido um obstáculo significativo em trabalhos anteriores (como os de Fekete e Turyn).
4. Generalização de Modelos Probabilísticos: O artigo conecta rigorosamente o comportamento de somas de caracteres incompletas (com $\theta \neq 0$) a processos estocásticos contínuos, generalizando resultados anteriores que focavam apenas em somas completas ($\theta=0$) ou em casos específicos.

5. Conclusão

O artigo de Bober, Klurman e Shala representa um avanço significativo na interseção entre a teoria analítica dos números e a análise de polinômios aleatórios. Ao estabelecer a distribuição limite de somas de caracteres mistas e desenvolver técnicas robustas para lidar com a integrabilidade logarítmica, os autores não apenas provam teoremas de distribuição profundos, mas também resolvem problemas extremais de longa data, fornecendo novos exemplos de polinômios de Littlewood com propriedades de "planicidade" (flatness) superiores às anteriormente conhecidas.