arXiv subjects

Martin Rathmair

Publications and source records attributed to Martin Rathmair.

9 recordsLinked to original sources

arXiv2024

Stable STFT phase retrieval and Poincar\'e inequalities

In recent work [P. Grohs and M. Rathmair. Stable Gabor Phase Retrieval and Spectral Clustering. Communications on Pure and Applied Mathematics (2018)] and [P. Grohs and M. Rathmair. Stable Gabor phase retrieval for multivariate functions. Journal of the European Mathematical Society (2021)] the instabilities of Gabor phase retrieval problem, i.e. reconstructing $ f\in L^2(\mathbb{R})$ from its spectrogram $|\mathcal{V}_g f|$ where $$\mathcal{V}_g f(x,\xi) = \int_{\mathbb{R}} f(t)\overline{g(t-x)}e^{-2\pi i \xi t}\,\mbox{d}t,$$ have been classified in terms of the connectivity of the measurements. These findings were however crucially restricted to the case where the window $g(t)=e^{-\pi t^2}$ is Gaussian. In this work we establish a corresponding result for a number of other window functions including the one-sided exponential $g(t)=e^{-t}\mathbb{1}_{[0,\infty)}(t)$ and $g(t)=\exp(t-e^t)$. As a by-product we establish a modified version of Poincar\'e's inequality which can be applied to non-differentiable functions and may be of independent interest.

math.FA↗

arXiv2023

Gabor phase retrieval via semidefinite programming

We consider the problem of reconstructing a function $f\in L^2(\mathbb{R})$ given phase-less samples of its Gabor transform, which is defined by $$\mathcal{G} f(x,\omega) := 2^{\frac14} \int_{\mathbb{R}} f(t) e^{-\pi (t-x)^2} e^{-2\pi i y t}\,\mbox{d}t,\quad (x,y)\in\mathbb{R}^2.$$More precisely, given sampling positions $\Omega\subseteq \mathbb{R}^2$ the task is to reconstruct $f$ (up to global phase) from measurements $\{|\mathcal{G} f(\omega)|: \,\omega\in\Omega\}$. This non-linear inverse problem is known to suffer from severe ill-posedness. As for any other phase retrieval problem, constructive recovery is a notoriously delicate affair due to the lack of convexity. One of the fundamental insights in this line of research is that the connectivity of the measurements is both necessary and sufficient for reconstruction of phase information to be theoretically possible. In this article we propose a reconstruction algorithm which is based on solving two convex problems and, as such, amenable to numerical analysis. We show, empirically as well as analytically, that the scheme accurately reconstructs from noisy data within the connected regime.Moreover, to emphasize the practicability of the algorithm we argue that both convex problems can actually be reformulated as semi-definite programs for which efficient solvers are readily available. The approach is based on ideas from complex analysis, Gabor frame theory as well as matrix completion.

math.CA↗

arXiv2023

Phase retrieval in Fock space and perturbation of Liouville sets

We study the determination of functions in Fock space from samples of their absolute value, known as the phase retrieval problem in Fock space. An important finding in this research field asserts that phaseless sampling on lattices of arbitrary density renders the problem unsolvable. The present study establishes solvability when using irregular sampling sets of the form $A \cup B \cup C$, where $A, B,$ and $C$ constitute perturbations of a Liouville set, i.e., a set with the property that all functions in Fock space bounded on the set are constant. The sets $A, B,$ and $C$ adhere to specific geometrical conditions of closeness and noncollinearity. We show that these conditions are sufficiently generic so as to allow the perturbations to be chosen also at random. By proving that Liouville sets occupy an intermediate position between sets of stable sampling and sets of uniqueness, we obtain the first construction of uniqueness sets for the phase retrieval problem in Fock space having a finite density. The established results apply to the Gabor phase retrieval problem in subspaces of $L^2(\mathbb{R})$, where we derive additional reductions of the size of uniqueness sets: for the class of real-valued functions, uniqueness is achieved from two perturbed lattices; for the class of even real-valued functions, a single perturbation suffices, resulting in a separated set.

