[论文解读] Phase Retrieval from 4N-4 Measurements

Friedrich Philipp|arXiv (Cornell University)|Mar 19, 2014

Advanced X-ray Imaging Techniques参考文献 13被引用 3

一句话总结

本文证明了对于次数小于 $N$ 的复多项式，仅需 $4N-4$ 个无相位傅里叶测量即可实现相位恢复——具体而言，即在单位圆上对多项式进行 $2N-1$ 个强度测量，对其导数进行 $2N-3$ 个强度测量。本文提出了一种构造性算法，可恢复多项式至全局相位因子，提供了一套最小且结构化的测量系统，实现了猜想的 $4N-4$ 测量下限。

ABSTRACT

We prove by means of elementary methods that phase retrieval of complex polynomials p of degree less than N is possible with 4N-4 phaseless Fourier measurements of p and p'. In addition, we provide an associated algorithm and prove that it recovers p up to global phase.

研究动机与目标

• 证明对于次数小于 $N$ 的复多项式，相位恢复可通过 $4N-4$ 个无相位傅里叶测量实现，达到猜想的最小测量数量。
• 提供一个自包含且初等的相位恢复证明，仅依赖单位圆上的取值，避免使用复代数几何。
• 提出一种构造性恢复算法，仅从 $4N-4$ 个强度测量中唯一重构出多项式至全局相位因子。
• 证明该测量系统具有结构化且实用的特性，仅需在单位圆上对多项式及其导数进行点取值。

提出的方法

• 该方法通过将多项式及其导数在单位圆上表示为三角多项式，使得点取值可作为线性测量使用。
• 利用多项式在单位圆上 $2N-1$ 个不同点处的模长，以及其导数在 $2N-3$ 个不同点处的模长，包含足够的信息以实现相位恢复。
• 核心技术在于从强度测量及其导数中重构自相关系数 $\delta_{i,j} = \overline{\alpha_i}\alpha_j$。
• 开发了一种递归算法，通过求解由测量强度及其导数导出的线性方程组，恢复多项式系数 $\alpha_k$。
• 利用 $r = \sqrt{\delta_{m,m}}$ 进行归一化以固定全局相位，确保输出多项式为原始多项式的模为1的倍数。
• 通过数学归纳法证明恢复过程：在多项式次数的每一步中，均正确重构 $\delta_{i,j} = \overline{\alpha_i}\alpha_j$。

实验结果

研究问题

• RQ1 对于次数小于 $N$ 的复多项式，是否能恰好通过 $4N-4$ 个强度测量实现相位恢复？
• RQ2 是否存在一种构造性且初等的方法，仅从 $4N-4$ 个单位圆上的无相位傅里叶测量中恢复多项式至全局相位？
• RQ3 能否仅使用单位圆上的取值构建结构化的测量系统，而无需像以往工作那样在其他圆上进行测量？
• RQ4 所提出的算法是否能正确地从 $4N-4$ 个多项式及其导数的强度测量中重构出多项式？
• RQ5 最小测量界限 $4N-4$ 是否可通过一种实用且可实现的测量方案达成？

主要发现

• 本文证明了 $4N-4$ 个无相位傅里叶测量——即在单位圆上对多项式进行 $2N-1$ 个测量，对其导数进行 $2N-3$ 个测量——足以实现次数小于 $N$ 的复多项式的相位恢复。
• 该证明是初等且自包含的，不依赖高级代数几何，与以往依赖此类工具的研究结果形成对比。
• 构造了一种恢复算法，可从 $4N-4$ 个强度测量中恢复多项式至全局相位因子。
• 该算法通过递归计算与归一化，正确重构出自相关系数 $\delta_{i,j} = \overline{\alpha_i}\alpha_j$。
• 该方法实现了猜想的最小测量数量 $4N-4$，证实了结构化测量系统下的 $(4N-4)$-猜想。
• 该测量系统具有实用性，仅使用单位圆上的取值，适用于光学和信号处理等应用。