Saving phase: Injectivity and stability for phase retrieval

TL;DR

This paper investigates the fundamental conditions for injectivity and stability in phase retrieval, proposing new conjectures, characterizations, and bounds, with implications for measurement design and robustness analysis.

Contribution

It introduces a conjecture on the minimal measurement vectors for injectivity, characterizes worst-case stability via a numerical complement property, and connects stability bounds with Fisher information.

Findings

Complement property is necessary for injectivity in complex case.

Gaussian measurements satisfy a stability property with high probability.

Cramer-Rao bounds relate stability to injectivity conditions.

Abstract

Recent advances in convex optimization have led to new strides in the phase retrieval problem over finite-dimensional vector spaces. However, certain fundamental questions remain: What sorts of measurement vectors uniquely determine every signal up to a global phase factor, and how many are needed to do so? Furthermore, which measurement ensembles lend stability? This paper presents several results that address each of these questions. We begin by characterizing injectivity, and we identify that the complement property is indeed a necessary condition in the complex case. We then pose a conjecture that 4M-4 generic measurement vectors are both necessary and sufficient for injectivity in M dimensions, and we prove this conjecture in the special cases where M=2,3. Next, we shift our attention to stability, both in the worst and average cases. Here, we characterize worst-case stability in the real case by introducing a numerical version of the complement property. This new property bears some resemblance to the restricted isometry property of compressed sensing and can be used to derive a sharp lower Lipschitz bound on the intensity measurement mapping. Localized frames are shown to lack this property (suggesting instability), whereas Gaussian random measurements are shown to satisfy this property with high probability. We conclude by presenting results that use a stochastic noise model in both the real and complex cases, and we leverage Cramer-Rao lower bounds to identify stability with stronger versions of the injectivity characterizations.