In my question here I suggest a possibility for generalization of Furstenberg recurrence theorem needing some hypothesis for that generalization to be hold in the side of convergence of the below average (Multiple reccurence theorem) and existence of positive integer $n$ such that we have positive measure (Furstenberg recurrence theorem)

Furstenberg recurrence theorem: Let $E$ be a subset of a probability space $(X,\mu)$ of positive measure, and let $T: X \to X$ be an invertible measure-preserving shift. Then for any $k \geq 1$ there exists a positive integer $n$ such that $E \cap T^n E \cap T^{2n} E \cap \dots \cap T^{(k-1) n} E$ has positive measure.

Assume we try to generalise this reccurence theorem by the substitution

of linear terms $n,2n,\cdots (k-1)n $ by integer -polynomial valued $p_1(n),p_2(n),\cdots p_i(n),1\leq i \leq n$ of degree ($d \geq 1$), My question here is:

Question: What are the hypothesis we should add to that generalisation to have existence of positive integer $n$ with $E \cap T^{p_1(n)} E \cap T^{p_2(n)} E \cap \dots \cap T^{(k-1) p_i(n)} E$ has a positive measure ?

Probably this question have the same meaning by asking about necessary hypothesis that we should add for the convergence of the lower limit (averge) to be hold which is defined by :

$\lim_{N\to \infty} \inf\frac{1}{N} (\sum_{}^{}E \cap T^{p_1(n)} E \cap T^{p_2(n)} E \cap \dots \cap T^{(k-1) p_i(n)} E)>0$ ?