[論文レビュー] Separation-Free Super-Resolution from Compressed Measurements is Possible: an Orthonormal Atomic Norm Minimization Approach

Weiyu Xu, Jirong Yi+4 more|arXiv (Cornell University)|Nov 4, 2017

Sparse and Compressive Sensing Techniques参考文献 25被引用数 7

ひとこと要約

本稿では、非一様な時間領域測定値からの圧縮測定において、周波数成分が分離されていなくても、R個の複素指数関数の分離フリーな超解像を可能にするため、正規直交原子ノルム最小化（OANM）を提案する。ハーケル行列のノルムを正規直交原子ノルムとして活用することで、周波数の分離に依存しない正確な復元が達成され、従来の原子ノルムおよび全 Variation 最小化法がノイズのない状況下でも最小周波数分離を要するという根本的な制限を克服する。

ABSTRACT

We consider the problem of recovering the superposition of $R$ distinct complex exponential functions from compressed non-uniform time-domain samples. Total Variation (TV) minimization or atomic norm minimization was proposed in the literature to recover the $R$ frequencies or the missing data. However, it is known that in order for TV minimization and atomic norm minimization to recover the missing data or the frequencies, the underlying $R$ frequencies are required to be well-separated, even when the measurements are noiseless. This paper shows that the Hankel matrix recovery approach can super-resolve the $R$ complex exponentials and their frequencies from compressed non-uniform measurements, regardless of how close their frequencies are to each other. We propose a new concept of orthonormal atomic norm minimization (OANM), and demonstrate that the success of Hankel matrix recovery in separation-free super-resolution comes from the fact that the nuclear norm of a Hankel matrix is an orthonormal atomic norm. More specifically, we show that, in traditional atomic norm minimization, the underlying parameter values $ extbf{must}$ be well separated to achieve successful signal recovery, if the atoms are changing continuously with respect to the continuously-valued parameter. In contrast, for the OANM, it is possible the OANM is successful even though the original atoms can be arbitrarily close. As a byproduct of this research, we provide one matrix-theoretic inequality of nuclear norm, and give its proof from the theory of compressed sensing.

研究の動機と目的

• 正確な復元に必要な周波数間の最小分離が要求される既存の超解像手法の制限を解消すること。
• 周波数分離を要しない非一様かつ不足分の時間領域サンプルからスペクトルスパース信号を回復するための圧縮センシングフレームワークを構築すること。
• 正規直交原子ノルムを用いた新たな理論的基盤を確立し、任意に近い周波数を持つ複素指数関数の正確な超解像を可能にすること。
• ハーケル行列の核ノルム最小化が、正規直交原子ノルムであることに起因して、分離フリーの復元を達成することを示すこと。

提案手法

• 信号構造に由来する正規直交基底ベクトルを用いて定義される原子ノルムを用いる、超解像のための新しいフレームワークとして正規直交原子ノルム最小化（OANM）を提案する。
• 信号ベクトルから構築されたハーケル行列の核ノルムが、正規直交原子ノルムに等価であることを示し、圧縮測定からの信号復元を可能にする。
• 圧縮センシング理論から導かれる核ノルムに関する行列理論的不等式を用いて、低ランクハーケル構造下での復元保証を確立する。
• 標準的な原子ノルム最小化とは異なり、周波数が任意に近接している場合でも、正確な復元のための双対証明条件を満たせることを示す。
• 複素数値の超解像問題を実対称行列の最適化問題に変換するためのリフト法を用い、凸緩和手法の適用を可能にする。
• 双対行列の零空間およびスペクトルノルム制約を満たすことで、明示的に双対証明が存在し、正確な復元が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 非一様な圧縮測定から、周波数成分の最小分離を要さずに超解像が達成可能か？
• RQ2 原子ノルムのクラスとして、原子が任意に近接している場合でも正確な復元を可能にするものはあるか？
• RQ3 なぜハーケル行列の核ノルム最小化は分離フリーの超解像に成功するが、標準的な原子ノルム最小化では失敗するのか？
• RQ4 ハーケル行列の核ノルムは正規直交原子ノルムとして解釈可能か？その意味は復元保証にどのような影響を及えるか？

主な発見

• ハーケル行列の核ノルムは正規直交原子ノルムであり、周波数分離を要せず、圧縮測定からの正確な超解像復元を可能にする。
• OANMは、周波数が任意に近接している場合でも、R個の複素指数関数を正確に回復できるが、標準的な原子ノルム最小化では最小分離2/(2N-1)が必要である。
• 測定演算子が特定の非一様性およびランク回復条件を満たす限り、M < 2N−1個の非一様時間領域サンプルから正確な復元が達成可能である。
• 圧縮センシングの道具を用いて証明された、核ノルムに関する新しい行列理論的不等式が導出され、復元条件の確立において中心的な役割を果たす。
• 正確な復元のための双対証明が存在し、周波数分離がなくても、双対行列の零空間およびスペクトルノルム制約を満たすことで明示的に構築可能である。
• 理論的解析により、ハーケル行列の核ノルム最小化による復元がOANMと等価であることが確認され、この等価性が分離フリーの復元特性を規定している。