A structure theorem for sets with doubling $4+\delta$

1. Planteamiento del problema y contexto

El problema central:
El artículo aborda una pregunta central en la combinatoria aditiva sobre la clasificación estructural de conjuntos finitos de enteros $A$ con "duplicación" pequeña. La constante de duplicación se define como $\sigma[A] = |A+A|/|A|$.

• Teorema de Freiman: Establece que los conjuntos con duplicación pequeña están contenidos en progresiones aritméticas generalizadas (GAP) de dimensión acotada. Sin embargo, la dependencia cuantitativa de la dimensión y el tamaño respecto a la constante de duplicación $K$ es un área abierta importante.
• Pregunta de Green (Pregunta 1.1): Green preguntó si, para un conjunto $A$ con $|A-A| \le K|A|$, se puede encontrar un subconjunto estructurado $A' \subseteq A$ que obviamente satisfaga $|A'-A'| \le (K+\epsilon)|A'|$.
• La brecha en $K=4$:
  • Para $K < 3$, el teorema $3k-3$ de Freiman implica que $A$ está contenido en una progresión de dimensión 1.
  • Para $K < 4$, Eberhard, Green y Manners (EGM) demostraron que $A$ contiene un subconjunto grande con densidad $> 1/2$ dentro de una progresión de dimensión 1.
  • El desafío: Cuando $K \ge 4$, surgen dos tipos estructurales distintos:
    1. Un subconjunto denso de una progresión de dimensión 1 (duplicación $\approx 4$).
    2. Un subconjunto denso de una progresión de dimensión 2 (duplicación $\approx 4$).
  • El artículo tiene como objetivo demostrar que para $K = 4 + \delta$ (con $\delta$ suficientemente pequeño), solo existen estas dos estructuras.

2. Resultados principales

Teorema 1.2 (Teorema estructural principal):
Sean $\epsilon', \delta > 0$ con $\delta$ suficientemente pequeño. Si $A \subset \mathbb{Z}$ es un conjunto finito no vacío tal que $|A+A| \le (4+\delta)|A|$, entonces se cumple una de las siguientes:

1. Caso 1D: Existe una progresión aritmética unidimensional $P$ tal que $|P| \gg_\delta |A|$ y $|A \cap P|/|P| \ge 1/2 - \epsilon'$.
2. Caso 2D: Existe una progresión aritmética propia bidimensional $Q$ tal que $|Q| \gg_\delta |A|$ y $|A \cap Q|/|Q| \ge 1 - \epsilon'$.

Nota: El mismo resultado se cumple para los conjuntos de diferencias $A-A$.

