On a conjecture of Corradi and Katai

Resumo Técnico: Sobre uma Conjectura de Corrádi e Kátai

Enunciado do Problema
Este artigo investiga o comportamento assintótico de somas do tipo Goldbach envolvendo a função de Liouville, $\lambda(n)$. Enquanto a clássica conjectura de Goldbach refere-se à representação de inteiros pares como somas de dois primos (relacionada à função de von Mangoldt $\Lambda(n)$), este trabalho substitui $\Lambda(n)$ pela função de Liouville completamente multiplicativa, definida por $\lambda(p) = -1$ para todo primo $p$ e $\lambda(mn) = \lambda(m)\lambda(n)$.

O objeto central de estudo é a soma:
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
onde $S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$. A cota trivial para esta soma é $|G_k(N)| \ll N^{k-1}$. O objetivo principal é estabelecer limites mais fortes que demonstrem um cancelamento significativo nestas somas, particularmente para o caso $k=2$, que se relaciona com a conjectura de Corrádi-Kátai.

Metodologia
O autor emprega técnicas de análise de Fourier e somas exponenciais, aproveitando especificamente resultados de Davenport relativos à função de Liouville.

1. Análise de Fourier e Somas Exponenciais: O artigo utiliza a soma exponencial $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$. A ferramenta analítica central é o teorema de Davenport, que afirma que $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ uniformemente para $x \in [0, 1]$.
2. Representações Integrais: Utilizando a identidade de Parseval e propriedades de somas exponenciais, o autor relaciona as somas $G_k(N)$ a integrais de potências de $S(N, x)$. Especificamente, a identidade $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ é usada para conectar as somas discretas às normas $L^2$ e $L^4$ contínuas da soma exponencial.
3. Argumentos Indutivos: Para o caso $k \geq 3$, as provas procedem por indução. O caso base ($k=3$) baseia-se na desigualdade de Cauchy-Schwarz aplicada ao caso $k=2$, que é limitado usando a média $L^2$ de $G_2(n)$ derivada do teorema de Davenport.
4. Soma por Partes: Para derivar limites para o conjunto de $N$ onde $|G_2(N)|$ é grande, o autor utiliza técnicas de soma por partes na estimativa de valor médio do quadrado de $G_2(n)/n$.

Principais Contribuições e Resultados

• Teorema 1 (Caso $k \geq 3$): Para qualquer inteiro fixo $k \geq 3$ e qualquer constante positiva $A$, o artigo prova:
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  Este resultado estabelece uma melhoria de economia de potência sobre a cota trivial $O(N^{k-1})$ para todos os postos $k \geq 3$.

• Teorema 2 (Caso $k = 2$): O artigo aborda o caso mais difícil de $k=2$. Define $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$. O principal resultado aqui é uma estimativa de densidade:
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  Isso implica que o conjunto de inteiros onde $|G_2(N)|$ excede uma fração linear de $N$ tem densidade zero. Consequentemente, $\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$. O artigo observa que este resultado afirma que a conjectura de Corrádi-Kátai é verdadeira caso o limite que define a conjectura exista, mas não prova que o limite existe incondicionalmente.

• Teorema 3 (Distribuição de Sinais): Como um corolário dos resultados principais, o artigo demonstra a equi-distribuição de padrões de sinais na função de Liouville para $k \geq 3$. Para qualquer sequência de sinais $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$, o número de soluções para $a_1 + \dots + a_k = N$ com $\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)$$
  Isso indica que os padrões de sinais ocorrem com a frequência esperada até um pequeno termo de erro.

Significância e Contexto
O artigo situa seus resultados no contexto da Conjectura de Corrádi-Kátai (1969), que postula que $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$.

• O autor nota que, embora a conjectura tenha sido provada condicionalmente (assumindo a existência de infinitos zeros de Siegel) em um trabalho citado [3], uma prova incondicional permanece elusiva.
• O artigo referencia o trabalho recente de Mangerel, que provou $|G_2(N)| < N-1$ para $N \notin \{2, 3, 5, 10\}$, respondendo a uma questão mais fraca formulada por Sarnak.
• A contribuição do autor é modesta em relação à conjectura completa: o Teorema 2 não prova que o limite existe ou é zero para cada $N$, mas prova que o limite inferior é zero e que valores grandes de $|G_2(N)|$ são extremamente esparsos.
• O artigo afirma que o Teorema 1 e o Teorema 3 são equivalentes, destacando que o cancelamento nas somas está diretamente ligado à distribuição pseudo-aleatória dos sinais da função de Liouville.

O trabalho fornece uma melhoria incondicional rigorosa sobre as cotas triviais para somas de postos superiores ($k \geq 3$) e oferece uma resolução parcial, baseada em densidade, para o caso de longo prazo $k=2$, reforçando a heurística de que a função de Liouville se comporta aleatoriamente em contextos aditivos.