[論文レビュー] A characterization of the Non-Degenerate Source Condition in Super-Resolution

Vincent Duval|arXiv (Cornell University)|Dec 18, 2017

Sparse and Compressive Sensing Techniques参考文献 47被引用数 10

ひとこと要約

本稿は、超解像における非退化源条件（NDSC）の必要十分条件を提示する。ラプラシアンカーネルの場合、少なくとも2M回の測定があればNDSCは条件なしに成立し、ガウシアンカーネルの場合には、測定点が一様なLebesgue測度に近づく場合、または非常に小さな区間内に集中する場合の2つの異なる状況で成立する。この結果により、ノイズが存在する状況下でも全変動最小化に基づく超解像におけるサポート安定性が保証される。

ABSTRACT

In a recent article, Schiebinger et al. provided sufficient conditions for the noiseless recovery of a signal made of M Dirac masses given 2M + 1 observations of, e.g. , its convolution with a Gaussian filter, using the Basis Pursuit for measures. In the present work, we show that a variant of their criterion provides a necessary and sufficient condition for the Non-Degenerate Source Condition (NDSC) which was introduced by Duval and Peyr{\\'e} to ensure support stability in super-resolution. We provide sufficient conditions which, for instance, hold unconditionally for the Laplace kernel provided one has at least 2M measurements. For the Gaussian filter, we show that those conditions are fulfilled in two very different configurations: samples which approximate the uniform Lebesgue measure or, more surprisingly, samples which are all confined in a sufficiently small interval.

研究の動機と目的

• 全変動最小化を用いた超解像における非退化源条件（NDSC）の必要十分条件を確立すること。
• 非負の測度を用いたノイズ付き超解像問題におけるサポート回復の安定性を分析すること。
• スパイク位置で値が1に達し、他の場所では厳密に1未満となるように、消滅導関数 precertificate が達成可能かどうかを特定すること。
• 均等なサンプリングまたは局所化されたサンプリングといった配置が、ガウシアンカーネルに対してNDSCを満たす条件を同定すること。
• 従来のノイズなし回復結果をノイズあり設定へと拡張し、サポート安定性が保証される条件を特徴づけること。

提案手法

• Schiebingerらの基準の変種を用いて、NDSCの必要十分条件を導出する。
• Fuchs precertificate の一般化である消滅導関数 precertificate を分析し、それが真の測度の符号をスパイク位置で補間できるかどうかを評価する。
• カーネル関数の導関数を含む行列の行列式に基づく解析を用いて、スパイク位置でノルムが1である証明関数の存在を特徴づける。
• 一様連続性およびコンパクト性の議論を適用し、測定点の小さな摂動に対しても行列式に基づく関数が正のままであることを示す。
• ガウシアンカーネルの拡張全正性を活用して、無限遠における極限行列式の正の性質を証明する。
• 測定点の凸結合を用いたパラメータ化により、定義域全域における証明関数の挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 非負の測度を用いた超解像において、非退化源条件（NDSC）がサポート安定性に必要な十分条件であるのはどのような条件下か？
• RQ2 ラプラシアンカーネルの場合、少なくとも2M回の測定がある限り、NDSCは条件なしに成立するか？
• RQ3 ガウシアンカーネルの場合、測定点が定義域全体に均等に分布しているとき、NDSCは成立するか？
• RQ4 すべての測定点が非常に小さな区間内に集中している場合でも、スパイク同士の近接性があるにもかかわらず、NDSCは満たされるか？
• RQ5 カーネルの導関数の構造が、有効なprecertificate関数の存在を保証するために果たす役割は何か？

主な発見

• ラプラシアンカーネルの場合、少なくとも2M回の測定がある限り、NDSCは条件なしに満たされ、ノイズ付き超解像におけるサポート安定性が保証される。
• ガウシアンカーネルの場合、測定点が定義域上で一様なLebesgue測度に近づく場合、NDSCは成立する。
• ガウシアンカーネルの場合、すべての測定点が十分に小さな区間内に集中している場合にも、NDSCは成立する。
• スパイク位置での摂動に対して、precertificateを特徴づける行列式に基づく関数は一様に正のままであるため、ロバスト性が保証される。
• ガウシアンカーネルの拡張全正性のおかげで、無限遠における行列式の極限は厳密に正である。
• 解析により、消滅導関数 precertificate がスパイク位置で値1をとり、他の場所では厳密に1未満となることが確認され、これはサポート安定性の必要十分条件であることが裏付けられた。