Phase retrieval from a uniformly discrete point set

Jaume de Dios Pont; Josef Greilhuber; Lukas Liehr; Mitchell A. Taylor

Phase retrieval from a uniformly discrete point set

Jaume de Dios Pont, Josef Greilhuber, Lukas Liehr, Mitchell A. Taylor

PreprintCode available

In the authors' words

We prove that for every window $w$ of the form $w (x) = e^{- π ∣ x ∣^{2}} h (x)$ , where $h$ is a polynomial, there exists a uniformly discrete set of points $S \subset R^{2 d}$ such that the magnitude of the short-time Fourier transform $V_{w} f$ on $S$ determines every $f \in L^{2} (R^{d})$ up to a constant phase factor. The separation distance can be chosen independent of the degree of $h$ and proportional to the square root of the dimension. The proof combines a discrete norming inequality, based on a multidimensional Remez inequality and VC-dimension bounds, with tail estimates for the reproducing kernel. A formalization of our main result in Lean 4 is also provided.

Main resultThe abstract does not state a limitation.

Read the paper PDF Code

Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.

Authors' comment: 14 pages, 1 figure, Lean code available at https://github.com/josefgreilhuber/DiscretePhaseRetrieval

Phase retrieval from a uniformly discrete point set

In the authors' words

More on Analysis & PDEs that day

Messaging strategies and the emergence of echo chambers in collective decision-making

Nonlinear Landau damping for the unconfined Vlasov-Poisson system in 2D

Low Mach number limit around the planar diffusion wave for 3D Navier-Stokes-Fourier equations

Absence of bounded-orbit wandering domains

Observable Lyapunov Exponents for Globally Coupled Maps in the Mean-Field Limit