[論文レビュー] The $abc$-problem for Gabor systems

Xin-Rong Dai, Qiyu Sun|arXiv (Cornell University)|Apr 29, 2013

Mathematical Analysis and Transform Methods参考文献 30被引用数 25

ひとこと要約

この論文は、区間 $I$ の長さが $c$ である特性関数 $χ_I$ によって生成されるガボール系が $L^2(\mathbb{R})$ に対してフレームをなすような三つ組 $(a,b,c)$ を完全に分類することにより、ガボール系における $abc$ 問題を解決する。ガボールフレーム性と、区分的線形写像における最大不変集合の自明性との間の同値性を、非エルゴード的で、非収縮的で、非測度保存的である写像を用いた、新規の力学系的手法によって確立する。

ABSTRACT

A Gabor system generated by a window function $ϕ$ and a rectangular lattice $a \Z imes \Z/b$ is given by $${\mathcal G}(ϕ, a \Z imes \Z/b):=\{e^{-2πi n t/b} ϕ(t- m a):\ (m, n)\in \Z imes \Z\}.$$ One of fundamental problems in Gabor analysis is to identify window functions $ϕ$ and time-frequency shift lattices $a \Z imes \Z/b$ such that the corresponding Gabor system ${\mathcal G}(ϕ, a \Z imes \Z/b)$ is a Gabor frame for $L^2(\R)$, the space of all square-integrable functions on the real line $\R$. In this paper, we provide a full classification of triples $(a,b,c)$ for which the Gabor system ${\mathcal G}(χ_I, a \Z imes \Z/b)$ generated by the ideal window function $χ_I$ on an interval $I$ of length $c$ is a Gabor frame for $L^2(\R)$. For the classification of such triples $(a, b, c)$ (i.e., the $abc$-problem for Gabor systems), we introduce maximal invariant sets of some piecewise linear transformations and establish the equivalence between Gabor frame property and triviality of maximal invariant sets. We then study dynamic system associated with the piecewise linear transformations and explore various properties of their maximal invariant sets. By performing holes-removal surgery for maximal invariant sets to shrink and augmentation operation for a line with marks to expand, we finally parameterize those triples $(a, b, c)$ for which maximal invariant sets are trivial. The novel techniques involving non-ergodicity of dynamical systems associated with some novel non-contractive and non-measure-preserving transformations lead to our arduous answer to the $abc$-problem for Gabor systems.

研究の動機と目的

• 区間 $I$ の長さが $c$ であるとき、$L^2(\mathbb{R})$ に対してガボール系 ${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$ がフレームをなすようなすべての三つ組 $(a,b,c)$ を完全に分類すること。
• 理想窓関数 $\chi_I$ に対するフレーム条件を特徴づけることにより、長年のガボール系における $abc$ 問題を解決すること。
• ガボールフレーム性と、特定の区分的線形写像 $R_{a,b,c}$ における最大不変集合の自明性との間に深い関係を確立すること。
• 非エルゴード的で、非収縮的で、非測度保存的である変換を解析するための、力学系分野における新規な技術を開発すること。

提案手法

• ガボール系における時間周波数シフトをモデル化するため、$\mathbb{R}/a\mathbb{Z}$ 上に区分的線形写像 $R_{a,b,c}$ を導入する。
• 「ブラックホール」区間 $[c_0 + a - b, c_0) + a\mathbb{Z}$ を避ける点の前向き軌道を持つ点の集合として、最大不変集合 $\mathcal{S}_{a,b,c}$ を定義する。
• 同値性を確立する：ガボール系がフレームであることは、$\mathcal{S}_{a,b,c} = \emptyset$、すなわち最大不変集合が自明であることと同値である。
• 穴の除去手術とマーク付き直線への拡張操作を用いて、$\mathcal{S}_{a,b,c}$ が自明となる三つ組 $(a,b,c)$ をパラメータ化する。
• 有理数と無理数の $a/b$ について、$R_{a,b,c}$ の力学的性質を別々に分析し、ディオファントス近似と周期性の性質を活用する。
• $R_{a,b,c}$ の非エルゴード性を証明し、これを応用して軌道が空間を稠密に埋め尽くせない条件を導出し、非自明な不変集合の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 区間 $I$ の長さが $c$ であるとき、$L^2(\mathbb{R})$ に対してガボール系 ${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$ がフレームをなすような三つ組 $(a,b,c)$ はどのようなものか？
• RQ2 ガボールフレーム性と、変換 $R_{a,b,c}$ における最大不変集合の構造との間の正確な関係は何か？
• RQ3 $R_{a,b,c}$ の力学的性質、特に非エルゴード性と非測度保存性が、非自明な不変集合の存在にどのように影響するか？
• RQ4 フレームパラメータの分類を、変換 $R_{a,b,c}$ の位相的および力学的条件に還元できるか？
• RQ5 $a/b$ の有理数性または無理数性は、$\mathcal{S}_{a,b,c}$ の自明性を決定づけるか？

主な発見

• ガボール系 ${\mathcal{G}}(\chi_I, a\mathbb{Z} \times \mathbb{Z}/b)$ が $L^2(\mathbb{R})$ に対してフレームをなすことは、変換 $R_{a,b,c}$ における最大不変集合 $\mathcal{S}_{a,b,c}$ が空集合であることと同値である。
• 無理数 $a/b$ の場合、$\mathcal{S}_{a,b,c} = \emptyset$ であることは、$R_{a,b,c}$ におけるすべての点の軌道が、最終的にブラックホール $[c_0 + a - b, c_0) + a\mathbb{Z}$ に到達することと同値である。
• 有理数 $a/b = p/q$（既約分数）の場合、$\mathcal{S}_{a,b,c} = \emptyset$ であることは、$c < \min\{a, b\}$ かつ $p,q$ に関するある種のディオファントス的条件を満たすことと同値である。
• フレームパラメータの分類は、穴の除去手術とマーク付き直線への拡張操作の組み合わせによって完全にパラメータ化可能である。
• 証明により、$R_{a,b,c}$ の力学的性質は非エルゴード的で非測度保存的であり、$a/b < 1$ であっても非自明な不変集合が存在しうることを示しており、通常のエルゴード理論の仮定とは対照的である。
• 本結果により、理想窓関数 $\chi_I$ における $abc$ 問題が完全に解決され、ガウス型や完全正定値窓関数の既知のケースを越えて一般化された。