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

1. Formulação do Problema e Contexto

O Problema Central:
O artigo aborda uma questão central na combinatória aditiva referente à classificação estrutural de conjuntos finitos de inteiros $A$ com pequena "duplicação". A constante de duplicação é definida como $\sigma[A] = |A+A|/|A|$.

• Teorema de Freiman: Estabelece que conjuntos com pequena duplicação estão contidos em progressões aritméticas generalizadas (GAPs) de dimensão limitada. No entanto, a dependência quantitativa da dimensão e do tamanho em relação à constante de duplicação $K$ é uma área aberta importante.
• Questão de Green (Questão 1.1): Green perguntou se, para um conjunto $A$ com $|A-A| \le K|A|$, é possível encontrar um subconjunto estruturado $A' \subseteq A$ que obviamente satisfaça $|A'-A'| \le (K+\epsilon)|A'|$.
• A Lacuna em $K=4$:
  • Para $K < 3$, o teorema $3k-3$ de Freiman implica que $A$ está contido em uma progressão unidimensional.
  • Para $K < 4$, Eberhard, Green e Manners (EGM) provaram que $A$ contém um grande subconjunto com densidade $> 1/2$ dentro de uma progressão unidimensional.
  • O Desafio: Quando $K \ge 4$, dois tipos estruturais distintos emergem:
    1. Um subconjunto denso de uma progressão unidimensional (duplicação $\approx 4$).
    2. Um subconjunto denso de uma progressão bidimensional (duplicação $\approx 4$).
  • O artigo visa provar que, para $K = 4 + \delta$ (com $\delta$ suficientemente pequeno), apenas essas duas estruturas existem.

2. Principais Resultados

Teorema 1.2 (Teorema Estrutural Principal):
Sejam $\epsilon', \delta > 0$ com $\delta$ suficientemente pequeno. Se $A \subset \mathbb{Z}$ é um conjunto finito não vazio tal que $|A+A| \le (4+\delta)|A|$, então uma das seguintes situações ocorre:

1. Caso 1D: Existe uma progressão aritmética unidimensional $P$ tal que $|P| \gg_\delta |A|$ e $|A \cap P|/|P| \ge 1/2 - \epsilon'$.
2. Caso 2D: Existe uma progressão aritmética bidimensional própria $Q$ tal que $|Q| \gg_\delta |A|$ e $|A \cap Q|/|Q| \ge 1 - \epsilon'$.

Nota: O mesmo resultado vale para conjuntos de diferenças $A-A$.

