A sharp almost sure upper bound for partial sums of random multiplicative functions

Resumo Técnico: Um Limite Superior Quase Certo Agudo para Somas Parciais de Funções Multiplicativas Aleatórias

Enunciado do Problema
O artigo aborda o comportamento assintótico quase certo de $M_f(x) = \sum_{n \le x} f(n)$, onde $f$ é uma função multiplicativa aleatória. O estudo foca em dois modelos específicos:

1. Modelo Steinhaus: $f(p)$ são independentes e uniformemente distribuídos no círculo unitário $\mathbb{T}$, estendidos de forma completamente multiplicativa.
2. Modelo Rademacher: $f(p)$ são sinais simétricos independentes ($\pm 1$), estendidos multiplicativamente para inteiros livres de quadrados (suportados em $\mu^2(n)=1$).

Embora o segundo momento $E|M_f(x)|^2$ escale como $x$, espera-se que o limite superior quase certo seja maior devido às correlações. Trabalhos anteriores estabeleceram um limite inferior de ordem $\sqrt{x}(\log \log x)^{1/4}$ (Harper [12]) e vários limites superiores com expoentes logarítmicos maiores, tais como $\sqrt{x}(\log \log x)^{2+\varepsilon}$ (Basquin [3]; Lau–Tenenbaum–Wu [13]) e $\sqrt{x}(\log \log x)^{3/4+\varepsilon}$ (Caich [5]). Harper conjecturou que o limite superior quase certo agudo deveria corresponder ao limite inferior até um fator $\varepsilon$ arbitrário no expoente, especificamente $\sqrt{x}(\log \log x)^{1/4+\varepsilon}$.

Metodologia
Os autores empregam uma estratégia probabilística e analítica de múltiplos estágios para provar a conjectura do limite. A prova segue a arquitetura geral de Caich [5], mas introduz um refinamento crítico na estimativa de momentos.

1. Discretização e Interpolação:
   A variável contínua $x$ é substituída por uma sequência esparsa de "pontos de teste" $x_i = \lfloor \exp(i c_0) \rfloor$. O Lema 3.8 demonstra que a flutuação de $M_f(x)$ entre pontos de teste consecutivos é negligenciável (menor que qualquer potência de $\log x$) quase certamente, permitindo que o problema seja reduzido ao controle de $M_f(x_i)$.

2. Decomposição pelo Maior Primo:
   A soma $M_f(x_i)$ é decomposta com base no maior fator primo $P(n)$ dos inteiros $n \le x_i$. Os primos são particionados em blocos $(y_{j-1}, y_j]$.

• Termo Suave (Smooth Term): Inteiros com $P(n) \le y_0$.
• Termo de Ocorrência Única ($M_f^{(1)}$): Inteiros onde o maior primo aparece exatamente uma vez. Isso forma uma martingala indexada por primos.
• Termo de Ocorrência Repetida ($M_f^{(2)}$): Inteiros onde o maior primo aparece pelo menos duas vezes. No modelo Rademacher, este termo desaparece.

3. Suavização e Variação Quadrática:
   O controle do termo de ocorrência única depende do controle de sua variação quadrática previsível $V_\ell(x_i; f)$. Os autores utilizam uma desigualdade de suavização (Proposição 3.15) para relacionar $V_\ell$ a um termo de média quadrática logarítmica principal $M_\ell$ e vários termos de erro auxiliares (termos $\lambda$, termos de fronteira e termos $W$). Os termos auxiliares são mostrados como somáveis via ferramentas probabilísticas padrão (desigualdades de Doob, Azuma–Hoeffding).

4. Inovação Principal: Momentos Condicionais de Ordem Superior:
   A dificuldade central reside em controlar o termo principal $M_\ell$ uniformemente através dos $J \asymp \log \log x$ blocos de primos.

• Abordagem Anterior (Caich): Baseava-se em estimativas de primeiro momento condicional somadas sobre os blocos, resultando em uma perda de um fator de $\sqrt{\log \log x}$.
• Abordagem Atual: Os autores introduzem uma estimativa de momento $r$-ésimo condicional fixo (Proposição 5.2 para Steinhaus, Proposição 7.8 para Rademacher). Eles definem um produto de Euler integral normalizado e inclinado $I_j$ e provam que este forma uma supermartingala (Lema 5.1, Lema 7.7).
• Crucialmente, eles estabelecem que $E[U_j^r \mid \mathcal{F}_{y_{j-1}}] \ll I_{j-1}^r$, onde $U_j$ domina o termo principal. Este controle de momento superior, combinado com um argumento de parada (usando a estimativa de momento $2/3$ de Harper [9] para o caso Steinhaus e uma estimativa deslocada para Rademacher), produz um fator compensador de $L^{-1}$ (onde $L \asymp \log \log x$). Isso cancela precisamente o limite de união (union bound) sobre os $J$ blocos, eliminando a perda extra de $\sqrt{\log \log x}$.

5. Ajustes Específicos do Modelo:

• Steinhaus: Utiliza a desigualdade hipercontrativa padrão (Lema 3.1) e a estimativa de momento baixo de Harper para a média quadrática de linha inteira (Lema 4.1).
• Rademacher: Requer modificações porque os sinais não são rotacionalmente invariantes. Os autores utilizam uma estimativa de intervalo unitário deslocado (Lema 7.4) e adaptam a construção da supermartingala para a estrutura específica do produto de Euler do modelo Rademacher (Lema 7.7).

Principais Resultados
O teorema principal estabelece o limite superior quase certo agudo para ambos os modelos:

Teorema 1: Seja $f$ uma função multiplicativa aleatória Steinhaus ou Rademacher. Para todo $\varepsilon > 0$, quase certamente:
$$|M_f(x)| \ll_{\varepsilon, f} \sqrt{x} (\log \log x)^{1/4 + \varepsilon}$$

Este resultado é sustentado pela Proposição 1.1, que fornece uma afirmação de ordem fixa mais precisa: para qualquer inteiro $r \ge 2$ e $\eta > 0$, quase certamente:
$$|M_f(x)| \ll_{r, \eta, f} \sqrt{x} (\log \log x)^{1/4 + 1/(2r) + \eta}$$

Combinando isso com o limite inferior de Harper (1.6), os autores derivam o Corolário 1.2, determinando o expoente logarítmico exato:
$$\limsup_{x \to \infty} \frac{\log(1 + |M_f(x)|/\sqrt{x})}{\log \log \log x} = \frac{1}{4}$$

Significância e Alegações
O artigo afirma resolver a conjectura de Harper sobre as grandes flutuações de funções multiplicativas aleatórias. Ao determinar o expoente logarítmico agudo de $1/4$, o trabalho resolve a discrepância entre os limites superiores anteriores (que possuíam expoentes como $2$ ou $3/4$) e o limite inferior conhecido.

Os autores enfatizam que a prova não se baseia em argumentos de independência (que falham devido às correlações multiplicativas), mas sim em uma compreensão refinada de como essas correlações persistem conforme $x$ varia. A principal contribuição técnica é a substituição do passo de primeiro momento condicional do trabalho anterior por uma estimativa de momento $r$-ésimo condicional fixo em um único bloco de primos. Esta inovação permite a absorção precisa do limite de união sobre o número logarítmico de blocos de primos, alcançando o expoente conjecturado. O artigo afirma que este resultado, juntamente com o limite inferior, caracteriza plenamente o tamanho quase certo das somas parciais para estas funções multiplicativas aleatórias.