Sets of large values of polynomial multi-correlation functions

Resumen Técnico: Conjuntos de Valores Grandes de Funciones de Multi-correlación Polinómica

Enunciado del Problema
El artículo investiga las propiedades combinatorias y de la teoría ergódica de los conjuntos de "retornos grandes" en sistemas que preservan la medida. Específicamente, dado un espacio de probabilidad $(X, \mathcal{A}, \mu)$ y transformaciones conmutativas, invertibles y que preservan la medida $T_1, \dots, T_\ell$, los autores estudian el 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\}$$
donde $p_1, \dots, p_\ell \in \mathbb{Z}[x_1, \dots, x_d]$ son polinomios no constantes con término constante nulo.

El problema central es determinar bajo qué condiciones sobre los polinomios $p_1, \dots, p_\ell$ estos conjuntos son "grandes" en un sentido combinatorio. Mientras que el teorema de Szemerédi polinómico garantiza que el conjunto de retornos con medida positiva es un conjunto $IP^*$ (y por tanto sindético), el comportamiento de los conjuntos definidos por la cota inferior $\mu^{\ell+1}(A) - \epsilon$ es más sutil. Trabajos previos establecieron la sindeticidad bajo supuestos de independencia lineal, pero la cuestión de si estos conjuntos poseen propiedades más fuertes (como $IP^*$ o $A-IP^*$) permaneció abierta, particularmente para acciones conmutativas y sistemas no ergódicos.

Metodología
Los autores emplean una combinación de teoría ergódica, teoría espectral y combinatoria aditiva. Los componentes metodológicos clave incluyen:

1. Descomposición Ergódica y Factores de Kronecker: El análisis depende en gran medida de la estructura del factor de Kronecker (el factor generado por las autofunciones). Los autores utilizan resultados de convergencia para promedios polinómicos a lo largo de secuencias de Følner, mostrando que el comportamiento de la multi-correlación está gobernado por las proyecciones de la función indicadora de $A$ sobre los factores de Kronecker de las transformaciones $T_j$.
2. Aproximación Diofántica y Sistemas VIP: Una herramienta técnica crucial es la introducción y análisis de los conjuntos $VIP_0^*$ y $A-VIP_0^*$. Estos son versiones "finitarias" o "casi" de los conjuntos $IP^*$, definidos mediante intersecciones con conjuntos $VIP_r$ (análogos finitos de los conjuntos IP). Los autores demuestran un resultado diofántico (Teorema 3.4) que establece que los conjuntos de la forma $\{\vec{n} \mid \|p_j(\vec{n})\alpha\| < \epsilon\}$ son traslados de conjuntos $VIP_0^*$ cuando los polinomios son conjuntamente intersecantes.
3. Construcción de Contraejemplos: Para demostrar la agudeza de sus resultados, los autores construyen sistemas dinámicos específicos (a menudo involucrando productos sesgados en toros o acciones de grupos finitos) donde las propiedades de grandeza deseadas fallan. Estas construcciones utilizan variantes del resultado de Behrend sobre conjuntos sin progresiones aritméticas de 3 términos para controlar la medida de las intersecciones.
4. Correspondencia Inversa Aproximada de Furstenberg: Para traducir resultados ergódicos de vuelta a contextos combinatorios (específicamente para conjuntos con densidad uniforme), los autores desarrollan una inversa uniforme aproximada del principio de correspondencia de Furstenberg (Teorema 9.1). Esto les permite construir conjuntos en $\mathbb{Z}^D$ con propiedades de densidad específicas basadas en contraejemplos ergódicos.

Contribuciones y Resultados Clave

1. Caracterización de la Sindeticidad: El artículo proporciona una caracterización completa de cuándo los conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ son sindéticos. El Teorema 1.16 establece que para cualquier sistema conmutativo, estos conjuntos son sindéticos (salvo una traslación) si y solo si los polinomios son $\mathbb{Q}$-linealmente independientes y conjuntamente intersecantes. Esto responde a una pregunta planteada por Frantzikinakis y Kuca.

2. Amplificación a $A-VIP_0^*$: Los autores demuestran que bajo las condiciones de independencia lineal e intersección conjunta, los conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ no son meramente sindéticos, sino que poseen la propiedad más fuerte $A-VIP_0^*$ (Teorema 1.16, implicación (i) $\Rightarrow$ (ii')). Esta propiedad implica la propiedad de intersección finita y es estrictamente más fuerte que la sindeticidad pero más débil que $IP^*$.

3. Agudeza y Limitaciones:

   • Fallo de $IP^*$: El Teorema 1.10 demuestra que incluso para polinomios linealmente independientes, los conjuntos $R_{p_1, \dots, p_\ell}^\epsilon(A)$ no necesitan ser $IP^*$. Los autores construyen sistemas débilmente mezclantes donde el complemento del conjunto de retornos grandes contiene un conjunto IP.
   • Fallo de $IP_0^*$ para Polinomios No Lineales: El Teorema 1.13 muestra que para un solo polinomio no lineal $p$, el conjunto $R_p^\epsilon(A)$ no es necesariamente $IP_0^*$, incluso en sistemas débilmente mezclantes. Esto contrasta con el caso lineal donde se cumple $IP_0^*$.
   • Agudeza de Resultados Combinatorios: El Corolario 1.20 prueba que para $D > \ell > 1$, la propiedad $A-IP^*$ en el contexto combinatorio no puede mejorarse a $IP^*$.

4. Resultados Condicionales: El artículo muestra que si la conjetura de Hales-Jewett Polinómica de Densidad (DPHJ) se cumple, entonces sigue una forma amplificada del teorema de Szemerédi polinómico IP, implicando que los conjuntos de retornos grandes son $IP_r^*$ para algún $r$ (Apéndice A).

Significado
El artículo resuelve preguntas abiertas sobre la estructura fina de los conjuntos de recurrencia múltiple polinómica. Al distinguir entre sindeticidad, $A-IP^*$ e $IP^*$, los autores clarifican los límites precisos de la amplificación para teoremas tipo Szemerédi polinómicos.

• Impacto Teórico: El trabajo establece que, aunque la independencia lineal y la intersección conjunta son suficientes para la sindeticidad y la propiedad $A-VIP_0^*$, son insuficientes para la propiedad más fuerte $IP^*$ en sistemas conmutativos generales. Esto delimita la frontera entre lo que se puede lograr mediante métodos ergódicos actuales y lo que requiere conjeturas más fuertes (como DPHJ).
• Contribución Metodológica: La introducción de $A-VIP_0^*$ como una noción robusta de grandeza que se sitúa estrictamente entre la sindeticidad y $IP^*$ proporciona una nueva herramienta para analizar la recurrencia en contextos no ergódicos o débilmente mezclantes.
• Aplicación Combinatoria: Los resultados proporcionan nuevos teoremas combinatorios concernientes a conjuntos de enteros con densidad de Banach superior positiva, caracterizando específicamente cuándo aparecen configuraciones polinómicas con densidad cercana al producto de medida esperado.

Los autores mantienen una postura modesta respecto a la cuestión de $IP^*$, señalando que, aunque no pueden resolver la Pregunta 1.21 (si $IP^*$ se cumple generalmente), sus resultados muestran que cualquier fortalecimiento de este tipo debe basarse en supuestos más allá de la independencia lineal y la intersección conjunta, o potencialmente en la conjetura no probada DPHJ.