Infinite sumsets in $U^k(\Phi)$-uniform sets

Resumo Técnico: Somas Infinitas em Conjuntos Uniformes $U_k(\Phi)$

1. O Problema e o Contexto

O artigo aborda um problema central na combinatória aditiva e na teoria ergódica: a existência de padrões de somas infinitas em subconjuntos dos inteiros.

• Contexto Histórico: O Teorema de Szemerédi garante que qualquer subconjunto de densidade positiva contém progressões aritméticas arbitrariamente longas. Trabalhos posteriores (Green-Tao, Kra-Moreira-Richter-Roberson) estenderam isso para encontrar somas infinitas (como $B \oplus B \oplus \dots$) em conjuntos de densidade positiva.
• A Questão Específica: A questão central é entender como a "uniformidade" de um conjunto (medida por seminormas locais de Host-Kra, denotadas por $\|\cdot\|_{U_k(\Phi)}$) se relaciona com a existência de padrões de somas infinitas complexas.
• Obstáculos: Em conjuntos gerais de densidade positiva, a existência de tais padrões frequentemente requer um "deslocamento" (shift) $t$, devido a obstruções de paridade (ex: o conjunto dos números ímpares não contém $B \oplus B$ sem deslocamento). O autor investiga se conjuntos uniformes de ordem superior ($U_k$-uniformes) evitam essas obstruções, permitindo padrões de soma sem deslocamento.

2. Metodologia

O autor utiliza uma abordagem híbrida que combina teoria ergódica, sistemas dinâmicos topológicos e combinatória aditiva.

• Seminormas de Host-Kra Locais: O trabalho foca em conjuntos $A \subset \mathbb{N}$ que são $U_k(\Phi)$-uniformes, definidos via as seminormas locais introduzidas por Host e Kra. Isso conecta a estrutura do conjunto a sistemas dinâmicos.
• Princípio de Correspondência de Furstenberg: O problema é traduzido do domínio dos inteiros para o domínio de sistemas de medida preservadora $(X, \mu, T)$. Conjuntos uniformes no $\mathbb{N}$ correspondem a conjuntos abertos/clopen uniformes em sistemas ergódicos.
• Fatores Pronil e Sistemas Nil: A estrutura dos sistemas ergódicos é analisada através de seus fatores pronil (limites inversos de sistemas nil). O autor explora a relação entre a ordem de uniformidade $k$ e a estrutura do fator pronil de ordem $k-1$.
• Disintegração Contínua e Suporte Total: Uma contribuição metodológica chave é a introdução e uso da disintegração contínua totalmente suportada (fully supported continuous disintegration). Esta propriedade permite derivar consequências topológicas a partir de ferramentas de teoria da medida, garantindo que propriedades válidas "quase sempre" se estendam a todos os pontos em sistemas minimais.
• Cubos de Erdős e Progressões: O autor utiliza a teoria de "cubos de Erdős" e "progressões de Erdős" (introduzidas por Kra et al.) para conectar a existência de pontos em certas órbitas à existência de conjuntos infinitos $B$ cujas somas parciais residem nos conjuntos alvo.

3. Principais Contribuições e Resultados

A. Teorema Principal (Teorema 1.1)
O resultado central estabelece que se $A_1, \dots, A_k$ são conjuntos $U_k(\Phi)$-uniformes (com a mesma sequência de Følner $\Phi$), então existe um conjunto infinito $B \subset \mathbb{N}$ tal que:
$$B^{\oplus i} \subset A_i \quad \text{para todo } i = 1, \dots, k$$
onde $B^{\oplus i} = \{b_1 + \dots + b_i \mid b_j \in B, b_1 < \dots < b_i\}$.

• Significado: Diferente de conjuntos de densidade positiva gerais, conjuntos $U_k$-uniformes não sofrem de obstruções de paridade que exigiriam um deslocamento $t$. A uniformidade de ordem $k$ garante a existência de padrões de soma de ordem $k$ sem deslocamento.

