局部域上Gabor紧框架的特征

主要讨论局部域上的Gabor紧框架.首先,建立局部域上Gabor系{xm(bx)g(x-u(n)a)}m.n∈p构成L~2(K)上紧框架的特征.其次,给出Gabor系{X_m(bx)g(x-u(n)a)}_(m,n∈p)成为L~2(K)上标准正交基的充要条件.     

A Geometric Construction of Tight Multivariate Gabor Frames with Compactly Supported Smooth Windows

Fundamental domains of pairs of lattices were used by Han and Wang to construct multivariate Gabor frames for separable lattices. We build upon their results to obtain Gabor frames with smooth and compactly supported window functions. Our results are applicable, for example, if certain pairs of lattices with equal density allow for a common compact and star-shaped fundamental domain.     

On Generating Tight Gabor Frames at Critical Density

We consider the construction of tight Gabor frames (h, a=1, b=1) from Gabor systems (g, a=1, b=1) with g a window having few zeros in the Zak transform domain via the operation h=Z ^-1(Zg/|Zg|), where Z is the standard Zak transform. We consider this operation with g the Gaussian, the hyperbolic secant, and for g belonging to a class of positive, even, unimodal, rapidly decaying windows of which the two-sided exponential is a typical example. All these windows g have the property that Zg has a single zero, viz. at (1/2,\1/2), in the unit square [0,1)². The Gaussian and hyperbolic secant yield a frame for any a,b > 0 with ab < 1, and we show that so does the two-sided exponential. For these three windows it holds that S _a ^-1/2 g h as a 1, where S _a is the frame operator corresponding to the Gabor frame (g,a,a). It turns out that the hs corresponding to gs of the above type look and behave quite similarly when scaling parameters are set appropriately. We give a particular detailed analysis of the h corresponding to the two-sided exponential. We give several representations of this h, and we show that , and is continuous and differentiable everywhere except at the half-integers, etc., and we pay particular attention to the cases that the time constant of the two-sided exponential g tends to . We also consider the cases that the time constants of the Gaussian and of the hyperbolic secant tend to 0 or to . It so turns out that h thus obtained changes from the box function into its Fourier transform when the time constant changes from 0 to      

最小能量多重仿射紧框架的特征

引入多个加细函数生成的最小能量多重仿射框架的概念.运用矩阵理论和时频分析方法,给出对应于最小能量多重仿射框架的多重加细函数所满足的条件.得到最小能量多重仿射紧框架的特征与构造方法.对原多重加细函数和最小能量多小波仿射框架做正交变换,得到新的多重加细函数和对应的最小能量多重仿射框架.     

Tight Gabor Frames Associated with Non-separable Lattices and the Hyperbolic Secant

We consider Gabor systems generated by a window given by the hyperbolic secant function. We show that such a system forms a Parseval frame for L ²(?) when the translations and modulations of the window are associated with certain non-separable lattices in ?² which we explicitly describe. We also study the more general problem of characterizing the positive Borel measures μ on ?²ⁿ with the property that the short-time Fourier transform defines an isometric embedding from L ²(? ⁿ ) to L _μ ² (?²ⁿ ) when the window belongs to the Schwartz class and, in particular, we characterize the extreme points of this set. In the case where the window is the hyperbolic secant function, we consider the situation where the measure is discrete with constant weights and supported on a non-separable lattice yielding a Parseval frame. We provide arithmetic conditions on the parameters defining the lattice characterizing when the associated measure is an extreme point.     

Iterative Algorithms to Approximate Canonical Gabor Windows: Computational Aspects

In this article we investigate the computational aspects of some recently proposed iterative methods for approximating the canonical tight and canonical dual window of a Gabor frame (g, a, b). The iterations start with the window g while the iteration steps comprise the window g, the k-th iterand γ_k, the frame operators S and S_k corresponding to (g, a, b) and (γ_k, a, b), respectively, and a number of scalars. The structure of the iteration step of the method is determined by the envisaged convergence order m of the method. We consider two strategies for scaling the terms in the iteration step: Norm scaling, where in each step the windows are normalized, and initial scaling where we only scale in the very beginning. Norm scaling leads to fast, but conditionally convergent methods, while initial scaling leads to unconditionally convergent methods, but with possibly suboptimal convergence constants. The iterations, initially formulated for time-continuous Gabor systems, are considered and tested in a discrete setting in which one passes to the appropriately sampled-and-periodized windows and frame operators. Furthermore, they are compared with respect to accuracy and efficiency with other methods to approximate canonical windows associated with Gabor frames.     

Limit Properties of Systems of Integer Translates and Functions Generating Tight Gabor Frames

Mathematical Notes - Tangent-valued forms, tangent and cotangent vectors of the first and the second order are considered. For an affine connection, second-order tangent-valued (vertical and...     

Irregular Wavelet Frames and Gabor Frames

Given g∈L²(R ⁿ ), we consider irregular wavelet for the form\(\left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j \) > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L²(R ⁿ ) are given. For a class of functions g∈L²²(R ⁿ ) we prove that certain growth conditions on {λ _j } will frames, and that some other types of sequences exclude the frame property. We also give a sufficient condition for a Gabor system\(\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} \)to be a frame.     

Irregular Wavelet Frames and Gabor Frames

Given g { l^\fracn2 g( l_j x - kb ) }_jezjezⁿ ,where  l_j \left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L ²(R ⁿ ) are given. For a class of functions g{ e^{zrib( j,x )} g( x - l_k ) }_{jezⁿ ,kez}\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} to be a frame.     

