On variants of Chowla's conjecture

Resumo Técnico: Sobre Variantes da Conjectura de Chowla

Enunciado do Problema
Este artigo investiga as somas de convolução deslocadas associadas a funções completamente multiplicativas $f: \mathbb{N} \to \{\pm 1\}$. O foco central é o comportamento da média:
$$\lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} f(n+h_1) \cdots f(n+h_d)$$
onde $H = \{h_1, \dots, h_d\}$ é um conjunto fixo de inteiros não negativos. Este problema é uma variante direta da Conjectura de Chowla, que postula que, para a função de Liouville $\lambda$ (onde $f(p)=-1$ para todo primo $p$), este limite é nulo para qualquer $H$ não vazio. O artigo examina especificamente funções da forma $\lambda_P$, definida por um subconjunto de primos $P$ tal que $\lambda_P(p) = -1$ se $p \in P$ e $1$ caso contrário. O estudo aborda duas questões principais: a avaliação desses limites quando $P$ é um "conjunto pequeno" (um conjunto de primos com uma soma de seus recíprocos convergente) e a determinação do "espectro" de possíveis valores de limite.

Metodologia
O autor emprega argumentos combinatórios elementares e análise estrutural de subconjuntos de números naturais, evitando o uso de maquinaria analítica pesada, como teoremas tauberianos ou teoria ergódica profunda, que são comuns na literatura recente sobre este tema.

Componentes metodológicos principais incluem:

1. Estrutura de Diferença Simétrica: O artigo utiliza o isomorfismo de grupo entre subconjuntos de primos (sob diferença simétrica) e funções completamente multiplicativas (sob multiplicação pontual). Isso permite a decomposição de somas de correlação complexas em componentes mais simples via Lema 2, que relaciona os conjuntos $N^H_P = \{n \mid \Lambda^H_P(n) = -1\}$ sob mudanças em $P$ e $H$.
2. Aproximação de Densidade: As provas baseiam-se na aproximação da densidade natural do conjunto $N^H_P$ usando uniões finitas de progressões aritméticas ($C(r, s)$). Ao construir limites superiores e inferiores ($X^H_P(r)$ e $Y^H_P(r)$) dentro da álgebra gerada por essas progressões, o autor estabelece a existência da densidade natural $\eta^H_P$.
3. Processos de Limite Indutivos: Para conjuntos finitos de primos, a densidade é calculada explicitamente. Para conjuntos "pequenos" infinitos, o autor utiliza um processo de limite, mostrando que o termo de erro na aproximação de densidade é limitado pela soma dos recíprocos dos primos restantes. Isso garante a convergência apenas quando $P$ é um conjunto pequeno.
4. Redução Combinatória para o Teorema 2: Para abordar o caso em que o limite pode ser $\pm 1$, o artigo emprega um argumento combinatório (Lema 5, atribuído a Wildon) sobre famílias de conjuntos fechadas sob diferença simétrica e translação. Isso reduz o problema ao caso de correlação de dois pontos, que é resolvido invocando o teorema de Matomäki–Radziwiłł.

Contribuições Principais e Resultados

• Teorema 1 (Conjuntos Pequenos de Primos): Para um $H$ fixo e um conjunto pequeno de primos $P$, o limite $\kappa^H_P = \lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n)$ existe e é dado por um produto do tipo Euler:
  $$\kappa^H_P = \prod_{p \in P} (1 - 2\eta^H_p)$$
  onde $\eta^H_p$ é a densidade natural de inteiros $n$ tais que $\Lambda^H_{\{p\}}(n) = -1$. Para primos não excepcionais (aqueles que não dividem as diferenças em $H$), $\eta^H_p = \frac{d}{p+1}$. O autor observa que, embora este resultado possa ser deduzido de trabalhos anteriores (especificamente [10]), a prova fornecida é elementar e combinatória.

• Teorema 2 (Funções Não Constantes): Se $\lambda_P$ é uma função completamente multiplicativa não constante (ou seja, $P \neq \emptyset$), a média de correlação não pode ser constantemente $1$ ou $-1$. Especificamente:
  $$\liminf_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) < 1 \quad \text{e} \quad \limsup_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) > -1$$
  Este resultado implica que, para qualquer $P$ não trivial, os valores não são perfeitamente correlacionados. A prova baseia-se no teorema de Matomäki–Radziwiłł sobre médias curtas, mas o artigo fornece um novo arcabouço combinatório para aplicá-lo a este contexto específico.

• Determinação do Espectro: O artigo define o "espectro" $\Gamma_H$ como o fechamento topológico do conjunto de todos os possíveis valores $\kappa^H_P$ conforme $P$ varia sobre todos os subconjuntos pequenos de primos. O autor prova que $\Gamma_H = [\alpha_H, 1] \cup [0, 1]$, onde $\alpha_H = \inf_p (1 - 2\eta^H_p)$. Isso caracteriza o intervalo completo de possíveis valores de correlação para conjuntos pequenos de primos.

Significância e Alegações
O artigo alega fornecer provas combinatórias para dois resultados recentes na direção da Conjectura de Chowla, oferecendo uma alternativa às abordagens analíticas ou ergonódico-teóricas mais complexas encontradas na literatura (como as de Matomäki, Radziwiłł e Teräväinen).

O autor enfatiza que:

1. A derivação da fórmula de produto no Teorema 1 é "comparativamente elementar", apesar do fato de a função $\Lambda^H_P$ não ser multiplicativa e a série de Dirichlet associada poder não se estender além de $\Re(s) > 1$.
2. A estrutura multiplicativa do limite (o produto de Euler) alinha-se com o princípio de que a densidade global é um produto de densidades locais, mesmo na ausfor de multiplicatividade na função subjacente.
3. O trabalho esclarece o comportamento dessas somas especificamente para "pequenos" conjuntos de primos, um caso onde o limite é não nulo, e contrasta isso com a expectativa de que o limite se anule para conjuntos grandes (o que implicaria a Conjectura de Chowla).

O artigo não pretende provar a Conjectura de Chowla para a função de Liouville (onde $P$ é o conjunto de todos os primos, um conjunto grande), observando que tal generalização está "fora do alcance" com os métodos atuais. Em vez disso, serve para estabelecer rigorosamente o comportamento dessas correlações para pequenos conjuntos de primos e mapear o espectro de possíveis valores.