On a conjecture of Corradi and Katai

Resumen Técnico: Sobre una conjetura de Corrádi y Kátai

Planteamiento del problema
Este artículo investiga el comportamiento asintótico de las sumas de tipo Goldbach que involucran la función de Liouville, $\lambda(n)$. Mientras que la conjetura clásica de Goldbach se refiere a la representación de enteros pares como sumas de dos primos (relacionada con la función de von Mangoldt $\Lambda(n)$), este trabajo reemplaza $\Lambda(n)$ con la función de Liouville, que es completamente multiplicativa, definida por $\lambda(p) = -1$ para todo primo $p$ y $\lambda(mn) = \lambda(m)\lambda(n)$.

El objeto central de estudio es la suma:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
donde $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$. La cota trivial para esta suma es $|G_k(N)| \ll N^{k-1}$. El objetivo principal es establecer cotas más fuertes que demuestren una cancelación significativa en estas sumas, particularmente para el caso $k=2$, el cual se relaciona con la conjetura de Corrádi-Kátai.

Metodología
El autor emplea técnicas de análisis de Fourier y sumas exponenciales, aprovechando específicamente los resultados de Davenport respecto a la función de Liouville.

1. Análisis de Fourier y sumas exponenciales: El artículo utiliza la suma exponencial $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$. La herramienta analítica central es el teorema de Davenport, que establece que $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ uniformemente para $x \in [0, 1]$.
2. Representaciones integrales: Utilizando la identidad de Parseval y las propiedades de las sumas exponenciales, el autor relaciona las sumas $G_k(N)$ con integrales de potencias de $S(N, x)$. Específicamente, se utiliza la identidad $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ para conectar las sumas discretas con las normas $L^2$ y $L^4$ continuas de la suma exponencial.
3. Argumentos inductivos: Para el caso $k \geq 3$, las demostraciones proceden por inducción. El caso base ($k=3$) se basa en la desigualdad de Cauchy-Schwarz aplicada al caso $k=2$, el cual es acotado utilizando la estimación de la media cuadrática de $G_2(n)$ derivada del teorema de Davenport.
4. Sumación parcial: Para derivar cotas para el conjunto de $N$ donde $|G_2(N)|$ es grande, el autor utiliza técnicas de sumación parcial sobre la estimación de la media cuadrática de $G_2(n)/n$.

Contribuciones clave y resultados

• Teorema 1 (Caso $k \geq 3$): Para cualquier entero fijo $k \geq 3$ y cualquier constante positiva $A$, el artículo demuestra:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  Este resultado establece una mejora de ahorro de potencia (power-saving) sobre la cota trivial $O(N^{k-1})$ para todos los rangos $k \geq 3$.

• Teorema 2 (Caso $k = 2$): El artículo aborda el caso más difícil de $k=2$. Define $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$. El resultado principal aquí es una estimación de densidad:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  Esto implica que el conjunto de enteros donde $|G_2(N)|$ excede una fracción lineal de $N$ tiene densidad cero. En consecuencia, $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$. El artículo señala que este resultado afirma que la conjetura de Corrádi-Kátai es cierta si el límite que define la conjetura existe, pero no prueba la existencia del límite de forma incondicional.

• Teorema 3 (Distribución de signos): Como corolario de los resultados principales, el artículo demuestra la equidistribución de los patrones de signos en la función de Liouville para $k \geq 3$. Para cualquier secuencia de signos $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$, el número de soluciones a $a_1 + \dots + a_k = N$ con $\lambda(a_i) = \epsilon_i$ es:
  $$\frac{1}{2^k} \binom{N-1}{k-1} + O_A\left(\frac{N^{k-1}}{\log^A N}\right)$$
  Esto indica que los patrones de signos ocurren con la frecuencia esperada hasta un pequeño término de error.

Significancia y contexto
El artículo sitúa sus resultados dentro del contexto de la Conjetura de Corrádi-Kátai (1969), la cual postula que $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$.

• El autor señala que, mientras la conjetura fue probada condicionalmente (asumiendo la existencia de infinitos ceros de Siegel) en un trabajo citado [3], una prueba incondicional ha permanecido esquiva.
• El artículo hace referencia al trabajo reciente de Mangerel, quien probó que $|G_2(N)| < N-1$ para $N \notin \{2, 3, 5, 10\}$, respondiendo a una pregunta más débil planteada por Sarnak.
• La contribución del autor es modesta respecto a la conjetura completa: el Teorema 2 no prueba que el límite exista o sea cero para cada $N$, sino que prueba que el límite inferior es cero y que los valores grandes de $|G_2(N)|$ son extremadamente esparcidos.
• El artículo afirma que el Teorema 1 y el Teorema 3 son equivalentes, destacando que la cancelación en las sumas está directamente vinculada a la distribución de tipo aleatorio de los signos de la función de Liouville.

El trabajo proporciona una mejora incondicional rigurosa sobre las cotas triviales para sumas de rango superior ($k \geq 3$) y ofrece una resolución parcial, basada en la densidad, para el caso de largo tiempo $k=2$, reforzando la heurística de que la función de Liouville se comporta de manera aleatoria en entornos aditivos.