On a conjecture of Corradi and Katai

Technische Samenvatting: Over een vermoeden van Corrádi en Kátai

Probleemstelling
Dit artikel onderzoekt het asymptotische gedrag van Goldbach-type sommen met betrekking tot de Liouville-functie, $\lambda(n)$. Terwijl de klassieke Goldbach-vermoeden betrekking heeft op de representatie van even gehele getallen als sommen van twee priemgetallen (gerelateerd aan de von Mangoldt-functie $\Lambda(n)$), vervangt dit werk $\Lambda(n)$ door de volledig multiplicatieve Liouville-functie, gedefinieerd door $\lambda(p) = -1$ voor alle priemgetallen $p$ en $\lambda(mn) = \lambda(m)\lambda(n)$.

Het centrale object van studie is de som:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
waarbij $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$. De triviale bovengrens voor deze som is $|G_k(N)| \ll N^{k-1}$. Het primaire doel is om sterkere grenzen vast te stellen die significante annulering in deze sommen aantonen, in het bijzonder voor de zaak $k=2$, die gerelateerd is aan de Corrádi-Kátai vermoeden.

Methodologie
De auteur maakt gebruik van technieken uit de Fourieranalyse en exponentiële sommen, waarbij specifiek gebruik wordt gemaakt van resultaten van Davenport met betrekking tot de Liouville-functie.

1. Fourieranalyse en exponentiële sommen: Het artikel maakt gebruik van de exponentiële som $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$. Het kerninstrument van de analytische methode is Davenport's stelling, die stelt dat $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ uniform geldt voor $x \in [0, 1]$.
2. Integrale representaties: Door gebruik te maken van de Parseval-identiteit en eigenschappen van exponentiële sommen, relateert de auteur de sommen $G_k(N)$ aan integralen van machten van de exponentiële som $S(N, x)$. In het bijzonder wordt de identiteit $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ gebruikt om de discrete sommen te verbinden met de continue $L^2$- en $L^4$-normen van de exponentiële som.
3. Inductieve argumenten: Voor de zaak $k \geq 3$ verloopt het bewijs via inductie. De basisgeval ($k=3$) steunt op de Cauchy-Schwarz-ongelijkheid toegepast op de $k=2$ zaak, die wordt begrensd met behulp van de $L^2$-gemiddelde waarde van $G_2(n) / n$ afgeleid uit Davenport's stelling.
4. Partiële sommatie: Om grenzen af te leiden voor de verzameling $N$ waarvoor $|G_2(N)|$ groot is, gebruikt de auteur technieken van partiële sommatie op de gemiddelde kwadratische schatting van $G_2(n)/n$.

Belangrijkste bijdragen en resultaten

• Stelling 1 (Geval $k \geq 3$): Voor elk vaste geheel getal $k \geq 3$ en elke positieve constante $A$, bewijst het artikel:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  Dit resultaat vestigt een verbetering met een machtsbesparing ten opzichte van de triviale bovengrens $O(N^{k-1})$ voor alle rangen $k \geq 3$.

• Stelling 2 (Geval $k = 2$): Het artikel behandelt de moeilijkere zaak $k=2$. Het definieert $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$. Het hoofdresultaat hier is een dichtheidsschatting:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  Dit impliceert dat de verzameling gehele getallen waar $|G_2(N)|$ een lineair deel van $N$ overschrijdt, een dichtheid nul heeft. Bijgevolg is $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$. Het artikel merkt op dat dit resultaat stelt dat het Corrádi-Kátai vermoeden waar is indien de limiet die het vermoeden definieert bestaat, maar bewijst niet onvoorwaardelijk dat de limiet bestaat.

• Stelling 3 (Verdeling van tekens): Als een bijgerecht van de hoofdresultaten demonstreert het artikel de evenredige verdeling van tekenpatronen in de Liouville-functie voor $k \geq 3$. Voor elke reeks tekens $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$, is het aantal oplossingen voor $a_1 + \dots + a_k = N$ met $\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)$$
  Dit geeft aan dat tekenpatronen voorkomen met de verwachte frequentie tot een kleine foutterm.

Betekenis en Context
Het artikel plaatst zijn resultaten binnen de context van het Corrádi-Kátai Vermoeden (1969), dat stelt dat $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$.

• De auteur merkt op dat hoewel het vermoeden conditioneel bewezen is (uitgaande van de existentie van oneindig veel Siegel-nulpunten) in een geciteerd werk [3], een onvoorwaardelijk bewijs ongrijpbaar is gebleven.
• Het artikel verwijst naar recent werk van Mangerel, die bewees dat $|G_2(N)| < N-1$ voor $N \notin \{2, 3, 5, 10\}$, waarmee een zwakkere vraag beantwoord werd die door Sarnak werd gesteld.
• De bijdrage van de auteur is bescheiden met betrekking tot het volledige vermoeden: Stelling 2 bewijst niet dat de limiet bestaat of nul is voor elk $N$, maar bewijst dat de limiet inferior nul is en dat grote waarden van $|G_2(N)|$ extreem schaars zijn.
• Het artikel stelt dat Stelling 1 en Stelling 3 equivalent zijn, waarbij benadrukt dat de annulering in de sommen direct verbonden is met de willekeurige verdeling van de tekens van de Liouville-functie.

Het werk biedt een rigoureuze onvoorwaardelijke verbetering over triviale grenzen voor hogere rangen ($k \geq 3$) en biedt een gedeeltelijke, op dichtheid gebaseerde oplossing voor de langlopende $k=2$ zaak, wat de heuristiek versterkt dat de Liouville-functie zich willekeurig gedraagt in additieve settings.