Non-uniqueness theory in sampled STFT phase retrieval

The proof is similar to the one presented in [christensenBook, Theorem 9.2.5]. For the convenience of the reader we include a proof of the statement in the Appendix ?.

Proposition 2.7 implies that under the conditions stated above, the system \{ T_\lambda \mu(S)^{-1} \phi : \lambda \in \Lambda \} is a Bessel sequence in {L^2({\mathbb R}^d)}. Since the property of being a Bessel sequence is invariant under the action of a bounded linear operator, it follows that

is a Bessel sequence. In particular, \sum_{\lambda \in \Lambda} c_\lambda T_\lambda^S \phi converges unconditionally for every \{ c_\lambda \} \in \ell^2(\Lambda).

Proof of (1). Suppose that f = \sum_{\lambda \in \Lambda} c_\lambda T_\lambda^S \mathcal{R}g \in \mathcal{V}_\Lambda^S(\mathcal{R}g) has defining sequence \{ c_\lambda \} \in c_{00}(\Lambda). For (x,\omega) \in {{\mathbb R}^{2d}} we obtain the relations

If we replace c_\lambda with \overline{c_\lambda} in equation (Proof), we obtain the identity

We now inspect the operator \mu(S)^{-1}\mathcal{R} appearing in equation (Proof). Note that Lemma 2.4 shows that for every h \in {L^2({\mathbb R}^d)} we have

Consequently, the metaplectic operator corresponding to the negative of the identity matrix in {\mathbb R}^{2d \times 2d} is the reflection operator \mathcal{R}. Using the properties of the map \mu as given in Section ? and the fact that every S \in \mathrm{Sp}_{2d}({\mathbb R}) commutes with -I_{2d}, it follows that there exists a constant \nu \in \{ 1,-1\} such that

In other words, \mu(S)^{-1} and \mathcal{R} commute up to a global phase. Proceeding with equation (Proof) yields

Now suppose that \omega = \lambda^* \in \Lambda^* is an element of the reciprocal lattice of \Lambda. Then \lambda \cdot \lambda^* \in {\mathbb Z} and therefore the phase factor e^{-2 \pi i \lambda \cdot \omega} appearing in equation (Proof) reduces to

Comparing equation (Proof) with equation (Proof) shows that in the case \omega \in \Lambda^* we have |V_gf(S(x,\omega))| = |V_g(f_\times)(S(x,\omega))|. Since x \in {{\mathbb R}^d} was arbitrary, we conclude that the spectrogram of f agrees with the spectrogram of f_\times on the set S({{\mathbb R}^d} \times \Lambda^*).

Proof of (2). Now assume that \mathfrak{p}_{\Lambda^*}[\mu(S)^{-1}\mathcal{R}g] \in L^\infty(\mathcal{P}(\Lambda^*)). According to Corollary 2.8 the series f = \sum_{\lambda \in \Lambda} c_\lambda T_\lambda^S \mathcal{R}g converges unconditionally to an element in \mathcal{V}_\Lambda^S(\mathcal{R}g) whenever \{ c_\lambda \} \in \ell^2(\Lambda). Since the STFT is a continuous operator on {L^2({\mathbb R}^d)}, this implies that the chain of equalities leading to equation (Proof) is justified under the weaker assumption that \{ c_\lambda \} \in \ell^2(\Lambda) since one can interchange summation with the application of the STFT. From this point, the proof of statement (2) follows analogously from the proof of statement (1).

Proof of (1). Suppose that \{ c_\lambda \} \in c_{00}(\mathcal{B}^*) is the defining sequence of f \in \mathcal{V}_{\mathcal{B}^*}^S(\mathcal{R}g). Since (\mathcal{B}^*)^* = \mathcal{B}, Theorem 3.1(1) and the choice of f implies that

The statement is therefore a consequence of the inclusion

In view of identity (Proof), the spectrogram of f agrees with the spectrogram of f_\times on the lattice \mathcal{L}.

Proof of (2). To prove the second statement we observe that the condition \mathfrak{p}_\mathcal{B}(\mu(S)^{-1}\mathcal{R}g) \in L^\infty(\mathcal{P}(\mathcal{B})) implies that f = \sum_{\lambda \in \mathcal{B}^*} c_\lambda T_\lambda^S \mathcal{R}g converges unconditionally provided that \{ c_\lambda \} \in \ell^2(\mathcal{B}^*). In a similar fashion to the proof of statement (1) we conclude from Theorem 3.1(2) that

thereby proving the statement by invoking the inclusion given in (Proof).

Proof of (1). Since 0 \neq \alpha = \det L, the matrix S=\alpha^{-1}L satisfies \det S = 1. Writing

