arXiv++ Combinatorics

We investigate manifestations of the Nilpotent Heuristic, which posits that recurrence and convergence phenomena known for measure-preserving $\mathbb{Z}^D$-systems extend to nilpotent group actions. Our main results establish seminorm estimates and limiting formulas for multiple ergodic averages arising from actions of 2-step nilpotent groups. In particular, if $T_1,\ldots,T_\ell$ are totally ergodic and generate a 2-step nilpotent group, then \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T_1^n f_1 \cdots T_\ell^{n^\ell}f_\ell = \prod_{j=1}^{\ell}\int f_j\,dμ\] in the $L^{2}$ norm for all bounded functions $f_{1},\dots,f_{\ell}$; the same holds for any distinct-degree polynomial iterates. We also obtain popular-common-difference versions of the polynomial Szemeédi theorem in the same setting. In a different direction, our approach allows us to completely resolve the joint ergodicity conjecture for multidimensional polynomials and $\mathbb Z^D$-systems; we also present an example showing that, surprisingly enough, the 2-step nilpotent analog fails. We conclude with many open problems concerning joint ergodicity, seminorm estimates, and the structure theory of nilpotent systems.

Recent years have seen dramatic progress in the study of joint ergodicity, i.e. a scenario in which a multiple ergodic average converges in norm to the product of integrals of individual functions. This survey, accompanying the talk given by the author in the Perspectives on Ergodic Theory and its Interactions conference to celebrate Vitaly Bergelson's 75th birthday, aims to summarize these recent advances, outline crucial new tools, present various open problems, and highlight the main challenges currently faced in the study of multiple ergodic averages.

We develop a framework for the study of the limiting behavior of multiple ergodic averages with commuting transformations when all iterates are given by the same sparse sequence; this enables us to partially resolve several longstanding problems. First, we address a special case of the joint intersectivity question of Bergelson, Leibman, and Lesigne by giving necessary and sufficient conditions under which the multidimensional polynomial Szemerédi theorem holds for length-three patterns. Second, we show that for two commuting transformations, the Furstenberg averages remain unchanged when the iterates are taken along sparse sequences such as $[n^c]$ for a positive noninteger $c$, advancing a conjecture of the first author. Third, we extend a result of Chu on popular common differences in linear corners to polynomial and Hardy corners. Lastly, we answer open problems of Le, Moreira, and Richter concerning decomposition results for double correlation sequences. Our toolbox includes recent degree lowering and seminorm smoothing techniques, the machinery of magic extensions of Host, and novel structured extensions motivated by works of Tao and Leng. Combined, these techniques reduce the analysis to settings where the Host-Kra theory of characteristic factors and equidistribution on nilmanifolds yield a family of striking identities from which our main results follow.

We develop a robust structure theory for multiple ergodic averages of commuting transformations along Hardy sequences of polynomial growth. We then apply it to derive a number of novel results on joint ergodicity, recurrence and convergence. In particular, we prove joint ergodicity for (a) pairwise independent Hardy sequences and weakly mixing transformations, (b) strongly independent Hardy sequences and ergodic transformations, (c) strongly irrationally independent Hardy sequences and totally ergodic transformations. We use these joint ergodicity results to provide new recurrence results for multidimensional patterns along strongly independent Hardy sequences, showing for instance that all subsets of $\mathbb{Z}^2$ of positive upper density contain patterns of the form $$ (m_1, m_2),\; (m_1 + \lfloor n^{\sqrt{2}}\rfloor, m_2),\; (m_1, m_2 + \lfloor n^{\sqrt{2}} + n^{1/2}\rfloor).$$ Last but not least, we positively resolve the joint ergodicity classification problem for pairwise independent Hardy sequences, of which the aforementioned families are special cases. While building on recent technical advances (e.g. PET coefficient tracking schemes and joint ergodicity criteria), our work introduces a number of technical developments of its own. We construct a suitable generalization of Host-Kra and box seminorms that quantitatively control ergodic averages along Hardy sequences. We subsequently use them to obtain Host-Kra seminorm estimates for averages along all pairwise independent Hardy sequences. Furthermore, we develop an ergodic version of the quantitative concatenation argument that has recently found extensive use in combinatorics, number theory and harmonic analysis. Lastly, we obtain new simultaneous Taylor approximations for Hardy sequences, a crucial ingredient to deal with the aforementioned classes of Hardy sequences.

