Abstract and Applied Analysis

Volume 2014 (2014), Article ID 836731, 9 pages

http://dx.doi.org/10.1155/2014/836731

Research Article

Construction of Fusion Frame Systems in Finite Dimensional Hilbert Spaces

Jinsong Leng and Tingzhu Huang

School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu 610054, China

Received 26 November 2013; Accepted 25 January 2014; Published 12 March 2014

Academic Editor: Carlo Cattani

Copyright © 2014 Jinsong Leng and Tingzhu Huang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We first investigate the construction of a fusion frame system in a finite-dimensional Hilbert space when its fusion frame operator matrix is given and provides a corresponding algorithm. The matrix representations of its local frame operators and inverse frame operators are naturally obtained. We then study the related properties of the constructed fusion frame systems. Finally, we implement the construction of fusion frame systems which behave optimally for erasures in some special sense in signal transmission.

1. Introduction

The theory of frames has gradually become an attractive research area in the past twenty years. A prominent feature of frames is redundancy which has two advantages: it makes the construction of various frames more flexible and it provides stability and robustness of signal in transmission. This leads to the rapid development of theory and applications of frames in past twenty years. We refer to [1–3] and the references therein for more details about the frame theory and its new achievements. In applications, we only mention some areas here such as signal and image processing [4], quantization [5], capacity of transmission channel [1, 2, 6], coding theory [7–12], and data transmission technology [13].

But in some modern applications, the data which need to be handled are so large that the processing procedures cannot be implemented effectively by using a single frame. Fusion frames are naturally suitable tools for dealing with this problem. One can see the systemic introduction of theory of fusion frames in [14, 15]. In recent years, many excellent results about the theory and applications of fusion frames have been achieved at an amazing speed [15–20]. In fact, fusion frames are generalization of conventional frames and go beyond them. The procedure of using fusion frame systems to handle information can be described as follows. A large number of data can be assigned to a set of small spaces and processed in these subsystems, finally all the information are fused together at a center. Fusion frames have been applied to various fields where distributed or parallel processing is required. For instance, in a coding transmission process, the encoded and quantized data must be put in numbers of packets. When one or more packets are scrambled, lost, or delayed, fusion frames can enhance the robustness to the packet erasures. Furthermore, we can see the successful applications of fusion frames in sensors network [21], transmission coding [22–25], and so forth.

However, some problems about fusion frame systems are open. Many excellent results about conventional frames have been obtained and applied successfully, but how to generalize them to fusion frames? Even in mathematics application, the relation between the theory of fusion frames and the interesting fields studied in [26–28] is worth further researching. It is an appealing subject due to the complexity of the structure of fusion frames compared with conventional frames. In this paper, we focus on the matrix representations of fusion frame operators of fusion frame systems and the construction of fusion frame systems if their fusion frame operator matrices are provided. To this end, we first study the correspondence between frames of a subspace with dimension of an -dimensional Hilbert space with frames of Hilbert space , where . We obtain the matrix representations of the local inverse frame operators and the fusion frame operator of a given fusion frame system by using the correspondence. Based on these matrix representations, the concrete algorithm for constructing a dual fusion frame system is provided. Then we investigate the construction of fusion frame systems, which fusion frame operators are given. It is essential for constructing fusion frame systems to get their local frames. We show that the constructed local frame of a subspace with dimension can inherit some properties from the corresponding frame of Hilbert space such as Parseval and harmony. Finally, we give a method for construction of the optimal fusion frame systems for one local frame vector erasure.

We organize the structure of this paper as follows. In Section 2, we introduce and recall some notations, conceptions, and some basic theory about frames and fusion frame systems. Then we recall the method to obtain the matrix representation of the fusion frame operator of a given fusion frame system in a finite-dimensional Hilbert space . In Section 3, we study the construction of frames of an -dimensional subspace of by using the corresponding frames of , where . We then present an algorithm for constructing a fusion frame system when its fusion frame operator is given. Moreover, we get the matrix representations of its local frame operators and inverse frame operators and research the related characteristics of the constructed fusion frame systems. The optimal fusion frame systems under erasures in some particular sense can be obtained by using our method. An example is given to show the effectiveness of our construction in imagine coding.