we obtain the relation ad-cd=1. In view of Lemma 2.3, this implies that S \in \mathrm{GL}_2({\mathbb R}) is a symplectic matrix. Now let T=\alpha I_2 \in {\mathbb R}^{2 \times 2}. Then L=ST and the reciprocal lattice of \alpha{\mathbb Z} is given by \alpha^{-1}{\mathbb Z}. Thus, Corollary 3.2 implies that if f \in \mathcal{V}_{\alpha^{-1}{\mathbb Z}}^S(\mathcal{R}g) has defining sequence \{ c_\lambda \} \in c_{00}(\alpha^{-1}{\mathbb Z}) then the spectrogram of f and f_\times agree on

Proof of (2). Suppose, on the other hand, that \{ c_\lambda \} \in \ell^2(\alpha^{-1}{\mathbb Z}). Since (\alpha^{-1}{\mathbb Z})^* = \alpha {\mathbb Z} and sine \mathcal{P}(\alpha{\mathbb Z})=[0,\alpha] \subseteq {\mathbb R}, the condition \mathfrak{p}_{(\alpha^{-1}{\mathbb Z})^*} (\mu(S)^{-1}\mathcal{R}g) \in L^\infty(\mathcal{P}((\alpha^{-1}{\mathbb Z})^*)) is equivalent to the condition \mathfrak{p}_{\alpha {\mathbb Z}}(\mu(S)^{-1}\mathcal{R}g) \in L^\infty([0,\alpha]). Under this assumption, Corollary 2.8 implies that f \in \mathcal{V}_{\alpha^{-1}{\mathbb Z}}^S(\mathcal{R}g) converges unconditionally provided that f has defining sequence \{ c_\lambda \} \in \ell^2(\alpha^{-1}{\mathbb Z}). The derivation of statement (2) then follows analogously to the derivation of statement (1).

See the Appendix ?.

Proof of (1). We start by proving the claim made in item (1). To that end, let \mathcal{X} \subset {{\mathbb R}^d} be a finite set, |\mathcal{X}|<\infty, and let c_x \in {\mathbb C} with x \in \mathcal{X}. Suppose that

We have to show that c_x = 0 for every x \in \mathcal{X}. To do so, we take the Fourier transform on both sides of equation (Proof) and obtain the relation

which holds for every t \in {\mathbb R}. Since \phi\neq 0 there exists a set \mathcal{Y} \subseteq {{\mathbb R}^d} of positive d-dimensional Lebesgue measure such that {\mathcal{F}} \phi (t) \neq 0 for almost every t \in \mathcal{Y}. Hence, the map E must vanish almost everywhere on \mathcal{Y}. But E extends from {{\mathbb R}^d} to a holomorphic function of d complex variables. Therefore, Lemma 3.4 shows that E must vanish identically. Now observe that since \mathcal{X} is a set, all its elements are distinct. A general theorem on the linear independence of characters due to Artin [lang2005algebra, Theorem 4.1] shows that the complex exponentials t \mapsto e^{-2\pi i t \cdot x}, x \in \mathcal{X}, are linearly independent. Hence, the property that E vanishes identically implies that c_x=0 for all x \in \mathcal{X} and this concludes the proof of the claim.

Proof of (2). We continue with the proof of the second statement. First, observe that since \mathfrak{p}_{\Lambda^*}[\phi] \in L^\infty(\mathcal{P}(\Lambda^*)) it follows from Proposition 2.7 that the series \sum_{\lambda \in \Lambda} c_\lambda T_\lambda \phi converges unconditionally for every \{ c_\lambda \} \in \ell^2(\Lambda). Now suppose that \{ c_\lambda \} \in \ell^2(\Lambda) is such that \sum_{\lambda \in \Lambda} c_\lambda T_\lambda \phi = 0. By taking the Fourier transform, we obtain the relation

which holds for almost every t \in {{\mathbb R}^d}. By assumption we have that

for almost every t \in \mathcal{P}(\Lambda^*). Since \mathfrak{p}_{\Lambda^*}[\phi] is \Lambda^*-periodic, it follows that the lower bound given in equation (?) holds for almost every t \in {{\mathbb R}^d}. Moreover, it shows that there exists no measurable \Lambda^*-periodic set \Omega \subseteq {{\mathbb R}^d} of positive Lebesgue measure such that {\mathcal{F}} \phi vanishes almost everywhere on \Omega. Since the map G is \Lambda^*-periodic as well, equation (?) implies that G must vanish almost everywhere. The uniqueness theorem for Fourier coefficients finally shows that c_\lambda = 0 for every \lambda \in \Lambda, as desired.

