Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-24T03:00:56.841Z Has data issue: false hasContentIssue false

Remarks on Naimark dilation theorem

Published online by Cambridge University Press:  28 November 2023

Sergiusz Kużel*
Affiliation:
AGH University of Science and Technology, al. A. Mickiewicza 30, Kraków, 30-059, Poland
Rights & Permissions [Opens in a new window]

Abstract

Although Naimark dilation theorem was originally stated in 1940, it still finds many important applications in various areas. The objective of this paper is to introduce a method for explicitly constructing the vectors of complementary frames in the Naimark dilation theorem, specifically in cases where the initial Parseval frame contains a Riesz basis as a subset. These findings serve as a foundation for the construction of dual frames.

Type
Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Canadian Mathematical Society

1 Introduction

Various versions of the Naimark dilation theorem have garnered steady interest in recent research, with applications in operator theory, signal processing, computer science, engineering, and quantum information theory (see, e.g., [Reference Han and Larson5, Reference Holevo7, Reference Kamuda and Kużel9, Reference Nilsen and Chuang11, Reference Pares12]). The original result, established by Naimark in 1940 for the case of a generalized resolution of identity [Reference Naimark10], was analogized for a Parseval frame (PF) by Han and Larson in 2000 [Reference Han and Larson5] and it states the following theorem.

Theorem 1.1 Let ${{\mathscr{F}}}_e=\{e_j, \,j\in \mathbb{J}\}$ be a PF in a Hilbert space ${\mathscr{K}}$ . Then there exist a Hilbert space ${\mathscr{M}}$ and a complementary PF ${{\mathscr{F}}}_{m}=\{m_j, \,j\in \mathbb{J}\}$ in ${\mathscr{M}}$ such that the set of vectors

(1.1) $$ \begin{align} {{\mathscr{F}}}_{e\oplus{m}}=\{e_j\oplus{m}_j, \ j\in \mathbb{J}\} \end{align} $$

is an orthonormal basis of ${\mathscr{H}}={\mathscr{K}}\oplus {\mathscr{M}}$ . The extension of ${{\mathscr{F}}}_e$ to an orthonormal basis ${{\mathscr{F}}}_{e\oplus {m}}$ described above is unique up to unitary equivalence.

Generalizations of the Naimark dilation theorem for frames and representation systems can be found in [Reference Czaja4, Reference Terekhin14]. It is also worth mentioning that a complementary PF ${{\mathscr{F}}}_{m}$ was described in [Reference Han and Larson5] through the identification of ${\mathscr{H}}$ with $\ell _2(\mathbb{J})$ . Such a description of ${{\mathscr{F}}}_{m}$ is not always adequate. Since Theorem 1.1 holds numerous significant applications, it becomes crucial to discover a relatively simple representation of the complementary frame ${{\mathscr{F}}}_{m}$ using the original PF ${{\mathscr{F}}}_e$ . In this paper, we present a method for explicitly constructing the vectors of ${{\mathscr{F}}}_{m}$ in scenarios where the initial frame ${{\mathscr{F}}}_{e}$ includes a Riesz basis as a subset (Section 3). These results are subsequently utilized in the construction of dual frames in Section 4.

Throughout the paper, all operators are assumed to be linear and bounded, $\mathscr{R}(A)$ and $\ker {A}$ denote the range and the null-space of an operator A, respectively, while $A|_{\mathscr{D}}$ stands for the restriction of A to the set $\mathscr{D}$ . An operator A acting in a Hilbert space with scalar product $(\cdot , \cdot )$ is called nonnegative (positive) if $(Af,f)\geq {0}$ ( $(Af, f)>0, \ f\not =0$ ).

Let $\mathfrak{L}_1$ and $\mathfrak{L}_2$ be closed subspaces of Hilbert spaces ${\mathfrak H}_1$ and ${\mathfrak H}_2$ , respectively. An operator of $\mathfrak{H}_1$ into $\mathfrak{H}_2$ that maps $\mathfrak{L}_1$ isometrically onto $\mathfrak{L}_2$ and annihilates $\mathfrak{H}_1\ominus \mathfrak{L}_1$ is called a partial isometry. Then $\mathfrak{L}_1$ is called the initial space, and $\mathfrak{L}_2$ is called the final space of the partial isometry.

2 Preliminaries

Here, all necessary facts about frames and PFs are presented in a form convenient for our exposition. More details can found in [Reference Balan, Casazza, Heil and Landau2, Reference Christensen3, Reference Heil6].

Let ${\mathscr{K}}$ be a separable Hilbert space with scalar product $(\cdot , \cdot )$ linear in the first argument. Denote by $\mathbb{J}$ a generic countable (finite) index set and by $|\mathbb{J}|$ its cardinality.

PF is a family of vectors ${{\mathscr{F}}}_e=\{e_j, \,j\in \mathbb{J}\}$ in ${\mathscr{K}}$ for which

$$ \begin{align*}||f||^2=\sum_{j\in\mathbb{J}}{|(f, e_j)|^2}, \quad f\in {\mathscr{K}}. \end{align*} $$

