ON THE STABILITY OF FUSION FRAMES （FRAMES OF SUBSPACES）

A frame is an orthonormal basis-like collection of vectors in a Hilbert space, but need not be a basis or orthonormal. A fusion frame (frame of subspaces) is a frame-like collection of subspaces in a Hilbert space, thereby constructing a frame for the whole space by joining sequences of frames for subspaces. Moreover the notion of fusion frames provide a framework for applications and providing efficient and robust information processing algorithms.In this paper we study the conditions under which removing an element from a fusion frame, again we obtain another fusion frame. We give another proof of [5, Corollary 3.3(iii)] with extra information about the bounds.     

Recovery of signals from unordered partial frame coefficients

In this paper, we study the feasibility and stability of recovering signals in finite-dimensional spaces from unordered partial frame coefficients. We prove that with an almost self-located robust frame, any signal except from a Lebesgue measure zero subset can be recovered from its unordered partial frame coefficients. However, the recovery is not necessarily stable with almost self-located robust frames. We propose a new class of frames, namely self-located robust frames, that ensures stable recovery for any input signal with unordered partial frame coefficients. In particular, the recovery is exact whenever the received unordered partial frame coefficients are noise-free. We also present some characterizations and constructions for (almost) self-located robust frames. Based on these characterizations and construction algorithms, we prove that any randomly generated frame is almost surely self-located robust. Moreover, frames generated with cube roots of different prime numbers are also self-located robust.     

The Structure of Minimizers of the Frame Potential on Fusion Frames

In this paper we study the fusion frame potential that is a generalization of the Benedetto-Fickus (vectorial) frame potential to the finite-dimensional fusion frame setting. We study the structure of local and global minimizers of this potential, when restricted to suitable sets of fusion frames. These minimizers are related to tight fusion frames as in the classical vector frame case. Still, tight fusion frames are not as frequent as tight frames; indeed we show that there are choices of parameters involved in fusion frames for which no tight fusion frame can exist. We exhibit necessary and sufficient conditions for the existence of tight fusion frames with prescribed parameters, involving the so-called Horn-Klyachko’s compatibility inequalities. The second part of the work is devoted to the study of the minimization of the fusion frame potential on a fixed sequence of subspaces, with a varying sequence of weights. We related this problem to the index of the Hadamard product by positive matrices and use it to give different characterizations of these minima.     

Estimates, decay properties, and computation of the dual function for Gabor frames

We present a simple proof of Ron and Shen's frame bounds estimates for Gabor frames. The proof is based on the Heil and Walnut's representation of the frame operator and shows that it can be decomposed into a continuous family of infinite matrices. The estimates then follow from a simple application of Gershgorin's theorem to each matrix. Next, we show that, if the window function has exponential decay, also the dual function has some exponential decay. Then, we describe a numerical method to compute the dual function and give an estimate of the error. Finally, we consider the spline of order 2; we investigate numerically the region of the time-frequency plane where it generates a frame and we compute the dual function for some values of the parameters.     

Oblique Dual Fusion Frames

We introduce and develop the concept of oblique duality for fusion frames. This concept provides a mathematical framework to deal with problems in distributed signal processing where the signals considered as elements in a Hilbert space are, under certain requirements, analyzed in one subspace and reconstructed in another subspace. The requirements are, on one side, the uniqueness of the reconstructed signal, and on the other what we call consistency of the sampling for fusion frames. Both conditions are naturally related to oblique projections. We study the main properties of oblique dual fusion frames and oblique dual fusion frame systems introduced in this work and present several results that provide alternative methods for their construction.     

Minimizing Fusion Frame Potential

Fusion frames are an emerging topic of frame theory, with applications to encoding and distributed sensing. However, little is known about the existence of tight fusion frames. In traditional frame theory, one method for showing that unit norm tight frames exist is to characterize them as the minimizers of an energy functional, known as the frame potential. We generalize the frame potential to the fusion frame setting. In particular, we introduce the fusion frame potential, and show how its minimization is equivalent to the minimization of the traditional frame potential over a particular domain. We then study this minimization problem in detail. Specifically, we show that if the desired number of fusion frame subspaces is large, and if the desired dimension of these subspaces is small compared to the dimension of the underlying space, then a tight fusion frame of those dimensions will necessarily exist, being a minimizer of the fusion frame potential.     

On general frame decompositions

We provide a characterization and construction of general frame decompositions. We show that generating all duals for a given frame amounts to finding left inverses of an one-to-one mapping. A general parametric and algebraic formula for all duals is derived. An application of the theory to Weyl-Heisenberg (WH) frames is discussed. Besides the (usual) dual frame that preserves the translation and modulation structure, we construct a class of duals that attain such a structure. We also show constructively that there are duals to WH frames which are not the translation and modulation of a single function.     