2. Preliminaries

We refer to [1–3, 15, 25] for the details of the basic notations, concepts, and results about frames and fusion frame systems. We will adopt the same notations as [25] throughout this paper. We recall the main concepts and results about the construction of the matrix representation of the fusion frame operator of a given fusion frame system in this section.

Let be a fusion frame for . The analysis operator is defined by

where

is called the representation space. The synthesis operator (the adjoint operator of ) can be defined by

The fusion frame operator for is defined by

The following result shows how to obtain the global dual frame from the local dual frames.

Proposition 1 (c.f. [15], Proposition 4.3). Let be a fusion frame system for with associated fusion frame operator , common local frame bounds, and local dual frames , . Then is a dual frame for the frame .

Because we only consider finite-dimensional Hilbert spaces, will denote the identity operator (matrix) exclusively in the rest of the paper.

Let be a fusion frame system for ; then the analysis operator of the local frame of is a matrix with as its th row and the matrix is its synthesis operator. Furthermore, the th local frame operator is an matrix .

Notation. For the purpose of coding of any , always denote the analysis operator of the system in throughout this paper. Hence it is a matrix, not a matrix.

The following definition is given by [25].

Definition 2. Let be an -dimensional subspace of with a local frame , where . is the local frame operator of . If there exists an operator such that holds for all , we call the inverse of in and denote it by .

For any , is its encoding version in subspace . For obtaining , the following lemma is given to calculate the matrix representation of and the th local dual frame .

Lemma 3 (c.f. [25], Lemma 11). Let be an -dimensional subspace of with an orthonormal basis and a frame with frame bounds , where . Define to be an matrix with the vector as its th row for , where is the conjugate-transpose of . The sequence is given by for . Then is a frame of with the same frame bounds as . In particular, if is a tight (or Parseval) frame, also is .

By applying this lemma, we can obtain a method to compute the matrix representation of the inverse frame operator of a subspace endowed with an orthonormal basis in the following theorem.

Theorem 4 (c.f. [25], Theorem 12). Let be an -dimensional subspace of with an orthonormal basis and a frame , where . is defined as the above lemma. is the frame operator of . Then

is the inverse of in . Moreover, the orthogonal projection from onto is .

For a given fusion frame system , we can calculate the orthonormal basis of its each subspace by finding the maximally linear independent subset of and taking the Gram-Schmidt process on it. Then by using the above theorem, we derive the matrix representations of all local inverse frame operators and orthogonal projections onto the subspaces . Furthermore, we can compute the matrix representation of the fusion frame operator by applying the formula provided by the following proposition.

Proposition 5 (c.f. [25], Proposition 13). Let be a fusion frame system for , and let , , be the local dual frames given by for all , . Then the matrix representation of the fusion frame operator is given by

where and are the analysis operators of and , respectively, and is the frame operator of for each .

Given a fusion frame system of a finite-dimensional Hilbert space , the matrix representation of its fusion frame operator as well as its one dual fusion frame system can be obtained by using the above two results. The concrete algorithm is presented in [25].

3. Construction of Fusion Frame Systems

In this section, we research the construction of a fusion frame system with a given positive invertible matrix as its fusion frame operator. The constructing approach should include two stages. First, construct the orthogonal projections of all subspaces as well as their weights if the fusion frame operator is given. Secondly, construct the local frames of all subspaces with the desired properties. By using this method, we can derive the optimal fusion frame systems for erasures in some special sense.

3.1. Construction of Fusion Frame Systems

We first recall our previous work in [19] on the construction of fusion frames which fusion frame operators are provided. In practise, the local frames of a fusion frame system are served as coder in their respective subspaces. The main distribution of this subsection is the derivation of the local frames with the expected characteristics which can be implemented by constructing frames of with the same dimension as subspace for each . And then, we get the construction of fusion frame systems combined with the previous work.

