Random orthogonal polynomials of a circle (Q1100599)

The author proves a theorem on orthogonal polynomials on the unit circle \(T:=\{z:| z| =1\}\) generated as follows: \(a_ n\in {\mathbb{C}}\), \(| a_ n| <1\), \(\sum^{\infty}_{0}| a_ n|^ 2<\infty\), \(\phi_ 0(z)\equiv 1\), \(\phi_{n+1}(z)=z\phi_ n(z)-\bar a_ n\phi^*_ n(z)\), where \(\phi^*_ n(z)=z^ n{\bar \phi}_ n(1/z)\), \({\bar \phi}_ n\) indicates that the coefficients of \(\phi_ n\) are replaced by their conjugates. The sequence \(\{\phi_ n(z)\}\) is orthogonal on T with respect to a measure \(\sigma\). Replace \(a_ n\) by \(\epsilon_ na_ n\) where \(\epsilon_ n=\pm 1\). The author proves the theorem: Let \(| a_ n| <1\), \(\sum^{\infty}_{0}| a_ n|^ 2<\infty\). Then for almost all sequences \(\{\epsilon_ n\}^{\infty}_ 0\) the parameter sequence satisfies: 1. The measure \(\sigma =\sigma (\{\epsilon_ na_ n\})\) on T is absolutely continuous and \(d\sigma =\omega (z)| dz|\) implies 2. \(\exists \gamma >0\ni \exp \gamma \omega^ 2(z)\in L_ 1(T)\) and 3. the orthonormal polynomials \(\phi_ n\) satisfy \[ \int_{T}\sup_{n}| \phi_ n(z)|^ q| dz| \leq C_ q<\infty \quad \forall q>0. \]