Critical Pairs of Sequences of a Mixed Frame Potential

The classical frame potential in a finite-dimensional Hilbert space has been introduced by Benedetto and Fickus, who showed that all finite unit-norm tight frames can be characterized as the minimizers of this energy functional. This was the starting point of a series of new results in frame theory, related to finding tight frames with determined lengths. The frame potential has been studied in the traditional setting as well as in the finite-dimensional fusion frame context. In this work we introduce the concept of mixed frame potential, which generalizes the notion of the Benedetto-Fickus frame potential. We study properties of this new potential, and give the structure of its critical pairs of sequences on a suitable restricted domain. For a given sequence {α _m } _{m=1,…, N} in K, where K is ? or ?, we obtain necessary and sufficient conditions in order to have a dual pair of frames {f _m } _{m=1,…, N} , {g _m } _{m=1,…, N} such that ? f _m , g _m  ? = α _m for all m = 1,…, N.     

Finite-dimensional approximation of the inverse frame operator

A frame in a Hilbert space allows every element in to be written as a linear combination of the frame elements, with coefficients called frame coefficients. Calculations of those coefficients and many other situations where frames occur, requires knowledge of the inverse frame operator. But usually it is hard to invert the frame operator if the underlying Hilbert space is infinite dimensional. In the present paper we introduce a method for approximation of the inverse frame operator using finite subsets of the frame. In particular this allows to approximate the frame coefficients (even inl ²) using finite-dimensional linear algebra. We show that the general method simplifies in the important cases of Weil-Heisenberg frames and wavelet frames.     

Invariances of frame sequences under perturbations

This paper determines the exact relationships that hold among the major Paley-Wiener perturbation theorems for frame sequences. It is shown that major properties of a frame sequence such as excess, deficit, and rank remain invariant under Paley-Wiener perturbations, but need not be preserved by compact perturbations. For localized frames, which are frames with additional structure, it is shown that the frame measure function is also preserved by Paley-Wiener perturbations.     

Optimal dual frames for erasures

For any given frame (for the purpose of encoding) in a finite dimensional Hilbert space, we investigate its dual frames that are optimal for erasures (for the purpose of decoding). We show that in general the canonical dual is not necessarily optimal. Moreover, optimal dual frames are not necessarily unique. We present some sufficient conditions under which the canonical dual is the unique optimal dual frame for the erasure problem. As an application, we get that the canonical dual is the only optimal dual when either the frame is induced by a group representation or the frame is uniform tight.     

Gabor frames, unimodularity, and window decay

We study time-continuous Gabor frame generating window functions g satisfying decay properties in time and/or frequency with particular emphasis on rational time-frequency lattices. Specifically, we show under what conditions these decay properties of g are inherited by its minimal dual γ⁰ and by generalized duals γ. We consider compactly supported, exponentially decaying, and faster than exponentially decaying (i.e., decay like |g(t)|≤Ce^{−α|t| 1/α} for some 1/2≤α<1) window functions. Particularly, we find that g and γ⁰ have better than exponential decay in both domains if and only if the associated Zibulski-Zeevi matrix is unimodular, i.e., its determinant is a constant. In the case of integer oversampling, unimodularity of the Zibulski-Zeevi matrix is equivalent to tightness of the underlying Gabor frame. For arbitrary oversampling, we furthermore consider tight Gabor frames canonically associated to window functions g satisfying certain decay properties. Here, we show under what conditions and to what extent the canonically associated tight frame inherits decay properties of g. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Gabor frame operator, on a result by Jaffard, on a functional calculus for Gabor frame operators, on results from the theory of entire functions, and on the theory of polynomial matrices.     

Kernels of Gramian operators for frames in shift-invariant subspaces

For an invertible n×n matrix B and Φ a finite or countable subset of L²(Rⁿ), consider the collection X={?(·-Bk):?∈Φ,k∈Zⁿ} generating the closed subspace M of L²(Rⁿ). Our main objects of interest in this paper are the kernel of the associated Gramian G(.) and dual Gramian operator-valued functions. We show in particular that the orthogonal complement of M in L²(Rⁿ) can be generated by a Parseval frame obtained from a shift-invariant system having m generators where . Furthermore, this Parseval frame can be taken to be an orthonormal basis exactly when almost everywhere. Analogous results in terms of dim(Ker(G(.))) are also obtained concerning the existence of a collection of m sequences in the orthogonal complement of the range of analysis operator associated with the frame X whose shifts either form a Parseval frame or an orthonormal basis for that orthogonal complement.     

The symmetry group of a finite frame

