[논문 리뷰] Balayage and Short time Fourier transform frames

Enrico Au-Yeung, John J. Benedetto|arXiv (Cornell University)|2013. 09. 02.

Mathematical Analysis and Transform Methods참고 문헌 20인용 수 3

한 줄 요약

이 논문은 베르링의 발레주 이론, 스펙트럼 합성, 엄격한 다중성 이론을 이용하여 단기 푸리에 변환(STFT)에 대한 비균일 샘플링 정리들을 수립한다. 만약 분리된 집합 $E = \{(s_m, t_n)\} \subset \mathbb{R}^{2d}$ 와 컴acts, 볼록, 대칭인 S집합 $\Lambda \subset \widehat{\mathbb{R}}^{2d}$ 에 대해 발레주가 가능할 경우, STFT 샘플이 $L^2(\mathbb{R}^d)$ 에서 프레임을 이룬다는 것을 증명한다. 이는 비균일 샘플로부터 안정적인 신호 복원을 보장한다.

ABSTRACT

Using his formulation of the potential theoretic notion of balayage and his deep results about this idea, Beurling gave sufficient conditions for Fourier frames in terms of balayage. The analysis makes use of spectral synthesis, due to Wiener and Beurling, as well as properties of strict multiplicity, whose origins go back to Riemann. In this setting and with this technology, we formulate and prove non-uniform sampling formulas in the context of the short time Fourier transform (STFT).

연구 동기 및 목표

• 고전적 푸리에 프레임 이론을 단기 푸리에 변환(STFT) 설정으로 일반화하기 위해 고급 조화 분석 도구를 사용한다.
• 발레주, 스펙트럼 합성, 엄격한 다중성 이론을 이용하여 STFT 프레임 존재를 위한 충분조건을 수립한다.
• 기존의 푸리에 프레임 결과를 비정규, 비균일 샘플링 집합으로 확장하는 일반적인 STFT 샘플링 프레임워크를 제공한다.
• 발레주를 통해 STFT 샘플링 문제를 유계 라돈 측도 이론과 위너-피트 타입 정리와 연결한다.

제안 방법

• 측도를 $\mathbb{R}^{2d}$ 에서 분리된 집합 $E \subset \mathbb{R}^{2d}$ 로 이 trasfer하기 위해 베르링의 발레주 공식을 사용하여, $E$ 상의 측도의 푸리에 변환이 $\Lambda$ 상에서 원래 측도의 푸리에 변환과 일치하도록 보장한다.
• $\Lambda$ 의 스펙트럼 합성(S집합 성질)을 적용하여, $\Lambda$ 상에서 푸리에 변환이 0이면 $\mathcal{C}(\Lambda)$ 내의 함수들과의 적분도 0이 됨을 보장한다.
• 엄격한 다중성 개념을 활용하여 $\Lambda$ 상의 측도의 역 푸리에 변환의 감쇠를 제어함으로써 비자명성과 안정성을 확보한다.
• 함수 공간으로 페이히처링 대수 $\mathcal{S}_0(\mathbb{R}^d)$ 를 사용하여 $V_g f \in L^1(\mathbb{R}^{2d})$ 가 되도록 하여 $L^1$-기반의 프레임 상한을 사용할 수 있도록 한다.
• STFT 샘플링을 $E = \{(s_m, t_n)\}$ 에서 수행하여 재구성 공식을 구성하며, 절대 수렴 가능한 $L^1$-노름을 갖는 계수 $a_{mn}(y, \omega)$ 를 사용하여 $V_g f(y, \omega)$ 를 $E$ 위의 수렴하는 합으로 표현한다.
• $\mathcal{F}(V_g f)$ 가 $\Lambda$ 에 지지된 것으로 가정할 경우, $A \|f\|_{L^2}^2 \leq \sum_{m,n} |V_g f(s_m, t_n)|^2 \leq B \|f\|_{L^2}^2$ 를 만족하는 프레임 상한 $A, B > 0$ 을 유도한다.

실험 결과

연구 질문

• RQ1 분리된 집합 $E \subset \mathbb{R}^{2d}$ 와 컴팩트, 볼록, 대칭인 S집합 $\Lambda \subset \widehat{\mathbb{R}}^{2d}$ 에 대해 발레주가 존재하는 조건은 무엇인가?
• RQ2 발레주와 스펙트럼 합성을 어떻게 활용하여 비균일 점에서의 STFT 샘플에 대한 프레임 상한을 도출할 수 있는가?
• RQ3 어떤 함수 공간 조건이 STFT의 적분 가능성과 함께, $E$ 에서의 샘플링이 안정적인 복원을 보장하는가?
• RQ4 엄격한 다중성 이론은 $\Lambda$ 상에서 감쇠하는 푸리에 변환을 갖는 비자명한 측도의 존재에 어떻게 기여하는가?

주요 결과

• 발레주가 $(E, \Lambda)$ 에 대해 가능할 조건은 모든 $\mu \in M_b(\mathbb{R}^{2d})$ 에 대해 $\widehat{\mu} = \widehat{\nu}$ 가 $\Lambda$ 상에서 성립하는 $\nu \in M_b(E)$ 가 존재하는 것이다.
• $\Lambda$ 가 컴팩트, 볼록, 대칭인 S집합이고, $E$ 가 분리되어 있으며 $(E, \Lambda)$ 에 대해 발레주가 가능할 경우, STFT 샘플은 $L^2(\mathbb{R}^d)$ 에서 프레임을 이룬다.
• $\mathcal{F}(V_g f)$ 가 $\Lambda$ 에 지지된 $f \in \mathcal{S}_0(\mathbb{R}^d)$ 에 대해 프레임 부등식 $A \|f\|_{L^2}^2 \leq \sum_{m,n} |V_g f(s_m, t_n)|^2 \leq B \|f\|_{L^2}^2$ 이 양의 상수 $A$ 및 $B$ 를 갖는다.
• 상한 프레임 상한 $B$ 는 $C \|V_{G_0} G\|_1$ 으로 취할 수 있으며, 여기서 $G_0$ 는 가우시안 윈도우이고 $C$ 는 $V_{G_0} G_0$ 와 유사한 컨볼루션 유형의 표현식의 상한이다.
• 만약 $E$ 가 분리되어 있고 그로헨리의 커버링 조건을 만족할 경우, $\mathcal{S}_0(\mathbb{R}^d)$ 에서 $f$ 의 STFT 샘플로부터의 재구성은 안정적이고 조건부 없이 성립한다.