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

PreprintCódigo disponible

En palabras de los autores

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.

Resultado principalEl resumen no menciona limitaciones.

Leer el paper PDF Código

Apareció: jueves, 24 de septiembre. arXiv. Preprint, todavía sin revisión por pares.

Comentario de los autores: 14 pages, 1 figure, Lean code available at https://github.com/josefgreilhuber/DiscretePhaseRetrieval

Phase retrieval from a uniformly discrete point set

En palabras de los autores

Más de Análisis y EDP ese día

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