B. Obstruções de Paridade de Ordem Superior (Seção 4)
O autor caracteriza as obstruções de paridade que surgem em sistemas nil.

• Teorema 1.2: Em um sistema pronil minimal $(X, T)$, a relação de proximidade regional de ordem $k-1$ ($RPk-1$) é equivalente à existência de padrões de soma infinita nos tempos de retorno. Especificamente, se $(x, y) \in RP[k-1](X)$, então para qualquer vizinhança $V$ de $y$, existe um conjunto infinito $B$ tal que $B \cup \dots \cup B^{\oplus k} \subset \{n \mid T^n x \in V\}$.

C. Conjuntos Uniformes Infinitos ($U_\infty$)
O Teorema 5.2 estende o resultado para conjuntos que são $U_k(\Phi)$-uniformes para todo $k$ (ou seja, $U_\infty$).

• Existe uma sequência aninhada de conjuntos infinitos $B_1 \supset B_2 \supset \dots$ tal que $B_i^{\oplus i} \subset A_i$. Isso fornece uma estrutura de soma infinita muito rica.

D. Aplicações a Sequências de Substituição (Seção 6)
O artigo aplica a teoria a sequências geradas por substituições primitivas de comprimento constante.

• Teorema 1.3: Se uma sequência arising de uma substituição primitiva de comprimento constante satisfaz certas condições de ortogonalidade a sequências periódicas, o conjunto de índices onde a sequência assume um valor específico é $U_\infty(\Phi)$-uniforme.
• Exemplos Concretos:
  • Sequência de Thue-Morse: O conjunto $\{n \mid t(n) = a\}$ (para $a=0,1$) é $U_\infty$-uniforme e contém o padrão de soma infinita descrito acima.
  • Sequência de Rudin-Shapiro: O mesmo resultado vale para esta sequência.
  • Contra-exemplo: O autor constrói um conjunto $U_\infty$-uniforme que não é um conjunto IP (não contém $B^{\oplus k}$ para todo $k$ em um único conjunto $B$), mostrando que a uniformidade infinita não implica necessariamente a estrutura IP completa.

E. Interseção com Conjuntos Nil-Bohr$_0$ (Seção 5.4)
O Teorema 5.9 mostra que a interseção de conjuntos $U_k$-uniformes com conjuntos Nil-Bohr$_0$ (conjuntos definidos por recorrência em sistemas nil) ainda contém padrões de soma infinita, generalizando resultados anteriores sobre conjuntos de recorrência múltipla.

4. Significado e Impacto

1. Resolução de Conjecturas Parciais: O trabalho prova casos específicos de conjecturas abertas (como a Conjectura 3.26 em [55]) sobre a existência de somas infinitas em conjuntos uniformes, removendo a necessidade de deslocamentos que são comuns em cenários de densidade positiva geral.
2. Conexão Estrutural: Estabelece uma ligação clara e quantitativa entre o grau de uniformidade ($k$) de um conjunto e a complexidade dos padrões de soma que ele deve conter.
3. Novas Ferramentas Topológicas: A introdução da "disintegração contínua totalmente suportada" oferece uma nova ferramenta para analisar a relação entre propriedades de medida e topologia em sistemas dinâmicos, permitindo resultados que não dependem de "quase todo ponto" (almost everywhere), mas sim de todos os pontos em sistemas minimais.
4. Aplicabilidade a Sequências Automáticas: Ao aplicar os resultados a sequências de Thue-Morse e Rudin-Shapiro, o artigo fornece uma nova perspectiva sobre a estrutura combinatória dessas sequências clássicas, provando que elas contêm padrões de soma infinita complexos, algo não trivial dada a sua natureza determinística e não aleatória.

Em suma, o artigo avança a fronteira da combinatória aditiva ao demonstrar que a "pseudo-aleatoriedade" de ordem superior (capturada pelas seminormas $U_k$) é suficiente para garantir a existência de estruturas de soma infinita ricas e não deslocadas, conectando profundamente a teoria de sistemas dinâmicos nil com a teoria dos números aditiva.