We define the symmetry group of a finite frame as a group of permutations on its index set. This group is closely related to the symmetry group of Vale and Waldron (2005) [12] for tight frames: they are isomorphic when the frame is tight and has distinct vectors. The symmetry group is the same for all similar frames, in particular for a frame, its dual and canonical tight frames. It can easily be calculated from the Gramian matrix of the canonical tight frame. Further, a frame and its complementary frame have the same symmetry group. We exploit this last property to construct and classify some classes of highly symmetric tight frames.     

Tight wavelet frames for subdivision

In this paper we construct multivariate tight wavelet frame decompositions for scalar and vector subdivision schemes with nonnegative masks. The constructed frame generators have one vanishing moment and are obtained by factorizing certain positive semi-definite matrices. The construction is local and allows us to obtain framelets even in the vicinity of irregular vertices. Constructing tight frames, instead of wavelet bases, we avoid extra computations of the dual masks. In addition, the frame decomposition algorithm is stable as the discrete frame transform is an isometry on _?2${?}_2$, if the data are properly normalized.     

Frames for vector spaces and affine spaces

A finite frame for a finite dimensional Hilbert space is simply a spanning sequence. We show that the linear functionals given by the dual frame vectors do not depend on the inner product, and thus it is possible to extend the frame expansion (and other elements of frame theory) to any finite spanning sequence for a vector space. The corresponding coordinate functionals generalise the dual basis (the case when the vectors are linearly independent), and are characterised by the fact that the associated Gramian matrix is an orthogonal projection. Existing generalisations of the frame expansion to Banach spaces involve an analogue of the frame bounds and frame operator.The potential applications of our results are considerable. Whenever there is a natural spanning set for a vector space, computations can be done directly with it, in an efficient and stable way. We illustrate this with a diverse range of examples, including multivariate spline spaces, generalised barycentric coordinates, and vector spaces over the rationals, such as the cyclotomic fields.     

Stability and independence of the shifts of finitely many refinable functions

Typical constructions of wavelets depend on the stability of the shifts of an underlying refinable function. Unfortunately, several desirable properties are not available with compactly supported orthogonal wavelets, e.g., symmetry and piecewise polynomial structure. Presently, multiwavelets seem to offer a satisfactory alternative. The study of multiwavelets involves the consideration of the properties of several (simultaneously) refinable functions. In Section 2 of this article, we characterize stability and linear independence of the shifts of a finite refinable function set in terms of the refinement mask. Several illustrative examples are provided. The characterizations given in Section 2 actually require that the refinable functions be minimal in some sense. This notion of minimality is made clear in Section 3, where we provide sufficient conditions on the mask to ensure minimality. The conditions are shown to be necessary also under further assumptions on the refinement mask. An example is provided illustrating how the software package MAPLE can be used to investigate at least the case of two simultaneously refinable functions.     

Toward the classification of biangular harmonic frames

Equiangular tight frames (ETFs) and biangular tight frames (BTFs) – sets of unit vectors with basis-like properties whose pairwise absolute inner products admit exactly one or two values, respectively – are useful for many applications. A well-understood class of ETFs are those which manifest as harmonic frames – vector sets defined in terms of the characters of finite abelian groups – because they are characterized by combinatorial objects called difference sets.This work is dedicated to the study of the underlying combinatorial structures of harmonic BTFs. We show that if a harmonic frame is generated by a divisible difference set, a partial difference set or by a special structure with certain Gauss summing properties – all three of which are generalizations of difference sets that fall under the umbrella term “bidifference set” – then it is either a BTF or an ETF. However, we also show that the relationship between harmonic BTFs and bidifference sets is not as straightforward as the correspondence between harmonic ETFs and difference sets, as there are examples of bidifference sets that do not generate harmonic BTFs. In addition, we study another class of combinatorial structures, the nested divisible difference sets, which yields an example of a harmonic BTF that is not generated by a bidifference set.     

On discrete frames associated with semidirect products

For groups which are the semidirect product of some vector group with a unimodular group we prove that the existence of a discrete frame obtained from an at-most countable set of vectors through the action of a given unitary representation implies that the representation in use has to be square-integrable.     

Inequalities for irregular Gabor frames

In [C.K. Chui and X.L. Shi, Inequalities of Littlewood-Paley type for frames and wavelets, SIAM J. Math. Anal., 24 (1993), 263–277], the authors proved that if is a Gabor frame for with frame bounds A and B, then the following two inequalities hold: and . In this paper, we show that similar inequalities hold for multi-generated irregular Gabor frames of the form , where Δ _k and Λ _k are arbitrary sequences of points in and , 1 ≤ k ≤ r. Corresponding author for second author Authors’ address: Lili Zang and Wenchang Sun, Department of Mathematics and LPMC, Nankai University, Tianjin 300071, China