Using PET and quantitative concatenation techniques, we establish box-norm control with the "expected" directions for counting operators for general multidimensional polynomial progressions, with at most polynomial losses in the parameters. Such results are often useful first steps towards obtaining explicit upper bounds on sets lacking instances of given such progressions. In the companion paper arXiv:2407.08637, we complete this program for sets in $[N]^2$ lacking nondegenerate progressions of the form $(x, y), (x + P(z), y), (x, y + P(z))$, where $P \in \mathbb{Z}[z]$ is any fixed polynomial with an integer root of multiplicity $1$.

A $P$-polynomial corner, for $P \in \mathbb{Z}[z]$ a polynomial, is a triple of points $(x,y),\; (x+P(z),y),\; (x,y+P(z))$ for $x,y,z \in \mathbb{Z}$. In the case where $P$ has an integer root of multiplicity $1$, we show that if $A \subseteq [N]^2$ does not contain any nontrivial $P$-polynomial corners, then $$|A| \ll_P \frac{N^2}{(\log\log\log N)^c}$$ for some absolute constant $c>0$. This simultaneously generalizes a result of Shkredov about corner-free sets and a recent result of Peluse, Sah, and Sawhney about sets without $3$-term arithmetic progressions of common difference $z^2-1$. The main ingredients in our proof are a multidimensional quantitative concatenation result from our companion paper arXiv:2407.08636 and a novel degree-lowering argument for box norms.

We examine multidimensional polynomial progressions involving linearly independent polynomials in finite fields, proving power saving bounds for sets lacking such configurations. This jointly generalises earlier results of Peluse (for the single dimensional case) and the author (for distinct degree polynomials). In contrast to the cases studied in the aforementioned two papers, a usual PET induction argument does not give Gowers norm control over multidimensional progressions that involve polynomials of the same degrees. The main challenge is therefore to obtain Gowers norm control, and we accomplish this for all multidimensional polynomial progressions with pairwise independent polynomials. The key inputs are: (1) a quantitative version of a PET induction scheme developed in ergodic theory by Donoso, Koutsogiannis, Ferré-Moragues and Sun, (2) a quantitative concatenation result for Gowers box norms in arbitrary finite abelian groups, motivated by earlier results of Tao, Ziegler, Peluse and Prendiville; (3) an adaptation to combinatorics of the box norm smoothing technique, recently developed in the ergodic setting by the author and Frantzikinakis; and (4) a new version of the multidimensional degree lowering argument.

We examine the limiting behavior of multiple ergodic averages associated with arithmetic progressions whose differences are elements of a fixed integer sequence. For each $\ell$, we give necessary and sufficient conditions under which averages of length $\ell$ of the aforementioned form have the same limit as averages of $\ell$-term arithmetic progressions. As a corollary, we derive a sufficient condition for the presence of arithmetic progressions with length $\ell+1$ and restricted differences in dense subsets of integers. These results are a consequence of the following general theorem: in order to verify that a multiple ergodic average is controlled by the degree $d$ Gowers-Host-Kra seminorm, it suffices to show that it is controlled by some Gowers-Host-Kra seminorm, and that the degree $d$ control follows whenever we have degree $d+1$ control. The proof relies on an elementary inverse theorem for the Gowers-Host-Kra seminorms involving dual functions, combined with novel estimates on averages of seminorms of dual functions. We use these estimates to obtain a higher order variant of the degree lowering argument previously used to cover averages that converge to the product of integrals.

We give necessary and sufficient conditions for joint ergodicity results of collections of sequences with respect to systems of commuting measure preserving transformations. Combining these results with a new technique that we call "seminorm smoothening", we settle several conjectures related to multiple ergodic averages of commuting transformations with polynomial iterates. We show that the Host-Kra factor is characteristic for pairwise independent polynomials, and that under certain ergodicity conditions the associated ergodic averages converge to the product of integrals. Moreover, when the polynomials are linearly independent, we show that the rational Kronecker factor is characteristic and deduce Khintchine-type lower bounds for the related multiple recurrence problem. Finally, we prove a nil plus null decomposition result for multiple correlation sequences of commuting transformations in the case where the iterates are given by families of pairwise independent polynomials.

We prove that there exists a constant $\varepsilon > 0$ with the following property: if $K \subset \mathbb{R}^{2}$ is a compact set which contains no pair of the form $\{x, x + (z, z^{2})\}$ for $z \neq 0$, then $\mathrm{dim}_\mathrm{H} K \leq 2 - \varepsilon$.

