The critical-window profile for $d_k$ in short intervals

Resumo Técnico: O Perfil da Janela Crítica para a Função Divisora $k$-dobrada em Quase Todos os Intervalos Curtos

Enunciado do Problema
O artigo aborda o problema de comparar médias locais da função divisora $k$-dobrada $d_k(n)$ com suas médias longas em intervalos curtos. Enquanto o célebre teorema de Matomäki–Radziwiłł estabelece que funções multiplicativas limitadas exibem médias esperadas em quase todos os intervalos curtos de comprimento tendendo ao infinito, funções não limitadas como $d_k(n)$ apresentam um fenômeno de limiar diferente. A dificuldade central reside na "cauda pesada" de $d_k(n)$, onde inteiros com muitos fatores primos carregam um peso desproporcionalmente grande, tornando insuficientes as teorias de funções limitadas.

O objetivo específico é determinar a escala de transição de quase todos para $d_k(n)$. Trabalhos anteriores de Mangerel estabeleceram que a média longa é recuperada quando o comprimento do intervalo $h$ satisfaz $h / (\log X)^{(k-1)^2} \to \infty$. Este artigo busca identificar a escala crítica precisa e o perfil de transição abaixo deste limiar, investigando especificamente intervalos onde $h$ está próximo do comprimento crítico $D_k(X) = (\log X)^{k \log k - k + 1}$.

Metodologia
A prova baseia-se em dois principais ingredientes técnicos, combinando resultados distributivos probabilísticos com estimativas de valor médio analíticas:

1. Teorema de Erdős–Kac Ponderado: O autor utiliza um teorema do limite central para a função $\Omega(n)$ (o número de fatores primos contados com multiplicidade) sob a medida de probabilidade ponderada por $d_k(n)$. Sob esta medida, a variável normalizada $\frac{\Omega(n) - k \log \log X}{\sqrt{k \log \log X}}$ converge para uma distribuição Gaussiana padrão. Isso fornece o dado distributivo necessário para relacionar o comprimento do intervalo à proporção de inteiros que satisfazem cortes específicos de $\Omega(n)$.

2. Estimativas de Matomäki–Radziwiłł para $\Omega$-Truncamento: O núcleo analítico envolve estabelecer estimativas de valor quadrático médio para polinômios de Dirichlet truncados pela condição $\Omega(n) \le L$.

   • Decomposição de Ramaré: Para lidar com a natureza não multiplicativa do truncamento, o autor emprega uma decomposição de Ramaré. Crucialmente, eles não tratam o corte de $\Omega$ como uma cauda negligenciável no intervalo crítico. Em vez disso, aplicam a fórmula de Cauchy para a condição residual $\Omega(m) \le L-1$ apenas após a decomposição, convertendo o corte em pesos multiplicativos $z^{-\Omega(m)}$.
   • Distância de Halász e Valores Grandes: A camada restante de grandes primos na decomposição força uma distância de Halász de alta frequência uniforme. Este mecanismo fornece a economia logarítmica necessária no intervalo final de valores grandes, o que uma estimativa direta da cauda falharia em prover.
   • Limites de Valor Médio: A prova utiliza uma combinação de estimativas de valor médio de Montgomery–Vaughan, estimativas do tipo Shiu para funções divisoras e limites de valores grandes do tipo Halász para polinômios primos para controlar a norma $L^2$ das somas truncadas.

Resultados Principais
O artigo estabelece um perfil de transição preciso para a média de $d_k(n)$ em intervalos curtos $[x, x+h]$ para quase todo $x \in [X, 2X]$.

• Escala Crítica: O comprimento crítico é identificado como $D_k(X) = (\log X)^{k \log k - k + 1}$.
• Perfil de Transição (Teorema 1.1): Seja $\ell = \log \log X$ e defina o parâmetro normalizado $A(X) = \frac{1}{\sqrt{\ell}} \log \frac{h}{D_k(X)}$. Se $A(X) = O(1)$, então para quase todo $x$:
  $$\frac{1}{h} \sum_{x < n \le x+h} d_k(n) = \left( \Phi_G\left( \frac{A(X)}{\sqrt{k \log k}} \right) + o(1) \right) M_k(x)$$
  onde $\Phi_G$ é a função de distribuição Gaussiana padrão e $M_k(x)$ é a média longa. Esta fórmula descreve a "parte finita" da transição, mostrando que a média local é uma fração da média global determinada pela função cumulativa Gaussiana.
• Regime de Extremidade (Corolário 1.2): Se o comprimento do intervalo satisfizer $\frac{\log(h/D_k(X))}{\sqrt{\ell}} \to +\infty$ (ou seja, $A(X) \to +\infty$), o fator Gaussiano tende a 1, e a média longa completa é recuperada para quase todo $x$.

Significância e Alegações
O artigo afirma fornecer uma melhoria de economia de potência sobre resultados anteriores (especificamente o expoente de Mangerel) em relação ao comprimento dos intervalos necessários para recuperar a média longa da função divisora. Ao identificar o perfil de transição exato, o trabalho preenche a lacuna entre a teoria de funções limitadas e o comportamento de funções multiplicativas não limitadas em escalas polilogarítmicas.

O autor enfatiza que a transição é impulsionada pela interação entre o comprimento do intervalo e a distribuição de $\Omega(n)$ sob o peso de $d_k$. A novidade técnica reside no tratamento do corte de $\Omega$: em vez de descartá-lo como uma cauda, o autor o integra à maquinaria analítica via decomposição de Ramaré e fórmula de Cauchy, permitindo uma economia de alta frequência uniforme que é essencial para o intervalo crítico. Os resultados são apresentados como um teorema de transição de "quase todos", consistente com a natureza probabilística do método de Matomäki–Radziwiłł.