[논문 리뷰] Deformations of Gabor Frames

Gerald Kaiser|arXiv (Cornell University)|2001. 08. 20.

Mathematical Analysis and Transform Methods참고 문헌 2인용 수 7

한 줄 요약

이 논문은 조화 진동자 해밀토니안의 유니터리 군을 초기 가바르 프레임에 적용하여 생성되는, 한 개의 매개변수를 가진 가바르 프레임의 가족인 변형(deformations)을 소개한다. 이 방법은 프레임 경계를 유지하며, 시간 또는 주파수에서 컴팩트하게 지지되지 않는 창 함수를 갖는 새로운 프레임을 생성한다. 이는 표준적인 시간 제한된 프레임과 푸리에 변환으로 제한된 가바르 프레임 사이를 보간하며, 푸리에 변환은 π/2의 회전에 해당한다.

ABSTRACT

The quantum mechanical harmonic oscillator Hamiltonian generates a one-parameter unitary group W(θ) in L^2(R) which rotates the time-frequency plane. In particular, W(π/2) is the Fourier transform. When W(θ) is applied to any frame of Gabor wavelets, the result is another such frame with identical frame bounds. Thus each Gabor frame gives rise to a one-parameter family of frames, which we call a deformation of the original. For example, beginning with the usual tight frame F of Gabor wavelets generated by a compactly supported window g(t) and parameterized by a regular lattice in the time-frequency plane, one obtains a family of frames F_θgenerated by the non-compactly supported windows g_θ=W(theta)g, parameterized by rotated versions of the original lattice. This gives a method for constructing tight frames of Gabor wavelets for which neither the window nor its Fourier transform have compact support. When θ=π/2, we obtain the well-known Gabor frame generated by a window with compactly supported Fourier transform. The family F_θtherefore interpolates these two familiar examples.

연구 동기 및 목표

• 기존의 가바르 프레임에서 새로운 가바르 프레임을 체계적으로 생성하는 방법을 개발함으로써, 프레임 경계를 유지하고자 한다.
• 컴팩트하게 지지되지 않는 창 함수를 갖는 강한 또는 정규직교 가바르 프레임을 구성함으로써, 바리안-로우 정리의 제약을 극복하고자 한다.
• 시간 제한된 창 함수와 주파수 제한된 창 함수를 갖는 가바르 프레임 사이의 연속적 보간을 제공하고자 한다.
• 컴팩트하게 지지되는 창 함수를 초월하여, 바리안-로우 정리에 의해 실패하는 프레임 구성의 일반화를 시도하고자 한다.

제안 방법

• 조화 진동자 해밀토니안 $ H = \frac{1}{2}(Q^2 + P^2) $ 에 의해 생성되는 유니터리 군 $ W(\theta) = e^{i\theta H} $ 을 사용하여 가바르 프레임을 변형한다.
• 생성 창 함수 $ g $ 에 $ W(\theta) $ 를 적용하여 새로운 창 함수 $ g^\theta = W(\theta)g $ 를 얻으며, 이는 $ \theta \notin \pi\mathbb{Z} $ 일 때 컴팩트하게 지지되지 않는다.
• 시간-주파수 격자 $ (\omega, s) $ 를 $ (\omega(\theta), s(\theta)) $ 로 변형하여, 시간-주파수 평면에서의 회전에 해당한다.
• 웨일-헤이젠베르크 군의 구조와 메슬러의 공식을 활용하여, $ g^\theta $ 가 $ g $ 를 포함하는 적분 변환으로 명시적으로 유도된다.
• 유니터리 성질 덕분에 변형된 프레임 $ \mathcal{F}_\theta $ 는 원래 프레임 $ \mathcal{F} $ 와 동일한 프레임 경계 $ A, B $ 를 유지한다.
• 모든 $ \theta \in [0, 2\pi) $ 에서 $ \mathcal{F}_\theta $ 가 유효한 프레임임을 보이며, $ \mathcal{F}_{2\pi} \approx \mathcal{F}_0 $ 이므로 주기성이 보장된다.

실험 결과

연구 질문

• RQ1 단일 프레임에서 프레임 경계를 유지하면서도 연속적인 가바르 프레임의 가족을 생성할 수 있는가?
• RQ2 시간 또는 주파수에서 컴팩트하게 지지되지 않는 창 함수를 갖는 강한 가바르 프레임을 구성할 수 있는가?
• RQ3 조화 진동자에 의해 생성되는 유니터리 진동에 따라 가바르 프레임의 시간-주파수 구조는 어떻게 변하는가?
• RQ4 조화 진동자에 의해 생성되는 변형에서 $ \theta = \pi/2 $ 에서 원래의 가바르 프레임과의 관계는 무엇인가? 이는 푸리에 변환에 해당한다.

주요 결과

• 변형 $ \mathcal{F}_\theta $ 는 원래 프레임 $ \mathcal{F} $ 의 프레임 경계 $ A $ 와 $ B $ 를 유지하므로, 안정성과 재구성 성질이 유지된다.
• 특히 $ \theta = \pi/2 $ 일 때, 변형된 창 함수 $ g^{\pi/2} $ 는 $ g $ 의 푸리에 변환과 비례하므로, $ \mathcal{F}_{\pi/2} $ 는 주파수 제한된 창 함수를 갖는 표준 가바르 프레임이 된다.
• 특히 $ \theta = n\pi $ 일 때, 창 함수 $ g^{n\pi} $ 는 $ g $ 를 시간 반전하고 위상 이동시킨 형태이며, 시간에서의 컴팩트 지지성을 유지한다.
• 특히 $ \theta \notin \pi\mathbb{Z} $ 일 때, 창 함수 $ g^\theta $ 는 시간 또는 주파수에서 컴팩트하게 지지되지 않으며, $ g $ 가 시간에서 컴팩트하게 지지되더라도 마찬가지다.
• 가족 $ \{\mathcal{F}_\theta\} $ 는 시간 제한된 창 함수와 주파수 제한된 창 함수를 갖는 가바르 프레임 사이의 연속적 보간을 제공한다.
• 원래 프레임 $ \mathcal{F} $ 가 강한 프레임이면, $ \mathcal{F}_\theta $ 도 강한 프레임이며, 이 성질이 변형에 의해 유지된다.