Dilations of (dual) Hilbert-Schmidt frames (Q2134737)

Given two Hilbert spaces \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\), \(\mathcal{B}\left(\mathcal{H}_{1}, \mathcal{H}_{2}\right)\) denotes the set of all bounded linear operators from \(\mathcal{H}_{1}\) to \(\mathcal{H}_{2}\), write \(\mathcal{B}\left(\mathcal{H}_{1}\right)=\mathcal{B}\left(\mathcal{H}_{1}, \mathcal{H}_{1}\right), I_{\mathcal{H}_{1}}\) denotes the identity operator on \(\mathcal{H}_{1}\). Let \(\left\{\mathcal{K}_{j}: j \in J\right\}\) be a sequence of separable Hilbert spaces. Given a sequence \(\left\{\Lambda_{j} \in \mathcal{B}\left(\mathcal{H}, \mathcal{K}_{j}\right): j \in J\right\}\), it is said to be \(g\)-complete if \(\left\{h \in \mathcal{H}: \Lambda_{j} h=0\right.\) for \(\left.j \in J\right\}=\{0\}\). The sequence is said to be a \(g\)-frame for \(\mathcal{H}\) with respect to \(\left\{\mathcal{K}_{j}\right\}_{j \in J}\) if there exist constants \(0<A \leq B<\infty\) such that \[ A\|h\|^{2} \leq \sum_{j \in J}\left\|\Lambda_{j} h\right\|^{2} \leq B\|h\|^{2} \text { for } h \in \mathcal{H}. \tag{2}\] The sequence is said to be a Parseval \(g\)-frame if \(A=B=1\) in (2), it is said to be a \(g\)-Bessel sequence with bound \(B\), if the right-hand side inequality of (2) holds and it is said to be a \(g\)-Riesz sequence in \(\mathcal{H}\) with respect to \(\left\{\mathcal{K}_{j}\right\}_{j \in J}\) if there exist constants \(0<A \leq B<\infty\) such that for any finite subset \(J_{1} \subset J\), and \(g_{j} \in \mathcal{K}_{j}\), \(j \in J_{1}\), An operator \(U \in \mathcal{B}(\mathcal{K})\) is called a Hilbert-Schmidt operator (an HS-operator) if \[ \|U\|_{2}=\left(\sum_{k \in K}\left\|U e_{k}\right\|^{2}\right)^{\frac{1}{2}}<\infty \] for some orthonormal basis \(\left\{e_{k}\right\}_{k \in K}\) in \(\mathcal{K}\), where \(K\) is a countable index set. It is well known that \(\|U\|_{2}\) is independent of the choice of \(\left\{e_{k}\right\}_{k \in K}\). Given a sequence \(\left\{\mathcal{G}_{j}\right\}_{j \in J}\) in \(\mathcal{B}\left(\mathcal{H}, \mathcal{C}_{2}\right)\), it is said to be \(H S\) complete if \(\left\{h \in \mathcal{H}: \mathcal{G}_{j} h=0\right.\) for \(\left.j \in J\right\}=\{0\}\). The sequence is said to be a Hilbert-Schmidt frame or simply an HS-frame for \(\mathcal{H}\) with respect to \(\mathcal{K}\), if there exist constants \(0<A \leq B<\infty\) such that \[ A\|h\|^{2} \leq \sum_{j \in J}\left\|\mathcal{G}_{j} h\right\|_{2}^{2} \leq B\|h\|^{2} \text { for } h \in \mathcal{H} \] This paper addresses the dilation problem on (dual) Hilbert-Schmidt frames (HS-frames). The authors present a dilation theorem from an HS-frame (a Parseval HS-frame, a dual HS-frame pair) to an HS-Riesz basis (an HS-orthonormal basis, a dual HS-Riesz basis pair); and prove that the corresponding orthogonal complementary HS-frame (joint complementary HS-frame) is unique up to equivalence (unitary equivalence, joint equivalence).