The above equality is an analogue to the Parseval equality known for orthonormal bases. A frame is a family of vectors ${{\mathscr{F}}}_\varphi =\{\varphi _j, \,j\in \mathbb{J}\}$ in ${\mathscr{K}}$ which satisfies

$$ \begin{align*}A\|f\|^2\leq\sum_{j\in\mathbb{J}}{|(f, \varphi_j)|^2}\leq{B}\|f\|^2, \quad f\in {\mathscr{K}}, \end{align*} $$

where $0<A\leq {B}$ . PFs are frames with $A=B=1.$ A family ${{\mathscr{F}}}_\varphi $ is called a frame sequence if ${{\mathscr{F}}}_\varphi $ is a frame for $\overline {\mathsf{span}}{{\mathscr{F}}}_\varphi $ .

Each frame ${{\mathscr{F}}}_\varphi $ determines a bounded mapping $\theta _\varphi : {\mathscr{K}} \to \ell _2(\mathbb{J})$

(2.1) $$ \begin{align} \theta_\varphi{f}=\{(f, \varphi_j)\}_{j\in\mathbb{J}}, \qquad f\in{\mathscr{K}}, \end{align} $$

which is called the analysis operator. By the construction, the image set ${\mathscr R}(\theta _\varphi )$ of $\theta _\varphi $ is a subspace of $\ell _2(\mathbb{J})$ .

Following [Reference Balan, Casazza, Heil and Landau2], we recall that the excess $\mathbf{e}[{{\mathscr{F}}}_\varphi ]$ of a frame ${{\mathscr{F}}}_\varphi $ is the greatest integer n such that n elements can be deleted from the frame ${{\mathscr{F}}}_\varphi $ and still leave a complete set, or $\infty $ if there is no upper bound to the number of elements that can be removed. In view of [Reference Balan, Casazza, Heil and Landau2, Lemma 4.1],

$$ \begin{align*}\mathbf{e}[{{\mathscr{F}}}_\varphi]=\dim[\ell_2(\mathbb{J})\ominus{\mathscr R}(\theta_\varphi)].\end{align*} $$

This means that

(2.2) $$ \begin{align} |\mathbb{J}|=\mathbf{e}[{{\mathscr{F}}}_\varphi]+\dim{\mathscr{K}}. \end{align} $$

The excess $\mathbf{e}[{{\mathscr{F}}}_e]$ of a PF ${{\mathscr{F}}}_e$ coincides with the dimension of the complementary Hilbert space ${\mathscr{M}}$ in Theorem 1.1. The zero excess of a frame ${{\mathscr{F}}}_\varphi $ (of a PF ${{\mathscr{F}}}_{e}$ ) means that ${{\mathscr{F}}}_\varphi $ is a Riesz basis ( ${{\mathscr{F}}}_e$ is an orthonormal basis) of ${\mathscr{K}}$ .

For a frame ${{\mathscr{F}}}_\varphi $ , the corresponding frame operator $S{f}=\sum _{j\in \mathbb{J}}(f, \varphi _j)\varphi _j$ is bounded, positive, and invertible in ${\mathscr{K}}$ . The frame operators for PFs coincide with the identity operator. If S is a frame operator for a frame (for a Riesz basis) ${{\mathscr{F}}}_\varphi $ , then the set $\{S^{-1/2}\varphi _j, j\in \mathbb{J}\}$ is a PF (is an orthonormal basis) of ${\mathscr{K}}$ .

3 The main results

Assume that a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ contains a Riesz basis ${{\mathscr{F}}}_e^0=\{e_j, j\in \mathbb{J}_0\}\ (\mathbb{J}_0\subset \mathbb{J})$ as a subset and let $S_0$ be the frame operator of ${{\mathscr{F}}}_e^0$ .

The operator $I-S_0$ is nonnegative in ${\mathscr{K}}$ since

(3.1) $$ \begin{align} ((I-S_0)f, f)=\|f\|^2-\sum_{j\in\mathbb{J}_0}|(f, e_j)|^2=\sum_{j\in\mathbb{J}_1}|(f, e_j)|^2\geq{0}, \quad f\in{\mathscr{K}}. \end{align} $$

Denote ${\mathscr{M}}_1=\overline {\mathsf{span}}\ {{\mathscr{F}}}_e^1$ , where ${{\mathscr{F}}}_e^1=\{e_j, j\in \mathbb{J}_1\}$ and $\mathbb{J}_1=\mathbb{J}\setminus \mathbb{J}_0$ . The relation (3.1) implies that

(3.2) $$ \begin{align} \ker(I-S_0)={\mathscr{K}}\ominus{\mathscr{M}}_1. \end{align} $$

Hence, ${\mathscr{M}}_1$ coincides with $\overline {\mathscr{R}(I-S_0)}$ and it is a reducing subspace for $I-S_0$ . Denote by $(I-S_0)|_{{\mathscr{M}}_1}$ the restriction of $I-S_0$ onto ${\mathscr{M}}_1$ . The operator $(I-S_0)|_{{\mathscr{M}}_1}$ is a positive self-adjoint operator acting in ${\mathscr{M}}_1$ . Therefore, the inverse operator

