6c821b459661c351.tex
1: \begin{abstract}
2: Let
3: $\mathfrak H$  be a  
4: Hilbert space, let $U$ be a unitary operator on $\mathfrak H$ and let $\mathfrak K$ be a cyclic subspace for $U$.
5:  The spectral measure of the pair $(U, \mathfrak K)$ is an 
6: operator-valued measure $\mu_{\mathfrak K}$ on the unit circle $\mathbb T$ such that
7: %
8: \[\int_\mathbb T z^k d\mu_{\mathfrak K}(z)
9:  = \left( P_\mathfrak K U^k\right)_{\!\upharpoonright \mathfrak K}\ , \ \forall \ k\geq 0 \,\]
10: %
11: where $P_{\mathfrak K}$ and $\upharpoonright\!\mathfrak K$ are the projection  and restriction on $\mathfrak K$, respectively. 
12: When $\mathfrak K$ is one dimensional, $\mu$ is a scalar probability measure. In this case, 
13: if $U$ is picked at random from the unitary group $\mathbb U(N)$ 
14: under the Haar measure, then any fixed $\mathfrak K$ is almost surely cyclic for $U$. 
15: Let $\mu\sn$ be the  random spectral (scalar) measure
16: %
17:  of $(U, \mathfrak K)$. 
18: The sequence  $(\mu\sn)$ was studied  
19:  extensively, in the regime of large $N$. It converges to the Haar measure $\lambda$ on $\mathbb T$ and satisfies the Large Deviation Principle at scale $N$ with a good rate function which is  the reverse Kullback information with respect to $\lambda$  
20: (\cite{gamboacanonical}). The purpose of the present paper is to give an extension of this result for general $\mathfrak K$ (of fixed finite dimension $p$) and eventually to offer a projective statement (all $p$ simultaneously), at the level of 
21: operator-valued spectral measures in infinite dimensional spaces.
22:  \end{abstract}
23: