Phase retrieval in Fock space and perturbation of Liouville sets
Philipp Grohs,Lukas Liehr,Martin Rathmair
2023-10-03
Abstract:We study the determination of functions in Fock space from samples of their absolute value, commonly referred to 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, fundamentally contrasting ordinary sampling results. 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 (which as a side result establishes a new family of discrete Hardy uncertainty principles), we obtain the first construction of uniqueness sets for the phase retrieval problem having a finite density. The established results readily apply to the Gabor phase retrieval problem in subspaces of $L^2(\mathbb{R})$, which is of crucial importance in coherent diffraction imaging. In this context, we additionally derive successive 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. Altogether, our study reveals that in the absence of phase information, irregular sampling is actually preferable to the most commonly used sampling on lattices. This for the first time provides a rigorous understanding on how to best extract information from coherent diffraction measurements.
Functional Analysis,Classical Analysis and ODEs,Complex Variables