Small complete 3-term progression free sets in cyclic groups and vector spaces

Resumen Técnico: Conjuntos Pequeños Completos Libres de Progresiones de 3 Términos en Grupos Cíclicos y Espacios Vectoriales

Planteamiento del Problema
El artículo aborda el problema de determinar el tamaño mínimo de un conjunto completo libre de progresiones aritméticas de 3 términos (3-AP) en estructuras algebraicas, específicamente grupos cíclicos ($\mathbb{Z}_m$) y espacios vectoriales finitos ($\mathbb{F}_p^n$). Mientras que el tamaño máximo de los conjuntos libres de 3-AP es un tema central en la combinatoria aditiva (por ejemplo, el teorema de Roth, Croot-Lev-Pach, Ellenberg-Gijswijt), el tamaño mínimo de un conjunto completo (un conjunto que no puede ampliarse sin crear una 3-AP) representa el análogo de extremo inferior. Un simple argumento de conteo establece que el orden de magnitud para este tamaño mínimo es al menos la raíz cuadrada de la cardinalidad de la estructura. Los autores investigan si este límite inferior es ajustado, abordando problemas abiertos sobre la existencia de tales conjuntos con tamaño $O(\sqrt{|G|})$ en grupos cíclicos y $p^{n/2}$ en espacios vectoriales.

Metodología
Los autores emplean una combinación de construcciones combinatorias explícitas, técnicas de reducción modular y geometría algebraica sobre cuerpos finitos.

1. Grupos Cíclicos ($\mathbb{Z}_m$):

   • Propiedad más fuerte: Los autores se centran en conjuntos completos que evitan (2, -1). Un conjunto $A$ evita (2, -1) si $A \cap (2A \dot{-} A) = \emptyset$ (donde $2A \dot{-} A = \{2a - b : a, b \in A, a \neq b\}$). Es completo si $G = A \cup (2A \dot{-} A)$. Esta propiedad es más fuerte que ser un conjunto completo libre de 3-AP, ya que obliga a que cada punto exterior sea un extremo de una progresión con extremos en $A$, en lugar de permitir que el punto exterior sea un punto medio.
   • Conjuntos R-completos: La construcción se basa en conjuntos "R-completos": subconjuntos de enteros en $[0, R]$ que son internamente (2, -1)-evitadores y saturan el intervalo $[-R, 2R]$.
   • Construcción de Dígitos Binarios: Utilizando una construcción de dígitos binarios generalizada (Lema 3.3), los autores generan conjuntos $P$ de tamaño $2^n$ que son $S_n$-completos. Al elegir cuidadosamente la secuencia de dígitos $d_i$, aseguran que el conjunto resultante cubra un amplio rango de módulos $m$.
   • Reducción Modular: El Lema 3.2 demuestra que un conjunto $R$-completo en $\mathbb{Z}$ desciende a un conjunto completo que evita (2, -1) en $\mathbb{Z}_m$ siempre que $2R < m \leq 3R + 1$.
   • Verificación Finita: Para módulos pequeños ($m < 81$) donde la construcción general no se aplica o donde pueden no existir conjuntos completos que eviten (2, -1), los autores realizan una enumeración exhaustiva para determinar los tamaños mínimos exactos.

