[論文レビュー] Hyperbolic secants yield Gabor frames

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

Image Processing Techniques and Applications被引用数 4

ひとこと要約

この論文は、theta関数を用いてGaussian窓関数のZak変換と関連づけることで、$ a>0, b>0, ab<1 $ の場合に、双曲正割窓 $ g_{2,u}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ がGaborフレームを生成することを証明している。主な結果は、臨界密度 $ a=b=1 $ における双曲正割とGaussianの両方のタイト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変換をGaussian窓のZak変換に関連付けること。
• 臨界密度 $ a = b = 1 $ における双曲正割とGaussianの両方のタイトGaborフレーム生成窓が同一であることを示すこと。
• フレームでないにもかかわらず、臨界密度における双曲正割の正規双対窓を計算すること。

提案手法

• 双曲正割窓 $ g_{2,\nu} $ のZak変換を、Gaussian $ g_{1,\nu} $ のZak変換の比として表し、$ \vartheta_4 $ theta関数の積でスケーリングする。
• Ron-Shenの時間領域基準を用いる。Gaborフレームの条件は、作用素 $ \frac{1}{b} M_g(t) M_g^*(t) $ が正の定数で下限と上限に挟まれることを要請する。
• Gaussian窓 $ 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関数を用いてGaussianのZak変換で表現可能か？
• RQ3 臨界密度 $ a = b = 1 $ における双曲正割とGaussianのタイト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 $ において、双曲正割とGaussianの両方のタイト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関数とHaar窓の間を補間する。$ \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} $ は常に正であり、これがタイト窓が一致する理由を説明しており、単峰性関数に対するフレーム作用素の顕著な平滑化効果を示している。