Notations and Assumptions. We set up some notations that will be used throughout this subsection. Let be a positive matrix with eigenvalues where for all and let , be the orthonormal eigenvectors of corresponding to the eigenvalues , respectively, which form an orthonormal basis of . Let be a positive integer, and ; that is, the matrix is constituted by , as its rows for , where and when . Assume that the matrix has rank ; that is, the rows of all can span the space . Set for .

The following theorem provides the method of orthogonal projection decomposition of a given positive matrix.

Theorem 6 (c.f. [19], Theorem 3.2). Let the notations and assumptions be as described in the previous setup. Let the positive numbers satisfy the following condition:

for all ; then the positive matrix has the following decomposition:

where , are orthogonal projection matrices on .

The following proposition provides a method for the construction of a fusion frame as well as orthonormal projections on its subspaces with a given fusion frame operator.

Proposition 7 (c.f. [19], Proposition 3.4). Let the notations and assumptions be as described in the previous setup, and the positive numbers satisfy equation (7). Then is a fusion frame for with frame operator , where . In the case that , we have that if satisfies the following condition:

for all , where is a positive real number; then is an -tight fusion frame for . In particular, if , then it is a Parseval fusion frame.

Then we will focus on the construction of local frames of the fusion frames derived by the above proposition. It is an important step for constructing fusion frame systems. We first show the following theorem which is the converse of Lemma 3.

Theorem 8. Let be an -dimensional subspace of with an orthonormal basis , and let be a frame of with frame bounds , where . is defined as Lemma 3. The sequence is given by for . Then is a frame of with the same frame bounds as . In particular, if is a tight (or Parseval) frame, also is .

Proof. For any , we have and . Therefore,

as required. The particular assertion is obvious.

The following proposition gives the matrix representations of the local frame operator and inverse frame operator of a subspace of derived by the above theorem.

Proposition 9. Let be an -dimensional subspace of with an orthonormal basis , and let be a frame of with frame bounds , where . and are defined as the above theorem. is the frame operator of . Then the frame operator of and its inverse are given by

Moreover, the orthogonal projection from onto is .

Proof. Let and be the analysis operator and synthesis operator of , respectively; then is the synthesis operator of . Hence, the frame operator of is .

Since is invertible, we will show that is inverse of . Note that and for any . Hence, we have

as claimed. The proof of the moreover part is the same as that of Theorem 12 of [25].

The following two propositions show that the constructed frame of inherits some features of the corresponding frame of .

Proposition 10. Let be an -dimensional subspace of with an orthonormal basis , and let be a frame of with frame bounds , where . and are defined as Theorem 8. If is a dual frame of , then is a dual frame of . Furthermore, if is the canonical one, so is .

Proof. For any , we have

Hence, is a dual frame of . If , then for , which implies that is the canonical dual frame of .

Proposition 11. Let be an -dimensional subspace of with an orthonormal basis , and let be a harmonic frame of , where . and are defined as Theorem 8. Then is a harmonic frame of .

Proof. Since is a harmonic frame of , there exists a unitary on such that , for , and for . Let . For any , we have

Therefore, is a unitary on . It is obvious that . So we have , for , and , which implies that is a harmonic frame.

Summarizing the related results of this subsection, we can obtain the algorithm for constructing a required fusion frame system with a given fusion frame operator as follows.

Step 1. Compute the eigenvalues and their corresponding independent eigenvectors of .

Step 2. Take the Gram-Schmidt process on to get an orthonormal basis for .

Step 3. According to the requirement, construct the matrix constituted by this basis as follows:

for , where , and , when .

Step 4. Resolve (7) to derive the sequence of weights . Set . Use formula (8) to decompose and get the orthogonal projections , for . Then we obtain a required fusion frame .

Step 5. Construct the frames in with requirement properties for .

Step 6. Apply Theorem 8 to compute the local frames for . Then we derive a required fusion frame system .

3.2. Construction of Optimal Fusion Frame Systems for Erasures