Proof of (1). We start by proving that \{c_\lambda \} \in c_{00}(\Lambda) \cap \ell^2_\mathcal{O}(\Lambda) implies that f \nsim f_\times. To this end, let \{ c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda) \cap c_{00}(\Lambda) and suppose by contradiction that f \sim f_\times. Then there exists a constant \nu \in {\mathbb T} such that

Since \mu(S) is invertible, it follows that

By assumption we have \phi \neq 0 and therefore the invertibility of \mu(S) implies that \mu(S)^{-1} \phi \neq 0. In view of Theorem 3.5 the system of translates \{ T_x \mu(S)^{-1} \phi : x \in {{\mathbb R}^d} \} forms a finitely linearly independent system. Since \{ c_\lambda \} \in c_{00}(\Lambda) there exists a finite set U \subseteq \Lambda such that

Linear independence yields c_\lambda - \nu \overline{c_\lambda} = 0 for all \lambda \in U. Hence, the map U \to {\mathbb C}, \lambda \mapsto c_\lambda, is equivalent to its complex conjugate, whence Lemma 3.6 applies, and we conclude that all elements of the sequence \{ c_\lambda \} lie on a line in the complex plane passing through the origin. This contradicts the assumption that \{ c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda).

We continue by proving the opposite direction, i.e., f \nsim f_\times implies that \{c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda). Since \{c_\lambda \} \in c_{00}(\Lambda) we have \{c_\lambda \} \in \ell^2(\Lambda) and it suffices to show that the elements of the sequence \{ c_\lambda \} do not lie on a line in the complex plane passing though the origin, provided that f \nsim f_\times. We prove the claim by contraposition, i.e., we assume that there exists an \alpha \in {\mathbb R} such that c_\lambda \in e^{i\alpha} {\mathbb R} for every \lambda \in \Lambda. Writing c_\lambda = e^{i\alpha}r_\lambda for some r_\lambda \in {\mathbb R} it follows that f and f_\times satisfy

Hence, e^{2 i \alpha} f_\times = f and therefore f \sim f_\times. This concludes the proof of the first statement.

Proof of (2). For the second equivalence we start by showing that \{ c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda) implies that f and f_\times are not equivalent, f \nsim f_\times. To this end, we assume that \{ c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda) and f \sim f_\times and show that this leads to a contradiction. By Corollary 2.8, both series f = \sum_{\lambda \in \Lambda} c_\lambda \mu(S)T_\lambda\mu(S)^{-1} \phi and f_\times = \sum_{\lambda \in \Lambda} \overline{c_\lambda } \mu(S)T_\lambda\mu(S)^{-1} \phi converge unconditionally provided that \{c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda) \subseteq \ell^2(\Lambda). In particular, if f \sim f_\times then there exists a constant \nu \in {\mathbb T} such that

According to Theorem 3.5(2), the lower boundedness of \mathfrak{p}_{\Lambda^*}[\mu(S)^{-1}\phi] implies that the system \{ T_\lambda \mu(S)^{-1} : \lambda \in \Lambda \} is \ell^2(\Lambda)-independent. Hence, c_\lambda = \nu \overline{c_\lambda} for every \lambda \in \Lambda and Lemma 3.6 implies that the elements of the sequence \{ c_\lambda\} lie on a line in the complex plane passing through the origin, contradicting the assumption that \{ c_\lambda \} \in \ell^2_\mathcal{O}(\Lambda).

To prove the other direction, assume that \{ c_\lambda \} \notin \ell^2_\mathcal{O}(\Lambda). Then there exists a constant \alpha \in {\mathbb R} such that c_\lambda \in e^{i\alpha}{\mathbb R} for every \lambda \in \Lambda. Therefore, for every \lambda \in \Lambda there exists a constant r_\lambda \in {\mathbb R} such that c_\lambda = e^{i\alpha} r_\lambda. This implies that e^{2 i \alpha} f_\times = f and consequently f \sim f_\times.

Proof of (1). The case g=0 is trivial. Therefore, assume in the following that g \neq 0. For the first statement consider a function f \in \mathcal{V}_{\Lambda^*}^S(\mathcal{R}g) with defining sequence \{ c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*). According to Theorem 3.1, the spectrogram of f coincides with the spectrogram of f_\times on the set S({{\mathbb R}^d} \times \Lambda). Moreover, Theorem 3.8(1) shows that f \nsim f_\times. This proves the first claim.

