[논문 리뷰] Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions

Yohann de Castro, Fabrice Gamboa외 2명|arXiv (Cornell University)|2015. 02. 09.

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

한 줄 요약

이 논문은 고차원에서의 반대칭 대상에 대해 직접적으로 서명된 라돈 측도 공간에서의 원시 ℓ₁-최소화 문제를 해결함으로써, 반대칭 대상 영역에서 초해상도를 위한 정확한 준선형계획법(SDP) 공식을 제시한다. 이는 이전의 이중 기반 SDP 근사화의 한계를 극복하고, 다차원 반대칭 집합에서 정확한 초해상도를 위한 프레임워크를 제공함으로써 2차원을 초월하는 희박한 신호의 정확한 복원을 가능하게 한다.

ABSTRACT

We investigate the multi-dimensional Super Resolution problem on closed semi-algebraic domains for various sampling schemes such as Fourier or moments. We present a new semidefinite programming (SDP) formulation of the 1 -minimization in the space of Radon measures in the multi-dimensional frame on semi-algebraic sets. While standard approaches have focused on SDP relaxations of the dual program (a popular approach is based on Gram matrix representations), this paper introduces an exact formulation of the primal 1 -minimization exact recovery problem of Super Resolution that unleashes standard techniques (such as moment-sum-of-squares hier-archies) to overcome intrinsic limitations of previous works in the literature. Notably, we show that one can exactly solve the Super Resolution problem in dimension greater than 2 and for a large family of domains described by semi-algebraic sets.

연구 동기 및 목표

• 이중 SDP 근사화에 기반한 이전 방법들이 정확한 복원을 보장하지 못하는 3차원 이상의 차원에서 정확한 초해상도를 해결하기 위한 도전 과제를 다루는 것.
• 반대칭 대상 영역에서 서명된 라돈 측도 공간에서의 ℓ₁-최소화 문제를 위한 새로운 원시 공식을 개발하는 것.
• 다차원 환경에서 기존의 그램 행렬 기반 이중 근사화의 한계를 극복하기 위해 모멘트-제곱합 계층을 활용하는 것.
• 콤��� 반대칭 집합에서 정확한 희박 측도 복원이 보장되는 조건을 설정하는 것.
• 고차원에서 푸리에 및 모멘트 샘플링 기반의 정확한 초해상도를 적용할 수 있는 이론적 프레임워크를 제공하는 것.

제안 방법

• 논문은 반대칭 대상 영역에서 서명된 라돈 측도 공간에서의 원시 ℓ₁-최소화 문제를 모멘트-제곱합 계층을 사용하여 준선형계획법(SDP)으로 공식화한다.
• 반대칭 집합에서 비음수 다항식을 제곱합으로 표현하는 데 기반한 SDP 근사화의 계층을 도입한다.
• 해법 집합을 모멘트 조건을 통해 표현하고 다항식과 측도 간의 이중성에 의존한다.
• 해결 공간을 근사하기 위해 차수 k가 증가하는 계층을 사용하며, 일반성 조건 하에서 수렴이 보장된다.
• 이중 근사화를 피하기 위해 직접 원시 문제를 해결함으로써, 정리 1의 랭크 조건이 충족될 경우 정확한 복원이 가능해진다.
• 이론적 기초는 볼록 해석학에 기반하며, 제곱합의 콘의 닫힘성과 내부점 조건을 통한 하위레벨 집합의 컴팩트성 포함된다.

실험 결과

연구 질문

• RQ1 이중 근사화 대신 원시 SDP 공식을 사용하여 3차원 이상에서도 정확한 초해상도를 달성할 수 있는가?
• RQ2 어떤 조건에서 반대칭 대상 영역과 샘플링 기반(예: 푸리에 또는 모멘트)이 희박한 서명 측도의 정확한 복원을 보장하는가?
• RQ3 모멘트-제곱합 계층은 고차원 초해상도 문제에서 정확한 복원을 어떻게 가능하게 하는가?
• RQ4 3D 또는 그 이상에서 반대칭 집합에서 SDP 근사화가 정확한 복원을 제공하는 데 필요한 유한한 차수 k가 존재하는가?
• RQ5 일반성과 랭크 조건은 제안된 SDP 공식을 통한 정확한 복원을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 고차원에서 반대칭 대상 영역에서 초해상도를 위한 새로운 정확한 SDP 공식을 수립한다.
• 정리 1의 랭크 조건이 충족될 경우, 2차원 이상에서도 희박한 서명 측도의 정확한 복원이 가능하다는 것을 증명한다.
• 이 방법은 이중 SDP 근사화에서 발생하는 근사 오차를 피하기 위해 직접 원시 문제를 해결함으로써 정확한 복원을 달성한다.
• 일반성 가정 하에서 모멘트-제곱합 계층의 수렴이 보장되지만, 필요한 차수 k에 대한 사전 경계는 제공되지 않는다.
• 반대칭 집합에서 제곱합의 콘의 닫힘성은 SDP 계층에서 해의 존재를 보장한다.
• 이 프레임워크는 푸리에 및 모멘트 샘플링 기반에 모두 적용 가능하여, 1차원 이상의 정확한 초해상도의 범위를 확장한다.