On a conjecture of Corradi and Katai

Sintesi Tecnica: Su una congettura di Corrádi e Kátai

Enunciato del Problema
Questo articolo investiga il comportamento asintotico di somme di tipo Goldbach che coinvolgono la funzione di Liouville, $\lambda(n)$. Mentre la classica congettura di Goldbach riguarda la rappresentazione di interi pari come somme di due numeri primi (legata alla funzione di von Mangoldt $\Lambda(n)$), questo lavoro sostituisce $\Lambda(n)$ con la funzione di Liouville completamente moltiplicativa, definita da $\lambda(p) = -1$ per tutti i primi $p$ e $\lambda(mn) = \lambda(m)\lambda(n)$.

L'oggetto centrale di studio è la somma:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
dove $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$. Il limite banale per questa somma è $|G_k(N)| \ll N^{k-1}$. L'obiettivo primario è stabilire limiti più forti che dimostrino una cancellazione significativa in queste somme, particolarmente per il caso $k=2$, che si riferisce alla congettura di Corrádi-Kátai.

Metodologia
L'autore utilizza tecniche di analisi di Fourier e somme esponenziali, sfruttando specificamente i risultati di Davenport riguardanti la funzione di Liouville.

1. Analisi di Fourier e Somme Esponenziali: Il lavoro utilizza la somma esponenziale $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$. Lo strumento analitico principale è il teorema di Davenport, il quale afferma che $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ uniformemente per $x \in [0, 1]$.
2. Rappresentazioni Integrali: Utilizzando l'identità di Parseval e le proprietà delle somme esponenziali, l'autore mette in relazione le somme $G_k(N)$ con gli integrali delle potenze di $S(N, x)$. Nello specifico, viene utilizzata l'identità $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ per connettere le somme discrete alle norme $L^2$ e $L^4$ continue della somma esponenziale.
3. Argomenti Induttivi: Per il caso $k \geq 3$, le dimostrazioni procedono per induzione. Il caso base ($k=3$) si basa sulla disuguaglianza di Cauchy-Schwarz applicata al caso $k=2$, che viene limitato utilizzando la media quadratica di $G_2(n)$ derivata dal teorema di Davenport.
4. Sommatoria per Parti: Per derivare i limiti per l'insieme di $N$ dove $|G_2(N)|$ è grande, l'autore utilizza tecniche di sommatoria per parti sulla stima della media quadratica di $G_2(n)/n$.

Contributi Chiave e Risultati

• Teorema 1 (Caso $k \geq 3$): Per ogni intero fissato $k \geq 3$ e per ogni costante positiva $A$, il lavoro dimostra che:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  Questo risultato stabilisce un miglioramento con risparmio di potenza rispetto al limite banale $O(N^{k-1})$ per tutti i ranghi $k \geq 3$.

• Teorema 2 (Caso $k = 2$): Il lavoro affronta il caso più difficile $k=2$. Definisce $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$. Il risultato principale qui è una stima di densità:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  Ciò implica che l'insieme degli interi dove $|G_2(N)|$ eccede una frazione lineare di $N$ ha densità zero. Di conseguenza, $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$. Il lavoro nota che questo risultato asserisce che la congettura di Corrádi-Kátai è vera qualora il limite che definisce la congettura esista, ma non prova che il limite esista incondizionatamente.

• Teorema 3 (Distribuzione dei Segni): Come corollario dei risultati principali, il lavoro dimostra l'equidistribuzione dei pattern di segno per la funzione di Liouville per $k \geq 3$. Per ogni sequenza di segni $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$, il numero di soluzioni a $a_1 + \dots + a_k = N$ con $\lambda(a_i) = \epsilon_i$ è:
  $$\frac{1}{2^k} \binom{N-1}{k-1} + O_A\left(\frac{N^{k-1}}{\log^A N}\right)$$
  Ciò indica che i pattern di segno si verificano con la frequenza attesa fino a un piccolo termine di errore.

Significato e Contesto
Il lavoro colloca i propri risultati nel contesto della Congettura di Corrádi-Kátai (1969), la quale postula che $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$.

• L'autore nota che, sebbene la congettura sia stata provata condizionatamente (assumendo l'esistenza di infiniti zeri di Siegel) in un lavoro citato [3], una prova incondizionata è rimasta elusiva.
• Il lavoro fa riferimento al recente lavoro di Mangerel, il quale ha dimostrato che $|G_2(N)| < N-1$ per $N \notin \{2, 3, 5, 10\}$, rispondendo a una domanda più debole posta da Sarnak.
• Il contributo dell'autore è modesto riguardo alla congettura completa: il Teorema 2 non prova che il limite esista o sia zero per ogni $N$, ma prova che il limite inferiore è zero e che i valori grandi di $|G_2(N)|$ sono estremamente rari.
• Il lavoro asserisce che il Teorema 1 e il Teorema 3 sono equivalenti, evidenziando come la cancellazione nelle somme sia direttamente legata alla distribuzione di tipo casuale dei segni della funzione di Liouville.

Il lavoro fornisce un miglioramento incondizionato rigoroso rispetto ai limiti banali per le somme di rango superiore ($k \geq 3$) e offre una risoluzione parziale, basata sulla densità, per il caso di lungo tempo $k=2$, rafforzando l'euristica secondo cui la funzione di Liouville si comporta in modo casuale in contesti additivi.