$$ \begin{align*}((I-S_0)|_{{\mathscr{M}}_1})^{-1} : {\mathscr{M}}_1\to{\mathscr{M}}_1\end{align*} $$

exists.

Lemma 3.1 The following are equivalent:

  1. (i) The range $\mathscr{R}(I-S_0)$ is a closed set.

  2. (ii) The inverse operator $((I-S_0)|_{{\mathscr{M}}_1})^{-1}$ is bounded.

  3. (iii) The family ${{\mathscr{F}}}_e^1$ is a frame sequence.

Proof Items (i) and (ii) are equivalent due to the inverse mapping theorem [Reference Heil6, p. 75].

(iii) $\to $ (ii). The relation

(3.3) $$ \begin{align} (I-S_0)f=\sum_{j\in\mathbb{J}}(f, e_j)e_j-\sum_{j\in\mathbb{J}_0}(f, e_j)e_j=\sum_{j\in\mathbb{J}_1}(f, e_j)e_j \end{align} $$

implies that $(I-S_0)|_{{\mathscr{M}}_1}$ is a frame operator of the frame ${{\mathscr{F}}}_e^1$ in the Hilbert space ${{\mathscr{M}}_1=\overline {\mathscr{R}(I-S_0)}}$ . Hence, the inverse operator $((I-S_0)|_{{\mathscr{M}}_1})^{-1}$ is bounded.

(ii) $\to $ (iii). Since $(I-S_0)|_{{\mathscr{M}}_1}$ is positive, there exists $((I-S_0)_{{\mathscr{M}}_1})^{1/2}$ and, for all $f\in {\mathscr{M}}_1$ ,

$$ \begin{align*}\sum_{j\in\mathbb{J}_1}|(f, e_j)|^2=((I-S_0)f, f)\leq\|((I-S_0)_{{\mathscr{M}}_1})^{1/2}\|^2\|f\|^2. \end{align*} $$

Similarly, taking into account that $((I-S_0)|_{{\mathscr{M}}_1})^{-1}$ is bounded, we get

