Local universality for real roots of random trigonometric polynomials

Consider a random trigonometric polynomial $X_n: \mathbb R \to \mathbb R$ of the form $$X_n(t) = \sum_{k=1}^n \left( \xi_k \sin (kt) + \eta_k \cos (kt)\right),$$ where $(\xi_1,\eta_1),(\xi_2,\eta_2),\ldots$ are independent identically distributed bivariate real random vectors with zero mean and unit covariance matrix. Let $(s_n)_{n\in\mathbb N}$ be any sequence of real numbers. We prove that as $n\to\infty$, the number of real zeros of $X_n$ in the interval $[s_n+a/n, s_n+ b/n]$ converges in distribution to the number of zeros in the interval $[a,b]$ of a stationary, zero-mean Gaussian process with correlation function $(\sin t)/t$. We also establish similar local universality results for the centered random vectors $(\xi_k,\eta_k)$ having an arbitrary covariance matrix or belonging to the domain of attraction of a two-dimensional $\alpha$-stable law.