Toeplitz Quantization and Convexity

Abstract

Let $T^m_f $ be the Toeplitz quantization of a real $ C^{\infty}$ function defined on the sphere $ \mathbb{CP}(1)$. $T^m_f $ is therefore a Hermitian matrix with spectrum $λ^m= (λ_0^m,\ldots,λ_m^m)$. Schur's theorem says that the diagonal of a Hermitian matrix $A$ that has the same spectrum of $ T^m_f $ lies inside a finite dimensional convex set whose extreme points are $\{( λ_{σ(0)}^m,\ldots,λ_{σ(m)}^m)\}$, where $σ$ is any permutation of $(m+1)$ elements. In this paper, we prove that these convex sets "converge" to a huge convex set in $L^2([0,1])$ whose extreme points are $ f^*\circ ϕ$, where $ f^*$ is the decreasing rearrangement of $ f$ and $ ϕ$ ranges over the set of measure preserving transformations of the unit interval $ [0,1]$.