[論文レビュー] The recoverability limit for superresolution via sparsity

Laurent Demanet, Nam H. Nguyen|arXiv (Cornell University)|Feb 4, 2015

Sparse and Compressive Sensing Techniques参考文献 24被引用数 69

ひとこと要約

本稿は、スパarsityを用いた超解像復元の根本的回復限界を確立し、ノイズのあるフーリエ測定値からkスパース信号を復元する際のミニマックス誤差率のタイトな上限および下限を導出する。誤差は(SRF)^{2k-1}σに比例する。ここでSRFは超解像係数、σはノイズレベルを表す。この結果、スパース性が増加するか、解像度要件が高くなると、復元が指数的に困難になることが明らかになる。

ABSTRACT

We consider the problem of robustly recovering a $k$-sparse coefficient vector from the Fourier series that it generates, restricted to the interval $[- Ω, Ω]$. The difficulty of this problem is linked to the superresolution factor SRF, equal to the ratio of the Rayleigh length (inverse of $Ω$) by the spacing of the grid supporting the sparse vector. In the presence of additive deterministic noise of norm $σ$, we show upper and lower bounds on the minimax error rate that both scale like $(SRF)^{2k-1} σ$, providing a partial answer to a question posed by Donoho in 1992. The scaling arises from comparing the noise level to a restricted isometry constant at sparsity $2k$, or equivalently from comparing $2k$ to the so-called $σ$-spark of the Fourier system. The proof involves new bounds on the singular values of restricted Fourier matrices, obtained in part from old techniques in complex analysis.

研究の動機と目的

• スパarsity制約を用いた超解像におけるロバストな復元の根本的限界を特定すること。
• 加法的ノイズ下で、超解像係数(SRF)とスパースレベルkがミニマックス誤差にどのように寄与するかを定量化すること。
• ノイズレベルσの下で、kスパース信号を部分的フーリエ測定値から復元する際の誤差率に対するタイトな上限および下限を確立すること。
• スパースレベル2kにおける制限等長性定数が、復元誤差を支配する役割を分析すること。
• 復元限界を制限付きフーリエ行列の特異値およびフーリエ系のσ-スパークに関連付けること。

提案手法

• 超解像問題を、[−Ω, Ω] 上のノイズのある部分的フーリエ測定値からkスパース係数ベクトルをスパース回復問題として定式化する。
• ミニマックス回復理論を用いて、測定行列の下位制限等長性定数ε_{2k}の関数として、最悪ケース誤差をバインドする。
• 複素解析的手法を用いて、制限付きフーリエ行列の最小特異値に対する新たなバインドを導出する。
• SRF → ∞（y → 0）における漸近的挙動を分析するため、パラメータy = 1/SRFを用いた再正規化問題を導入する。
• ハーディのヒルベルト行列とバナッハ型変換を用いた一般固有値問題を介して、グラム行列Gのレイリー商を分析する。
• y → 0の極限において一般固有値問題に摂動理論を適用し、最小固有値がy^{2n+1}に比例することを示す。ここでn = 2k−1である。

実験結果

リサーチクエスチョン

• RQ1 加法的ノイズ下で、スパarsityを用いた超解像におけるミニマックス誤差の根本的スケーリングは何か？
• RQ2 超解像係数(SRF)は、ノイズ下でのkスパース信号の回復可能性にどのように影響するか？
• RQ3 制限等長性定数ε_{2k}は、悪条件なフーリエ系におけるスパース回復の誤差バインドを決定づける役割を果たすか？
• RQ4 SRFが増加する際、制限付きフーリエ行列の特異値はどのように振る舞い、復元限界とどのような関係にあるか？
• RQ5 復元誤差はSRFとσの関数としてタイトにバインド可能か？また、スパース性kへの正確な依存関係は何か？

主な発見

• ミニマックス誤差E(k,σ)は(1/2)σ/ε_{2k}と2σ/ε_{2k}の間でバインドされ、誤差とスパースレベル2kにおける下位制限等長性定数ε_{2k}とのタイトな関係が確立される。
• 下位制限等長性定数ε_{2k}はc(y)^{2k−1}に比例する。ここでc(y) = sin(πy/2) ≈ 1/SRF（yが小さいとき）である。これにより、誤差は(SRF)^{2k−1}σに比例する。
• ミニマックス誤差の上限および下限の両方が(SRF)^{2k−1}σに比例するため、回復可能性限界の正確な漸近的スケーリングであることが確認される。
• 解析により、kスパース回復における最悪ケースの条件数は、k個の連続インデックスに制限されたフーリエ行列の特異値によって支配されていることが明らかになった。
• 回復限界は、フーリエ系のσ-スパークによって支配されており、誤差スケーリングはノイズレベルσと2k列部分行列の最小特異値の相互作用に起因する。
• 本稿では、誤差バインドの前定数がkに依存しないと予想しており、これはスパarsityを用いた超解像における普遍的スケーリング則を示唆する。