[논문 리뷰] On Conditions for Uniqueness in Sparse Phase Retrieval

Henrik Ohlsson, Yonina C. Eldar|arXiv (Cornell University)|2013. 08. 25.

Advanced X-ray Imaging Techniques참고 문헌 17인용 수 7

한 줄 요약

이 논문은 단서 없는 측정값에서 희박한 신호를 유일하게 복원할 수 있는 조건을 설정하며, 측정 벡터를 자유롭게 선택할 수 있을 경우 k-희박한 실수 신호의 경우 4k−1개의 강도 측정값으로도 충분하다고 보여준다. 푸리에 크기 측정값의 경우, 미약한 조건 하에서 2(k²−k+1)개의 측정값으로도 유일성이 보장됨을 증명하며, 이는 이전 연구에서 전체 푸리에 집합이 필요로 했던 것을 개선한 것이다.

ABSTRACT

The phase retrieval problem has a long history and is an important problem in many areas of optics. Theoretical understanding of phase retrieval is still limited and fundamental questions such as uniqueness and stability of the recovered solution are not yet fully understood. This paper provides several additions to the theoretical understanding of sparse phase retrieval. In particular we show that if the measurement ensemble can be chosen freely, as few as 4k-1 phaseless measurements suffice to guarantee uniqueness of a k-sparse M-dimensional real solution. We also prove that 2(k^2-k+1) Fourier magnitude measurements are sufficient under rather general conditions.

연구 동기 및 목표

• 희박한 단서 없는 복원 문제에서 유일한 해가 존재하는 조건을 규명하는 것.
• k-희박한 실수 신호의 유일한 복원을 위해 필요한 최소 단서 없는 측정값의 수를 결정하는 것.
• 특히 전체 푸리에 변환이 이용 가능하지 않은 경우, 푸리에 크기 측정값에서의 유일한 복원을 위한 충분조건을 설정하는 것.
• 희박한 신호로의 보완 성질 프레임워크를 확장하여, 유일성에 충분한 더 약한 조건이 존재함을 보여주는 것.

제안 방법

• 희박한 단서 없는 복원에서 단사성의 충분조건으로서 보완 성질의 약화된 형태를 제안한다.
• 단서 없는 복원 문제를 부분 푸리에 크기 측정값으로부터 희박한 자기상관 벡터를 복원하는 문제로 환원한다.
• 압축 측정 이론을 활용하여, 측정값 수 N이 N ≥ 2(k²−k+1)를 만족하고 N이 소수일 경우, 희박한 자기상관 벡터가 유일하게 복원 가능함을 보인다.
• 위너-킨친 정리를 적용하여 푸리에 크기 측정값과 신호의 자기상관 간의 관계를 규명한다.
• 특히 비영인 요소 간의 충돌이 없거나 k≠6일 경우에 유일한 복원이 보장되도록 신호 구조에 제약을 가한다.
• k-희박한 신호의 자기상관 구조를 분석하여, 이가 최대 (k²−k+1)-희박하고 중심대칭임을 보여준다.

실험 결과

연구 질문

• RQ1 k-희박한 실수 신호의 유일한 복원을 보장하기 위해 필요한 최소 단서 없는 측정값의 수는 얼마인가?
• RQ2 희박한 신호의 경우 보완 성질을 어떻게 약화시켜도 단서 없는 복원에서 단사성이 유지될 수 있는가?
• RQ3 푸리에 크기 측정값이 k-희박한 신호를 유일하게 결정짓는 조건은 무엇인가?
• RQ4 희박한 신호의 지지부분에 반복된 값(충돌)이 존재할 경우, 푸리에 기반 단서 없는 복원에서 유일성에 어떤 영향을 미치는가?
• RQ5 M개 이하의 부분 푸리에 크기 측정값(전체보다 적은 수)으로도 희박한 신호의 유일한 복원이 가능할 수 있는가?

주요 결과

• 측정 벡터를 자유롭게 선택할 수 있을 경우, k-희박한 M차원 실수 신호의 경우 4k−1개의 단서 없는 측정값으로도 유일한 복원이 보장된다.
• 푸리에 크기 측정값의 경우, N이 소수이면서 2(k²−k+1)보다 큰 조건 하에서 2(k²−k+1)개의 측정값으로도 k-희박한 실수 신호의 유일한 복원이 보장된다.
• 신호가 충돌이 없는(반복되지 않는 비영인 진폭이 있는) 경우 또는 sparsity k ≠ 6일 경우, 유일한 복원이 보장된다.
• k-희박한 신호의 자기상관은 최대 (k²−k+1)-희박하며, 이는 압축 측정 기법을 통해 복원이 가능함을 의미한다.
• 이전 연구에서 전체 푸리에 집합(M개 측정값)이 필요로 했던 것을 개선하여, 미약한 조건 하에서 부분 푸리에 크기 측정값(FMMs)만으로도 충분함을 보였다.
• 이론적 프레임워크를 통해 보완 성질을 희박한 신호로 확장하였으며, 희박한 경우에 단사성을 보장하기 위해 더 약한 조건이 충분함을 보였다.