Sets of large values of polynomial multi-correlation functions

Technische Samenvatting: Mengen van Grote Waarden van Polynoom Multi-Correlatiefuncties

Probleemstelling
Het artikel onderzoekt de combinatorische en ergodisch-theoretische eigenschappen van verzamelingen van "grote terugkeer" in maatbehoudende systemen. Specifiek, gegeven een kansruimte $(X, \mathcal{A}, \mu)$ en commutatie, inverteerbare maatbehoudende transformaties $T_1, \dots, T_\ell$, bestuderen de auteurs de verzameling $R_{p_1, \dots, p_\ell}^\epsilon(A)$ gedefinieerd als:
$$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\}$$
waarbij $p_1, \dots, p_\ell \in \mathbb{Z}[x_1, \dots, x_d]$ niet-constante polynomen zijn met een constante term gelijk aan nul.

Het centrale probleem is om te bepalen onder welke voorwaarden op de polynomen $p_1, \dots, p_\ell$ deze verzamelingen "groot" zijn in een combinatorisch opzicht. Hoewel de polynoom Szemerédi-stelling garandeert dat de verzameling van terugkeer met positieve maat een $IP^*$-verzameling is (en dus syndetisch), is het gedrag van verzamelingen gedefinieerd door de ondergrens $\mu^{\ell+1}(A) - \epsilon subtieler. Vorig werk vestigde syndeticiteit onder aannames van lineaire onafhankelijkheid, maar de vraag of deze verzamelingen sterkere eigenschappen bezitten (zoals$IP^*$ of $A-IP^*$) bleef open, met name voor commutatie acties en niet-ergodische systemen.

Methodologie
De auteurs maken gebruik van een combinatie van ergodische theorie, spectrale theorie en additieve combinatoriek. Belangrijke methodologische componenten zijn:

1. Ergodische Decompositie en Kronecker-factoren: De analyse steunt zwaar op de structuur van de Kronecker-factor (de factor gegenereerd door eigenfuncties). De auteurs maken gebruik van convergentieresultaten voor polynoomgemiddelden langs Følner-rijen, waarbij zij aantonen dat het gedrag van de multi-correlatie wordt bepaald door de projecties van de indicatorfunctie van $A$ op de Kronecker-factoren van de transformaties $T_j$.
2. Diophantische Benadering en VIP-systemen: Een cruciaal technisch hulpmiddel is de introductie en analyse van $VIP_0^*$- en $A-VIP_0^*$-verzamelingen. Dit zijn "eindige" of "bijna"-versies van $IP^*$-verzamelingen, gedefinieerd via doorsneden met $VIP_r$-verzamelingen (eindige analogieën van IP-verzamelingen). De auteurs bewijzen een Diophantisch resultaat (Stelling 3.4) dat vaststelt dat verzamelingen van de vorm $\{\vec{n} \mid \|p_j(\vec{n})\alpha\| < \epsilon\}$ translaties zijn van $VIP_0^*$-verzamelingen wanneer de polynomen gezamenlijk intersectief zijn.
3. Constructie van Tegenvoorbeelden: Om de scherpte van hun resultaten aan te tonen, construeren de auteurs specifieke dynamische systemen (vaak schuifproducten op tori of acties van eindige groepen) waarbij de gewenste grootheids-eigenschappen falen. Deze constructies maken gebruik van varianten van Behrends resultaat over verzamelingen zonder 3-termen rekenkundige rijen om de maat van doorsneden te controleren.
4. Benaderende Inverse Furstenberg-correspondentie: Om ergodische resultaten terug te vertalen naar combinatorische settings (specifiek voor verzamelingen met uniforme dichtheid), ontwikkelen de auteurs een benaderende uniforme inverse van het correspondentieprincipe van Furstenberg (Stelling 9.1). Dit stelt hen in staat om verzamelingen in $\mathbb{Z}^D$ te construeren met specifieke dichtheidseigenschappen op basis van ergodische tegenvoorbeelden.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van Syndeticiteit: Het artikel biedt een volledige karakterisering van wanneer de verzamelingen $R_{p_1, \dots, p_\ell}^\epsilon(A)$ syndetisch zijn. Stelling 1.16 stelt dat voor elk commutatie systeem deze verzamelingen syndetisch zijn (op een translatie na) dan en slechts dan als de polynomen $\mathbb{Q}$-lineair onafhankelijk en gezamenlijk intersectief zijn. Dit beantwoordt een vraag gesteld door Frantzikinakis en Kuca.