We apply our construction method to obtain optimal Parseval fusion frame systems for the packet erasure problem in some special sense in this subsection. Bodmann initiated in [22] the investigation about the optimality of -protocols that are used to the packet erasure problem. Let be a family of coordinate operators into a finite-dimensional Hilbert space of maximal rank that provide a resolution of the identity for the Hilbert space , where are positive integers satisfying ; then the analysis operator of such a family is called a -protocol. The optimality of -protocols requires to get weighted projective resolutions of the identity operator: , where , and is a projection on some Hilbert space with rank- for . This can be also phrased by Parseval fusion frames (Theorem 3.6 of [18]). Furthermore, optimal Parseval fusion frame systems for one local frame vector erasure have been depicted in Theorem 4.3 of [18]). We point out that a special type of Parseval fusion frames that are optimal for the one packet erasure problem can be easily constructed by using Proposition 7. Moreover, Parseval fusion frame systems that are optimal for the one local frame vector erasure problem described by [18] can be easily constructed by using Theorem 8. Let us recall the description of the optimal Parseval fusion frames for the one packet erasure problem.

Definition 12. Let be a Parseval fusion frame for an -dimension Hilbert space with analysis operator . Define the operator by for all , where . For any , we call the th coding packet for . The one packet erasure reconstruction error of is defined by

In practise, a signal (vector) is encoded as including coding packets and decoded (reconstructed) as by using a Parseval fusion frame . If one packet is lost in the transmission process, then depict the reconstruction error in the worst case. The optimal Parseval fusion frame can be used to implement the optimal coding in this special sense in applications [18, 22]. The following theorem describe the optimal Parseval fusion frames with a prescribed number of subspaces and prescribed dimensions of the subspaces under one subspace (packet) erasure.

Theorem 13 (c.f. [18], Theorem 3.6). Let be a Parseval fusion frame for an -dimension Hilbert space . Then the following are equivalent.

(i)The Parseval fusion frame satisfies

(ii)We have

Moreover, let and be the reconstructed vector. Then we have the following error bound

The following proposition which follows from Proposition 7 and Theorem 13 describe the construction of one kind of optimal Parseval fusion frames for one packet erasure.

Proposition 14 (c.f. [19], Proposition 3.8). Let be an orthonormal basis for a Hilbert space , and let be a positive integer. Assume that is a subspace spanned by some elements in for , and . Let be number of subspaces that contain (). If all are equal to and all are equal to , then is an optimal Parseval fusion frame for one packet erasure described in Theorem 13, where for all .

The optimal Parseval fusion frame systems with local Parseval frames of prescribed numbers of frame vectors and prescribed dimensions of subspaces under the erasure of one local frame vector is presented in [18]. We find that constructing this kind of fusion frame systems can be reduced to constructing the conventional optimal Parseval frames with respect to one frame vector erasure under our method. Now let us first recall the related knowledge.

Let be a vector of matrices, where for some , and other matrices are all zero-matrices, which simulate the erasure of vector . Denote the set of all these matrix vectors by .

Definition 15. Let be a Parseval fusion frame system with local Parseval frames. Let denote the analysis operator of the associated fusion frame, and the analysis operator of the local frames for . Then the associated 1-erasure of local frame vector reconstruction error is defined to be

The following theorem characterizes the optimal Parseval fusion frame systems with subspaces of fixed dimensions and local Parseval frames having fixed numbers of frame vectors under one local frame vector erasure.

Theorem 16 (c.f. [18], Theorem 4.3). Let be a Parseval fusion frame system with local Parseval frames for an -dimension Hilbert space . Then the following are equivalent:

(i)The Parseval fusion frame system satisfies is a Parseval fusion frame system with local Parseval frames satisfying , for all . (ii)We have

Moreover, let and be the reconstructed vector. Then we have the following error bound

The following proposition can be easily obtained by using the above theorem together with Proposition 2.1 of [9] and Theorem 8. We omit its proof.

Proposition 17. Let be the optimal Parseval frames with 1-erasure of for , let be a Parseval fusion frame of endowed with an orthonormal basis for each subspace . Set , and for all . Then is an optimal Parseval fusion frame system with local Parseval frames for one local frame vector erasure described in Theorem 16.

The above proposition provide a method for constructing the optimal Parseval fusion frame systems for one local frame vector erasure described in Theorem 16. First, we construct the optimal Parseval frames for 1-erasure in Hilbert space for . Then, by using the algorithm presented by the above subsection we can derive the required optimal Parseval fusion frame system . Finally, we give a concrete example.