math.FA↗

arXiv2022

Multi-window STFT phase retrieval: lattice uniqueness

Short-time Fourier transform (STFT) phase retrieval refers to the reconstruction of a function $f$ from its spectrogram, i.e., the magnitudes of its short-time Fourier transform $V_gf$ with window function $g$. While it is known that for appropriate windows, any function $f \in L^2(\mathbb{R})$ can be reconstructed from the full spectrogram $|V_g f(\mathbb{R}^2)|$, in practical scenarios, the reconstruction must be achieved from discrete samples, typically taken on a lattice. It turns out that the sampled problem becomes much more subtle: recent results have demonstrated that uniqueness via lattice-sampling is unachievable, irrespective of the choice of the window function or the lattice density. In the present paper, we initiate the study of multi-window STFT phase retrieval as a way to effectively bypass the discretization barriers encountered in the single-window case. By establishing a link between multi-window Gabor systems, sampling in Fock space, and phase retrieval for finite frames, we derive conditions under which square-integrable functions can be uniquely recovered from spectrogram samples on a lattice. Specifically, we provide conditions on window functions $g_1, \dots, g_4 \in L^2(\mathbb{R})$, such that every $f \in L^2(\mathbb{R})$ is determined up to a global phase from $$\left(|V_{g_1}f(A\mathbb{Z}^2)|, \, \dots, \, |V_{g_4}f(A\mathbb{Z}^2)| \right)$$ whenever $A \in \mathrm{GL}_2(\mathbb{R})$ satisfies the density condition $|\det A|^{-1} \geq 4$. For real-valued functions, a density of $|\det A|^{-1} \geq 2$ is sufficient. Corresponding results for irregular sampling are also shown.

math.FA↗

arXiv2022

Uniqueness of phase retrieval from three measurements

In this paper we consider the question of finding an as small as possible family of operators $(T_j)_{j\in J}$ on $L^2(R)$ that does phase retrieval: every $φ$ is uniquely determined (up to a constant phase factor) by the phaseless data $(|T_jφ|)_{j\in J}$. This problem arises in various fields of applied sciences where usually the operators obey further restrictions. Of particular interest here are so-called {\em coded diffraction paterns} where the operators are of the form $T_jφ=\mathcal{F}m_jφ$, $\mathcal{F}$ the Fourier transform and $m_j\in L^\infty(R)$ are "masks". Here we explicitely construct three real-valued masks $m_1,m_2,m_3\in L^\infty(R)$ so that the associated coded diffraction patterns do phase retrieval. This implies that the three self-adjoint operators $T_jφ=\mathcal{F}[m_j\mathcal{F}^{-1}φ]$ also do phase retrieval. The proof uses complex analysis.We then show that some natural analogues of these operators in the finite dimensional setting do not always lead to the same uniqueness result due to an undersampling effect.

math.CA↗

arXiv2021

$L^2$-stability analysis for Gabor phase retrieval

We consider the problem of reconstructing the missing phase information from spectrogram data $|\mathcal{G} f|,$ with $$ \mathcal{G}f(x,y)=\int_\mathbb{R} f(t) e^{-π(t-x)^2}e^{-2πi t y}dt, $$ the Gabor transform of a signal $f\in L^2(\mathbb{R})$. More specifically, we are interested in domains $Ω\subseteq \mathbb{R}^2$, which allow for stable local reconstruction, that is $$ |\mathcal{G}g| \approx |\mathcal{G}f| \quad \text{in} ~Ω\quad\Longrightarrow \quad \exists τ\in\mathbb{T}:\quad \mathcal{G}g \approx τ\mathcal{G}f \quad \text{in} ~Ω. $$ In recent work [P. Grohs and M. Rathmair. Stable Gabor Phase Retrieval and Spectral Clustering. Comm. Pure Appl. Math. (2019)] and [P. Grohs and M. Rathmair. Stable Gabor phase retrieval for multivariate functions. J. Eur. Math. Soc. (2021)] we established a characterization of the stability of this phase retrieval problem in terms of the connectedness of the observed measurements. The main downside of the aforementioned results is that the similarity of two spectrograms is measured w.r.t. a first order weighted Sobolev norm. In this article we remove this flaw and essentially show that the Sobolev norm may be replaced by the $L^2-$norm. Using this result allows us to show that it suffices to sample the spectrogram on suitable discrete sampling sets -- a property of crucial importance for practical applications.

