Oscillations of random multiplicative functions under initial bias

1. Problema e Contesto

Il lavoro si concentra sullo studio delle funzioni moltiplicative casuali completamente $f(n)$, definite ponendo $f(p) = \pm 1$ con probabilità $1/2$ per ogni numero primo $p$, indipendentemente, e estendendo la funzione moltiplicativamente a tutti gli interi positivi.

Gli autori affrontano due problemi fondamentali riguardanti i cambiamenti di segno delle somme parziali di queste funzioni:

1. L'effetto del "bias iniziale" (Congettura di Kucheriaviy): Cosa succede alla probabilità che le somme parziali $\sum_{n \le N} f(n)$ rimangano non negative per tutti $N \le x$ se si impone un vincolo iniziale, ovvero se $f(p) = 1$ per tutti i primi $p$ fino a una certa soglia $y$? Kucheriaviy aveva dimostrato che se $y$ è sufficientemente grande ($y \ge C(\log x)^2 \dots$), la probabilità tende a 1. La congettura era che se $y$ è più piccolo, la probabilità tenda a 0.
2. Il caso critico $\sigma = 1/2$ (Problema di Aymone): Per la serie $\sum f(n)/n^\sigma$, è noto che per $\sigma > 1/2$ la serie converge quasi certamente a un prodotto di Eulero positivo (quindi cambi di segno finiti), mentre per $\sigma < 1/2$ i cambi di segno sono infiniti quasi certamente. Il caso limite $\sigma = 1/2$ (somma di $\sum f(n)/\sqrt{n}$) rimaneva aperto.

2. Metodologia

Gli autori sviluppano un approccio innovativo che evita l'uso diretto dei valori complessi $s$ vicino alla linea critica (un metodo comune in letteratura che si basa sul vincolare il valore massimo della funzione $L$), concentrandosi invece sul comportamento reale della serie per $s = 1/2 + t$ con $t > 0$ piccolo.

I pilastri metodologici includono:

• Relazione tra Non-Negatività e Decrescenza: Viene dimostrato che se le somme parziali sono non negative, la serie $F(s) = \sum f(n)/n^s$ (per $s > 0$) deve esibire un comportamento approssimativamente decrescente. In particolare, se le somme sono non negative, allora $F(2s)/2 \le F(s)$.
• Rappresentazione tramite Prodotto di Eulero: Per $s = 1/2 + t$, la serie può essere approssimata dall'esponenziale di una somma di variabili aleatorie indipendenti sui primi:
  $$\sum_{n \le x} \frac{f(n)}{n^{1/2+t}} \approx \exp(R(t) + O(1))$$
  dove $R(t) = \sum_p \frac{f(p)}{p^{1/2+t}} + \frac{1}{2}\sum_p \frac{1}{p^{1+2t}}$.
• Teorema del Limite Centrale per Differenze: L'idea chiave è studiare le differenze $R(t) - R(2t)$. Sebbene $R(t)$ sia legato al logaritmo della serie, la differenza $R(t) - R(2t)$ agisce come una "derivata" discreta. Gli autori dimostrano che queste differenze, per una sequenza di $t_i$ opportunamente scalati, convergono in distribuzione a variabili gaussiane indipendenti.
• Analisi delle Oscillazioni: Poiché le differenze $R(t) - R(2t)$ si comportano come variabili gaussiane con media positiva (circa $\log 2 / 2$), è altamente improbabile che rimangano costantemente al di sotto di una certa soglia costante $C$ per un numero arbitrariamente grande di passi. Questo comportamento oscillatorio è incompatibile con la condizione di decrescenza richiesta dalla non-negatività delle somme parziali.

3. Risultati Principali

Teorema 1.1 (Risoluzione della Congettura di Kucheriaviy)

Sia $f$ una funzione moltiplicativa casuale condizionata a $f(p) = 1$ per ogni primo $p \le y$.
Se $y = o\left( \left(\frac{\log x}{\log \log x}\right)^2 \right)$, allora la probabilità che $\sum_{n \le N} f(n) \ge 0$ per ogni $N \le x$ tende a 0 quando $x \to \infty$.

• Significato: Questo conferma che la soglia $(\log x)^2$ è affilata (sharp). Al di sotto di questa soglia, anche un bias iniziale positivo non è sufficiente a mantenere le somme parziali non negative; le fluttuazioni casuali dei primi più grandi dominano e causano inevitabilmente cambi di segno.

Teorema 1.2 (Risoluzione del Problema di Aymone)

Sia $f$ una funzione moltiplicativa casuale.
Quasi certamente, le somme parziali della serie $\sum_{n \le N} \frac{f(n)}{\sqrt{n}}$ cambiano segno infinitamente spesso.

• Significato: Questo completa la classificazione del comportamento delle somme parziali per $\sum f(n)/n^\sigma$. Il caso critico $\sigma = 1/2$ si comporta come il caso $\sigma < 1/2$ (oscillazioni infinite) e non come il caso $\sigma > 1/2$ (convergenza a un valore positivo).

4. Contributi Chiave e Innovazioni

• Superamento delle limitazioni dei metodi complessi: Gli autori notano che i metodi basati sull'analisi complessa (studio di $L(s)$ su linee verticali) non sembrano funzionare per questi problemi specifici. Invece, utilizzano una "strategia minima" basata sul comportamento reale per $s \to 1/2^+$.
• Gestione del Bias Iniziale: Dimostrano che la casualità residua dei primi $p > y$ è sufficiente a generare oscillazioni che distruggono la non-negatività, purché $y$ non sia troppo grande.
• Connessione tra Somma Parziale e Derivata Logaritmica: Sostituiscono lo studio diretto delle somme parziali con lo studio delle differenze $R(t) - R(2t)$, che fungono da proxy per la derivata logaritmica della serie, permettendo l'applicazione di teoremi del limite centrale multidimensionali.

5. Significato e Implicazioni

Questi risultati hanno un impatto significativo sulla teoria dei numeri probabilistica e sullo studio delle funzioni $L$ casuali:

1. Precisione delle Soglie: Forniscono una comprensione precisa di quanto "bias" iniziale sia necessario per alterare il comportamento asintotico delle somme parziali di funzioni moltiplicative casuali.
2. Comportamento Critico: Risolvono definitivamente il comportamento al bordo critico $\sigma = 1/2$, chiudendo un problema aperto proposto da Aymone.
3. Metodologia: L'approccio sviluppato, che lega la non-negatività delle somme parziali a proprietà di decrescenza di serie reali e utilizza il CLT su differenze di somme di primi, offre un nuovo strumento analitico per problemi di oscillazione che potrebbero non essere accessibili tramite l'analisi complessa standard.
4. Connessione con Congetture Aperte: Il lavoro tocca indirettamente problemi legati alla congettura di Fyodorov-Hiary-Keating sui massimi delle funzioni $L$ sulla linea critica, sebbene l'approccio qui sia diverso.

In sintesi, il paper dimostra che le fluttuazioni casuali delle funzioni moltiplicative sono così potenti che, a meno di un vincolo iniziale estremamente forte (che coinvolge una frazione significativa dei primi fino a $(\log x)^2$), le somme parziali non possono mantenere un segno costante, e nel caso critico $\sigma=1/2$, oscillano indefinitamente.