Corolário 1.3 (Versão "Quase Todos"):
Se uma grande proporção de pares em $A \times A$ (especificamente $(1-\delta')|A|^2$ pares) tem tamanho de conjunto soma restrito $\le (4+\delta)|A|$, então as mesmas conclusões estruturais valem. Isso generaliza o teorema de Balog–Szemerédi–Gowers.

Corolário 1.4 (Lema do Tipo Bogolyubov–Ruzsa):
Sob as mesmas hipóteses, o conjunto $41A - 40A$ contém uma progressão própria de dimensão $d$ com $d \le 2$ e tamanho $\gg_\delta |A|$. Isso fornece um limite agudo na dimensão ($d \le 2$) ao custo de uma combinação linear maior ($41A - 40A$).

3. Metodologia e Estratégia de Prova

A prova é uma síntese sofisticada de combinatória aditiva, análise harmônica e geometria dos números. Ela prossegue através de várias etapas:

A. Redução a Conjuntos Densos (O Lema do Modelo Denso)

Os autores primeiro reduzem o caso geral ao caso em que $A$ é um subconjunto denso de um intervalo $[N]$. Eles utilizam:

• Isomorfismos de Freiman: Para mapear $A$ para um subconjunto de um grupo cíclico ou intervalo, preservando a estrutura aditiva.
• Lemas do Tipo Bogolyubov: Usando resultados de Lev e EGM para mostrar que, se $A$ tem pequena duplicação, combinações lineares específicas (como $9A-8A$ ou $41A-40A$) contêm grandes progressões.

B. Lema de Regularidade Aritmética

A ferramenta analítica central é o Lema de Regularidade Aritmética Abeliano (seguindo EGM). Isso decompõe a função característica $1_A$ em três partes:

1. Estruturada ($f_{struct}$): Uma função dependente de uma nilsequência (especificamente uma função Lipschitziana em um toro $T^d$).
2. Pequena ($f_{sml}$): Uma função com pequena norma $L^2$.
3. Uniforme ($f_{unf}$): Uma função com pequena norma de Gowers $U^2$ (pseudoaleatória).

Isso permite transferir o problema dos inteiros $\mathbb{Z}$ para um cenário contínuo: subconjuntos de $\mathbb{Z}/q\mathbb{Z} \times [M] \times T^d$.

C. Análise de Fibras e Desigualdades do Tipo Kneser

O conjunto $A$ é particionado em "fibras" sobre o toro $T^d$. Os autores analisam o conjunto soma dessas fibras usando:

• Teorema Inverso de Kneser (Tao): Se o conjunto soma de dois conjuntos em $T^d$ é pequeno, os conjuntos devem estar próximos da imagem inversa de intervalos sob um homomorfismo.
• Desigualdades de Kneser Ponderadas: Usadas para lidar com os pesos específicos que surgem da densidade das fibras.

A prova divide-se em três casos baseados na densidade dessas fibras:

1. Caso Estruturado Unidimensional: Uma fibra tem densidade $\ge 1/2$. Isso produz diretamente o resultado da progressão 1D.
2. Caso Estruturado Bidimensional: As fibras são bem aproximadas pela imagem inversa de um intervalo sob um homomorfismo $\phi: T^d \to T$. Isso leva ao resultado da progressão 2D.
3. Caso de Expansão: Se nenhum dos anteriores se aplica, os autores provam que o conjunto soma deve expandir-se significativamente.

D. O Caso de Expansão (Brunn-Minkowski)

No caso de expansão, os autores assumem que o conjunto não possui a estrutura 1D ou 2D. Eles aplicam uma desigualdade de Brunn-Minkowski planar (via um lema de EGM) às densidades das fibras.

• Eles mostram que, se as fibras não forem estruturadas, o conjunto soma das fibras deve ter uma medida estritamente maior que a soma das medidas.
• Isso leva a uma contradição com a suposição de que $|A+A| \le (4+\delta)|A|$, provando que o "Caso de Expansão" não pode ocorrer para $\delta$ suficientemente pequeno.

E. De Conjuntos de Bohr a Progressões

No caso estruturado 2D, mostra-se que o conjunto $A$ tem alta densidade em um conjunto de Bohr inhomogêneo $B = \{n : n\theta \in I\}$.

• Os autores utilizam a Geometria dos Números (teoremas de Minkowski sobre mínimos sucessivos) e Frações Contínuas para provar que tais conjuntos de Bohr contêm grandes progressões bidimensionais próprias.
• Esta etapa é crucial para traduzir a estrutura contínua do toro de volta para uma progressão discreta de inteiros.

4. Contribuições Chave

1. Resolução do Limiar $K=4$: O artigo confirma que, para duplicação ligeiramente acima de 4, as únicas estruturas possíveis são subconjuntos densos de progressões 1D ou 2D. Isso resolve uma variação específica da questão de Green para $K=4+\delta$.
2. Optimalidade: O resultado é mostrado como ótimo até a dependência quantitativa entre $\delta$ e $\epsilon'$. Os exemplos fornecidos (subconjuntos densos de progressões 1D e 2D) são os únicos casos extremos.
3. Inovação Metodológica:
   • Refinamento de EGM: Os autores estendem o quadro de trabalho EGM (que funcionava para $K<4$) para lidar com o regime $K \ge 4$, introduzindo uma classificação mais fina dos tamanhos das fibras (pequenas, médias, grandes) e utilizando teoremas inversos de Kneser de forma mais agressiva.
   • Lidando com a "Lacuna": Eles navegam com sucesso na transição onde a estrutura muda de 1D para 2D, um regime onde métodos anteriores falhavam.
4. Limites Agudos de Dimensão: O lema Bogolyubov-Ruzsa derivado fornece um limite agudo na dimensão ($d \le 2$) da progressão resultante, uma melhoria significativa sobre resultados gerais do tipo Freiman que frequentemente produzem dimensões muito maiores.

5. Significado

• Combinatória Aditiva: Este trabalho representa um grande avanço na compreensão quantitativa do teorema de Freiman. Ele preenche a lacuna entre os regimes bem compreendidos $K < 3$ e $K < 4$ e o regime mais complexo $K \ge 4$.
• Aplicações: Os resultados estruturais têm implicações para a conjectura do conjunto livre de somas de Erdős e outros problemas envolvendo conjuntos livres de somas e energia aditiva.
• Transferência de Técnica: A combinação do Lema de Regularidade Aritmética com desigualdades geométricas contínuas (Brunn-Minkowski) e geometria discreta dos números demonstra uma metodologia poderosa para abordar problemas inversos na teoria dos números aditiva.
• Direções Futuras: O artigo sugere que estender esses resultados para $K$ arbitrário (respondendo à questão de Green para todo $K$) é extremamente difícil e provavelmente requer novas ideias além do quadro atual da conjectura polinomial de Freiman-Ruzsa.

Em resumo, Jing e Mudgal fornecem uma classificação estrutural definitiva para conjuntos com duplicação logo acima de 4, provando que tais conjuntos são essencialmente ou "meio-densos" em uma linha ou "quase cheios" em um plano, e fazem isso entrelaçando ferramentas profundas da análise, combinatória e geometria.