Corolario 1.3 (Versión "casi todos"):
Si una gran proporción de pares en $A \times A$ (específicamente $(1-\delta')|A|^2$ pares) tienen un tamaño de conjunto de sumas restringido $\le (4+\delta)|A|$, entonces se cumplen las mismas conclusiones estructurales. Esto generaliza el teorema de Balog–Szemerédi–Gowers.

Corolario 1.4 (Lema tipo Bogolyubov–Ruzsa):
Bajo las mismas hipótesis, el conjunto $41A - 40A$ contiene una progresión propia de dimensión $d$ con $d \le 2$ y tamaño $\gg_\delta |A|$. Esto proporciona una cota aguda sobre la dimensión ($d \le 2$) a costa de una combinación lineal más grande ($41A - 40A$).

3. Metodología y estrategia de prueba

La prueba es una síntesis sofisticada de combinatoria aditiva, análisis armónico y geometría de los números. Procede a través de varias etapas:

A. Reducción a conjuntos densos (El lema del modelo denso)

Los autores primero reducen el caso general al caso en que $A$ es un subconjunto denso de un intervalo $[N]$. Utilizan:

• Isomorfismos de Freiman: Para mapear $A$ a un subconjunto de un grupo cíclico o intervalo preservando la estructura aditiva.
• Lemas tipo Bogolyubov: Usando resultados de Lev y EGM para mostrar que si $A$ tiene duplicación pequeña, combinaciones lineales específicas (como $9A-8A$ o $41A-40A$) contienen progresiones grandes.

B. Lema de regularidad aritmética

La herramienta analítica central es el Lema de regularidad aritmética abeliana (siguiendo a EGM). Esto descompone la función característica $1_A$ en tres partes:

1. Estructurada ($f_{struct}$): Una función que depende de una nilsecuencia (específicamente una función Lipschitz en un toro $T^d$).
2. Pequeña ($f_{sml}$): Una función con norma $L^2$ pequeña.
3. Uniforme ($f_{unf}$): Una función con norma de Gowers $U^2$ pequeña (pseudorandom).

Esto permite transferir el problema de los enteros $\mathbb{Z}$ a un entorno continuo: subconjuntos de $\mathbb{Z}/q\mathbb{Z} \times [M] \times T^d$.

C. Análisis de fibras e inecuaciones tipo Kneser

El conjunto $A$ se partitiona en "fibras" sobre el toro $T^d$. Los autores analizan el conjunto de sumas de estas fibras utilizando:

• Teorema inverso de Kneser (Tao): Si el conjunto de sumas de dos conjuntos en $T^d$ es pequeño, los conjuntos deben estar cerca de la imagen inversa de intervalos bajo un homomorfismo.
• Inecuaciones de Kneser ponderadas: Utilizadas para manejar los pesos específicos que surgen de la densidad de las fibras.

La prueba se divide en tres casos basados en la densidad de estas fibras:

1. Caso estructurado unidimensional: Una fibra tiene densidad $\ge 1/2$. Esto produce directamente el resultado de progresión 1D.
2. Caso estructurado bidimensional: Las fibras están bien aproximadas por la imagen inversa de un intervalo bajo un homomorfismo $\phi: T^d \to T$. Esto conduce al resultado de progresión 2D.
3. Caso de expansión: Si no se cumple ninguno de los anteriores, los autores demuestran que el conjunto de sumas debe expandirse significativamente.

D. El caso de expansión (Brunn-Minkowski)

En el caso de expansión, los autores asumen que el conjunto no tiene la estructura 1D o 2D. Aplican una inecuación de Brunn-Minkowski planar (mediante un lema de EGM) a las densidades de las fibras.

• Demuestran que si las fibras no están estructuradas, el conjunto de sumas de las fibras debe tener una medida estrictamente mayor que la suma de las medidas.
• Esto conduce a una contradicción con la suposición de que $|A+A| \le (4+\delta)|A|$, demostrando que el "Caso de expansión" no puede ocurrir para $\delta$ suficientemente pequeño.

E. De conjuntos de Bohr a progresiones

En el caso estructurado 2D, se demuestra que el conjunto $A$ tiene alta densidad en un conjunto de Bohr inhomogéneo $B = \{n : n\theta \in I\}$.

• Los autores utilizan la Geometría de los Números (teoremas de Minkowski sobre mínimos sucesivos) y Fracciones Continuas para demostrar que tales conjuntos de Bohr contienen grandes progresiones propias bidimensionales.
• Este paso es crucial para traducir la estructura del toro continuo de vuelta a una progresión discreta de enteros.

4. Contribuciones clave

1. Resolución del umbral $K=4$: El artículo confirma que para una duplicación ligeramente superior a 4, las únicas estructuras posibles son subconjuntos densos de progresiones 1D o 2D. Esto resuelve una variación específica de la pregunta de Green para $K=4+\delta$.
2. Optimalidad: Se demuestra que el resultado es óptimo hasta la dependencia cuantitativa entre $\delta$ y $\epsilon'$. Los ejemplos proporcionados (subconjuntos densos de progresiones 1D y 2D) son los únicos casos extremos.
3. Innovación metodológica:
   • Refinamiento de EGM: Los autores extienden el marco de EGM (que funcionaba para $K<4$) para manejar el régimen $K \ge 4$ introduciendo una clasificación más fina de los tamaños de las fibras (pequeñas, medianas, grandes) y utilizando teoremas inversos de Kneser de manera más agresiva.
   • Manejo de la "brecha": Logran navegar con éxito la transición donde la estructura cambia de 1D a 2D, un régimen donde los métodos anteriores fallaban.
4. Cotas agudas de dimensión: El lema Bogolyubov-Ruzsa derivado proporciona una cota aguda sobre la dimensión ($d \le 2$) de la progresión resultante, una mejora significativa sobre los resultados generales tipo Freiman que a menudo producen dimensiones mucho mayores.

5. Significado

• Combinatoria aditiva: Este trabajo representa un gran paso adelante en la comprensión cuantitativa del teorema de Freiman. Cierra la brecha entre los regímenes bien entendidos $K < 3$ y $K < 4$ y el régimen más complejo $K \ge 4$.
• Aplicaciones: Los resultados estructurales tienen implicaciones para la conjetura del conjunto libre de sumas de Erdős y otros problemas que involucran conjuntos libres de sumas y energía aditiva.
• Transferencia de técnicas: La combinación del Lema de regularidad aritmética con desigualdades geométricas continuas (Brunn-Minkowski) y geometría discreta de los números demuestra una metodología poderosa para abordar problemas inversos en la teoría de números aditiva.
• Direcciones futuras: El artículo sugiere que extender estos resultados a $K$ arbitrario (respondiendo a la pregunta de Green para todo $K$) es extremadamente difícil y probablemente requiere nuevas ideas más allá del marco actual de la conjetura polinómica de Freiman-Ruzsa.

En resumen, Jing y Mudgal proporcionan una clasificación estructural definitiva para conjuntos con duplicación justo por encima de 4, demostrando que tales conjuntos son esencialmente o "semi-densos" en una línea o "casi completos" en un plano, y lo hacen entrelazando herramientas profundas del análisis, la combinatoria y la geometría.