Functional calculus of quantum channels for the holomorphic discrete series of SU(1,1)

generalized Husimi function Hermitian symmetric spaces holomorphic discrete series quantum channels reproducing kernels Toeplitz operator Wehrl inequality

Mathematics Subject Classification ID

Analysis on real and complex Lie groups (22E30) Representations of Lie and linear algebraic groups over real fields: analytic methods (22E45) (L^p)-spaces and other function spaces on groups, semigroups, etc. (43A15) Linear operators in reproducing-kernel Hilbert spaces (including de Branges, de Branges-Rovnyak, and other structured spaces) (47B32)

Review text

Let \(\mathrm{SU}(1,1) =\left\{ \left( \begin{array}{cc} a & b \\\N\bar{b} & \bar{a} \end{array} \right) \mid a, b \in \mathbb{C} \mbox{ and } |a|^2 - |b|^2 =1 \right\}\) and let \(\mathbb{D}\) be the open unit disk in the complex plane. The elements of the group \(SU(1,1)\) act as analytic automorphisms on \(\mathbb{D}\). For this review \(\nu\) will always denote an \textit{integer} strictly greater than one. Set\N\[\N\mathcal{H}_{\nu} := \left\{ f : \mathbb{D} \rightarrow \mathbb{C} \text{ analytic } \mid \int_{\mathbb{D}} |f(z)|^2 (1 - |z|^2)^{\nu} \frac{dz}{\pi(1 - |z|^2)^2} < \infty \right\}.\N\]\NWe shall write \(d\iota = \frac{dz}{\pi (1 - |z|^2)^2}\). The set \(\mathcal{H}_{\nu}\) is endowed with a Hilbert space norm. Irreducible unitary representations of \(\mathrm{SU}(1,1)\) can be realized on \(\mathcal{H}_{\nu}\). These particular representations are known as the holomorphic discrete series. In the paper under review, the author studies the tensor product of these representations. It is known that there is a decomposition\N\[\N\mathcal{H}_{\mu} \otimes \mathcal{H}_{\nu} = \bigoplus_{k=0}^{\infty} \mathcal{H}_{\mu + \nu + 2k}\N\]\Nand that there is a projection \(P_k : \mathcal{H}_{\mu} \otimes \mathcal{H}_{\nu} \rightarrow \mathcal{H}_{\mu + \nu + 2k}\). Denote by \(I_{\nu}\) the identity operator on \(\mathcal{H}_{\nu}\).\N\NUsing the above decomposition we can define the operator \(\mathcal{T}_{\mu,k}^{\nu} : B(\mathcal{H}_{\mu}) \rightarrow B(\mathcal{H}_{\mu + \nu + 2k})\) by\N\[\N\mathcal{T}_{\mu,k}^{\nu} (A) = P_k (A \otimes I_{\nu})P_k^{\ast}.\N\]\NIt is shown that \(\mathcal{T}_{\mu, k}^{\nu}\) sends trace-class operators to trace-class operators and is trace-preserving up to a constant. Furthermore, it is also proved that \(\mathcal{T}_{\mu, k}^{\nu}\) is unital and weak-\(\ast\) continuous. The operator \(\mathcal{T}_{\mu,k}^{\nu}\) is referred to as a \textit{quantum channel}. The main result of the paper is:\N\NLet \(\psi \in C^1([0,1])\), \(\psi(0) =0\) and \(A \in B(\mathcal{H}_{\mu})\) positive and of trace one. Then\N\[\N\lim_{\nu \rightarrow \infty} \frac{1}{\nu} \mbox{Tr}(\psi(\mathcal{T}_{\mu,k}^{\nu}(A))) = \int_{\mathbb{D}} \psi (H_{\mu}^k(A)(z)) \, d\iota(z),\N\]\Nwhere \(H_{\mu}^k\) is a generalized Husimi function.\N\NLet \(f \in L^1(\mathbb{D})\) and set \(R_{\mu}^{\ast} (f) = \frac{1}{\mu-1} T_f\), where \(T_f\) is the Toeplitz operator of \(f\) on \(\mathcal{H}_{\mu}\). A result similar to the one above is proved for the case when \(A = R_{\mu}^{\ast}(f)\) is positive and of trace one.

Cites work

Cited in

(1)

Wehrl inequalities for matrix coefficients of holomorphic discrete series

This page was built for publication: Functional calculus of quantum channels for the holomorphic discrete series of \(\mathrm{SU}(1,1)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979239)