[论文解读] The Threshold for Super-resolution via Extremal Functions.

Ankur Moitra|arXiv (Cornell University)|Aug 7, 2014

Advanced Image Processing Techniques参考文献 26被引用 26

一句话总结

本文利用极值函数建立了噪声超分辨的精确阈值，证明当截断频率 m 超过 1/∆ + 1 时，超分辨是可能的，且收敛速度为噪声幅度的逆多项式。当 m < (1−ε)/∆ 时，即使噪声呈指数级小，任何估计器也无法区分 ∆ 分离的信号，揭示了由范德蒙矩阵的谱性质与极值函数技术共同决定的精确相变。

ABSTRACT

Super-resolution is a natural mathematical abstraction for the problem of extracting fine-grained structure from coarse-grained measurements, and has received considerable attention following the pio-neering works of Donoho [11] and Candes and Fernandez-Granda [5, 6]. Here we introduce new techniques based on extremal functions for studying this and related problems and we exactly resolve the threshold at which noisy super-resolution is possible. In particular, we establish a sharp phase transition for the relationship between the cutoff frequency (m) and the separation (∆). If m&amp;gt; 1/ ∆ + 1, our estimator converges to the true values at an inverse polynomial rate in terms of the magnitude of the noise. And when m &amp;lt; (1−)/ ∆ no estimator can distinguish between a particular pair of ∆-separated signals even if the magnitude of the noise is exponentially small. Our results involve making novel connections between extremal functions and spectral properties of the Vandermonde matrix, such as bounding its condition number as well as constructing explicit preconditioners for it.

研究动机与目标

• 确定噪声超分辨变得可能的确切阈值。
• 解决超分辨中可恢复与不可恢复信号构型之间的相变问题。
• 建立极值函数与范德蒙矩阵谱性质之间的联系。
• 为范德蒙矩阵提供条件数的紧致界并构造显式预条件器。
• 刻画在噪声测量下超分辨的根本极限。

提出的方法

• 作者利用极值函数分析建模超分辨问题的范德蒙矩阵的谱结构。
• 通过极值函数理论推导范德蒙矩阵条件数的界。
• 为范德蒙矩阵构造显式预条件器，以稳定数值求逆并提高分辨率。
• 该方法利用对偶性与极值函数构造，推导出信号恢复误差的紧致下界。
• 建立了极值函数与测量算子谱性质之间的新联系。
• 分析结合了调和分析与优化技术，推导出超分辨的精确阈值。

实验结果

研究问题

• RQ1 在截断频率 m 与信号分离度 ∆ 的何种关系下，超分辨变得可能？
• RQ2 范德蒙矩阵的条件数如何影响噪声下超分辨的稳定性？
• RQ3 能否利用极值函数推导出区分 ∆ 分离信号的误差的紧致下界？
• RQ4 当噪声任意小但非零时，超分辨的根本极限是什么？
• RQ5 能否为范德蒙矩阵构造显式预条件器以提升分辨率与稳定性？

主要发现

• 当 m > 1/∆ + 1 时，所提出的估计器以噪声幅度的逆多项式速率收敛至真实信号。
• 当 m < (1−ε)/∆ 时，任何估计器都无法区分两个 ∆ 分离的信号，即使噪声呈指数级小。
• 通过极值函数技术界定了范德蒙矩阵的条件数，从而提升了数值稳定性。
• 为范德蒙矩阵构造了显式预条件器，这对实现稳定超分辨至关重要。
• 建立了精确的相变：超分辨仅当 m > 1/∆ + 1 时可能，仅存在对数修正。
• 结果揭示了极值函数与测量矩阵谱性质之间的根本对偶性，解决了长期存在的开放问题。