$$ \begin{align*}\sum_{j\in\mathbb{J}_1}|(f, e_j)|^2= \|((I-S_0)|_{{\mathscr{M}}_1})^{1/2}f\|^2\geq \frac{1}{\|((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}\|^2}\|f\|^2, \end{align*} $$

which completes the proof.

Lemma 3.2 Assume that the index set of a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ can be decomposed ${\mathbb{J}=\mathbb{J}_0\cup \mathbb{J}_1}$ in such a way that ${{\mathscr{F}}}_e^0=\{e_j, j\in \mathbb{J}_0\}$ is a Riesz basis of ${\mathscr{K}}$ , while ${{\mathscr{F}}}_e^1=\{e_j, j\in \mathbb{J}_1\}$ is a frame sequence. Let $S_0$ be a frame operator of ${{\mathscr{F}}}_e^0$ . Then the family of vectors

(3.4) $$ \begin{align} {{\mathscr{F}}}_{e}^{ext}=\left\{\begin{array}{@{}l@{}} e_j\oplus(I-S_0)^{1/2}S_0^{-1/2}e_j, \quad j\in \mathbb{J}_0 \\ e_j\oplus-((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_j, \quad j\in\mathbb{J}_1 \end{array}\right\}, \end{align} $$

is a PF of the Hilbert space ${\mathscr{K}}\oplus {\mathscr{M}}_1$ , where ${\mathscr{M}}_1=\overline {\mathsf{span}}{{\mathscr{F}}}_e^1=\mathscr{R}(I-S_0)$ . The excess $\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]$ satisfies the relation $|\mathbb{J}_1|=\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]+\dim {\mathscr{M}}_1$ .

Proof By virtue of Lemma 3.1, ${\mathscr{M}}_1=\overline {\mathsf{span}}{{\mathscr{F}}}_e^1=\mathscr{R}(I-S_0).$

Since $S_0$ is a frame operator of ${{\mathscr{F}}}_e^0$ , the operators $S^{1/2}$ and $S_0^{-1/2}$ exist and are bounded in ${\mathscr{K}}$ . Furthermore, $I-S_0$ is nonnegative in ${\mathscr{K}}$ and, therefore, there exists $(I-S_0)^{1/2}$ . This means that $(I-S_0)^{1/2}S_0^{-1/2}$ is a well-defined operator in ${\mathscr{K}}$ and the vectors

$$ \begin{align*}\{(I-S_0)^{1/2}S_0^{-1/2}e_j, \ j\in\mathbb{J}_0\} \end{align*} $$

belong to ${\mathscr{M}}_1$ .

Similarly, in view of Lemma 3.1, there exists the bounded operator ${((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}}$ . This means that the operator $((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2} : {\mathscr{M}}_1\to {\mathscr{M}}_1$ is well defined and the vectors $\{((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_j, \ j\in \mathbb{J}_1\}$ belong to ${\mathscr{M}}_1$ . Hence, the right-hand part of (3.4) is well defined.

Denote by $\mathscr{L}_0$ and $\mathscr{L}_1$ the subspaces of ${\mathscr{K}}\oplus {\mathscr{M}}_1$ generated by the vectors

$$ \begin{align*}\begin{array}{l} \{l_j^0=e_j\oplus(I-S_0)^{1/2}S_0^{-1/2}e_j, \ j\in \mathbb{J}_0\}, \\ \{l_j^1=e_j\oplus-((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_j, \ j\in\mathbb{J}_1\}, \end{array} \end{align*} $$

respectively. The subspaces $\mathscr{L}_0$ and $\mathscr{L}_1$ are orthogonal since

$$ \begin{align*}\begin{array}{l} (l_j^0, l_i^1)=(e_j, e_i)-((I-S_0)^{1/2}S_0^{-1/2}e_j, ((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_i)= \\ =(e_j, e_i)-(e_j, e_i)=0, \quad j\in\mathbb{J}_0, \quad i\in\mathbb{J}_1. \end{array} \end{align*} $$

Assume that $h=k\oplus {m}\in {\mathscr{K}}\oplus {\mathscr{M}}_1$ is orthogonal to $\mathscr{L}_0\oplus \mathscr{L}_1$ . Then, for every ${l_j^0\in \mathscr{L}_0}$ ,

$$ \begin{align*}0=(l_j^0, h)=(e_j, k)+((I-S_0)^{1/2}S_0^{-1/2}e_j, m)=(e_j, k+S_0^{-1/2}(I-S_0)^{1/2}m). \end{align*} $$

Hence, $k=-S_0^{-1/2}(I-S_0)^{1/2}m$ (since $\{e_j, j\in \mathbb{J}_0\}$ is a complete set in ${\mathscr{K}}$ ). The last relation means that $k\in {\mathscr{M}}_1$ and $m=-((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}k$ . Therefore, the vector

(3.5) $$ \begin{align} h=k\oplus{m}=k\oplus-((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}k \end{align} $$

belongs to $\mathscr{L}_1$ and, simultaneously, h is orthogonal to $\mathscr{L}_1$ . This means that $h=0$ and $\mathscr{L}_0\oplus \mathscr{L}_1={\mathscr{K}}\oplus {\mathscr{M}}_1$ .

Further, we analyze the sets $\{l_j^0, j\in \mathbb{J}_0\}$ and $\{l_j^1, j\in \mathbb{J}_1\}$ in detail. Since $\{S_0^{-1/2}e_j, j\in \mathbb{J}_0\}$ is an orthonormal basis of ${\mathscr{K}}$ ,

$$ \begin{align*}(l_j^0, l_i^0)=(e_j, e_i)+((I-S_0)S_0^{-1/2}e_j, S_0^{-1/2}e_i)=(S_0^{-1/2}e_j, S_0^{-1/2}e_i)=\delta_{ji}, \end{align*} $$

for $j, i\in \mathbb{J}_0$ . Therefore, $\{l_j^0, j\in \mathbb{J}_0\}$ is an orthonormal basis of $\mathscr{L}_0$ .

On the other hand, the family $\{l_j^1, j\in \mathbb{J}_1\}$ is a PF in $\mathscr{L}_1$ . Indeed, each vector $h\in \mathscr{L}_1$ has the form (3.5), where $k\in {\mathscr{M}}_1$ . Hence,

$$ \begin{align*}(h, l_j^1)=(k, e_j)+((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}k, ((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_j)= \end{align*} $$
$$ \begin{align*}=(k, [I+S_0^{1/2}((I-S_0)|_{{\mathscr{M}}_1})^{-1}S_0^{1/2}]e_j)=(k, [I+S_0((I-S_0)|_{{\mathscr{M}}_1})^{-1}]e_j) = \end{align*} $$
$$ \begin{align*}=(k, ((I-S_0)|_{{\mathscr{M}}_1})^{-1}e_j)=(((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}k, ((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}e_j). \end{align*} $$

Since $\{((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}e_j, j\in \mathbb{J}_1\}$ is a PF for ${\mathscr{M}}_1$ , we get

$$ \begin{align*}\sum_{j\in\mathbb{J}_1}|(h, l_j^1)|^2=\sum_{j\in\mathbb{J}_1}|(((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}k, ((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}e_j)|^2= \end{align*} $$
$$ \begin{align*}=\|((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}k\|^2=\|h\|^2, \end{align*} $$

for all $h\in \mathscr{L}_1$ (see (3.5)). Hence, $\{l_j^1\}$ is a PF of the Hilbert space $\mathscr{L}_1$ .

Summing up the above results: the set ${{\mathscr{F}}}_{e}^{ext}$ defined by (3.4) consists of the orthonormal basis $\{l_j^0, j\in \mathbb{J}_0\}$ of $\mathscr{L}_0$ and the PF $\{l_j^1, j\in \mathbb{J}_1\}$ of $\mathscr{L}_1$ . Here, $\mathscr{L}_0$ and $\mathscr{L}_1$ are orthogonal subspaces of ${\mathscr{K}}\oplus {\mathscr{M}}_1$ and $\mathscr{L}_0\oplus \mathscr{L}_1={\mathscr{K}}\oplus {\mathscr{M}}_1$ . This means that ${{\mathscr{F}}}_{e}^{ext}$ is a PF in the Hilbert space ${\mathscr{K}}\oplus {\mathscr{M}}_1$ and its excess $\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]$ coincides with the excess of the PF $\{l_j^1, j\in \mathbb{J}_1\}$ in $\mathscr{L}_1$ . Using (2.2) with ${\mathscr{K}}=\mathscr{L}_1$ , $\mathbb{J}=\mathbb{J}_1$ , ${{\mathscr{F}}}_\varphi =\{l_j^1, j\in \mathbb{J}_1\}$ and taking into account that $\dim \mathscr{L}_1=\dim {\mathscr{M}}_1$ by the definition of ${\mathscr{M}}_1$ , we obtain $|\mathbb{J}_1|=\mathbf{e}[\{l_j^1\}]+\dim {\mathscr{M}}_1=\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]+\dim {\mathscr{M}}_1$ that completes the proof.

Remark 3.3 A similar result for a particular case of finite excess was proved in [Reference Kamuda and Kużel9] by other methods.

Theorem 3.4 Assume that the assumptions of Lemma 3.2 are satisfied and, additionally, ${{\mathscr{F}}}_e^1$ is a basis of ${\mathscr{M}}_1$ . Then the Hilbert space ${\mathscr{M}}$ in the Naimark dilation theorem can be chosen as ${\mathscr{M}}_1$ , the PF ${{\mathscr{F}}}_{e}^{ext}$ in (3.4) coincides with the orthonormal basis ${{\mathscr{F}}}_{e\oplus {m}}$ of ${\mathscr{H}}={\mathscr{K}}\oplus {\mathscr{M}}$ , and vectors of the complementary PF ${{\mathscr{F}}}_m=\{m_j, j\in \mathbb{J}\}$ are defined as follows:

(3.6) $$ \begin{align} m_j=\left\{\begin{array}{@{}l} (I-S_0)^{1/2}S_0^{-1/2}e_j, \quad j\in \mathbb{J}_0, \\ -((I-S_0)|_{{\mathscr{M}}_1})^{-1/2}S_0^{1/2}e_j, \quad j\in\mathbb{J}_1. \end{array} \right. \end{align} $$

Proof If ${{\mathscr{F}}}_e^1=\{e_j, j\in \mathbb{J}_1\}$ is a basis of ${\mathscr{M}}_1$ , then the PF $\{l_j^1\}_{j\in \mathbb{J}_1}$ of $\mathscr{L}_1$ turns out be an orthonormal basis of the Hilbert space $\mathscr{L}_1$ . In this case, the PF ${{\mathscr{F}}}_{e}^{ext}$ in (3.4) is an orthonormal basis of ${\mathscr{K}}\oplus {\mathscr{M}}_1$ . Setting ${\mathscr{M}}={\mathscr{M}}_1$ in Theorem 1.1, we complete the proof.

Assume now that a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ has a finite excess $\mathbf{e}[{{\mathscr{F}}}_{e}]$ . Then ${{\mathscr{F}}}_e$ contains a Riesz basis [Reference Holub8] and assumptions of Lemma 3.2 are satisfied. By virtue of Lemma 3.2, $|\mathbb{J}_1|=\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]+\dim {\mathscr{M}}_1$ . Moreover, it follows from definition of excess that ${|\mathbb{J}_1|=\mathbf{e}[{{\mathscr{F}}}_{e}]}$ . Therefore,

$$ \begin{align*}\mathbf{e}[{{\mathscr{F}}}_{e}]=\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]+\dim{\mathscr{M}}_1. \end{align*} $$

This means that $0\leq \mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]\leq \mathbf{e}[{{\mathscr{F}}}_{e}]$ . Let us consider two edge cases:

  1. (i) If $\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]=0$ , then a PF ${{\mathscr{F}}}_{e}^{ext}$ in ${\mathscr{K}}\oplus {\mathscr{M}}_1$ turns to be an orthonormal basis.

  2. (ii) If $\mathbf{e}[{{\mathscr{F}}}_{e}]=\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]$ , then $\dim {\mathscr{M}}_1=0$ . In this case, ${{\mathscr{F}}}_e$ coincides with ${{\mathscr{F}}}_{e}^{ext}$ and it has a trivial structure: the orthonormal basis $\{e_j, j\in \mathbb{J}_0\}$ of ${\mathscr{K}}$ and the zero part $\{e_j=0, j\in \mathbb{J}_1\}$ . The complementary PF ${{\mathscr{F}}}_m$ in Theorem 1.1 is constructed in a trivial manner: $m_j=0$ for $j\in \mathbb{J}_0$ and $\{m_j, j\in \mathbb{J}_1\}$ is an arbitrary orthonormal basis in a Hilbert space ${\mathscr{M}}$ with $\dim {\mathscr{M}}=|\mathbb{J}_1|$ .

It is important that if $0<\mathbf{e}[{{\mathscr{F}}}_{e}^{ext}]<\mathbf{e}[{{\mathscr{F}}}_{e}]$ , then applying Lemma 3.2 finite times, we obtain one of the previous cases (i) or (ii).

Summing up: for each PF with finite excess, Lemma 3.2 allows one to determine a complementary PF ${{\mathscr{F}}}_m$ in the Naimark dilation theorem.

4 Construction of dual frames

A frame ${{\mathscr{F}}}_\psi =\{\psi _j, j\in \mathbb{J}\}$ is called a dual frame for a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ if

$$ \begin{align*}f=\sum_{j\in\mathbb{J}}(f, e_j)\psi_j=\sum_{j\in\mathbb{J}}(f, \psi_j)e_j, \qquad f\in{\mathscr{K}}. \end{align*} $$

There are multiple techniques for constructing dual frames, as outlined in [Reference Christensen3]. In particular, the method proposed in [Reference Kamuda and Kużel9] uses the concept of a complementary PF ${{\mathscr{F}}}_m=\{m_j, j\in \mathbb{J}\}$ from the Naimark dilation theorem. The next statement refines the results derived in [Reference Kamuda and Kużel9].

Theorem 4.1 Each dual frame ${{\mathscr{F}}}_\psi =\{\psi _j, j\in \mathbb{J}\}$ of a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ consists of the elements

(4.1) $$ \begin{align} \psi_j=e_j+(S-I)^{1/2}\Omega{m}_j, \qquad j\in\mathbb{J}, \end{align} $$

where $m_j$ are the elements of a Hilbert space ${\mathscr{M}}$ that form the PF ${{\mathscr{F}}}_m$ in the Naimark dilation theorem, $\Omega $ is a partial isometry of ${\mathscr{M}}$ into the Hilbert space ${\mathscr{K}}$ with final space $\overline {\mathscr{R}(S-I)}$ , and a self-adjoint operator S in ${\mathscr{K}}$ satisfies the conditions

(4.2) $$ \begin{align} S-I\geq{0}, \qquad \dim{\mathscr{R}(S-I)}\leq\dim{\mathscr{M}}. \end{align} $$

Proof An arbitrary frame ${{\mathscr{F}}}_\psi $ in ${\mathscr{K}}$ can be represented as follows (see, e.g., [Reference Kamuda and Kużel9, Proposition 1]):

(4.3) $$ \begin{align} {{\mathscr{F}}}_\psi={S}^{1/2}{{\mathscr{F}}}_{e'}, \end{align} $$

where ${S}$ is a positive self-adjoint operator with bounded inverse (the frame operator of ${{\mathscr{F}}}_\psi $ ) and ${{\mathscr{F}}}_{e'}$ is a PF in ${\mathscr{K}}$ . The operator S and the PF ${{\mathscr{F}}}_{e'}$ are determined uniquely by the frame ${{\mathscr{F}}}_\psi $ . If ${{\mathscr{F}}}_\psi $ is dual for ${{\mathscr{F}}}_e$ , one should specify S and ${{\mathscr{F}}}_{e'}$ . In particular, as was shown in [Reference Kamuda and Kużel9, Theorem 6], the operator S must satisfy the additional conditions:

(4.4) $$ \begin{align} S-{I}\geq{0} \quad \mbox{and} \quad \dim{\mathscr{R}(S-I)}\leq\mathbf{e}[{{\mathscr{F}}}_e]=\dim{\mathscr{M}}. \end{align} $$

Let us analyze ${{\mathscr{F}}}_{e'}$ in (4.3) assuming that ${{\mathscr{F}}}_\psi $ is a dual frame for ${{\mathscr{F}}}_e$ . First of all, we note that the excess of ${{\mathscr{F}}}_{e'}$ coincides with $\mathbf{e}[{{\mathscr{F}}}_e]$ (it follows from [Reference Bakić and Berić1, Theorem 2.2] and [Reference Kamuda and Kużel9, Lemma 3]). This means that the complementary Hilbert spaces ${\mathscr{M}}$ and ${\mathscr{M}}'$ for PFs ${{\mathscr{F}}}_e$ and ${{\mathscr{F}}}_{e'}$ in the Naimark dilation theorem have the same dimension and, therefore, these spaces can be identified.

Denote by ${{\mathscr{F}}}_{e\oplus {m}}=\{e_j\oplus {m}_j, \ j\in \mathbb{J}\}$ , ${{\mathscr{F}}}_{e'\oplus {m'}}=\{e^{\prime }j\oplus {m'}_j, \ j\in \mathbb{J}\}$ the corresponding orthonormal bases of ${\mathscr{H}}={\mathscr{K}}\oplus {\mathscr{M}}$ and consider the unitary operator W in ${\mathscr{H}}$ acting on ${{\mathscr{F}}}_{e\oplus {m}}$ as $W : e\oplus {m} \to e'\oplus {m'}$ . It follows from the definition of W that

(4.5) $$ \begin{align} {{\mathscr{F}}}_{e'}=P\{e_j'\oplus{m_j'},\ j\in\mathbb{J} \}=PW\{e_j\oplus{m_j},\ j\in\mathbb{J}\}, \end{align} $$

where P is an orthogonal projection in ${\mathscr{H}}$ onto ${\mathscr{K}}$ .

With respect to the decomposition ${\mathscr{H}}={\mathscr{K}}\oplus {\mathscr{M}}$ , the operator W admits the matrix presentation

(4.6) $$ \begin{align} W=\left[\begin{array}{@{}cc@{}} W_{11} & W_{12} \\ W_{21} & W_{22} \end{array}\right], \end{align} $$

where $W_{11} : {\mathscr{K}} \to {\mathscr{K}}$ , $W_{22} : {\mathscr{M}} \to {\mathscr{M}}$ , $W_{21} : {\mathscr{K}} \to {\mathscr{M}}$ , and $W_{12} : {\mathscr{M}} \to {\mathscr{K}}$ . By virtue of (4.5) and (4.6),

(4.7) $$ \begin{align} {{\mathscr{F}}}_{e'}=\{W_{11}e_j+W_{12}m_j, \ j\in\mathbb{J}\}. \end{align} $$

In other words: if ${{\mathscr{F}}}_\psi $ in (4.3) is a dual frame, then S satisfies (4.2) and the corresponding PF ${{\mathscr{F}}}_{e'}$ coincides with (4.7), where $W_{11}$ and $W_{12}$ are parts of (4.6).

Since ${{\mathscr{F}}}_\psi $ defined by (4.3) is dual for ${{\mathscr{F}}}_e$ , for all $f\in {\mathscr{K}}$ ,

$$ \begin{align*}f=\sum_{j\in\mathbb{J}}(f, e_j)\psi_j=S^{1/2}\sum_{j\in\mathbb{J}}(f, e_j)e_j'=S^{1/2}PW\sum_{j\in\mathbb{J}}(f, h_j)h_j=S^{1/2}W_{11}f, \end{align*} $$

where $\{h_j=e_j\oplus {m_j}\}$ is an orthonormal basis of ${\mathscr{H}}$ . Hence, $W_{11}=S^{-1/2}$ . In this case, the unitarity of W and (4.6) imply that $ W_{21}W_{21}^*=I-W_{11}^*W_{11}=I-S^{-1}$ and $W_{12}W_{12}^*=I-W_{11}W_{11}^*=I-S^{-1}.$ Hence, the polar decomposition of operators $W_{21}, W_{12}^* : {\mathscr{K}} \to {\mathscr{M}}$ have the form

$$ \begin{align*}W_{21}=U_2(I-S^{-1})^{1/2}, \qquad W_{12}^*=U_1(I-S^{-1})^{1/2}, \end{align*} $$

where $U_1, U_2 : {\mathscr{K}}\to {\mathscr{M}}$ are partial isometries with initial spaceFootnote 1 $\overline {\mathscr{R}(I-S^{-1})}=\overline {\mathscr{R}(S-I)}$ [Reference Schmüdgen13, Theorem 7.2].

A simple analysis other relations between counterparts $W_{ij}$ of the unitary operator W leads to the conclusion that $W_{22}=-U_2S^{-1/2}U_1^*$ . Therefore, the unitary operator W in (4.6) has the form

(4.8) $$ \begin{align} W=\left[\begin{array}{@{}cc@{}} S^{-1/2} & (I-S^{-1})^{1/2}U_1^* \\ U_2(I-S^{-1})^{1/2} & -U_2S^{-1/2}U_1^* \end{array}\right], \end{align} $$

where $U_1^*$ is a partial isometry of ${\mathscr{M}}$ into ${\mathscr{K}}$ with final space $\overline {\mathscr{R}(S-I)}$ .

By substituting the derived expressions of $W_{11}, W_{12}$ into (4.5), one gets

$$ \begin{align*}{{\mathscr{F}}}_{e'}=\{S^{-1/2}e_j+(I-S^{-1})^{1/2}U_1^*m_j, \ j\in\mathbb{J}\}. \end{align*} $$

Recalling (4.3),

$$ \begin{align*}{{\mathscr{F}}}_\psi=S^{1/2}{{\mathscr{F}}}_{e'}=\{\psi_j=e_j+S^{1/2}(I-S^{-1})^{1/2}U_1^*m_j, \ j\in\mathbb{J}\}. \end{align*} $$

Denoting $U_1^*$ as $\Omega $ , taking into account that $S^{1/2}(I-S^{-1})^{1/2}=(S-I)^{1/2}$ , we derive (4.1).

The operator S and the partial isometry $\Omega $ play a role of parameters describing the set of all dual frames ${{\mathscr{F}}}_\psi $ for ${{\mathscr{F}}}_e$ . The parameter S coincides with the frame operator of ${{\mathscr{F}}}_\psi $ . If S is given, then partial isometries $\Omega $ describe all possible dual frames having the same frame operator S.

The dual-frame formula (4.1) requires knowledge of the vectors $m_j$ from the complementary PF ${{\mathscr{F}}}_m$ . The results presented in Section 3 offer a solution to address this problem. Specifically, the following statement holds true.

Corollary 4.1 Assume that the index set of a PF ${{\mathscr{F}}}_e=\{e_j, j\in \mathbb{J}\}$ can be decomposed $\mathbb{J}=\mathbb{J}_0\cup \mathbb{J}_1$ in such a way that ${{\mathscr{F}}}_e^0=\{e_j, j\in \mathbb{J}_0\}$ is a Riesz basis of ${\mathscr{K}}$ with the frame operator $S_0$ and ${{\mathscr{F}}}_e^1=\{e_j, j\in \mathbb{J}_1\}$ is a Riesz basis of $\overline {\mathsf{span}}\ {{\mathscr{F}}}_e^1$ . Each dual frame ${{\mathscr{F}}}_\psi $ of ${{\mathscr{F}}}_e$ is described by the formulaFootnote 2

$$ \begin{align*}\psi_j=\left\{\begin{array}{@{}l} (I+(S-I)^{1/2}\Omega(S_0^{-1}-I)^{1/2})e_j, \quad j\in \mathbb{J}_0, \\ (I-(S-I)^{1/2}\Omega(S_0^{-1}-I)^{-1/2})e_j, \quad j\in\mathbb{J}_1, \end{array} \right. \end{align*} $$

where $\Omega $ is a partial isometry of ${\mathscr{M}}=\mathscr{R}(S_0-I)$ into the Hilbert space ${\mathscr{K}}$ with final space $\overline {\mathscr{R}(S-I)}$ and a self-adjoint operator S in ${\mathscr{K}}$ satisfies the conditions

$$ \begin{align*}S-I\geq{0}, \qquad \dim{\mathscr{R}(S-I)}\leq\dim\mathscr{R}(S_0-I). \end{align*} $$

Proof Follows immediately from Corollary 3.2 and Theorems 3.4 and 4.1.

For instance, if $S=S_0^{-1}$ , then $\mathscr{R}(S-I)=\mathscr{R}(S_0-I)$ and the partial isometry $\Omega $ turns out to be an unitary operator on $\mathscr{R}(S_0-I)$ . In this case, choosing $\Omega =I$ , we obtain the dual frame

$$ \begin{align*}{{\mathscr{F}}}_\psi=\left\{\begin{array}{@{}l@{}} S_0^{-1}e_j, \quad j\in\mathbb{J}_0 \\ 0, \qquad j\in\mathbb{J}_1 \end{array}\right\} \end{align*} $$

that corresponds to the biorthogonal Riesz basis for ${{\mathscr{F}}}_e^0=\{e_j, j\in \mathbb{J}_0\}$ .

Footnotes

This work was partially supported by the Faculty of Applied Mathematics AGH UST statutory tasks within subsidy of the Ministry of Science and Higher Education of Poland.

1 Such kinds of isometries exist because $\dim {\mathscr{R}(S-I)}\leq \dim {\mathscr{M}}$ .

2 for simplicity of notation, we consider $(S_0^{-1}-I)^{-1/2}$ as an operator on ${\mathscr{M}}$ i.e., $(S_0^{-1}-I)^{-1/2}e_j=(I-S_0)|_{{\mathscr{M}}})^{-1/2}S_0^{1/2})e_j$ for $e_j\in {\mathscr{M}}$ .

References

Bakić, D. and Berić, T., On excesses of frames . Glas. Mat. 50(2015), 415427.CrossRefGoogle Scholar
Balan, R., Casazza, P., Heil, C., and Landau, Z., Deficits and excesses of frames . Adv. Comput. Math. 18(2003), 93116.CrossRefGoogle Scholar
Christensen, O., An introduction to frames and Riesz bases, Birkhäuser, Boston, 2016.Google Scholar
Czaja, W., Remarks on Naimark’s duality . Proc. Amer. Mat. Soc. 136(2008), 867871.CrossRefGoogle Scholar
Han, D. and Larson, D. R., Frames, bases and group representations . Mem. Amer. Math. Soc. 147(2000), 697.Google Scholar
Heil, C., A basis theory primer: expanded edition, Springer, New York, 2010.Google Scholar
Holevo, A. S., Probabilistic and statistical aspects of quantum theory, North-Holland, Oxford–Amsterdam, 1982.Google Scholar
Holub, J. R., Pre-frame operators, Besselian frames and near-Riesz bases in Hilbert spaces . Proc. Amer. Mat. Soc. 122(1994), 779785.CrossRefGoogle Scholar
Kamuda, A. and Kużel, S., On description of dual frames . Appl. Comput. Harmon. Anal. 56(2021), 351367.CrossRefGoogle Scholar
Naimark, M. A., Spectral functions of a symmetric operator . Izv. Akad. Nauk SSSR Ser. Mat. 4(1940), 271318.Google Scholar
Nilsen, M. A. and Chuang, I. L., Quantum computation and quantum information, Cambridge University Press, Cambridge, 2000.Google Scholar
Pares, A., Neumark’s theorem and quantum inseparability . Found. Phys. 20(1990), 14411453.CrossRefGoogle Scholar
Schmüdgen, K., Unbounded self-adjoint operators on Hilbert space, Springer, Berlin, 2012.CrossRefGoogle Scholar
Terekhin, P. A., Representation systems and projections of bases . Math. Notes 75(2004), 881884.CrossRefGoogle Scholar