Sets of large values of polynomial multi-correlation functions

Sintesi Tecnica: Insiemi di Valori Grandi di Funzioni di Multi-Correlazione Polinomiale

Enunciato del Problema
Il lavoro indaga le proprietà combinatorie ed ergodico-teoriche degli insiemi di "ritorni grandi" nei sistemi che preservano la misura. Nello specifico, dato uno spazio di probabilità $(X, \mathcal{A}, \mu)$ e trasformazioni commutanti, invertibili e che preservano la misura $T_1, \dots, T_\ell$, gli autori studiano l'insieme $R_{p_1, \dots, p_\ell}^\epsilon(A)$ definito come:
$$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\}$$
dove $p_1, \dots, p_\ell \in \mathbb{Z}[x_1, \dots, x_d]$ sono polinomi non costanti con termine costante nullo.

Il problema centrale è determinare sotto quali condizioni sui polinomi $p_1, \dots, p_\ell$ questi insiemi siano "grandi" in senso combinatorio. Mentre il teorema polinomiale di Szemerédi garantisce che l'insieme dei ritorni con misura positiva sia un insieme $IP^*$ (e quindi sindetico), il comportamento degli insiemi definiti dal limite inferiore $\mu^{\ell+1}(A) - \epsilon$ è più sottile. Lavori precedenti hanno stabilito la sindeticità sotto ipotesi di indipendenza lineare, ma la questione se questi insiemi possiedano proprietà più forti (come $IP^*$ o $A-IP^*$) rimaneva aperta, in particolare per azioni commutanti e sistemi non ergodici.

Metodologia
Gli autori impiegano una combinazione di teoria ergodica, teoria spettrale e combinatoria additiva. I componenti metodologici chiave includono:

1. Decomposizione Ergodica e Fattori di Kronecker: L'analisi si basa pesantemente sulla struttura del fattore di Kronecker (il fattore generato dalle autofunzioni). Gli autori utilizzano risultati di convergenza per medie polinomiali lungo successioni di Følner, dimostrando che il comportamento della multi-correlazione è governato dalle proiezioni della funzione indicatrice di $A$ sui fattori di Kronecker delle trasformazioni $T_j$.
2. Approssimazione Diofantea e Sistemi VIP: Uno strumento tecnico cruciale è l'introduzione e l'analisi degli insiemi $VIP_0^*$ e $A-VIP_0^*$. Questi sono versioni "finitarie" o "quasi" degli insiemi $IP^*$, definiti tramite intersezioni con insiemi $VIP_r$ (analoghi finiti degli insiemi IP). Gli autori dimostrano un risultato diofanteo (Teorema 3.4) che stabilisce che insiemi della forma $\{\vec{n} \mid \|p_j(\vec{n})\alpha\| < \epsilon\}$ sono traslati di insiemi $VIP_0^*$ quando i polinomi sono congiuntamente intersecati.
3. Costruzioni di Controesempi: Per dimostrare la precisione dei loro risultati, gli autori costruiscono specifici sistemi dinamici (spesso coinvolgendo prodotti skew su tori o azioni di gruppi finiti) in cui le proprietà di grandezza desiderate falliscono. Queste costruzioni utilizzano varianti del risultato di Behrend su insiemi privi di progressioni aritmetiche a 3 termini per controllare la misura delle intersezioni.
4. Corrispondenza Inversa Furstenberg Approssimata: Per tradurre i risultati ergodici indietro in contesti combinatori (specificamente per insiemi con densità uniforme), gli autori sviluppano un'inversa uniforme approssimata del principio di corrispondenza di Furstenberg (Teorema 9.1). Ciò permette loro di costruire insiemi in $\mathbb{Z}^D$ con specifiche proprietà di densità basate su controesempi ergodici.

Contributi e Risultati Chiave

