No Arabic abstract
We consider estimating a random vector from its noisy projections onto low dimensional subspaces constituting a fusion frame. A fusion frame is a collection of subspaces, for which the sum of the projection operators onto the subspaces is bounded below and above by constant multiples of the identity operator. We first determine the minimum mean-squared error (MSE) in linearly estimating the random vector of interest from its fusion frame projections, in the presence of white noise. We show that MSE assumes its minimum value when the fusion frame is tight. We then analyze the robustness of the constructed linear minimum MSE (LMMSE) estimator to erasures of the fusion frame subspaces. We prove that tight fusion frames consisting of equi-dimensional subspaces have maximum robustness (in the MSE sense) with respect to erasures of one subspace, and that the optimal subspace dimension depends on signal-to-noise ratio (SNR). We also prove that tight fusion frames consisting of equi-dimensional subspaces with equal pairwise chordal distances are most robust with respect to two and more subspace erasures. We call such fusion frames equi-distance tight fusion frames, and prove that the chordal distance between subspaces in such fusion frames meets the so-called simplex bound, and thereby establish connections between equi-distance tight fusion frames and optimal Grassmannian packings. Finally, we present several examples for construction of equi-distance tight fusion frames.
Configurations of subspaces like equichordal and equiisoclinic tight fusion frames, which are in some sense optimally spread apart and which also have reconstruction properties emulating those of orthonormal bases, are useful in various applications, such as wireless communications and quantum information theory. In this paper, a new construction of infinite classes of equichordal tight fusion frames built on semiregular divisible difference sets is presented. Sometimes this construction yields an equiisoclinic packing. Each of the constructed fusion frames is shown to have both a flat representation and a sparse representation. Furthermore, integrality conditions which characterize when equichordal and equiisoclinic fusion frames can have orthonormal bases with entries in a subring of the algebraic integers are proven. Keywords: fusion frame, Grassmannian packing, difference sets, simplex bound, equichordal, equiisoclinic
Fusion frame theory is an emerging mathematical theory that provides a natural framework for performing hierarchical data processing. A fusion frame is a frame-like collection of subspaces in a Hilbert space, thereby generalizing the concept of a frame for signal representation. In this paper, we study the existence and construction of fusion frames. We first present a complete characterization of a special class of fusion frames, called Parseval fusion frames. The value of Parseval fusion frames is that the inverse fusion frame operator is equal to the identity and therefore signal reconstruction can be performed with minimal complexity. We then introduce two general methods -- the spatial complement and the Naimark complement -- for constructing a new fusion frame from a given fusion frame. We then establish existence conditions for fusion frames with desired properties. In particular, we address the following question: Given $M, N, m in NN$ and ${lambda_j}_{j=1}^M$, does there exist a fusion frame in $RR^M$ with $N$ subspaces of dimension $m$ for which ${lambda_j}_{j=1}^M$ are the eigenvalues of the associated fusion frame operator? We address this problem by providing an algorithm which computes such a fusion frame for almost any collection of parameters $M, N, m in NN$ and ${lambda_j}_{j=1}^M$. Moreover, we show how this procedure can be applied, if subspaces are to be added to a given fusion frame to force it to become Parseval.
In 2012 Gu{a}vruc{t}a introduced the notions of $K$-frame and of atomic system for a linear bounded operator $K$ in a Hilbert space $mathcal{H}$, in order to decompose its range $mathcal{R}(K)$ with a frame-like expansion. In this article we revisit these concepts for an unbounded and densely defined operator $A:mathcal{D}(A)tomathcal{H}$ in two different ways. In one case we consider a non-Bessel sequence where the coefficient sequence depends continuously on $finmathcal{D}(A)$ with respect to the norm of $mathcal{H}$. In the other case we consider a Bessel sequence and the coefficient sequence depends continuously on $finmathcal{D}(A)$ with respect to the graph norm of $A$.
We introduce the concept of weak-localization for generalized frames and use this concept to define a class of weakly localized operators. This class contains many important operators, including: Short Time Fourier Transform multipliers, Calderon-Toeplitz operators, Toeplitz operators on various functions spaces, Anti-Wick operators, and many others. In this paper, we study the boundedness and compactness of weakly localized operators. In particular, we provide a characterization of compactness for weakly localized operators in terms of the behavior of their Berezin transform.
In this paper we characterize and construct novel oversampled filter banks implementing fusion frames. A fusion frame is a sequence of orthogonal projection operators whose sum can be inverted in a numerically stable way. When properly designed, fusion frames can provide redundant encodings of signals which are optimally robust against certain types of noise and erasures. However, up to this point, few implementable constructions of such frames were known; we show how to construct them using oversampled filter banks. In this work, we first provide polyphase domain characterizations of filter bank fusion frames. We then use these characterizations to construct filter bank fusion fra