[논문 리뷰] Hyperbolic secants yield Gabor frames

A. J. E. M. Janssen, Thomas Strohmer|ArXiv.org|2003. 01. 13.

Image Processing Techniques and Applications인용 수 4

한 줄 요약

이 논문은 초월 쌍곡선 쌍곡선 창문 $ g_{2,u}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ 가 $ a>0, b>0, ab<1 $ 인 경우에 Gabor 프레임을 생성함을 증명한다. 이를 위해 theta 함수를 통해 이 창문의 Zak 변환을 가우시안 창문의 Zak 변환과 연결하고, Ron-Shen 기준을 적용한다. 주요 결과는 임계 밀도 $ a=b=1 $ 에서 초월 쌍곡선 창문과 가우시안 창문의 타이트 Gabor 프레임 생성 창문이 동일하다는 점으로, 이는 프레임 연산자의 심층적인 평탄화 효과를 보여준다.

ABSTRACT

We show that $(g_2,a,b)$ is a Gabor frame when $a&gt;0, b&gt;0, ab&lt;1$ and $g_2(t)=({1/2}πγ)^{1/2} (\cosh πγt)^{-1}$ is a hyperbolic secant with scaling parameter $γ&gt;0$. This is accomplished by expressing the Zak transform of $g_2$ in terms of the Zak transform of the Gaussian $g_1(t)=(2γ)^{1/4} \exp (-πγt^2)$, together with an appropriate use of the Ron-Shen criterion for being a Gabor frame. As a side result it follows that the windows, generating tight Gabor frames, that are canonically associated to $g_2$ and $g_1$ are the same at critical density $a=b=1$. Also, we display the ``singular'' dual function corresponding to the hyperbolic secant at critical density.

연구 동기 및 목표

• 초월 쌍곡선 창문 $ g_{2,\nu} $ 가 $ ab < 1 $ 인 경우에 Gabor 프레임을 생성함을 확립하는 것.
• theta 함수를 이용해 초월 쌍곡선 창문의 Zak 변환을 가우시안 창문의 Zak 변환과 연결하는 것.
• 임계 밀도 $ a = b = 1 $ 에서 초월 쌍곡선과 가우시안 창문의 타이트 Gabor 프레임 생성 창문이 동일함을 보여주는 것.
• 시스템이 프레임가 아니므로, 임계 밀도에서 초월 쌍곡선 창문의 캐논컬 듀얼 창문을 계산하는 것.

제안 방법

• 초월 쌍곡선 창문 $ g_{2,\nu} $ 의 Zak 변환을, 가우시안 창문 $ g_{1,\nu} $ 의 Zak 변환을 비율로 표현하고, $ \vartheta_4 $ theta 함수의 곱으로 스케일링하는 방식으로 표현한다.
• Ron-Shen의 시간 도메인 기준을 활용하여, Gabor 프레임을 정의하는 데에는 연산자 $ \frac{1}{b} M_g(t) M_g^*(t) $ 가 양수 상한과 하한으로 유계임을 요구한다.
• 기존에 알려진 바에 따르면 가우시안 창문 $ g_{1,\nu} $ 는 $ ab < 1 $ 인 경우에 Gabor 프레임을 생성하며, 이를 변환 관계를 통해 $ g_{2,\nu} $ 에도 프레임 성질을 전이한다.
• 복소 해석학과 Jacobi theta 함수의 성질을 활용하여 Zak 변환 비율의 명시적 인수분해를 유도한다.
• 임계 밀도 $ a = b = 1 $ 에서 공식적인 Zak 변환의 역함수를 통해 캐논컬 듀얼 창문을 계산한다. 이는 시스템이 프레임가 아니므로, 이는 형식적 계산이다.
• Zak 변환의 비율이 양수이므로, $ g_{1,\nu} $ 와 $ g_{2,\nu} $ 의 타이트 프레임 생성 창문 $ g^t $ 이 동일함을 보여준다.

실험 결과

연구 질문

• RQ1 초월 쌍곡선 창문 $ g_{2,\nu}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ 는 $ ab < 1 $ 인 경우에 Gabor 프레임을 생성하는가?
• RQ2 초월 쌍곡선 창문의 Zak 변환은 theta 함수를 이용해 가우시안 창문의 Zak 변환으로 표현될 수 있는가?
• RQ3 임계 밀도 $ a = b = 1 $ 에서 초월 쌍곡선과 가우시안 창문의 타이트 Gabor 프레임 생성 창문이 동일한가?
• RQ4 시스템이 프레임가 아니므로, 임계 밀도에서 초월 쌍곡선 창문의 캐논컬 듀얼 창문의 형태는 무엇인가?

주요 결과

• 모든 $ a>0, b>0, ab<1 $ 에 대해 삼중항 $ (g_{2,\nu}, a, b) $ 는 Gabor 프레임을 이룬다. 여기서 $ g_{2,\nu}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ 이다.
• Zak 변환은 $ (Zg_{2,\nu})(t,\nu) = \frac{E (Zg_{1,\nu})(t,\nu)}{\vartheta_4(\pi\nu; e^{-\pi\gamma}) \vartheta_4(\pi t; e^{-\pi/\gamma})} $ 를 만족하며, 여기서 $ E $ 는 양수 상수이다.
• 임계 밀도 $ a = b = 1 $ 에서 초월 쌍곡선과 가우시안 창문의 타이트 Gabor 프레임 생성 창문은 동일하다: $ g^t_{1,\nu} = g^t_{2,\nu} $.
• 임계 밀도 $ a = b = 1 $ 에서 초월 쌍곡선 창문의 캐논컬 듀얼 창문은 $ g^d_{2,\nu}(t) = \int_0^1 \frac{d\nu}{(Zg_{2,\nu})^*(t,\nu)} $ 로 주어지며, 유계이지만 $ 1 \leq p < \infty $ 에 대해 $ L^p(\mathbb{R}) $ 에 속하지 않는다.
• 타이트 창문 $ g^t_{\nu} $ 는 $ \gamma $ 가 $ 0 $ 에서 $ \infty $ 로 변할 때 sinc 함수와 하르 창문 사이를 보간한다. $ \lim_{\gamma \downarrow 0} g^t_{\nu} = \text{sinc}(\pi \cdot) $ 이고, $ \lim_{\gamma \to \infty} g^t_{\nu} = \chi_{(-1/2,1/2)} $ 이다.
• 비율 $ Zg_{1,\nu} / Zg_{2,\nu} $ 는 전 구역에서 양수이며, 이는 타이트 창문이 일치하는 이유를 설명한다. 이는 단일극 창문에 대해 프레임 연산자의 강력한 평탄화 효과를 보여준다.