Example 18. Consider Hilbert space , and let

The eigenvalues of are , and the corresponding orthonormal eigenvectors are given by

Let , and . According to the condition (7), we need positive solutions for the following equations:

These equations have infinite many positive solutions which can be expressed as

where , , . For example, we can take , then we have . Then we get a fusion frame .

We can obtain a harmonic Parseval frame for by using Example 4.1 in [8], where , , and . Since all vectors in have the same norm , it is an optimal Parseval frame for 1-erasure by Proposition 2.1 of [9]. Set

We compute as follows:

Then is an optimal Parseval fusion frame system with local Parseval frames under one local frame vector erasure in the sense of Theorem 16 by Proposition 17.

The original gray image of windmill is shown in Figure 1. We encode the data of the image by using the local frames of the Parseval fusion frame system given by this example. Then we decode the coded data, where first element of every local vector is deleted by using the Parseval fusion frame of this example. The reconstructed image is shown in Figure 2. One can observe the reconstruction effect by comparing the two figures.

Figure 1: The original gray image of windmill.

Figure 2: The reconstructed gray image of windmill. The data of the original image is encoded by the local frames of the Parseval fusion frame system computed by Example 18. The first coefficient of every local vector is deleted. The remained data is decoded by the Parseval fusion frame of Example 18.

4. Conclusion

We studied the method for constructing a fusion frame system in a finite-dimensional Hilbert space according to its fusion frame operator matrix in this paper. The corresponding algorithm was given. Then we obtained the matrix representations of its local frame operators and inverse frame operators and researched the related characteristics of these fusion frame systems. We provided methods to get the optimal fusion frame systems for erasures in some special sense in signal transmission. Finally, we constructed a fusion frame system as an example by our method and successfully applied it in image coding.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors wish to thank the anonymous reviewers for their valuable comments and suggestions that have improved the presentation of this paper. This work was supported by the National Natural Science Foundation of China (11271001 and 61370147), 973 Program (2013CB329404), and Sichuan Province Science and Technology Research Project (12ZC1802).

References

I. Cidon, H. Kodesh, and M. Sidi, “Erasure, capture, and random power level selection in multiple-access systems,” IEEE Transactions on Communications, vol. 36, no. 3, pp. 263–271, 1988.

A. F. Dana, R. Gowaikar, R. Palanki, B. Hassibi, and M. Effros, “Capacity of wireless erasure networks,” IEEE Transactions on Information Theory, vol. 52, no. 3, pp. 789–804, 2006.

D. Han, K. Kornelson, D. Larson, and E. Weber, Frames for Undergraduates, vol. 40 of Mathematical Library Book Series, American Mathematical Society, Providence, RI, USA, 2007.

E. J. Candès and D. L. Donoho, “New tight frames of curvelets and optimal representations of objects with piecewise singularities,” Communications on Pure and Applied Mathematics, vol. 57, no. 2, pp. 219–266, 2004.

B. G. Bodmann and V. I. Paulsen, “Frame paths and error bounds for sigma-delta quantization,” Applied and Computational Harmonic Analysis, vol. 22, no. 2, pp. 176–197, 2007.

C. H. Bennett, D. P. DiVincenzo, and J. A. Smolin, “Capacities of quantum erasure channels,” Physical Review Letters, vol. 78, no. 16, pp. 3217–3220, 1997.

B. G. Bodmann and V. I. Paulsen, “Frames, graphs and erasures,” Linear Algebra and its Applications, vol. 404, pp. 118–146, 2005.

V. K. Goyal, J. Kovačević, and J. A. Kelner, “Quantized frame expansions with erasures,” Applied and Computational Harmonic Analysis, vol. 10, no. 3, pp. 203–233, 2001.

R. B. Holmes and V. I. Paulsen, “Optimal frames for erasures,” Linear Algebra and its Applications, vol. 377, pp. 31–51, 2004.

J. Leng and D. Han, “Optimal dual frames for erasures II,” Linear Algebra and its Applications, vol. 435, no. 6, pp. 1464–1472, 2011.