For a polynomial progression $$(x,\; x+P_1(y),\; \ldots,\; x+P_{t}(y)),$$ we define four notions of complexity: Host-Kra complexity, Weyl complexity, true complexity and algebraic complexity. The first two describe the smallest characteristic factor of the progression, the third one refers to the smallest-degree Gowers norm controlling the progression, and the fourth one concerns algebraic relations between terms of the progressions. We conjecture that these four notions are equivalent, which would give a purely algebraic criterion for determining the smallest Host-Kra factor or the smallest Gowers norm controlling a given progression. We prove this conjecture for all progressions whose terms only satisfy homogeneous algebraic relations and linear combinations thereof. This family of polynomial progressions includes, but is not limited to, arithmetic progressions, progressions with linearly independent polynomials $P_1,\; \ldots,\; P_t$ and progressions whose terms satisfy no quadratic relations. For progressions that satisfy only linear relations, such as $$(x,\; x+y^2,\; x+2y^2,\; x+y^3,\; x+2y^3),$$ we derive several combinatorial and dynamical corollaries: (1) an estimate for the count of such progressions in subsets of cyclic groups or totally ergodic dynamical systems; (2) a lower bound for multiple recurrence; (3) and a popular common difference result in cyclic groups. Lastly, we show that Weyl complexity and algebraic complexity always agree, which gives a straightforward algebraic description of Weyl complexity.

The true complexity of a polynomial progression in finite fields corresponds to the smallest-degree Gowers norm that controls the counting operator of the progression over finite fields of large characteristic. We give a conjecture that relates true complexity to algebraic relations between the terms of the progression, and we prove it for a number of progressions, including $x,\; x+y,\; x+y^2,\; x+y+y^2$ and $x,\; x+y,\; x+2y,\; x+y^2$. As a corollary, we prove an asymptotic for the count of certain progressions of complexity 1 in subsets of finite fields. In the process, we obtain an equidistribution result for certain polynomial progressions, analogous to the counting lemma for systems of linear forms proved by Green and Tao.

We provide upper bounds for the size of subsets of finite fields lacking the polynomial progression $$ x, x+y, ..., x+(m-1)y, x+y^m, ..., x+y^{m+k-1}.$$ These are the first known upper bounds in the polynomial Szemerédi theorem for the case when polynomials are neither linearly independent nor homogeneous of the same degree. We moreover improve known bounds for subsets of finite fields lacking arithmetic progressions with a difference coming from the set of $k$-th power residues, i.e. configurations of the form $$ x, x+y^k, ..., x+(m-1)y^k.$$ Both results follow from an estimate of the number of such progressions in an arbitrary subset of a finite field.

Consider the sequence $\mathcal{V}(2,n)$ constructed in a greedy fashion by setting $a_1 = 2$, $a_2 = n$ and defining $a_{m+1}$ as the smallest integer larger than $a_m$ that can be written as the sum of two (not necessarily distinct) earlier terms in exactly one way; the sequence $\mathcal{V}(2,3)$, for example, is given by $$ \mathcal{V}(2,3) = 2,3,4,5,9,10,11,16,22,\dots$$ We prove that if $n \geqslant 5$ is odd, then the sequence $\mathcal{V}(2,n)$ has exactly two even terms $\left\{2,2n\right\}$ if and only if $n-1$ is not a power of 2. We also show that in this case, $\mathcal{V}(2,n)$ eventually becomes a union of arithmetic progressions. If $n-1$ is a power of 2, then there is at least one more even term $2n^2 + 2$ and we conjecture there are no more even terms. In the proof, we display an interesting connection between $\mathcal{V}(2,n)$ and Sierpinski Triangle. We prove several other results, discuss a series of striking phenomena and pose many problems. This relates to existing results of Finch, Schmerl & Spiegel and a classical family of sequences defined by Ulam.

We give a number of results about families of Ulam sets. Generalizing behavior of Ulam sets U(1,n), we prove using an novel model theoretic approach that there is a rigidity phenomenon for Ulam sets U(a,b) as b increases. Based on this, we suggest a natural conjecture, and investigate its potential applications, including a method of proving certain families of Ulam sequences are regular, for which we also provide partial, unconditional, results. Along this same vein, we give an upper bound bound on the density of Ulam sequences U(1,n). Finally, we give classification results for higher dimensional Ulam sets.