Abstract
We consider the recovery of square-integrable signals from discrete, equidistant samples of their Gabor transform magnitude and show that, in general, signals can not be recovered from such samples. In particular, we show that for any lattice, one can construct functions in \(L^2({\mathbb {R}})\) which do not agree up to global phase but whose Gabor transform magnitudes sampled on the lattice agree. These functions have good concentration in both time and frequency and can be constructed to be real-valued for rectangular lattices.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let us consider the Gaussian \(\phi (t) = \mathrm{e}^{-\pi t^2}\), for \(t \in {\mathbb {R}}\). We may define the Gabor transform of a signal \(f \in L^2({\mathbb {R}})\) via
In this paper, we are interested in the uniqueness question of the Gabor phase retrieval problem which consists of recovering a function \(f \in L^2({\mathbb {R}})\) from the magnitude measurements
where S is a subset of \({\mathbb {R}}^2\). We say that f is uniquely determined (up to a global phase factor) by the measurements (1) if for any \(g \in L^2({\mathbb {R}})\),
implies that
for some \(\mu \in {\mathbb {R}}\). When \(S={\mathbb {R}}^2\), it is well-known that Gabor phase retrieval is uniquely solvable. In fact, this result holds true for any window function \(\psi \) for which \({\mathcal {V}}_\psi \psi \) is non-zero almost everywhere on \({\mathbb {R}}^2\). However, when S is a true subset of \({\mathbb {R}}^2\), the answer is less clear. In particular, measurements can only be collected on discrete sets S in applications. Thus, the question of uniqueness for Gabor phase retrieval is specifically interesting when S is discrete.
In recent work [1], we were able to show that real-valued, bandlimited signals in \(L^2({\mathbb {R}})\) are uniquely determined up to global phase from Gabor magnitude measurements (1) sampled on the discrete set \(S = (4B)^{-1} {\mathbb {Z}}\times \{0\}\), where \(B > 0\) is such that the bandwidth of the signal is contained in \([-B,B]\). While we were writing this paper, work by Grohs and Liehr [3] appeared showing that it is possible to recover compactly supported signals in \(L^4([-C/2,C/2])\) up to global phase from Gabor magnitude measurements (1) sampled on the discrete set \(S = {\mathbb {Z}}\times (2C)^{-1} {\mathbb {Z}}\). Finally, during the review process of this paper, the work [4] appeared. In [4], the authors generalise the findings proposed here to general short-time Fourier transform phase retrieval.
We focus on the general uniqueness question for Gabor phase retrieval:
Question 1
Is there any lattice \(S \subset {\mathbb {R}}^2\) such that all functions in \(L^2({\mathbb {R}})\) are uniquely determined up to global phase from Gabor magnitude measurements (1) sampled on S?
The main contribution of this paper is that we answer this question negatively: In particular, no matter how fine-grained the sampling lattice S, one will not be able to recover all functions in \(L^2({\mathbb {R}})\) from Gabor magnitude measurements (1) on S. Our answer to Question 1 is constructive in the sense that we are able to explicitly give functions \(f_{\pm } \in L^2({\mathbb {R}})\) which do not agree up to global phase but which satisfy
We note that the functions \(f_{\pm } \in L^2({\mathbb {R}})\) are well concentrated in both time and frequency and if \(S = a {\mathbb {Z}}\times b {\mathbb {Z}}\), \(a,b > 0\), is a rectangular lattice, then \(f_+\) and \(f_-\) can be constructed to be real-valued.
1.1 Basic Notions
We want to emphasise that the notation \(\phi \) is reserved for the Gaussian \(\phi (t) = \mathrm{e}^{-\pi t^2}\), for \(t \in {\mathbb {R}}\), throughout this paper.
We will encounter the fractional Fourier transform of a function \(f \in L^1({\mathbb {R}})\) defined by
for \(\alpha \in {\mathbb {R}}\setminus \pi {\mathbb {Z}}\), where \(c_\alpha \in {\mathbb {C}}\) is the square root of \(1 - \mathrm{i}\cot \alpha \) with positive real part, and by \({\mathcal {F}}_{2\pi k} f := f\) as well as \({\mathcal {F}}_{(2k+1)\pi } f(\omega ) := f(-\omega )\), for \(\omega \in {\mathbb {R}}\), where \(k \in {\mathbb {Z}}\) [5]. One may show that the fractional Fourier transform preserves the canonical inner product \((\cdot ,\cdot )\) on \(L^2({\mathbb {R}})\) in the sense that for all \(\alpha \in {\mathbb {R}}\) and \(f,g \in L^1({\mathbb {R}}) \cap L^2({\mathbb {R}})\) it holds that
It follows that one may extend the fractional Fourier transform to \(L^2({\mathbb {R}})\) by a classical density argument. For the further understanding of this paper, it is essential to observe that the fractional Fourier transform rotates functions in the time–frequency plane in the following sense:
Lemma 1
(See [5, p. 424]) Let \(\alpha \in {\mathbb {R}}\) and \(f,g \in L^2({\mathbb {R}})\). It holds that
for \(x,\omega \in {\mathbb {R}}\).
In addition, as for the classical Fourier transform, it holds that the Gaussian \(\phi \) is invariant under the fractional Fourier transform in the sense that
One can see this by a direct computation using the classical result which can for instance be found on [2, p. 17].
In the following, we will denote by \(R_\alpha : {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) the rotation of the time–frequency plane given by
Additionally, we will use the standard notation for the family of time-shift operators \(\hbox {T}_{x} : L^2({\mathbb {R}}) \rightarrow L^2({\mathbb {R}})\), with \(x \in {\mathbb {R}}\), given by
and the family of modulation operators \(\hbox {M}_{\xi } : L^2({\mathbb {R}}) \rightarrow L^2({\mathbb {R}})\), with \(\xi \in {\mathbb {R}}\), given by
for \(f \in L^2({\mathbb {R}})\).
2 Main Result
The functions defined in Eq. (2) with \(a=1\)
Using the relation of the Gabor transform and the Bargmann transform [2] in conjunction with the Hadamard factorisation theorem allows us to design functions \(f_{\pm } \in L^2({\mathbb {R}})\) which do not agree up to global phase but which generate measurements (1) that agree when \(S \subset {\mathbb {R}}^2\) is chosen to be any set of infinitely many equidistant parallel lines. For the specific set \(S = a{\mathbb {Z}}\times {\mathbb {R}}\), with \(a > 0\), this construction leads us to consider the real-valued functions
as depicted in Fig. 1. It is easy to see that \(f_+\) and \(f_-\) do not agree up to global phase: Consider for instance that
as well as
Furthermore, it is not hard to compute the Gabor transforms of \(f_+\) and \(f_-\) and thereby verify the following lemma.
Lemma 2
Let \(a > 0\) and let \(f_\pm \in L^2({\mathbb {R}})\) be defined as in Eq. (2). Then, it holds that
Remark 1
It is immediate that the above lemma implies that
continues to hold on \(a {\mathbb {Z}}\times b {\mathbb {Z}}\) no matter how small one chooses \(b > 0\).
Remark 2
As mentioned above, the functions \(f_+\) and \(f_-\) were constructed by considering what Eq. (3) implies for the Bargmann transforms \(F_+\) and \(F_-\) of \(f_+\) and \(f_-\). In particular, we applied Hadamard’s factorisation theorem to \(F_+\) and \(F_-\) and then followed ideas similar to the ones presented in [5, 6].
Proof of Lemma 2
Let us start by noting that
By the linearity and the covariance property of the Gabor transform (see [2, Lemma 3.1.3 on p. 41]), we obtain
for \(x,\omega \in {\mathbb {R}}\). Using that the Gaussian is invariant under the Fourier transform, one may calculate that
such that
We might reformulate the above expression to
If \(x = ak\), where \(k \in {\mathbb {Z}}\), and \(\omega \in {\mathbb {R}}\), then it holds that
It follows that
for \(x \in a {\mathbb {Z}}\) and \(\omega \in {\mathbb {R}}\). \(\square \)
Remark 3
According to the preceding proof, it holds that
To generalise Lemma 2, we can use the fractional Fourier transform as well as time shifts and modulations to rotate and shift the functions \(f_\pm \) in the time frequency plane. In this way, we construct the functions
for \(\alpha \in {\mathbb {R}}\) and \(\lambda = (x_0,\omega _0) \in {\mathbb {R}}^2\). We may now make use of well-known properties of the Gabor transform to show the following result:
Theorem 1
(Main theorem) Let \(a > 0\), \(\alpha \in {\mathbb {R}}\) and \(\lambda = (x_0,\omega _0) \in {\mathbb {R}}^2\). Let furthermore \(f_{\pm }^{\alpha ,\lambda } \in L^2({\mathbb {R}})\) be defined as in Eq. (4). Then, it holds that \(f_+^{\alpha ,\lambda }\) and \(f_-^{\alpha ,\lambda }\) do not agree up to global phase and yet
Furthermore, it holds that for all \(\epsilon > 0\), there exists a constant \(C_\epsilon \ge 1\) (that additionally depends on a and \(\lambda \)) such that
Remark 4
It is immediate that the above theorem implies that
continues to hold on the lattice \(S = R_\alpha (a {\mathbb {Z}}\times b{\mathbb {Z}}) + \lambda \) no matter how small one chooses \(b > 0\).
Proof of Theorem 1
We directly compute that
for \(x,\omega \in {\mathbb {R}}\), where we have used the covariance property of the Gabor transform (see [2, Lemma 3.1.3 on p. 41]) in the second step, the invariance of the Gaussian under the fractional Fourier transform in the third step and Lemma 1 in the fourth and final step. It follows immediately from the above consideration and Lemma 2 that
Additionally, we may remember the proof of Lemma 2 and estimate that
for \(x,\omega \in {\mathbb {R}}\). It follows that
Let us now consider \(\epsilon > 0\) arbitrary but fixed. It is then readily seen that there exists \(C_\epsilon \ge 1\) depending on \(\epsilon \) as well as a, \(x_0\) and \(\omega _0\) such that
\(\square \)
Remark 5
The reader might note that we could have directly constructed the functions \(f_\pm ^{\alpha ,\lambda }\) using the Hadamard factorisation theorem as well as the relation between the Gabor and the Bargmann transform. This is indeed how we first constructed the examples \(f_\pm ^{\alpha ,\lambda }\). The formulation involving the fractional Fourier transform was suggested by the first reviewer and it has allowed for a much shorter and more elegant presentation of the paper.
Change history
26 March 2022
ORCID information has been updated.
References
Alaifari, R., Wellershoff, M.: Uniqueness of STFT phase retrieval for bandlimited functions. Appl. Comput. Harmon. Anal. 50, 34–48 (2021)
Gröchenig, K.: Foundations of Time-Frequency Analysis. Birkhäuser, Boston, MA (2001)
Grohs, P., Liehr, L.: Injectivity of Gabor phase retrieval from lattice measurements. arXiv preprint arXiv:2008.07238 (2020)
Grohs, P., Liehr, L.: On foundational discretization barriers in STFT phase retrieval. arXiv preprint arXiv:2111.02227 (2021)
Jaming, P.: Uniqueness results in an extension of Pauli’s phase retrieval problem. Appl. Comput. Harmon. Anal. 37(3), 413–441 (2014)
Mc Donald, J.N.: Phase retrieval and magnitude retrieval of entire functions. J. Fourier Anal. Appl. 10(3), 259–267 (2004)
Acknowledgements
The authors want to especially thank the first reviewer for their comments which have allowed us to simplify the proofs and thereby improved the overall presentation of the present paper greatly. Furthermore, the authors acknowledge funding through SNF Grant 200021_184698.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Alaifari, R., Wellershoff, M. Phase Retrieval from Sampled Gabor Transform Magnitudes: Counterexamples. J Fourier Anal Appl 28, 9 (2022). https://doi.org/10.1007/s00041-021-09901-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-021-09901-7