1. Caratterizzazione della Sindeticità: Il lavoro fornisce una caratterizzazione completa di quando gli insiemi $R_{p_1, \dots, p_\ell}^\epsilon(A)$ sono sindetici. Il Teorema 1.16 stabilisce che per qualsiasi sistema commutante, questi insiemi sono sindetici (a meno di una traslazione) se e solo se i polinomi sono $\mathbb{Q}$-linearmente indipendenti e congiuntamente intersecati. Ciò risponde a una domanda posta da Frantzikinakis e Kuca.

2. Amplificazione ad $A-VIP_0^*$: Gli autori dimostrano che, sotto le condizioni di indipendenza lineare e intersezione congiunta, gli insiemi $R_{p_1, \dots, p_\ell}^\epsilon(A)$ non sono meramente sindetici ma possiedono la proprietà più forte $A-VIP_0^*$ (Teorema 1.16, implicazione (i) $\Rightarrow$ (ii')). Questa proprietà implica la proprietà di intersezione finita ed è strettamente più forte della sindeticità ma più debole di $IP^*$.

3. Precisione e Limiti:

   • Fallimento di $IP^*$: Il Teorema 1.10 dimostra che anche per polinomi linearmente indipendenti, gli insiemi $R_{p_1, \dots, p_\ell}^\epsilon(A)$ non devono necessariamente essere $IP^*$. Gli autori costruiscono sistemi debolmente misti in cui il complemento dell'insieme dei ritorni grandi contiene un insieme IP.
   • Fallimento di $IP_0^*$ per Polinomi Non Lineari: Il Teorema 1.13 mostra che per un singolo polinomio non lineare $p$, l'insieme $R_p^\epsilon(A)$ non è necessariamente $IP_0^*$, anche in sistemi debolmente misti. Ciò contrasta con il caso lineare dove vale $IP_0^*$.
   • Precisione dei Risultati Combinatori: Il Corollario 1.20 dimostra che per $D > \ell > 1$, la proprietà $A-IP^*$ nel contesto combinatorio non può essere elevata a $IP^*$.

4. Risultati Condizionali: Il lavoro mostra che se la congettura DPHJ (Density Polynomial Hales-Jewett) vale, allora segue una forma amplificata del teorema polinomiale di Szemerédi per gli IP, implicando che gli insiemi dei ritorni grandi sono $IP_r^*$ per qualche $r$ (Appendice A).

Significato
Il lavoro risolve questioni aperte riguardanti la struttura fine degli insiemi di ricorrenza multipla polinomiale. Distinguendo tra sindeticità, $A-IP^*$ e $IP^*$, gli autori chiariscono i limiti precisi dell'amplificazione per teoremi di tipo Szemerédi polinomiale.

• Impatto Teorico: Il lavoro stabilisce che, mentre l'indipendenza lineare e l'intersezione congiunta sono sufficienti per la sindeticità e la proprietà $A-VIP_0^*$, non sono sufficienti per la proprietà più forte $IP^*$ in sistemi commutanti generali. Questo delimita il confine tra ciò che può essere ottenuto tramite i metodi ergodici attuali e ciò che richiede congetture più forti (come la DPHJ).
• Contributo Metodologico: L'introduzione di $A-VIP_0^*$ come nozione robusta di grandezza che si colloca strettamente tra la sindeticità e $IP^*$ fornisce un nuovo strumento per analizzare la ricorrenza in contesti non ergodici o debolmente misti.
• Applicazione Combinatoria: I risultati forniscono nuovi teoremi combinatori riguardanti insiemi di interi con densità di Banach superiore positiva, caratterizzando specificamente quando le configurazioni polinomiali appaiono con densità vicina al prodotto di misura atteso.

Gli autori mantengono una posizione modesta riguardo alla questione $IP^*$, notando che, sebbene non possano risolvere la Domanda 1.21 (se $IP^*$ valga in generale), i loro risultati mostrano che qualsiasi tale rafforzamento deve basarsi su ipotesi oltre l'indipendenza lineare e l'intersezione congiunta, o potenzialmente sulla congettura DPHJ non dimostrata.