Correlations of multiplicative functions with their partial sums

Riassunto Tecnico: Correlazioni di Funzioni Moltiplicative con le loro Somme Parziali

Enunciato del Problema
Questo articolo investiga la correlazione tra funzioni moltiplicative e le rispettive funzioni sommatorie (somme parziali), focalizzandosi specificamente sulla funzione di Möbius $\mu(n)$ e sulla sua funzione sommatoria $M(n)$ (la funzione di Mertens), nonché sulla funzione di Liouville $\lambda(n)$ e sulla sua funzione sommatoria $L(n)$. L'autore definisce una specifica misura di correlazione media logaritmica:
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
dove $0 < c < 1$ e $\delta(T)$ è un parametro opportunamente scelto che decade al tendere di $T$ all'infinito. Il problema centrale è determinare il comportamento asintotico di queste correlazioni sotto l'ipotesi dell'Ipotesi di Riemann (RH) e della Congettura sulla Semplicità degli Zeri (SZC). Lo studio mira a chiarire se queste funzioni mostrino anticorrelazione con le loro somme parziali e a derivare implicazioni per il tasso di crescita di $1/\zeta'(\rho)$, dove $\rho$ denota gli zeri non banali della funzione zeta di Riemann.

Metodologia
Le dimostrazioni si basano su tecniche di teoria analitica dei numeri, in particolare le formule esplicite che legano le funzioni sommatorie agli zeri di $\zeta(s)$. La metodologia procede come segue:

1. Formule Esplicite: L'autore utilizza formule esplicite per $M(n-1)$ e $L(n-1)$ derivate dalla formula di Perron e dal calcolo dei residui. Sotto RH e SZC, queste sono espresse come somme sugli zeri non banali $\rho = 1/2 + i\gamma$:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{termini di errore}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{termini di errore}$.
2. Approssimazioni di Somme Finite: L'articolo stabilisce versioni finite delle identità delle serie di Dirichlet per $\mu(n)$, $\mu^2(n)$, $\lambda(n)$ e $\lambda^2(n)$ utilizzando la sommazione parziale. Queste approssimazioni includono limiti di errore espliciti dipendenti da $N$ (il limite di troncamento) e $\epsilon$.
3. Sviluppo di Laurent e Selezione del Parametro: Il cuore della dimostrazione consiste nella valutazione della somma pesata $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$. L'autore espande $\zeta(1+\delta)$ e $\zeta(1-\rho+\delta)$ utilizzando serie di Laurent intorno a $\delta=0$. Un passaggio critico è la costruzione di una specifica funzione $\delta(T)$ (dipendente da $T$ e dagli zeri $\rho$) che garantisce la convergenza dei termini di errore isolando al contempo i contributi dominanti dalle somme sugli zeri.
4. Analisi del Limite: Impostando il limite di troncamento $N = T^{1-c}$ e facendo tendere $T$ all'infinito, l'autore isola i termini costanti e le somme sugli zeri, dimostrando che i termini di errore svaniscono o sono limitati da $O(1/N)$.

Contributi e Risultati Chiave
L'articolo presenta due teoremi principali che descrivono i limiti asintotici delle correlazioni:

• Teorema 1 (Correlazione di Möbius): Sotto RH e SZC, la correlazione tra $\mu(n)$ e $M(n-1)$ è data da:
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  Il risultato suggerisce un bias negativo (anticorrelazione) dominato dal termine $-3/\pi^2$.

• Teorema 2 (Correlazione di Liouville): Sotto RH e SZC, la correlazione tra $\lambda(n)$ e $L(n-1)$ è data da:
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  Il termine principale $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ è approssimativamente $-0.2655$, indicando anch'esso una correlazione negativa.

• Evidenza Numerica: L'articolo fornisce grafici numerici per $N \le 10^7$ che mostrano come le medie logaritmiche calcolate sia per $\mu(n)M(n-1)$ che per $\lambda(n)L(n-1)$ siano robustamente negative, allineandosi con le previsioni teoriche.

Significato e Implicazioni
Il significato primario di questi risultati risiede nelle loro conseguenze riguardanti la magnitudine della derivata della funzione zeta nei suoi zeri, $1/\zeta'(\rho)$.

• Corollario 1: Se il lato destro del Teorema 1 è negativo (come suggerito dai dati numerici), ciò implica un limite superiore effettivo:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{per } |\gamma| \to \infty$$
• Corollario 2: Analogamente, se il lato destro del Teorema 2 è negativo, ciò implica:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{per } |\gamma| \to \infty$$

L'articolo nota che trovare limiti superiori effettivi per $1/|\zeta'(\rho)|$ è un problema aperto di lunga data. Mentre i limiti inferiori sono ben studiati, i limiti superiori effettivi sono meno compresi. L'autore avverte che questi risultati numerici devono essere interpretati con cautela, citando l'esempio storico della congettura di Mertens (che è stata smentita nonostante forti evidenze numeriche) per sottolineare che le tendenze numeriche non costituiscono prova. Tuttavia, la combinazione delle formule asintotiche derivate e delle correlazioni negative osservate suggerisce che potrebbero esistere limiti superiori effettivi su $|1/\zeta'(\rho)|$, offrendo una nuova prospettiva sulla distribuzione degli zeri della funzione zeta.