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

Sintesi Tecnica: Il Profilo della Finestra Critica per la Funzione Divisore $k$-esima in Quasi Tutti i Brevi Intervalli

Enunciato del Problema
Il saggio affronta il problema del confronto tra le medie locali della funzione divisore $k$-esima $d_k(n)$ e le loro medie lunghe in brevi intervalli. Mentre il celebre teorema di Matomäki–Radziwiłł stabilisce che le funzioni multiplicative limitate esibiscono medie attese in quasi tutti i brevi intervalli la cui lunghezza tende all'infinito, le funzioni non limitate come $d_k(n)$ presentano un diverso fenomeno di soglia. La difficoltà centrale risiede nella "coda pesante" di $d_k(n)$, dove gli interi con molti fattori primi trasportano un peso sproporzionatamente grande, rendendo insufficienti le teorie per funzioni limitate.

L'obiettivo specifico è determinare la scala di transizione quasi-tutto per $d_k(n)$. Lavori precedenti di Mangerel hanno stabilito che la media lunga viene recuperata quando la lunghezza dell'intervallo $h$ soddisfa $h / (\log X)^{(k-1)^2} \to \infty$. Questo saggio mira a identificare la precisa scala critica e il profilo di transizione al di sotto di questa soglia, investigando specificamente intervalli in cui $h$ è vicino alla lunghezza critica $D_k(X) = (\log X)^{k \log k - k + 1}$.

Metodologia
La dimostrazione si basa su due componenti tecniche primarie, combinando risultati distribuzionali probabilistici con stime di valore medio analitiche:

1. Teorema di Erdős–Kac Pesato: L'autore utilizza un teorema del limite centrale per la funzione $\Omega(n)$ (il numero di fattori primi contati con molteplicità) sotto la misura di probabilità pesata da $d_k(n)$. Sotto questa misura, la variabile normalizzata $\frac{\Omega(n) - k \log \log X}{\sqrt{k \log \log X}}$ converge a una distribuzione gaussiana standard. Ciò fornisce l'input distribuzionale necessario per relazionare la lunghezza dell'intervallo con la proporzione di interi che soddisfano specifici cutoff di $\Omega(n)$.

2. Stime di Matomäki–Radziwiłł $\Omega$-troncate: Il nucleo analitico consiste nell'stabilire stime di valore medio-quadratico per polinomi di Dirichlet troncati dalla condizione $\Omega(n) \le L$.

   • Decomposizione di Ramaré: Per gestire la natura non moltiplicativa del troncamento, l'autore impiega una decomposizione di Ramaré. Crucialmente, non trattano il cutoff di $\Omega$ come una coda trascurabile nel range critico. Invece, applicano la formula di Cauchy alla condizione residua $\Omega(m) \le L-1$ solo dopo la decomposizione, convertendo il cutoff in pesi moltiplicativi $z^{-\Omega(m)}$.
   • Distanza di Halász e Valori Grandi: Lo strato rimanente dei grandi primi nella decomposizione forza una distanza di Halász ad alta frequenza uniforme. Questo meccanismo fornisce il necessario risparmio logaritmico nel range finale dei valori grandi, che una stima diretta della coda non riuscirebbe a fornire.
   • Limiti di Valore Medio: La dimostrazione utilizza una combinazione di stime di valore medio di Montgomery–Vaughan, stime di tipo Shiu per le funzioni divisore e limiti di grandi valori di tipo Halász per i polinomi primi per controllare la norma $L^2$ delle somme troncate.

Risultati Chiave
Il saggio stabilisce un preciso profilo di transizione per la media di $d_k(n)$ in brevi intervalli $[x, x+h]$ per quasi tutti $x \in [X, 2X]$.

• Scala Critica: La lunghezza critica è identificata come $D_k(X) = (\log X)^{k \log k - k + 1}$.
• Profilo di Transizione (Teorema 1.1): Sia $\ell = \log \log X$ e definire il parametro normalizzato $A(X) = \frac{1}{\sqrt{\ell}} \log \frac{h}{D_k(X)}$. Se $A(X) = O(1)$, allora per quasi tutti $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)$$
  dove $\Phi_G$ è la funzione di distribuzione gaussiana standard e $M_k(x)$ è la media lunga. Questa formula descrive la "parte finita" della transizione, mostrando che la media locale è una frazione della media globale determinata dalla funzione di ripartizione gaussiana.
• Regime di Endpoint (Corollario 1.2): Se la lunghezza dell'intervallo soddisfa $\frac{\log(h/D_k(X))}{\sqrt{\ell}} \to +\infty$ (ovvero $A(X) \to +\infty$), il fattore gaussiano tende a 1, e la piena media lunga è recuperata per quasi tutti $x$.

Significato e Rivendicazioni
Il saggio sostiene di fornire un miglioramento con risparmio di potenza rispetto ai risultati precedenti (specificamente l'esponente di Mangerel) riguardo alla lunghezza degli intervalli richiesti per recuperare la media lunga della funzione divisore. Identificando l'esatto profilo di transizione, il lavoro colma il divario tra la teoria delle funzioni limitate e il comportamento delle funzioni moltiplicative non limitate a scale polilogaritmiche.

L'autore sottolinea che la transizione è guidata dall'interazione tra la lunghezza dell'intervallo e la distribuzione di $\Omega(n)$ sotto il peso $d_k$. La novità tecnica risiede nella gestione del cutoff di $\Omega$: invece di scartarlo come una coda, l'autore lo integra nell'apparato analitico tramite la decomposizione di Ramaré e la formula di Cauchy, permettendo un risparmio uniforme ad alta frequenza che è essenziale per il range critico. I risultati sono presentati come un teorema di transizione "quasi-tutto", coerente con la natura probabilistica del metodo di Matomäki–Radziwiłł.