[论文解读] Saving phase: Injectivity and stability for phase retrieval

Afonso S. Bandeira, Jameson Cahill+2 more|arXiv (Cornell University)|Feb 19, 2013

Advanced X-ray Imaging Techniques参考文献 22被引用 21

一句话总结

本文通过刻画复向量空间与实向量空间中的单射性与稳定性，建立了相位恢复的基础性结果。证明了在 $M$-维复空间中，$4M-4$ 个通用测量向量是实现单射性的必要且充分条件；并引入强互补性质以量化最坏情况下的稳定性，表明高斯测量在高概率下满足该性质。

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.

研究动机与目标

• 解决有限维空间中相位恢复单射性与稳定性的基本开放问题，确定其必要且充分的条件。
• 刻画复数情形下的单射性，识别出互补性质为必要条件，并提出一个关于 $4M-4$ 个测量值同时为必要且充分的猜想。
• 通过一种新的矩阵条件——强互补性质——在实数情形下建立最坏情况下的稳定性，该条件类似于压缩感知中的限制等距性质。
• 利用随机噪声模型与Cramér-Rao下界分析平均情况下的稳定性，将稳定性与更强的单射性条件联系起来。
• 为实际测量集合（包括高斯和局域化框架）提供理论保证，并改进量子启发相位恢复中的现有猜想。

提出的方法

• 利用代数几何与框架理论刻画复数情形下的单射性，证明互补性质是单射性的必要条件。
• 引入强互补性质作为互补性质的数值版本，从而实现对强度测量映射的利普希茨界。
• 通过测量集合子矩阵的奇异值，推导出强度映射的上下利普希茨界。
• 应用Cramér-Rao下界分析平均情况下的稳定性，将统计估计效率与单射性强度联系起来。
• 通过一种新颖的单射性检验方法，证明在 $M=2,3$ 维情形下，$4M-4$ 个通用测量值足以实现单射性。
• 利用极化恒等式与扩展图分析相对相位恢复，支持在 $\mathcal{O}(M\log M)$ 个测量值下的稳定性。

实验结果

研究问题

• RQ1 一组测量向量在复 $M$-维空间中实现相位恢复单射性的必要且充分条件是什么？
• RQ2 在 $M$-维复空间中，$4M-4$ 是否为实现单射性所需的最少通用测量向量数？
• RQ3 何种矩阵条件可确保实数相位恢复中的最坏情况稳定性，其与已知性质（如限制等距性质）有何关联？
• RQ4 测量集合的选择（如高斯分布与局域化框架）如何影响相位恢复中的稳定性？
• RQ5 Cramér-Rao下界能否用于推导出更强的单射性条件，从而在实数与复数情形下均蕴含稳定性？

主要发现

• 互补性质是复数相位恢复问题中单射性的必要条件。
• 本文证明了在 $M=2$ 与 $M=3$ 维情形下，$4M-4$ 个通用测量向量在复数情形下既是必要也是充分条件，以实现单射性。
• 提出了一种新的矩阵条件——强互补性质，并证明其在实数情形下可对强度测量映射提供精确的下利普希茨界。
• 高斯随机测量在高概率下满足强互补性质，意味着在最坏情况下可实现稳定的相位恢复。
• 局域化框架不满足强互补性质，表明此类测量集合存在固有不稳定性。
• Cramér-Rao下界将统计估计效率与单射性强度联系起来，表明平均情况下的稳定性对应于实数与复数情形下更强的单射性条件。