2. Espacios Vectoriales ($\mathbb{F}_p^n$):

   • Grafos Cuadráticos: La construcción central utiliza grafos de aplicaciones cuadráticas homogéneas $Q: U \to W$. Específicamente, construyen conjuntos de la forma $A_Q = \{(u, Q(u)) : u \in U\}$.
   • Completitud de Extremo-Punto Medio: Los autores definen conjuntos "completos de extremo-punto medio", donde cada punto exterior puede representarse tanto como un extremo ($x = 2a - b$) como un punto medio ($2x = c + d$) de una progresión formada por elementos en $A$. Esta propiedad es crucial para la construcción de producto.
   • Construcción de Subcampo: Construyen una aplicación cuadrática $Q(x, s) = x^2 - \delta s^2$ sobre un cuerpo de extensión $E = \mathbb{F}_{p^{kL}}$ y un subcuerpo $T = \mathbb{F}_{p^k}$, donde $\delta$ es un no-cuadrático. Utilizando sumas de caracteres y la cota de Weil, prueban que esta aplicación es sobreyectiva y tiene un núcleo trivial, produciendo un conjunto completo que evita (2, -1) en una dimensión específica $n_0 = k(2L+1)$.
   • Lema de Producto: Para extender el resultado a todas las dimensiones $n$, utilizan un lema de producto (Lema 4.2). Si $A$ es extremo-punto medio completo en un subespacio y $B$ es libre de 3-AP completa en las coordenadas restantes, su producto $A \times B$ es libre de 3-AP completa en el espacio completo. Esto permite "rellenar" las dimensiones especiales con conjuntos más pequeños para cubrir $n$ arbitrarios.

Contribuciones Clave y Resultados

1. Grupos Cíclicos:

   • Teorema 1.2: Para cada entero $m \geq 1$, existe un conjunto completo libre de 3-AP $A \subseteq \mathbb{Z}_m$ con tamaño $|A| < 2\sqrt{m}$.
   • Resultado más fuerte para $m$ grandes: Para $m \geq 81$, el conjunto construido satisface la propiedad más fuerte de evitar (2, -1).
   • Módulos Pequeños: El artículo proporciona una tabla de valores exactos para $a(3\text{-AP}, \mathbb{Z}_m)$ y $a(2, -1)(\mathbb{Z}_m)$ para $m \leq 80$, señalando que los conjuntos completos que evitan (2, -1) no existen para ciertos módulos pequeños (por ejemplo, $m \in \{2, 5, 6, 8, 17, 18, 19, 20\}$).

2. Espacios Vectoriales:

   • Teorema 1.3: Para cada primo impar fijo $p$ y $\epsilon > 0$, existe una constante $C_{p,\epsilon}$ tal que para todo $n \geq 1$:
     $$a(3\text{-AP}, \mathbb{F}_p^n) \leq C_{p,\epsilon} n^{1+\epsilon} p^{n/2} = p^{n/2 + o(n)}$$
   • Este resultado resuelve la variante de espacios vectoriales en el sentido de que el exponente de $p$ es exactamente $n/2$, igualando el límite inferior hasta un factor sub-exponencial.

Significado y Reivindicaciones
El artículo afirma resolver dos problemas abiertos sobre la exactitud del límite inferior de la raíz cuadrada para conjuntos completos libres de progresiones:

• Grupos Cíclicos: Establece que el límite inferior es ajustado hasta una constante absoluta (específicamente 2) para todos los grupos cíclicos, y proporciona construcciones explícitas para la propiedad más fuerte de evitar (2, -1) para $m \geq 81$.
• Espacios Vectoriales: Resuelve la versión del exponente del problema para cuerpos de primos impares fijos, mostrando que el tamaño mínimo es $p^{n/2 + o(n)}$. Esto confirma que el límite trivial de conteo es esencialmente agudo en términos de la tasa de crecimiento exponencial.

Los autores señalan que, aunque la constante del resultado del grupo cíclico ($2$) está por encima del objetivo de $3/2$ sugerido en su trabajo anterior, la construcción está deliberadamente restringida a la propiedad más fuerte de evitar (2, -1). Sugieren que explotar la libertad adicional de la completitud de 3-AP estándar (permitiendo que los puntos exteriores sean puntos medios) podría dar lugar a construcciones más pequeñas. Del mismo modo, para los espacios vectoriales, la cuestión de una constante absoluta uniforme independiente de $n$ y la existencia de tales límites para conjuntos completos que evitan (2, -1) en cada dimensión siguen siendo abiertas. El trabajo conecta estos problemas de combinatoria aditiva con la geometría finita, específicamente con los caps completos y los conjuntos saturantes.