Sets of large values of polynomial multi-correlation functions

Resumo Técnico: Conjuntos de Valores Grandes de Funções de Multi-correlação Polinomiais

Enunciado do Problema
O artigo investiga as propriedades combinatórias e da teoria ergódica de conjuntos de "retornos grandes" em sistemas que preservam medida. Especificamente, dado um espaço de probabilidade $(X, \mathcal{A}, \mu)$ e transformações comutativas, invertíveis e que preservam a medida $T_1, \dots, T_\ell$, os autores estudam o conjunto $R_{p_1, \dots, p_\ell}^\epsilon(A)$ definido como:
$$R_{p_1, \dots, p_\ell}^\epsilon(A) := \left\{ \vec{n} \in \mathbb{Z}^d \mid \mu\left(A \cap T_1^{-p_1(\vec{n})}A \cap \dots \cap T_\ell^{-p_\ell(\vec{n})}A\right) > \mu^{\ell+1}(A) - \epsilon \right\}$$
onde $p_1, \dots, p_\ell \in \mathbb{Z}[x_1, \dots, x_d]$ são polinômios não constantes com termos constantes nulos.

O problema central é determinar sob quais condições sobre os polinômios $p_1, \dots, p_\ell$ estes conjuntos são "grandes" num sentido combinatório. Embora o teorema polinomial de Szemerédi garanta que o conjunto de retornos com medida positiva seja um conjunto $IP^*$ (e, portanto, síndético), o comportamento dos conjuntos definidos pelo limite inferior $\mu^{\ell+1}(A) - \epsilon$ é mais sutil. Trabalhos anteriores estabeleceram a síndeticidade sob suposições de independência linear, mas a questão de saber se estes conjuntos possuem propriedades mais fortes (como $IP^*$ ou $A-IP^*$) permanecia em aberto, particularmente para ações comutativas e sistemas não ergódicos.

Metodologia
Os autores empregam uma mistura de teoria ergódica, teoria espectral e combinatória aditiva. Os componentes metodológicos chave incluem:

1. Decomposição Ergódica e Fatores de Kronecker: A análise depende fortemente da estrutura do fator de Kronecker (o fator gerado pelas autofunções). Os autores utilizam resultados de convergência para médias polinomiais ao longo de sequências de Følner, mostrando que o comportamento da multi-correlação é governado pelas projeções da função indicadora de $A$ sobre os fatores de Kronecker das transformações $T_j$.
2. Aproximação Diofantina e Sistemas VIP: Uma ferramenta técnica crucial é a introdução e análise dos conjuntos $VIP_0^*$ e $A-VIP_0^*$. Estes são versões "finitárias" ou "quase" de conjuntos $IP^*$, definidos via interseções com conjuntos $VIP_r$ (análogos finitos de conjuntos IP). Os autores provam um resultado diofantino (Teorema 3.4) estabelecendo que conjuntos da forma $\{\vec{n} \mid \|p_j(\vec{n})\alpha\| < \epsilon\}$ são translações de conjuntos $VIP_0^*$ quando os polinômios são conjuntamente interseccionais.
3. Construções de Contraexemplos: Para demonstrar a precisão de seus resultados, os autores constroem sistemas dinâmicos específicos (frequentemente envolvendo produtos torcidos em toros ou ações de grupos finitos) onde as propriedades desejadas de grandeza falham. Estas construções utilizam variantes do resultado de Behrend sobre conjuntos sem progressões aritméticas de 3 termos para controlar a medida das interseções.
4. Correspondência Inversa Aproximada de Furstenberg: Para traduzir resultados ergódicos de volta para contextos combinatórios (especificamente para conjuntos com densidade uniforme), os autores desenvolvem uma inversa uniforme aproximada do princípio de correspondência de Furstenberg (Teorema 9.1). Isso permite-lhes construir conjuntos em $\mathbb{Z}^D$ com propriedades de densidade específicas baseadas em contraexemplos ergódicos.

Contribuições e Resultados Principais

1. Caracterização da Síndeticidade: O artigo fornece uma caracterização completa de quando os conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ são síndéticos. O Teorema 1.16 estabelece que, para qualquer sistema comutativo, estes conjuntos são síndéticos (até uma translação) se e somente se os polinômios forem $\mathbb{Q}$-linearmente independentes e conjuntamente interseccionais. Isso responde a uma questão colocada por Frantzikinakis e Kuca.

2. Amplificação para $A-VIP_0^*$: Os autores provam que, sob as condições de independência linear e interseccionalidade conjunta, os conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ não são meramente síndéticos, mas possuem a propriedade mais forte de $A-VIP_0^*$ (Teorema 1.16, implicação (i) $\Rightarrow$ (ii')). Esta propriedade implica a propriedade de interseção finita e é estritamente mais forte que a síndeticidade, mas mais fraca que $IP^*$.

3. Precisão e Limitações:

   • Falha de $IP^*$: O Teorema 1.10 demonstra que, mesmo para polinômios linearmente independentes, os conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ não precisam ser $IP^*$. Os autores constroem sistemas fracamente misturadores onde o complemento do conjunto de grandes retornos contém um conjunto IP.
   • Falha de $IP_0^*$ para Polinômios Não Lineares: O Teorema 1.13 mostra que, para um único polinômio não linear $p$, o conjunto $R_p^\epsilon(A)$ não é necessariamente $IP_0^*$, mesmo em sistemas fracamente misturadores. Isso contrasta com o caso linear, onde $IP_0^*$ vale.
   • Precisão dos Resultados Combinatórios: O Corolário 1.20 prova que, para $D > \ell > 1$, a propriedade $A-IP^*$ no contexto combinatório não pode ser elevada para $IP^*$.

4. Resultados Condicionais: O artigo mostra que, se a conjectura de Hales-Jewett Polinomial de Densidade (DPHJ) for verdadeira, então uma forma amplificada do teorema polinomial de Szemerédi para IP segue, implicando que os conjuntos de grandes retornos são $IP_r^*$ para algum $r$ (Apêndice A).

Significado
O artigo resolve questões em aberto sobre a estrutura fina dos conjuntos de recorrência múltipla polinomial. Ao distinguir entre síndeticidade, $A-IP^*$ e $IP^*$, os autores esclarecem os limites precisos da amplificação para teoremas do tipo Szemerédi polinomial.

• Impacto Teórico: O trabalho estabelece que, embora a independência linear e a interseccionalidade conjunta sejam suficientes para a síndeticidade e a propriedade $A-VIP_0^*$, elas são insuficientes para a propriedade mais forte de $IP^*$ em sistemas comutativos gerais. Isso delimita a fronteira entre o que pode ser alcançado via métodos ergódicos atuais e o que requer conjecturas mais fortes (como a DPHJ).
• Contribuição Metodológica: A introdução de $A-VIP_0^*$ como uma noção robusta de grandeza que se situa estritamente entre a síndeticidade e a $IP^*$ fornece uma nova ferramenta para analisar a recorrência em contextos não ergódicos ou fracamente misturadores.
• Aplicação Combinatória: Os resultados fornecem novos teoremas combinatórios concernentes a conjuntos de inteiros com densidade de Banach superior positiva, caracterizando especificamente quando configurações polinomiais aparecem com densidade próxima ao produto de medida esperado.

Os autores mantêm uma postura modesta regarding a questão $IP^*$, observando que, embora não possam resolver a Questão 1.21 (se $IP^*$ vale geralmente), seus resultados mostram que qualquer tal fortalecimento deve depender de suposições além da independência linear e interseccionalidade conjunta, ou potencialmente na conjectura DPHJ não provada.