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: