가우시안 이동불변 공간에서의 공액 위상 복원

초록

본 논문은 가우시안으로 생성된 이동불변 공간 (V_{\infty}^{\beta ,\lambda})에서 함수의 위상 정보를, 함수값과 1차 도함수의 절댓값(헐미트 샘플)만을 이용해 복원하는 방법을 제시한다. 저밀도 베를링 조건 (D^{-}(\Gamma)>2\beta-1)을 만족하는 이산 샘플 집합 (\Gamma)가 주어지면, 함수는 전역 상수 위상과 복소켤레에 대해서만 모호성을 갖고 유일하게 결정된다. 또한 계수가 유한하게 지원되는 경우에 대한 명시적 재구성 알고리즘도 제공한다.

상세 분석

이 논문은 기존의 위상 복원 연구를 복소값 신호에 적용하기 위해 “공액 위상 복원(conjugate phase retrieval)” 개념을 도입하고, 이를 가우시안 생성기의 이동불변 공간 (V_{\infty}^{\beta ,\lambda})에 특화시켰다. 핵심 아이디어는 함수 자체와 그 도함수의 절댓값, 즉 헐미트 샘플 ({|f(\gamma)|,|f’(\gamma)|}_{\gamma\in\Gamma})을 이용해 함수의 절댓값 (|f|)와 (|f’|)를 전체 실선에서 복원하고, 이를 통해 원 함수의 복소 계수열 ({c_k})를 결정하는 것이다.

첫 단계에서 저자들은 (|f|^2)가 동일한 가우시안 이동불변 공간 (V_{\infty}^{2\beta,2\lambda})에 속한다는 사실(Lemma 2.1)을 이용한다. 베를링 밀도 조건 (D^{-}(\Gamma)>2\beta-1)이 만족되면, (|f|^2)는 (\Gamma)에서의 샘플만으로 전체를 고유하게 결정한다(Lemma 2.2). 이어서 (|f’|)를 복원하기 위해 ( \omega(x)=\sum_k k c_k e^{-\lambda (x-k)^2}) 를 정의하고, (|f’|^2)를 (|f|^2)와 (|\omega|^2)의 선형 결합 형태로 전개한다(식 2.7). 이 식을 통해 (|\omega|) 역시 (\Gamma)의 샘플로부터 복원 가능함을 보인다.

두 번째 단계에서는 복소 계수열의 회전 및 켤레 변환에 대한 불변성을 이용해, 동일한 헐미트 절댓값을 갖는 두 함수 (f,g)가 존재한다면 그들의 전체 절댓값과 도함수 절댓값도 동일함을 보이고, 결국 두 함수는 전역 위상 (\alpha\in\mathbb{T}) 혹은 켤레 연산 (\alpha \overline{f}) 사이에서만 차이가 있음을 증명한다(Theorem 3.1). 이 과정에서 전체 유한 차수 전체함수의 곱과 그 도함수 곱이 동일하면 원함수는 위상 혹은 켤레 위상 차이만을 갖는다는 Lemma 3.3을 핵심적으로 활용한다.

마지막으로, 계수가 유한히 지원되는 경우(즉, ({c_k})가 제한된 구간에만 비제로)에는 푸리에 급수를 이용해 계수를 직접 복원하는 알고리즘을 제시한다. 특히 (\beta=1,\lambda=1)인 경우에 대한 구체적 절차와 수치적 구현 방법을 제시함으로써 실용성을 높였다.

이 논문의 주요 공헌은 다음과 같다. (1) 가우시안 이동불변 공간에서의 헐미트 샘플만으로 공액 위상 복원을 가능하게 하는 저밀도 베를링 조건을 제시, (2) 절댓값과 도함수 절댓값을 이용해 전체 함수와 그 도함수의 절댓값을 복원하는 체계적인 증명 구조, (3) 유한 계수열에 대한 명시적 재구성 알고리즘 제공으로 실제 신호 처리에 적용 가능성을 열었다.