[論文レビュー] Balayage and Short time Fourier transform frames

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

Mathematical Analysis and Transform Methods参考文献 20被引用数 3

ひとこと要約

本稿は、Beurlingのバレー造理論、スペクトル合成、および厳密な多重度を用いて、短時間フーリエ変換（STFT）の非一様サンプリング定理を確立する。$E = \{(s_m, t_n)\} \subset \mathbb{R}^{2d}$ が分離された集合であり、$\Lambda \subset \widehat{\mathbb{R}}^{2d}$ がコンパクトで、凸かつ対称なS集合であるとき、バレー造が可能であれば、STFTの$E$におけるサンプリングは$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サンプリング問題を有界Radon測度の理論およびWiener-Pitt型定理と結びつけること。

提案手法

• 測度を$\mathbb{R}^{2d}$から分離された集合$E \subset \mathbb{R}^{2d}$へと移行するBeurlingのバレー造の定式化を用い、$E$上の測度のフーリエ変換が$\Lambda$上で$\Lambda$上の測度のフーリエ変換と一致することを保証する。
• $\Lambda$のスペクトル合成（S集合性質）を適用し、$\Lambda$上でフーリエ変換が消えることから、$\mathcal{C}(\Lambda)$に属する関数との積分が消えることを保証する。
• 厳密な多重度の概念を用いて、$\Lambda$上の測度の逆フーリエ変換の減衰を制御し、非自明性と安定性を保証する。
• $\mathcal{S}_0(\mathbb{R}^d)$を関数空間として用い、$V_g f \in L^1(\mathbb{R}^{2d})$を満たすことで、$L^1$に基づくフレーム境界の使用を可能にする。
• $E = \{(s_m, t_n)\}$におけるSTFTサンプリングを用いて再構成公式を構成し、絶対可summableな$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$を導出する。

実験結果

リサーチクエスチョン

• 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)$に対してバレー造が可能であれば、$E$におけるSTFTサンプルは$L^2(\mathbb{R}^d)$上でフレームを形成する。
• $\mathcal{F}(V_g f)$が$\Lambda$に台を持つ$\mathcal{S}_0(\mathbb{R}^d)$の関数$f$に対して、正の定数$A$と$B$を用いて、フレーム不等式$A \|f\|_{L^2}^2 \leq \sum_{m,n} |V_g f(s_m, t_n)|^2 \leq B \|f\|_{L^2}^2$が成り立つ。
• 上界フレーム境界$B$は、$C \|V_{G_0} G\|_1$として取ることができ、ここで$G_0$はガウス窓であり、$C$は$V_{G_0} G_0$を含む畳み込み型表現の上界である。
• $E$が分離されており、Gröchenigの被覆条件を満たしている限り、$f$の$E$におけるSTFTサンプルからの再構成は、$\mathcal{S}_0(\mathbb{R}^d)$において安定かつ無条件的に行える。