Gabor Frames for Model Sets

Journal of Fourier Analysis and Applications - We generalize three main concepts of Gabor analysis for lattices to the setting of model sets: fundamental identity of Gabor analysis, Janssen’s...     

Density of Gabor Frames

A Gabor system is a set of time-frequency shifts S(g, Λ) ={e^{2 π ibx}g(x − a)}_{(a, b) Λ} of a function g L²(R^d). We prove that if a finite union of Gabor systems _{k = 1}^rS(g_k, Λ_k) forms a frame for L²(R^d) then the lower and upper Beurling densities of Λ = _{k = 1}^r Λ_k satisfy D⁻(Λ) ≥ 1 and D ⁺ (Λ) < ∞. This extends recent work of Ramanathan and Steger. Additionally, we prove the conjecture that no collection _{k = 1}^r{g_k(x − a)}_{a Γk} of pure translates can form a frame for L²(R^d).     

On Characterization of Nonuniform Tight Wavelet Frames on Local Fields

In this article, we introduce a notion of nonuniform wavelet frames on local fields of positive characteristic. Furthermore, we gave a complete characterization of tight nonuniform wavelet frames on local fields of positive characteristic via Fourier transform. Our results also hold for the Cantor dyadic group and the Vilenkin groups as they are local fields of positive characteristic.     

Directional Frames for Image Recovery: Multi-scale Discrete Gabor Frames

Sparsity-driven image recovery methods assume that images of interest can be sparsely approximated under some suitable system. As discontinuities of 2D images often show geometrical regularities along image edges with different orientations, an effective sparsifying system should have high orientation selectivity. There have been enduring efforts on constructing discrete frames and tight frames for improving the orientation selectivity of tensor product real-valued wavelet bases/frames. In this paper, we studied the general theory of discrete Gabor frames for finite signals, and constructed a class of discrete 2D Gabor frames with optimal orientation selectivity for sparse image approximation. Besides high orientation selectivity, the proposed multi-scale discrete 2D Gabor frames also allow us to simultaneously exploit sparsity prior of cartoon image regions in spatial domain and the sparsity prior of textural image regions in local frequency domain. Using a composite sparse image model, we showed the advantages of the proposed discrete Gabor frames over the existing wavelet frames in several image recovery experiments.     

框架的强分离性与紧框架的构造

Hilbert空间上框架的分离性概念是由Han与Larson首先提出的.分离框架有很多有用的性质.本文利用强分离紧框架来构造出新的紧框架.特别地,我们将给出一些充分或充要条件使得正规紧框架的算子系数的线性组合是某些特殊的紧框架.并给出一个框架存在界满足一定条件的紧对偶框架的充要条件.最后还讨论了实Hilbert空间中的一些相关问题.     

The Mystery of Gabor Frames

This is a survey about the theory of Gabor frames. We review the structural results about Gabor frames over a lattice and then discuss the few known results about the fine structure of Gabor frames. We add a new result about the relation between properties of the window and properties of the frame set and conclude with a vision of how a more complete theory of the fine structure might look like.     

Tight Frames and Their Symmetries

The aim of this paper is to investigate the symmetry properties of tight frames, with a view to constructing tight frames of orthogonal polynomials in several variables which share the symmetries of the weight function, and other similar applications. This is achieved by using representation theory to give methods for constructing tight frames as orbits of groups of unitary transformations acting on a given finite-dimensional Hilbert space. Along the way, we show that a tight frame is determined by its Gram matrix and discuss how the symmetries of a tight frame are related to its Gram matrix. We also give a complete classification of those tight frames which arise as orbits of an abelian group of symmetries.     

Construction of k-Angle Tight Frames

Frames have become standard tools in signal processing due to their robustness against transmission errors and their resilience to noise. Equiangular tight frames (ETFs) are particularly useful and have been shown to be optimal for transmission under a certain number of erasures. Unfortunately, ETFs do not exist in many cases and are hard to construct when they do exist. However, it is known that an ETF of d + 1 vectors in a d dimensional space always exists. This article gives an explicit construction of ETFs of d + 1 vectors in a d dimensional space. This construction works for both real and complex cases and is simpler than existing methods. The absence of ETFs of arbitrary sizes in a given space leads to generalizations of ETFs. One way to do this to consider tight frames where the set of (acute) angles between pairs of vectors has k distinct values. This article presents a construction of tight frames such that for a given value of k, the angles between pairs of vectors take at most k distinct values. These tight frames can be related to regular graphs and association schemes.     

小波紧框架的构造

小波框架理论是小波分析的重要内容之一.本文对于4-带尺度函数,由V1中的l个函数ψ1,ψ2,…,ψl构造小波紧框架.首先给出这个l个函数构成小波紧框架的充分条件.由此给出由4-带尺度函数构造出一个小波紧框架的公式.最后还给出类似于小波的小波紧框架的分解与重构算法.     

Counterexamples to the B-spline Conjecture for Gabor Frames

The frame set conjecture for B-splines \(B_n\), \(n \ge 2\), states that the frame set is the maximal set that avoids the known obstructions. We show that any hyperbola of the form \(ab=r\), where r is a rational number smaller than one and a and b denote the sampling and modulation rates, respectively, has infinitely many pieces, located around \(b=2,3,\dots \), not belonging to the frame set of the nth order B-spline. This, in turn, disproves the frame set conjecture for B-splines. On the other hand, we uncover a new region belonging to the frame set for B-splines \(B_n\), \(n \ge 2\).