On variants of Chowla's conjecture

Resumen Técnico: Sobre variantes de la Conjetura de Chowla

Planteamiento del Problema
Este artículo investiga las sumas de convolución desplazadas asociadas con funciones completamente multiplicativas $f: \mathbb{N} \to \{\pm 1\}$. El foco central es el comportamiento del promedio:
$$\lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} f(n+h_1) \cdots f(n+h_d)$$
donde $H = \{h_1, \dots, h_d\}$ es un conjunto fijo de enteros no negativos. Este problema es una variante directa de la Conjetura de Chowla, la cual postula que para la función de Liouville $\lambda$ (donde $f(p)=-1$ para todo primo $p$), este límite se anula para cualquier $H$ no vacío. El artículo examina específicamente funciones de la forma $\lambda_P$, definidas por un subconjunto de primos $P$ tal que $\lambda_P(p) = -1$ si $p \in P$ y $1$ en caso contrario. El estudio aborda dos preguntas principales: la evaluación de estos límites cuando $P$ es un "conjunto pequeño" (un conjunto de primos cuya suma de recíprocos converge) y la determinación del "espectro" de los posibles valores del límite.

Metodología
El autor emplea argumentos combinatorios elementales y un análisis estructural de subconjuntos de los números naturales, evitando la maquinaria analítica pesada como los teoremas tauberianos o la teoría ergódica profunda, que son comunes en la literatura reciente sobre este tema.

Componentes metodológicos clave:

1. Estructura de Diferencia Simétrica: El artículo utiliza el isomorfismo de grupo entre los subconjuntos de primos (bajo la diferencia simétrica) y las funciones completamente multiplicativas (bajo la multiplicación puntual). Esto permite la descomposición de sumas de correlación complejas en componentes más simples mediante la Lema 2, que relaciona los conjuntos $N^H_P = \{n \mid \Lambda^H_P(n) = -1\}$ bajo cambios en $P$ y $H$.
2. Aproximación de Densidad: Las demostraciones se basan en la aproximación de la densidad natural del conjunto $N^H_P$ utilizando uniones finitas de progresiones aritméticas ($C(r, s)$). Al construir cotas superiores e inferiores ($X^H_P(r)$ y $Y^H_P(r)$) dentro del álgebra generada por estas progresiones, el autor establece la existencia de la densidad natural $\eta^H_P$.
3. Procesos de Límite Inductivos: Para conjuntos finitos de primos, la densidad se calcula explícitamente. Para conjuntos "pequeños" infinitos, el autor utiliza un proceso de límite, mostrando que el término de error en la aproximación de la densidad está acotado por la suma de los recíprocos de los primos restantes. Esto asegura la convergencia solo cuando $P$ es un conjunto pequeño.
4. Reducción Combinatoria para el Teorema 2: Para abordar el caso en el que el límite podría ser $\pm 1$, el artículo emplea un argumento combinatorio (Lema 5, atribuido a Wildon) relativo a familias de conjuntos cerrados bajo diferencia simétrica y traslación. Esto reduce el problema al caso de correlación de dos puntos, el cual se resuelve invocando el teorema de Matomäki–Radziwiłł.

Contribuciones Clave y Resultados

• Teorema 1 (Conjuntos Pequeños de Primos): Para un $H$ fijo y un conjunto pequeño de primos $P$, el límite $\kappa^H_P = \lim_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n)$ existe y viene dado por un producto de tipo Euler:
  $$\kappa^H_P = \prod_{p \in P} (1 - 2\eta^H_p)$$
  donde $\eta^H_p$ es la densidad natural de los enteros $n$ tales que $\Lambda^H_{\{p\}}(n) = -1$. Para primos no excepcionales (aquellos que no dividen las diferencias en $H$), $\eta^H_p = \frac{d}{p+1}$. El autor señala que, aunque este resultado puede deducirse de trabajos previos (específicamente [10]), la prueba proporcionada es elemental y combinatoria.

• Teorema 2 (Funciones No Constantes): Si $\lambda_P$ es una función completamente multiplicativa no constante (es decir, $P \neq \emptyset$), entonces el promedio de correlación no puede ser constantemente $1$o$-1$. Específicamente:
  $$\liminf_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) < 1 \quad \text{y} \quad \limsup_{x \to \infty} \frac{1}{x} \sum_{n \le x} \Lambda^H_P(n) > -1$$
  Este resultado implica que para cualquier $P$ no trivial, los valores no están perfectamente correlacionados. La prueba se apoya en el teorema de Matomäki–Radziwiłł sobre promedios cortos, pero el artículo proporciona un nuevo marco combinatorio para aplicarlo a este contexto específico.

• Determinación del Espectro: El artículo define el "espectro" $\Gamma_H$ como la clausura topológica del conjunto de todos los posibles valores $\kappa^H_P$ a medida que $P$ recorre todos los subconjuntos pequeños de primos. El autor demuestra que $\Gamma_H = [\alpha_H, 1] \cup [0, 1]$, donde $\alpha_H = \inf_p (1 - 2\eta^H_p)$. Esto caracteriza el rango completo de posibles valores de correlación para conjuntos pequeños de primos.

Significancia y Pretensiones
El artículo pretende proporcionar pruebas combinatorias para dos resultados recientes en la dirección de la Conjetura de Chowla, ofreciendo una alternativa a los enfoques analíticos o de la teoría ergódica más complejos presentes en la literatura (como los de Matomäki, Radziwiłł y Teräväinen).

El autor enfatiza que:

1. La derivación de la fórmula del producto en el Teorema 1 es "comparativamente elemental", a pesar de que la función $\Lambda^H_P$ no es multiplicativa y la serie de Dirichlet asociada puede no extenderse más allá de $\Re(s) > 1$.
2. La estructura multiplicativa del límite (el producto de Euler) se alinea con el principio de que la densidad global es un producto de densidades locales, incluso en ausencia de multiplicidad en la función subyacente.
3. El trabajo clarifica el comportamiento de estas sumas específicamente para "conjuntos pequeños" de primos, un caso donde el límite es distinto de cero, y contrasta esto con la expectativa de que el límite se anule para conjuntos grandes (lo que implicaría la Conjetura de Chowla).

El artículo no pretende demostrar la Conjetura de Chowla para la función de Liouville (donde $P$ es el conjunto de todos los primos, un conjunto grande), señalando que tal generalización está "fuera del alcance" de los métodos actuales. En su lugar, sirve para establecer rigurosamente el comportamiento de estas correlaciones para pequeñas perturbaciones de la función de Liouville y para mapear el espectro de valores posibles.