Equidistribution results for sequences of polynomials (Q784263)

A sequence \(\{x_n\}\) has Poissonian pair correlations if for all \(s>0\) we have \[ \lim\limits_{N\to\infty} \frac{\sharp\{1\leq m\neq n\leq N:||x_n-x_m||\leq \frac{s}{N} \}}{N}=2s. \] Let \(\{f_n\}\) be a sequence of polynomials satisfying the following properties: 1) The sequence \(\{ \deg (f_n)\}\) is strictly increasing. 2) For any \(n_2>n_1\) \(f_{n_2}-f_{n_1}\) is strictly increasing and convex on \((1,\infty)\). 3) For any \([a,b]\subset (1,\infty)\) there exists \(c_{a,b}>0\) such that for any \(\alpha\in [a,b]\) and \(n_2>n_1\) we have \[ (f_{n_2}-f_{n_1})'(\alpha)\geq c_{a,b}\deg f_{n_2}\alpha^{\deg f_{n_1}}.\] 4) For any \([a,b]\subset (1,\infty)\) there exists \(C_{a,b}>0\) such that for any \(\alpha\in [a,b]\) and \(n_2>n_1\) we have \[ \frac{\alpha^{\deg f_{n_2}}}{C_{a,b}}\leq (f_{n_2}-f_{n_1})(\alpha)\leq C_{a,b}\alpha^{\deg f_{n_2}}. \] 5) For any \([a,b]\subset (1,\infty)\), sufficiently large \(n_1\) and all \(n_2>1\) we have \[ \left(\frac{2\deg f_{n_2}}{\deg f_{n_1}}-1\right) \log C_{a,b}+(\deg f_{n_1}-\deg f_{n_2})\log a-\log \left(\deg f_{n_2}\left(\frac{\deg f_{n_2}}{\deg f_{n_1}}-1\right)\right)\leq -3\log n_2. \] Then for Lebesgue almost every \(\alpha>1\) the sequence \(\{f_n(\alpha)\}\) has Poissonian pair correlations. Particularly, for \(k\geq 2\) and Lebesgue almost every \(\alpha>1\) the sequences \[ \{\alpha^{n^k}\}, \quad \{\alpha^{n^k}+\alpha^{n^{k-1}}+\ldots+\alpha+1\}, \quad \alpha^{n!}\] have Poissonian pair correlations.