math.FA↗

arXiv2020

Phase Retrieval: Uniqueness and Stability

The problem of phase retrieval, i.e., the problem of recovering a function from the magnitudes of its Fourier transform, naturally arises in various fields of physics, such as astronomy, radar, speech recognition, quantum mechanics and, perhaps most prominently, diffraction imaging. The mathematical study of phase retrieval problems possesses a long history with a number of beautiful and deep results drawing from different mathematical fields, such as harmonic analyis, complex analysis, or Riemannian geometry. The present paper aims to present a summary of some of these results with an emphasis on recent activities. In particular we aim to summarize our current understanding of uniqueness and stability properties of phase retrieval problems.

math.FA↗

arXiv2019

Stable Gabor phase retrieval for multivariate functions

In recent work [P. Grohs and M. Rathmair. Stable Gabor Phase Retrieval and Spectral Clustering. Communications on Pure and Applied Mathematics (2018)] the instabilities of the Gabor phase retrieval problem, i.e., the problem of reconstructing a function $f$ from its spectrogram $|\mathcal{G}f|$, where $$ \mathcal{G}f(x,y)=\int_{\mathbb{R}^d} f(t) e^{-π|t-x|^2} e^{-2πi t\cdot y} dt, \quad x,y\in \mathbb{R}^d, $$ have been completely classified in terms of the disconnectedness of the spectrogram. These findings, however, were crucially restricted to the onedimensional case ($d=1$) and therefore not relevant for many practical applications. In the present paper we not only generalize the aforementioned results to the multivariate case but also significantly improve on them. Our new results have comprehensive implications in various applications such as ptychography, a highly popular method in coherent diffraction imaging.

math.FA↗

arXiv2017

Stable Gabor Phase Retrieval and Spectral Clustering

We consider the problem of reconstructing a signal $f$ from its spectrogram, i.e., the magnitudes $|V_φf|$ of its Gabor transform $$V_φf (x,y):=\int_{\mathbb{R}}f(t)e^{-π(t-x)^2}e^{-2πıy t}dt, \quad x,y\in \mathbb{R}.$$ Such problems occur in a wide range of applications, from optical imaging of nanoscale structures to audio processing and classification. While it is well-known that the solution of the above Gabor phase retrieval problem is unique up to natural identifications, the stability of the reconstruction has remained wide open. The present paper discovers a deep and surprising connection between phase retrieval, spectral clustering and spectral geometry. We show that the stability of the Gabor phase reconstruction is bounded by the reciprocal of the Cheeger constant of the flat metric on $\mathbb{R}^2$, conformally multiplied with $|V_φf|$. The Cheeger constant, in turn, plays a prominent role in the field of spectral clustering, and it precisely quantifies the `disconnectedness' of the measurements $V_φf$. It has long been known that a disconnected support of the measurements results in an instability -- our result for the first time provides a converse in the sense that there are no other sources of instabilities. Due to the fundamental importance of Gabor phase retrieval in coherent diffraction imaging, we also provide a new understanding of the stability properties of these imaging techniques: Contrary to most classical problems in imaging science whose regularization requires the promotion of smoothness or sparsity, the correct regularization of the phase retrieval problem promotes the `connectedness' of the measurements in terms of bounding the Cheeger constant from below. Our work thus, for the first time, opens the door to the development of efficient regularization strategies.

math.FA↗