J. S. Leng, D. Han, and T. Huang, “Optimal dual frames for communication coding with probabilistic erasures,” IEEE Transactions on Signal Processing, vol. 59, no. 11, pp. 5380–5389, 2011.

J. S. Leng, D. Han, and T. Huang, “Probability modelled optimal frames for erasures,” Linear Algebra and its Applications, vol. 438, no. 11, pp. 4222–4236, 2013.

A. Albanese, J. Blömer, J. Edmonds, M. Luby, and M. Sudan, “Priority encoding transmission,” IEEE Transactions on Information Theory, vol. 42, no. 6, part 1, pp. 1737–1744, 1996.

P. G. Casazza and G. Kutyniok, “Frames of subspaces,” in Wavelets, Frames, and Operator Theory, vol. 345 of Contemporary Mathematics Series, pp. 87–113, American Mathematical Society, Providence, RI, USA, 2004.

P. G. Casazza, G. Kutyniok, and S. Li, “Fusion frames and distributed processing,” Applied and Computational Harmonic Analysis, vol. 25, no. 1, pp. 114–132, 2008.

P. G. Casazza and M. Fickus, “Minimizing fusion frame potential,” Acta Applicandae Mathematicae, vol. 107, no. 1–3, pp. 7–24, 2009.

P. G. Casazza, M. Fickus, D. G. Mixon, Y. Wang, and Z. Zhou, “Constructing tight fusion frames,” Applied and Computational Harmonic Analysis, vol. 30, no. 2, pp. 175–187, 2011.

P. G. Casazza and G. Kutyniok, “Robustness of fusion frames under erasures of subspaces and of local frame vectors,” in Radon Transforms, Geometry, and Wavelets, vol. 464 of Contemporary Mathematics Series, pp. 149–160, American Mathematical Society, Providence, RI, 2008.

J. S. Leng and D. Han, “Orthogonal projection decomposition of matrices and construction of fusion frames,” Advances in Computational Mathematics, vol. 38, no. 2, pp. 369–381, 2013.

P. G. Massey, M. A. Ruiz, and D. Stojanoff, “The structure of minimizers of the frame potential on fusion frames,” The Journal of Fourier Analysis and Applications, vol. 16, no. 4, pp. 514–543, 2010.

P. G. Casazza, G. Kutyniok, S. Li, and C. J. Rozell, “Modeling sensor networks with fusion frames,” in Wavelets XII, vol. 6701 of Proceedings of SPIE, San Diego, Calif, USA, August 2007.

B. G. Bodmann, “Optimal linear transmission by loss-insensitive packet encoding,” Applied and Computational Harmonic Analysis, vol. 22, no. 3, pp. 274–285, 2007.

B. G. Bodmann and G. Kutyniok, “Erasure-proof transmissions: fusion frames meet coding theory,” in Wavelets XIII, vol. 7446 of Proceedings of SPIE, San Diego, Calif, USA, August 2009.

B. G. Bodmann, D. W. Kribs, and V. I. Paulsen, “Decoherence-insensitive quantum communication by optimal -encoding,” IEEE Transactions on Information Theory, vol. 53, no. 12, pp. 4738–4749, 2007.

J. S. Leng, Q. X. Guo, and T. Z. Huang, “The duals of fusion frames for experimental data transmission coding of high energy physics,” Advances in High Energy Physics, vol. 2013, Article ID 837129, 9 pages, 2013.

C. Cattani and A. Ciancio, “Separable transition density in the hybrid model for tumor-immune system competition,” Computational and Mathematical Methods in Medicine, vol. 2012, Article ID 610124, 6 pages, 2012.

C. Cattani, A. Ciancio, and B. Lods, “On a mathematical model of immune competition,” Applied Mathematics Letters, vol. 19, no. 7, pp. 678–683, 2006.

C. Cattani and L. M. S. Ruiz, “Discrete differential operators in multidimensional Haar wavelet spaces,” International Journal of Mathematics and Mathematical Sciences, no. 41–44, pp. 2347–2355, 2004.