On a conjecture of Corradi and Katai

Technische Zusammenfassung: Über eine Vermutung von Corrádi und Kátai

Problemstellung
Diese Arbeit untersucht das asymptotische Verhalten von Goldbach-Typ-Summen unter Verwendung der Liouville-Funktion $\lambda(n)$. Während die klassische Goldbachsche Vermutung die Darstellung ganzer gerader Zahlen als Summe zweier Primzahlen betrifft (verwandt mit der von Mangoldt-Funktion $\Lambda(n)$), ersetzt diese Arbeit $\Lambda(n)$ durch die voll multiplikative Liouville-Funktion, definiert durch $\lambda(p) = -1$ für alle Primzahlen $p$ und $\lambda(mn) = \lambda(m)\lambda(n)$.

Das zentrale Untersuchungsobjekt ist die Summe:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
wobei $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$. Die triviale Schranke für diese Summe ist $|G_k(N)| \ll N^{k-1}$. Das primäre Ziel besteht darin, stärkere Schranken zu etablieren, die eine signifikante Auslöschung in diesen Summen nachweisen, insbesondere für den Fall $k=2$, welcher mit der Corrádi-Kátai-Vermutung zusammenhängt.

Methodik
Der Autor verwendet Techniken der Fourier-Analyse und der exponentiellen Summen, wobei insbesondere Ergebnisse von Davenport bezüglich der Liouville-Funktion genutzt werden.

1. Fourier-Analyse und exponentielle Summen: Die Arbeit nutzt die exponentielle Summe $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$. Das zentrale analytische Werkzeug ist Davenports Theorem, welches besagt, dass $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ gleichmäßig für $x \in [0, 1]$ gilt.
2. Integraldarstellungen: Unter Verwendung der Parsevalschen Identität und Eigenschaften exponentieller Summen setzt der Autor die Summen $G_k(N)$ über Integrale von Potenzen von $S(N, x)$ in Beziehung. Speziell wird die Identität $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ verwendet, um die diskreten Summen mit den kontinuierlichen $L^2$- und $L^4$-Normen der exponentiellen Summe zu verknüpfen.
3. Induktive Argumente: Für den Fall $k \geq 3$ erfolgt der Beweis mittels Induktion. Der Basisfall ($k=3$) stützt sich auf die Cauchy-Schwarz-Ungleichung angewandt auf den Fall $k=2$, welcher unter Verwendung des $L^2$-Mittelwerts von $G_2(n)$ aus Davenports Theorem begrenzt wird.
4. Partielle Summation: Um Schranken für die Menge der $N$ abzuleiten, bei denen $|G_2(N)|$ groß ist, verwendet der Autor Techniken der partiellen Summation auf der Mittelquadrat-Abschätzung von $G_2(n)/n$.

Zentrale Beiträge und Ergebnisse

• Theorem 1 (Fall $k \geq 3$): Für jede feste ganze Zahl $k \geq 3$ und jede positive Konstante $A$ beweist die Arbeit:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  Dieses Resultat etabliert eine Verbesserung gegenüber der trivialen Schranke $O(N^{k-1})$ durch eine Potenzersparnis für alle Ränge $k \geq 3$.

• Theorem 2 (Fall $k = 2$): Die Arbeit behandelt den schwierigeren Fall $k=2$. Es wird die Menge $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$ definiert. Das Hauptergebnis hier ist eine Dichteschätzung:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  Dies impliziert, dass die Menge der ganzen Zahlen, bei denen $|G_2(N)|$ einen linearen Bruchteil von $N$ überschreitet, die Dichte Null besitzt. Folglich gilt $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$. Die Arbeit merkt an, dass dieses Resultat die Corrádi-Kátai-Vermutung dadurch stützt, dass die Vermutung wahr wäre, sollte der Grenzwert, der die Vermutung definiert, existieren, es aber nicht bedingungslos beweist, dass dieser Grenzwert existiert.

• Theorem 3 (Vorzeichenverteilung): Als Korollar der Hauptergebnisse zeigt die Arbeit die Gleichverteilung der Vorzeichenmuster der Liouville-Funktion für $k \geq 3$. Für jede Folge von Vorzeichen $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$ ist die Anzahl der Lösungen zu $a_1 + \dots + a_k = N$ mit $\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)$$
  Dies zeigt, dass Vorzeichenmuster mit der erwarteten Häufigkeit bis auf einen kleinen Fehlerterm auftreten.

Bedeutung und Kontext
Die Arbeit ordnet ihre Ergebnisse in den Kontext der Corrádi-Kátai-Vermutung (1969) ein, die postuliert, dass $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$.

• Der Autor stellt fest, dass die Vermutung in einer zitierten Arbeit [3] unter der Annahme unendlich vieler Siegel-Nullstellen bewiesen wurde, eine bedingungslose Beweisführung jedoch bisher unerreichbar blieb.
• Die Arbeit bezieht sich auf die jüngere Arbeit von Mangerel, der bewies, dass $|G_2(N)| < N-1$ für $N \notin \{2, 3, 5, 10\}$, womit eine schwächere, von Sarnak gestellte Frage beantwortet wurde.
• Der Beitrag des Autors bezüglich der vollen Vermutung ist moderat: Theorem 2 beweist nicht, dass der Grenzwert existiert oder für jedes $N$ Null ist, sondern es beweist, dass der Limes inferior Null ist und dass große Werte von $|G_2(N)|$ extrem spärlich vorkommen.
• Die Arbeit behauptet, dass Theorem 1 und Theorem 3 äquivalent sind, was hervorhebt, dass die Auslöschung in den Summen direkt mit der randomähnlichen Verteilung der Vorzeichen der Liouville-Funktion verknüpft ist.

Die Arbeit liefert eine rigorose, bedingungslose Verbesserung über triviale Schranken für Summen höherer Ränge ($k \geq 3$) und bietet eine partielle, dichte-basierte Lösung für den langjährigen Fall $k=2$, was die Heuristik verstärkt, dass die Liouville-Funktion in additiven Settings ein zufälliges Verhalten aufweist.