More Like this

1. Weak-Type (1,1) Inequality for Discrete Maximal Functions and Pointwise Ergodic Theorems Along Thin Arithmetic Sets

   https://doi.org/10.1007/s00041-024-10093-z  

   Daskalakis, Leonidas (June 2024, Journal of Fourier Analysis and Applications)

   Abstract We establish weak-type (1, 1) bounds for the maximal function associated with ergodic averaging operators modeled on a wide class of thin deterministic setsB. As a corollary we obtain the corresponding pointwise convergence result on$$L^1$$ $L^1$. This contributes yet another counterexample for the conjecture of Rosenblatt and Wierdl from 1991 asserting the failure of pointwise convergence on$$L^1$$ $L^1$of ergodic averages along arithmetic sets with zero Banach density. The second main result is a multiparameter pointwise ergodic theorem in the spirit of Dunford and Zygmund alongBon$$L^p$$ $L^p$,$$p>1$$ $p>1$, which is derived by establishing uniform oscillation estimates and certain vector-valued maximal estimates. 

   more » « less
2. On a multi-parameter variant of the Bellow–Furstenberg problem

   https://doi.org/10.1017/fmp.2023.21  

   Bourgain, Jean; Mirek, Mariusz; Stein, Elias M.; Wright, James (January 2023, Forum of Mathematics, Pi)

   Abstract We prove convergence in norm and pointwise almost everywhere on$$L^p$$,$$p\in (1,\infty )$$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow–Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages. 

   more » « less
3. Vector-Valued Maximal Inequalities and Multiparameter Oscillation Inequalities for the Polynomial Ergodic Averages Along Multi-dimensional Subsets of Primes

   https://doi.org/10.1007/s00041-024-10119-6  

   Mehlhop, Nathan (December 2024, Journal of Fourier Analysis and Applications)

   Abstract We prove uniform$$\ell ^2$$ ${\ell }^2$-valued maximal inequalities for polynomial ergodic averages and truncated singular operators of Cotlar type modeled over multidimensional subsets of primes. In the averages case, we combine this with earlier one-parameter oscillation estimates (Mehlhop and Słomian in Math Ann, 2023,https://doi.org/10.1007/s00208-023-02597-8) to prove corresponding multiparameter oscillation estimates. This provides a fuller quantitative description of the pointwise convergence of the mentioned averages and is a generalization of the polynomial Dunford–Zygmund ergodic theorem attributed to Bourgain (Mirek et al. in Rev Mat Iberoam 38:2249–2284, 2022). 

   more » « less
4. Polynomial sequences in discrete nilpotent groups of step 2

   https://doi.org/10.1515/ans-2023-0085  

   Ionescu, Alexandru D.; Magyar, Ákos; Mirek, Mariusz; Szarek, Tomasz Z. (August 2023, Advanced Nonlinear Studies)

   Lu, Guozhen (Ed.)

   Abstract We discuss some of our work on averages along polynomial sequences in nilpotent groups of step 2. Our main results include boundedness of associated maximal functions and singular integrals operators, an almost everywhere pointwise convergence theorem for ergodic averages along polynomial sequences, and a nilpotent Waring theorem. Our proofs are based on analytical tools, such as a nilpotent Weyl inequality, and on complex almost-orthogonality arguments that are designed to replace Fourier transform tools, which are not available in the noncommutative nilpotent setting. In particular, we present what we call anilpotent circle methodthat allows us to adapt some of the ideas of the classical circle method to the setting of nilpotent groups. 

   more » « less
5. On a Bohr set analogue of Chowla’s conjecture

   https://doi.org/10.1007/s00209-025-03770-2  

   Teräväinen, Joni; Walker, Aled (May 2025, Mathematische Zeitschrift)

   Abstract Let$$\lambda $$ $\lambda$denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ $\lambda \left(\lfloor {\alpha }_{1}n\rfloor \right)\lambda \left(\lfloor {\alpha }_{2}n\rfloor \right)$is 0 whenever$$\alpha _1,\alpha _2$$ ${\alpha }_1,{\alpha }_2$are positive reals with$$\alpha _1/\alpha _2$$ ${\alpha }_1/{\alpha }_2$irrational. We also show that for$$k\geqslant 3$$ $k⩾3$the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ $\lambda \left(\lfloor {\alpha }_{1}n\rfloor \right)\cdots \lambda \left(\lfloor {\alpha }_{k}n\rfloor \right)$has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _i.$$ ${\alpha }_i.$Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević–Hernández–Rizk–Sereesuchart–Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. 

   more » « less