2. Versterking naar $A-VIP_0^*$: De auteurs bewijzen dat onder de voorwaarden van lineaire onafhankelijkheid en gezamenlijke intersectiviteit, de verzamelingen $R_{p_1, \dots, p_\ell}^\epsilon(A)$ niet enkel syndetisch zijn, maar de sterkere $A-VIP_0^*$-eigenschap bezitten (Stelling 1.16, implicatie (i) $\Rightarrow$ (ii')). Deze eigenschap impliceert de eigenschap van eindige doorsnede en is strikt sterker dan syndeticiteit maar zwakker dan $IP^*$.

3. Scherpte en Beperkingen:

   • Falen van $IP^*$: Stelling 1.10 toont aan dat zelfs voor lineair onafhankelijke polynomen de verzamelingen $R_{p_1, \dots, p_\ell}^\epsilon(A)$ niet noodzakelijk $IP^*$ hoeven te zijn. De auteurs construeren zwak mengende systemen waarbij het complement van de verzameling van grote terugkeer een IP-verzameling bevat.
   • Falen van $IP_0^*$ voor Niet-lineaire Polynomen: Stelling 1.13 toont aan dat voor een enkele niet-lineaire polynoom $p$, de verzameling $R_p^\epsilon(A)$ niet noodzakelijk $IP_0^*$ is, zelfs niet in zwak mengende systemen. Dit staat in contrast met het lineaire geval waar $IP_0^*$ geldt.
   • Scherpte van Combinatorische Resultaten: Corollarium 1.20 bewijst dat voor $D > \ell > 1$, de $A-IP^*$-eigenschap in de combinatorische setting niet kan worden opgevoerd tot $IP^*$.

4. Conditionele Resultaten: Het artikel toont aan dat als de DPHJ-conjectuur (Density Polynomial Hales-Jewett) waar is, dan een versterkte vorm van de IP-polynoom Szemerédi-stelling volgt, wat impliceert dat de verzamelingen van grote terugkeer $IP_r^*$ zijn voor zekere $r$ (Bijlage A).

Betekenis
Het artikel lost open vragen op betreffende de fijne structuur van verzamelingen van polynoom meervoudige terugkeer. Door onderscheid te maken tussen syndeticiteit, $A-IP^*$ en $IP^*$, verduidelijken de auteurs de precieze grenzen van versterking voor Szemerédi-achtige stellingen voor polynomen.

• Theoretische Impact: Het werk vestigt dat terwijl lineaire onafhankelijkheid en gezamenlijke intersectiviteit voldoende zijn voor syndeticiteit en de $A-VIP_0^*$-eigenschap, ze onvoldoende zijn voor de sterkere $IP^*$-eigenschap in algemene commutatie systemen. Dit schetst de grens tussen wat bereikt kan worden via huidige ergodische methoden en wat sterkere conjecturen vereist (zoals DPHJ).
• Methodologische Bijdrage: De introductie van $A-VIP_0^*$ als een robuust begrip van grootheid dat strikt tussen syndeticiteit en $IP^*$ ligt, biedt een nieuw hulpmiddel voor het analyseren van terugkeer in niet-ergodische of zwak mengende settings.
• Combinatorische Toepassing: De resultaten leveren nieuwe combinatorische stellingen op betreffende verzamelingen van gehele getallen met positieve bovenste Banach-dichtheid, specifiek karakteriserend wanneer polynoomconfiguraties verschijnen met een dichtheid die dicht bij het verwachte productmaat ligt.

De auteurs handhaven een bescheiden houding ten aanzien van de $IP^*$-vraag, noterend dat hoewel zij Vraag 1.21 niet kunnen oplossen (of $IP^*$ algemeen geldt), hun resultaten aantonen dat elke dergelijke versterking moet vertrouwen op aannames die verder gaan dan lineaire onafhankelijkheid en gezamenlijke intersectiviteit, of mogelijk op de onbewezen DPHJ-conjectuur.