[논문 리뷰] A characterization of the Non-Degenerate Source Condition in Super-Resolution

Vincent Duval|arXiv (Cornell University)|2017. 12. 18.

Sparse and Compressive Sensing Techniques참고 문헌 47인용 수 10

한 줄 요약

이 논문은 초해상도에서 비퇴화 원천 조건(NDSC)에 대한 必要하고 충분한 조건을 제시한다. 라플라스 커널의 경우, 최소 2M개의 측정값이 있을 때 NDSC가 조건 없이 성립하며, 가우시안 커널의 경우 두 가지 별개의 영역에서 성립한다: 샘플링 점들이 균일 르베그 측도를 근사할 때 또는 모든 점들이 작은 간격에 국한될 때이다. 이 결과는 노이즈가 존재하는 총 변동량 기반 초해상도에서 지지대 안정성을 보장한다.

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보다 작아지는, 퇴화 도함수 프리서티피케이트가 언제 성립하는지 규명하기.
• 균일 샘플링 또는 국소화된 샘플링과 같은 구성에서 가우시안 커널에 대해 NDSC가 성립하는지 확인하기.
• 기존의 노이즈 없는 복원 결과를 노이즈가 있는 설정으로 확장하여, 지지대 안정성이 보장되는 조건을 특성화하기.

제안 방법

• Schiebinger 등이 제시한 기준의 변종을 사용하여 NDSC에 대한 필요 및 충분 조건을 유도한다.
• Fuchs 프리서티피케이트의 일반화인 퇴화 도함수 프리서티피케이트를 분석하여, 진짜 측도의 부호를 스피크 위치에서 보간할 수 있는지 평가한다.
• 커널 함수의 도함수를 포함하는 행렬의 행렬식 기반 분석을 통해, 스피크 위치에서 노름이 1인 증명 함수의 존재를 특성화한다.
• 균일 연속성과 컴actness 추론을 적용하여, 샘플링 점의 미세한 변형에 대해 행렬식 기반 함수가 여전히 양수임을 보인다.
• 가우시안 커널의 확장된 전체 양성성을 활용하여, 무한대에서의 극한 행렬식의 양성을 증명한다.
• 샘플링 점들의 볼록 조합을 포함하는 매개변수화를 사용하여, 도메인 전역에서 증명 함수의 행동을 제어한다.

실험 결과

연구 질문

• RQ1 비음성 측도를 사용한 초해상도에서, 비퇴화 원천 조건(NDSC)이 지지대 안정성에 대해 필요하고 충분한 조건이 되는 조건은 무엇인가?
• RQ2 라플라스 커널의 경우, 최소 2M개의 측정값이 있을 때 NDSC가 조건 없이 성립하는가?
• RQ3 가우시안 커널의 경우, 샘플링 점들이 도메인 전역에 균일하게 분포할 때 NDSC가 성립하는가?
• RQ4 모든 샘플링 점들이 작은 간격에 국한되어 있을 때, 비록 스피크들이 가까이 위치해도 NDSC가 여전히 성립하는가?
• RQ5 커널의 도함수의 구조가 타당한 프리서티피케이트 함수의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 라플라스 커널의 경우, 최소 2M개의 측정값이 있을 때 NDSC가 조건 없이 성립하며, 이는 노이즈가 있는 초해상도에서 지지대 안정성을 보장한다.
• 가우시안 커널의 경우, 샘플링 점들이 도메인에서 균일 르베그 측도를 근사할 때 NDSC가 성립한다.
• 가우시안 커널의 경우, 모든 샘플링 점들이 충분히 작은 간격에 국한되어 있을 때도 NDSC가 성립한다.
• 프리서티피케이트를 특성화하는 데 사용된 행렬식 기반 함수는 샘플링 점의 미세한 변형에 대해 균일하게 양수를 유지하여 강건성을 보장한다.
• 무한대에서의 행렬식의 극한 행동은 가우시안 커널의 확장된 전체 양성성으로 인해 엄밀히 양수이다.
• 분석 결과, 퇴화 도함수 프리서티피케이트가 스피크 위치에서 값이 1이 되고, 그 외에서는 엄밀히 1보다 작아지는 것이 확인되었으며, 이는 지지대 안정성에 대해 필수적이고 충분한 조건이다.