Proof of (2). Let \mathcal{B}=B{\mathbb Z}^d be the lattice generated by B. According to statement (1), there exists two functions in {L^2({\mathbb R}^d)} which do not agree up to a global phase, but their spectrograms agree on S({\mathbb R}^d \times \mathcal{B}). The assertion is therefore a consequence of the inclusion

Let L \in \mathrm{GL}_{2d}({\mathbb R}) be the generating matrix of \mathcal{L}. All of the assertions follow from Theorem 3.10 via a suitable decomposition of L. If \mathcal{L}=\alpha S {\mathbb Z}^{2d}, S \in \mathrm{Sp}_{2d}({\mathbb R}), \alpha > 0, is a symplectic lattice, then \mathcal{L} is generated by ST with T= \alpha I_{2d}. If \mathcal{L} is rectangular, then \mathcal{L} is generated by ST with S=I_{2d} and T=\mathrm{diag}(\alpha_1, \dots, \alpha_{2d}), \alpha_j \in {\mathbb R} \setminus \{ 0 \}, j \in \{1, \dots, 2d \}. If \mathcal{L}=A{\mathbb Z}^d \times B {\mathbb Z}^d, A,B \in \mathrm{GL}_d({\mathbb R}), is a separable lattice, then \mathcal{L} is generated by ST with S=I_{2d} and

In particular, \alpha {\mathbb Z}^d \times \beta {\mathbb Z}^d is a separable lattice whenever \alpha,\beta > 0.

If \{ c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) then for every \kappa > 0 we have \{ \kappa c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) which shows that c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) is a cone in \ell^2(\Lambda^*). Moreover, this cone is infinite-dimensional. These observations readily imply that the set C as defined above is an infinite-dimensional cone in {L^2({\mathbb R}^d)}. Now suppose that f \in C has defining sequence \{ c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*). Since both \ell^2_\mathcal{O}(\Lambda^*) and c_{00}(\Lambda^*) are invariant under complex conjugation, we have \{ \overline{c_\lambda} \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) which gives f_\times \in C. But f_\times \nsim f by Theorem 3.8(1), and |V_gf(\mathcal{L}| = |V_g(f_\times)(\mathcal{L})| by Theorem 3.1. This shows that C \subseteq \mathcal{N}(g,\mathcal{L}) which yields the assertion of the theorem.

Suppose that \mathcal{L} = \mathcal{A} \times \mathcal{B} such that \mathcal{A}, \mathcal{B} are lattices in {{\mathbb R}^d} generated by the matrices A,B \in \mathrm{GL}_d({\mathbb R}), respectively. For a non-zero element 0 \neq \lambda \in \mathcal{B}^* of the reciprocal lattice of \mathcal{B}, define

Further, let f_2 \coloneqq (f_1)_\times be the corresponding function which has a complex-conjugate defining sequence, i.e.,

Since \mathcal{V}_{\mathcal{B}^*}(\mathcal{R}g) = \mathcal{V}_{\mathcal{B}^*}^S(\mathcal{R}g) with S=I_{2d}, Theorem 3.1 shows that

for every z \in {{\mathbb R}^d} \times (\mathcal{B}^*)^* = {{\mathbb R}^d} \times \mathcal{B} \supseteq \mathcal{A} \times \mathcal{B} which yields property (1). Since g is real-valued, we have f_1 = \overline{f_2}. Thus, |f_1|=|f_2| which shows that property (2) is satisfied. Property (3) follows by selection of f_1: we have

with c_{-\lambda}=1 and c_\lambda=i. The set \{ 1,i \} does not lie on a line in the complex plane passing through the origin. Hence, the defining sequence \{ c_\lambda \} \subseteq {\mathbb C} of f_1 satisfies \{ c_\lambda \} \in c_{00}(\mathcal{B}^*) \cap \ell^2_\mathcal{O}(\mathcal{B}^*). In particular, Theorem 3.8 shows that f_1 \nsim (f_1)_\times = f_2 and this concludes the proof of the statement.

Proof of (1). If \mathcal{J} denotes the standard symplectic matrix, then \mu(-\mathcal{J})={\mathcal{F}} is the Fourier transform [Groechenig, Example 9.4.1]. Hence, if \{c_\lambda \} \in c_{00}(\Lambda) is the defining sequence of f then

Consider a partition of the lattice \Lambda of the form

Using this partition, the map f can be written as

where we use the fact that \{ c_\lambda \} belongs to the set \ell^2_\mathcal{H}(\Lambda). This property of \{ c_\lambda \} further implies that c_0 \in {\mathbb R}. Since \phi is real-valued, the identity derived in equation (Proof) shows that f is real-valued.

Proof of (2). To prove the second statement we observe that if \mathfrak{p}_{\Lambda^*}[{\mathcal{F}^{-1}} u] \in L^\infty(\mathcal{P}(\Lambda^*)) then by Proposition 2.7 the series given in equation (Proof) converges unconditionally. With an argument analogous to the previous case we obtain the relation

with a suitable choice of I_+ \subseteq \Lambda. Thus, f is real-valued.

Let \Lambda \subseteq {{\mathbb R}^d} be a lattice, and suppose that f_1 \in \mathcal{V}_{\Lambda^*}^{-\mathcal{J}}(\mathcal{R}g) has defining sequence \{ c_\lambda \} belonging to the non-empty intersection c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*). Set f_2 \coloneqq (f_1)_\times. According to Theorem 3.8 we have f_1 \nsim f_2. In addition, Proposition 3.18 shows that f_1 is real-valued. Noting that both c_{00}(\Lambda^*) and \ell^2_\mathcal{H}(\Lambda^*) are invariant under complex conjugation shows that f_2 is real-valued as well. Finally, Theorem 3.1 implies that

