Average growth of \(L_p\) norms of Erdős-Szekeres polynomials (Q2116382)

Let \( A_p(M,n) \) be the average of \( \vert P_n(\{s_j\},\cdot)\Vert_p^p \) over all \( n- \)tuples of positive integers \( s_j\leq M, \) where \[ P_n(\{s_j\},z)=\prod_{j=1}^n(1-z^{s_j}), \] and \( \Vert\cdot\Vert_p \) is the normalized \( p- \)norm on the unit circle \( \vert z\vert =1. \) The corresponding variance is denoted by \( V_p(M,n). \) The authors study the asymptotic behaviour of those quantities in different regimes. For example, Theorems 1.2 and 1.4 give the value of the limit \( \lim_{k\to\infty}A_p(M_k,n_k)^{1/n_k}\), \(p\geq 1 \) and \(\lim_{k\to\infty}V_p(M_k,n_k)^{1/n_k}\), \(p\geq 2\), \(\rho=1, \) where \( \{M_k,\},\{n_k\} \) are sequences of positive integers with limit \( \infty \) such that for some \( \rho\in[1,\infty]\quad \lim_{k\to\infty}M_k^{1/n_k}=\rho. \) The expressions for the limits are essentially simpler for the case \( p=2 \) (Theorem 1.2). For the fixed \( n \) the limits \( \lim_{M\to\infty}A_p(M,n) \) and \( \lim_{M\to\infty}V_p(M,n)=0 \) are found for \( p>0 \) (Theorem 1.3). Also the averages over subsequences of the integers that generate uniformly distributed subsequences, rather than requiring all \( 1\leq s_j\leq M, \) and varying bounds instead of the uniform bound \( M \) are considered.