The statistical distribution of the zeros of random paraorthogonal polynomials on the unit circle

The orthogonal polynomials on the unit circle are defined by the recurrence relation

where for any k0. If we consider n complex numbers and , we can use the previous recurrence relation to define the monic polynomials Φ₀,Φ₁,…,Φ_n. The polynomial Φ_n(z)=Φ_n(z;α₀,…,α_n-2,α_n-1) obtained in this way is called the paraorthogonal polynomial associated to the coefficients α₀,α₁,…,α_n-1.We take α₀,α₁,…,α_n-2 i.i.d. random variables distributed uniformly in a disk of radius r<1 and α_n-1 another random variable independent of the previous ones and distributed uniformly on the unit circle. For any n we will consider the random paraorthogonal polynomial Φ_n(z)=Φ_n(z;α₀,…,α_n-2,α_n-1). The zeros of Φ_n are n random points on the unit circle.We prove that for any the distribution of the zeros of Φ_n in intervals of size near e^iθ is the same as the distribution of n independent random points uniformly distributed on the unit circle (i.e., Poisson). This means that, for large n, there is no local correlation between the zeros of the considered random paraorthogonal polynomials.