This paper provides new sufficient and necessary conditions for the frame property of generalized translation-invariant systems. The conditions are formulated in the Fourier domain and consists of estimates involving the upper and lower frame bound. Contrary to known conditions of a similar nature, the estimates take the phase of the generating functions in consideration and not only their modulus. The possibility of phase cancellations makes these estimates optimal for tight frames. The results on generalized translation-invariant systems will be proved in the setting of locally compact abelian groups, but even for euclidean space and the special case of (composite) wavelet systems the results are new.
For shift-invariant systems, i.e., generalized shift-invariant systems with a single, fixed translation lattice @math , the Bessel and frame properties can be in terms of (bi-infinite) matrix-valued functions, so-called , as introduced by Ron and Shen @cite_7 , see also Janssen @cite_9 . As a consequence, the aforementioned necessary and sufficient conditions in , and are easily derived For example, the necessary condition in for shift-invariant systems follows from the norm estimate @math by noticing that the @math th column the dual Gramian matrix at @math is @math . from simple norm estimates of bi-infinite Hermitian matrices @math on @math , see [Section 1.6] MR1350650 . In particular, the estimates and are known for separable Gabor systems @cite_6 @cite_25 ; these estimates are the best known improvement of Daubechies' Gabor frame bound estimates @cite_28 . Furthermore, the dual Gramian characterization has, in a fiberization formulation @cite_2 , been extended to the setting of locally compact abelian groups @cite_21 @cite_36 @cite_3 . Hence, for shift-invariant systems, or more generally, trans -la -tion-in -vari -ant systems on such groups, the conditions , and follow from these characterizations and should not be considered new.
@cite_7 @cite_28 @cite_36 @cite_9 @cite_21 @cite_6 @cite_3 @cite_2 @cite_25
2164964910 2132294263 2004421506 2032049628
Using the range function approach to shift invariant spaces in L2(Rn) we give a simple characterization of frames and Riesz families generated by shifts of a countable set of generators in terms of their behavior on subspaces of l2(Zn). This in turn gives a simplified approach to the analysis of frames and Riesz families done by Gramians and dual Gramians. We prove a decomposition of a shift invariant space into the orthogonal sum of spaces each of which is generated by a quasi orthogonal generator. As an application of this fact we characterize shift preserving operators in terms of range operators and prove some facts about the dimension function. Abstract In this paper, we introduce a new (constructive) characterization of tight wavelet frames on non-flat domains in both continuum setting, i.e. on manifolds, and discrete setting, i.e. on graphs; we discuss how fast tight wavelet frame transforms can be computed and how they can be effectively used to process graph data. We start with defining the quasi-affine systems on a given manifold M . The quasi-affine system is formed by generalized dilations and shifts of a finite collection of wavelet functions Ψ : = ψ j : 1 ≤ j ≤ r ⊂ L 2 ( R ) . We further require that ψ j is generated by some refinable function ϕ with mask a j . We present the condition needed for the masks a j : 0 ≤ j ≤ r , as well as regularity conditions needed for ϕ and ψ j , so that the associated quasi-affine system generated by Ψ is a tight frame for L 2 ( M ) . The condition needed for the masks is a simple set of algebraic equations which are not only easy to verify for a given set of masks a j , but also make the construction of a j entirely painless. Then, we discuss how the transition from the continuum (manifolds) to the discrete setting (graphs) can be naturally done. In order for the proposed discrete tight wavelet frame transforms to be useful in applications, we show how the transforms can be computed efficiently and accurately by proposing the fast tight wavelet frame transforms for graph data (WFTG). Finally, we consider two specific applications of the proposed WFTG: graph data denoising and semi-supervised clustering. Utilizing the sparse representation provided by the WFTG, we propose l 1 -norm based optimization models on graphs for denoising and semi-supervised clustering. On one hand, our numerical results show significant advantage of the WFTG over the spectral graph wavelet transform (SGWT) by [1] for both applications. On the other hand, numerical experiments on two real data sets show that the proposed semi-supervised clustering model using the WFTG is overall competitive with the state-of-the-art methods developed in the literature of high-dimensional data classification, and is superior to some of these methods. This article discusses modern techniques for nonuniform sampling and reconstruction of functions in shift-invariant spaces. It is a survey as well as a research paper and provides a unified framework for uniform and nonuniform sampling and reconstruction in shift-invariant subspaces by bringing together wavelet theory, frame theory, reproducing kernel Hilbert spaces, approximation theory, amalgam spaces, and sampling. Inspired by applications taken from communication, astronomy, and medicine, the following aspects will be emphasized: (a) The sampling problem is well defined within the setting of shift-invariant spaces. (b) The general theory works in arbitrary dimension and for a broad class of generators. (c) The reconstruction of a function from any sufficiently dense nonuniform sampling set is obtained by efficient iterative algorithms. These algorithms converge geometrically and are robust in the presence of noise. (d) To model the natural decay conditions of real signals and images, the sampling theory is developed in weighted L p-spaces. Let (a>0, b>0, ab<1; ) and let (g L^2( R ). ) In this paper we investigate the relation between the frame operator (S:f L^2( R ) n,m ,(f,g_ na,mb ) ,g_ na,mb ) and the matrix (H ) whose entries (H_ k,l ,; ,k',l' ) are given by ((g_ k' b,l' a ,g_ k b,l a ) ) for (k,l,k',l' Z . ) Here (f_ x,y (t)= exp (2 iyt) ,f(t-x), ) (t R ), for any (f L^2( R ). ) We show that (S ) is bounded as a mapping of (L^2( R ) ) into (L^2( R ) ) if and only if (H ) is bounded as a mapping of (l^2( Z ^2) ) into (l^2( Z ^2). ) Also we show that (AI S BI ) if and only if (AI 1 ab ,H BI, ) where (I ) denotes the identity operator of (L^2( R ) ) and (l^2( Z ^2), ) respectively, and (A 0, ) (B< . ) Next, when (g ) generates a frame, we have that ((g_ k b,l a )_ k,l ) has an upper frame bound, and the minimal dual function (^ ) can be computed as (ab , k,l ,(H^ -1 )_ k,l ,; ,o,o ,g_ k b,l a . ) The results of this paper extend, generalize, and rigourize results of Wexler and Raz and of Qian, D. Chen, K. Chen, and Li on the computation of dual functions for finite, discrete-time Gabor expansions to the infinite, continuous-time case. Furthermore, we present a framework in which one can show that certain smoothness and decay properties of a (g ) generating a frame are inherited by (^ . ) In particular, we show that (^ S ) when (g S ) generates a frame (( S ) Schwartz space). The proofs of the main results of this paper rely heavily on a technique introduced by Tolimieri and Orr for relating frame bound questions on complementary lattices by means of the Poisson summation formula.