[论文解读] Stable phase retrieval with low-redundancy frames

Bernhard G. Bodmann, Nathaniel Hammen|arXiv (Cornell University)|Feb 22, 2013

Advanced X-ray Imaging Techniques参考文献 19被引用 14

一句话总结

该论文证明，在 d 维复希尔伯特空间中，4d−4 个框架向量足以实现对相位的唯一恢复（至单位模常数），而 8d−4 个向量可实现噪声下的稳定恢复，当框架系数远离零时，恢复误差与噪声水平成正比。该方法利用单位圆上的狄利克雷核和极化恒等式进行多项式重构。

ABSTRACT

We investigate the recovery of vectors from magnitudes of frame coefficients when the frames have a low redundancy, meaning a small number of frame vectors compared to the dimension of the Hilbert space. We first show that for vectors in d dimensions, 4d-4 suitably chosen frame vectors are sufficient to uniquely determine each signal, up to an overall unimodular constant, from the magnitudes of its frame coefficients. Then we discuss the effect of noise and show that 8d-4 frame vectors provide a stable recovery if part of the frame coefficients is bounded away from zero. In this regime, perturbing the magnitudes of the frame coefficients by noise that is sufficiently small results in a recovery error that is at most proportional to the noise level.

研究动机与目标

• 确定在 d 维希尔伯特空间中实现相位唯一恢复所需的最少框架向量数量。
• 建立在测量噪声存在下相位恢复保持稳定的条件。
• 开发一种恢复过程，当框架系数远离零时，保证误差与噪声水平成正比。
• 通过单位圆上的多项式重构技术分析恢复过程的稳定性。
• 通过数值模拟验证理论边界，显示在理论噪声阈值以上仍呈现线性误差标度。

提出的方法

• 将信号表示为单位圆上次数至多为 d−1 的复多项式。
• 利用狄利克雷核插值，从单位圆上 2(d−1) 个点的噪声幅度测量中重构 |f(z)|² 和 f′(z) overline{f(z)}。
• 应用包含三个旋转相位偏移（ν^j, j=1,2,3）的极化恒等式，从扰动幅度 |f(ω^l) + ν^j f′(ω^l)|² 中提取 f′(z) overline{f(z)}。
• 利用牛顿恒等式，从由重构的 |f(z)|² 和 f′(z) overline{f(z)} 导出的矩中恢复多项式系数。
• 通过一致范数估计控制重构误差，证明当测量噪声有界于 ε 时，系数误差为 O(ε)。
• 利用帕塞瓦尔恒等式估计 f 的 L² 范数，从而通过归一化恢复信号至单位模常数。

实验结果

研究问题

• RQ1 唯一确定一个 d 维信号（至单位模常数）所需的最少框架向量数量是多少？
• RQ2 相位恢复能否在幅度测量存在小噪声时保持稳定？在何种条件下？
• RQ3 恢复误差如何随幅度测量中的噪声水平变化？
• RQ4 理论上的稳定性噪声阈值在多大程度上与数值模拟中的实际性能一致？
• RQ5 当框架系数远离零时，能否使重构过程具有鲁棒性？

主要发现

• 4d−4 个框架向量足以通过幅度测量唯一确定任意 d 维信号（至单位模常数）。
• 8d−4 个框架向量可确保稳定相位恢复：若框架系数远离零，则当测量噪声有界于 ε 时，恢复误差为 O(ε)。
• 理论稳定性半径为 ε₀ = βm² / [(2d−1)d]，但数值模拟显示线性误差标度在 ε 达到 50×ε₀ 时仍持续存在。
• 该方法在单位圆上以误差有界于 (2d−1)ε 的方式重构 |f(z)|² 和 f′(z) overline{f(z)}，从而实现稳定的多项式恢复。
• 通过 L² 范数估计实现的归一化确保恢复多项式在单位模常数意义下准确，系数误差为 O(ε)。
• 该恢复过程具有鲁棒性：数值实验确认在理论稳定性阈值之外，误差仍与噪声呈线性关系，表明理论界可能并非紧致。