-
Resolving the joint ergodicity problem for Hardy sequences
Authors:
Sebastián Donoso,
Andreas Koutsogiannis,
Borys Kuca,
Wenbo Sun,
Konstantinos Tsinas
Abstract:
The joint ergodicity classification problem aims to characterize those sequences which are jointly ergodic along an arbitrary dynamical system if and only if they satisfy two natural, simpler-to-verify conditions on this system. These two conditions, dubbed the difference and product ergodicity conditions, naturally arise from Berend and Bergelson's pioneering work on joint ergodicity. Elaborating…
▽ More
The joint ergodicity classification problem aims to characterize those sequences which are jointly ergodic along an arbitrary dynamical system if and only if they satisfy two natural, simpler-to-verify conditions on this system. These two conditions, dubbed the difference and product ergodicity conditions, naturally arise from Berend and Bergelson's pioneering work on joint ergodicity. Elaborating on our earlier work, we investigate this problem for Hardy sequences of polynomial growth, this time without making any independence assumptions on the sequences. Our main result establishes the "difficult" direction of the problem: if a Hardy family satisfies the difference and product ergodicity conditions on a given system, then it is jointly ergodic for this system. We also find that, surprisingly, the converse fails for certain pathological families of Hardy sequences, even though it holds for all "reasonable" Hardy families. We conclude by suggesting potential fixes to the statement of this problem. New ideas of independent interest developed in this paper include the structure theory of a family of factors generalizing Host-Kra and box factors; a strengthening of Tao-Ziegler's concatenation results; and the most robust extension of a seminorm smoothing argument.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
On multiplicative recurrence along linear patterns
Authors:
Dimitrios Charamaras,
Andreas Mountakis,
Konstantinos Tsinas
Abstract:
In a recent article, Donoso, Le, Moreira and Sun studied sets of recurrence for actions of the multiplicative semigroup $(\mathbb{N}, \times)$ and provided some sufficient conditions for sets of the form $S=\{(an+b)/(cn+d) \colon n \in \mathbb{N} \}$ to be sets of recurrence for such actions. A necessary condition for $S$ to be a set of multiplicative recurrence is that for every completely multip…
▽ More
In a recent article, Donoso, Le, Moreira and Sun studied sets of recurrence for actions of the multiplicative semigroup $(\mathbb{N}, \times)$ and provided some sufficient conditions for sets of the form $S=\{(an+b)/(cn+d) \colon n \in \mathbb{N} \}$ to be sets of recurrence for such actions. A necessary condition for $S$ to be a set of multiplicative recurrence is that for every completely multiplicative function $f$ taking values on the unit circle, we have that $\liminf_{n \to \infty} |f(an+b)-f(cn+d)|=0.$ In this article, we fully characterize the integer quadruples $(a,b,c,d)$ which satisfy the latter property. Our result generalizes a result of Klurman and Mangerel concerning the pair $(n,n+1)$, as well as some results of Donoso, Le, Moreira and Sun. In addition, we prove that, under the same conditions on $(a,b,c,d)$, the set $S$ is a set of recurrence for finitely generated actions of $(\mathbb{N}, \times)$.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Seminorm estimates and joint ergodicity for pairwise independent Hardy sequences
Authors:
Sebastián Donoso,
Andreas Koutsogiannis,
Borys Kuca,
Wenbo Sun,
Konstantinos Tsinas
Abstract:
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 sequen…
▽ More
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
\[ (m_1, m_2),\; (m_1 + \lfloor{n^{3/2}}\rfloor, m_2),\; (m_1, m_2 + \lfloor{n^{3/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 improve simultaneous Taylor approximations for Hardy sequences.
△ Less
Submitted 30 January, 2025; v1 submitted 19 October, 2024;
originally announced October 2024.
-
Ergodic averages for sparse sequences along primes
Authors:
Andreas Koutsogiannis,
Konstantinos Tsinas
Abstract:
We investigate the limiting behavior of multiple ergodic averages along sparse sequences evaluated at prime numbers. Our sequences arise from smooth and well-behaved functions that have polynomial growth. Central to this topic is a comparison result between standard Cesáro averages along positive integers and averages weighted by the (modified) von Mangoldt function. The main ingredients are a rec…
▽ More
We investigate the limiting behavior of multiple ergodic averages along sparse sequences evaluated at prime numbers. Our sequences arise from smooth and well-behaved functions that have polynomial growth. Central to this topic is a comparison result between standard Cesáro averages along positive integers and averages weighted by the (modified) von Mangoldt function. The main ingredients are a recent result of Matomäki, Shao, Tao and Teräväinen on the Gowers uniformity of the latter function in short intervals, a lifting argument that allows one to pass from actions of integers to flows, a simultaneous (variable) polynomial approximation in appropriate short intervals, and some quantitative equidistribution results for the former polynomials. We derive numerous applications in multiple recurrence, additive combinatorics, and equidistribution in nilmanifolds along primes. In particular, we deduce that any set of positive density contains arithmetic progressions with step $\lfloor p^c \rfloor$, where $c$ is a positive non-integer and $p$ denotes a prime, establishing a conjecture of Frantzikinakis.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Pointwise convergence in nilmanifolds along smooth functions of polynomial growth
Authors:
Konstantinos Tsinas
Abstract:
We study the equidistribution of orbits of the form $b_1^{a_1(n)}... b_k^{a_k(n)}Γ$ in a nilmanifold $X$, where the sequences $a_i(n)$ arise from smooth functions of polynomial growth belonging to a Hardy field. We show that under certain assumptions on the growth rates of the functions $a_1,...,a_k$, these orbits are uniformly distributed on some subnilmanifold of the space $X$. As an application…
▽ More
We study the equidistribution of orbits of the form $b_1^{a_1(n)}... b_k^{a_k(n)}Γ$ in a nilmanifold $X$, where the sequences $a_i(n)$ arise from smooth functions of polynomial growth belonging to a Hardy field. We show that under certain assumptions on the growth rates of the functions $a_1,...,a_k$, these orbits are uniformly distributed on some subnilmanifold of the space $X$. As an application of these results and in combination with the Host-Kra structure theorem for measure preserving systems, as well as some recent seminorm estimates of the author for ergodic averages concerning Hardy field functions, we deduce a norm convergence result for multiple ergodic averages. Our method mainly relies on an equidistribution result of Green-Tao on finite polynomial orbits of a nilmanifold.
△ Less
Submitted 21 September, 2023; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Joint ergodicity of Hardy field sequences
Authors:
Konstantinos Tsinas
Abstract:
We study mean convergence of multiple ergodic averages, where the iterates arise from smooth functions of polynomial growth that belong to a Hardy field. Our results include all logarithmico-exponential functions of polynomial growth, such as the functions $t^{3/2}, t\log t$ and $e^{\sqrt{\log t}}$. We show that if all non-trivial linear combinations of the functions $a_1,...,a_k$ stay logarithmic…
▽ More
We study mean convergence of multiple ergodic averages, where the iterates arise from smooth functions of polynomial growth that belong to a Hardy field. Our results include all logarithmico-exponential functions of polynomial growth, such as the functions $t^{3/2}, t\log t$ and $e^{\sqrt{\log t}}$. We show that if all non-trivial linear combinations of the functions $a_1,...,a_k$ stay logarithmically away from rational polynomials, then the $L^2$-limit of the ergodic averages $\frac{1}{N} \sum_{n=1}^{N}f_1(T^{\lfloor{a_1(n)}\rfloor}x)\cdots f_k(T^{\lfloor{a_k(n)}\rfloor}x)$ exists and is equal to the product of the integrals of the functions $f_1,...,f_k$ in ergodic systems, which establishes a conjecture of Frantzikinakis. Under some more general conditions on the functions $a_1,...,a_k$, we also find characteristic factors for convergence of the above averages and deduce a convergence result for weak-mixing systems.
△ Less
Submitted 10 March, 2023; v1 submitted 16 September, 2021;
originally announced September 2021.
