Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem
Valter Moretti, Davide Pastorello
May 21, 2012
Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH)
\geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $\nu_\cH$ be
the unique regular Borel positive measure invariant under the action of the
unitary operators in $\cH$, with $\nu_\cH(\bS(\cH))=1$. We prove that if a
complex frame function $f : \bS(\cH)\to \bC$ satisfies $f \in \cL^2(\bS(\cH),
\nu_\cH)$, then it verifies Gleason's statement: There is a unique linear
operator $A: \cH \to \cH$ such that $f(u) = < u| A u>$ for every $u \in
\bS(\cH)$. $A$ is Hermitean when $f$ is real. No boundedness requirement is
thus assumed on $f$ {\em a priori}.
Keywords:
Frame function, Gleason's theorem