for every z \in -\mathcal{J}({{\mathbb R}^d} \times \Lambda) = \Lambda \times (-{{\mathbb R}^d}) = \Lambda \times {{\mathbb R}^d}. The second part of the statement follows from the property that every separable lattice \mathcal{A} \times \mathcal{B} is contained in a set of the form \Lambda \times {{\mathbb R}^d}.

Let q_i = (q_{i,1}, \dots, q_{i,2d} ) \in {\mathbb Q}^{2d}, i \in \{ 1, \dots, 2d \}, be the row vectors of L. Since every q_{ij} is rational, we can write q_{ij} = \frac{a_{ij}}{b_{ij}}, a_{ij} \in {\mathbb Z}, b_{ij} \in {\mathbb Z} \setminus \{ 0 \}. As a consequence, we have

Now let c_i \coloneqq (c_{i1}, \dots, c_{i,2d}) and define

If z \in {\mathbb Z}^{2d} then in view of the notations above the product Lz satisfies

Since c_j \cdot z \in {\mathbb Z} for every j \in \{ 1, \dots, 2d \} it follows from equation (Proof) that \mathcal L \subseteq \mathcal{D} where \mathcal{D} is the lattice generated by the diagonal matrix D. Since \mathcal{D} is separable, Theorem 3.19 implies the existence of two real-valued functions f_1, f_2 \in L^2({{\mathbb R}^d},{\mathbb R}) such that |V_g(f_1)(w)| = |V_g(f_2)(w)| for every w \in \mathcal{D} and, in addition, f_1 \nsim f_2. The statement follows from the inclusion \mathcal{L} \subseteq \mathcal{D}.

If \{ c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*) then for every \kappa > 0 we have \{ \kappa c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*) which shows that c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*) is a cone in \ell^2(\Lambda^*). Moreover, this cone is infinite-dimensional. These observations readily imply that the set C as defined above is an infinite-dimensional cone in {L^2({\mathbb R}^d)}. Proposition 3.18 shows that every element in C is real-valued and therefore C \subseteq L^2({{\mathbb R}^d},{\mathbb R}). Now suppose that f \in C has defining sequence \{ c_\lambda \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*). Since \ell^2_\mathcal{O}(\Lambda^*), c_{00}(\Lambda^*) and \ell^2_\mathcal{H}(\Lambda^*) are invariant under complex conjugation, we have \{ \overline{c_\lambda} \} \in c_{00}(\Lambda^*) \cap \ell^2_\mathcal{O}(\Lambda^*) \cap \ell^2_\mathcal{H}(\Lambda^*) which gives f_\times \in C. But f_\times \nsim f by Theorem 3.8(1) and |V_gf(\mathcal{L}| = |V_g(f_\times)(\mathcal{L})| by Theorem 3.1. This shows that C \subseteq \mathcal{N}_{\mathbb R}(g,\mathcal{L}).

Let \alpha \coloneqq \det L, S \coloneqq \alpha^{-1}L \in \mathrm{Sp}_2({\mathbb R}) and let \{ c_\lambda \} \subseteq {\mathbb C} be the defining sequence of f \in \mathcal{V}_{\alpha^{-1}{\mathbb Z}}^S(\mathcal{R}g) such that \{ c_\lambda \} \in c_{00}(\alpha^{-1}{\mathbb Z}) \cap \ell^2_\mathcal{O}(\alpha^{-1}{\mathbb Z}). According to Corollary 3.3 it holds that |V_gf(z)| = |V_g(f_\times)(z)| for every z \in \mathcal{L} whereas f \nsim f_\times by Theorem 3.8. This yields the assertion.