1: \begin{abstract}

2: We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in \cite{Frantzikinakis10,Frantzikinakis16} and obtain combinatorial applications which contain, as rather special cases, several previously known (polynomial and non-polynomial) extensions of \Szemeredi{}'s theorem on arithmetic progressions \cite{BL96,BLL08,FW09,Frantzikinakis10,BMR17arXiv}.

3: One of the novel features of our results, which is not present in previous work, is that they allow for a mixture of polynomials and non-polynomial functions.

4: As an illustration, assume $f_i(t)=a_{i,1}t^{c_{i,1}}+\cdots+a_{i,d}t^{c_{i,d}}$ for $c_{i,j}>0$ and $a_{i,j}\in\R$.

5: Then

6: \begin{itemize}

7:  \item for any measure preserving system $(X,\B,\mu,T)$ and $h_1,\dots,h_k\in L^\infty(X)$, the limit

8: $$\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N T^{[f_1(n)]}h_1\cdots T^{[f_k(n)]}h_k$$

9: exists in $L^2$;

10:     \item for any $E\subset \N$ with $\upperdens(E)>0$ there are $a,n\in\N$ such that $\{a,\, a+[f_1(n)],\ldots,a+[f_k(n)]\}\subset E$.

11: \end{itemize}

12: We also show that if $f_1,\dots,f_k$ belong to a Hardy field, have polynomial growth, and are such that no linear combination of them is a polynomial, then for any measure preserving system $(X,\B,\mu,T)$ and any $A\in\B$,

13: $$\limsup_{N\to\infty}\frac{1}{N}\sum_{n=1}^N\mu\Big(A\cap T^{-[ f_1(n) ]}A\cap\ldots\cap T^{-[f_k(n)]}A\Big)\,\geq\,\mu(A)^{k+1}.$$

14: \end{abstract}

15: