Stability in Phase Retrieval: Characterizing Condition Numbers and the Optimal Vector Set

In this paper, we primarily focus on analyzing the stability property of phase retrieval by examining the bi-Lipschitz property of the map ΦA(x)=|Ax|∈ R₊ᵐ, where x∈ Hᵈ and A∈ Hm× d is the measurement matrix for H∈,C\. We define the condition number βA=UALA, where LA and UA represent the optimal lower and upper Lipschitz constants, respectively. We establish the first universal lower bound on βA by demonstrating that for any Am× d, {equation*} βA≥ β_0H={cases} √π/π-2\,\,≈\,\, 1.659 & if H=R,\\ √4/4-π\,\,≈\,\, 2.159 & if H=C. {cases} {equation*} We prove that the condition number of a standard Gaussian matrix in Hm× d asymptotically matches the lower bound β₀H for both real and complex cases. This result indicates that the constant lower bound β₀H is asymptotically tight, holding true for both the real and complex scenarios. As an application of this result, we utilize it to investigate the performance of quadratic models for phase retrieval. Lastly, we establish that for any odd integer m≥ 3, the harmonic frame A∈ Rm× 2 possesses the minimum condition number among all A∈ Rm× 2. We are confident that these findings carry substantial implications for enhancing our understanding of phase retrieval.