Some properties of frames of subspaces obtained by operator theory methods

We study the relationship among operators, orthonormal basis of subspaces and frames of subspaces (also called fusion frames) for a separable Hilbert space H. We get sufficient conditions on an orthonormal basis of subspaces E={Ei}_i∈I of a Hilbert space K and a surjective T∈L(K,H) in order that {T(Ei)}_i∈I is a frame of subspaces with respect to a computable sequence of weights. We also obtain generalizations of results in [J.A. Antezana, G. Corach, M. Ruiz, D. Stojanoff, Oblique projections and frames, Proc. Amer. Math. Soc. 134 (2006) 1031-1037], which relate frames of subspaces (including the computation of their weights) and oblique projections. The notion of refinement of a fusion frame is defined and used to obtain results about the excess of such frames. We study the set of admissible weights for a generating sequence of subspaces. Several examples are given.     

Sums of Hilbert space frames

We give simple necessary and sufficient conditions on Bessel sequences {fi} and {gi} and operators L₁, L₂ on a Hilbert space H so that {L₁fi+L₂gi} is a frame for H. This allows us to construct a large number of new Hilbert space frames from existing frames.     

Maximal element theorems in product FC-spaces and generalized games

Let I be a finite or infinite index set, X be a topological space and (Yi,{φNi})_i∈I be a family of finitely continuous topological spaces (in short, FC-space). For each i∈I, let be a set-valued mapping. Some existence theorems of maximal elements for the family {Ai}_i∈I are established under noncompact setting of FC-spaces. As applications, some equilibrium existence theorems for generalized games with fuzzy constraint correspondences are proved in noncompact FC-spaces. These theorems improve, unify and generalize many important results in recent literature.     

On the Duality Principle by Casazza, Kutyniok, and?Lammers

The R-dual sequences of a frame {f _i } _i∈I , introduced by Casazza, Kutyniok and Lammers in (J. Fourier Anal. Appl. 10(4):383–408, 2004), provide a powerful tool in the analysis of duality relations in general frame theory. In this paper we derive conditions for a sequence {ω _j } _j∈I to be an R-dual of a given frame {f _i } _i∈I . In particular we show that the R-duals {ω _j } _j∈I can be characterized in terms of frame properties of an associated sequence {n _i } _i∈I . We also derive the duality results obtained for tight Gabor frames in (Casazza et al. in J. Fourier Anal. Appl. 10(4):383–408, 2004) as a special case of a general statement for R-duals of frames in Hilbert spaces. Finally we consider a relaxation of the R-dual setup of independent interest. Several examples illustrate the results.     

On structural decompositions of finite frames

A frame in an n-dimensional Hilbert space H _n is a possibly redundant collection of vectors {f _i } _i∈I that span the space. A tight frame is a generalization of an orthonormal basis. A frame {f _i } _i∈I is said to be scalable if there exist nonnegative scalars {c _i } _i∈I such that {c _i f _i } _i∈I is a tight frame. In this paper we study the combinatorial structure of frames and their decomposition into tight or scalable subsets by using partially-ordered sets (posets). We define the factor poset of a frame {f _i } _i∈I to be a collection of subsets of I ordered by inclusion so that nonempty J?I is in the factor poset iff {f _j } _j∈J is a tight frame for H _n . We study various properties of factor posets and address the inverse factor poset problem, which inquires when there exists a frame whose factor poset is some given poset P. We then turn our attention to scalable frames and present partial results regarding when a frame can be scaled to have a given factor poset; in doing so we present a bridge between erasure resilience (as studied via prime tight frames) and scalability.     

Frames and their associated $\emph{H}_{{\kern-2pt}\emph{F}}^{\emph{p}}$-subspaces

Given a frame F = {f _j } for a separable Hilbert space H, we introduce the linear subspace H^p_FH^{p}_{F} of H consisting of elements whose frame coefficient sequences belong to the ℓ ^p -space, where 1 ≤ p < 2. Our focus is on the general theory of these spaces, and we investigate different aspects of these spaces in relation to reconstructions, p-frames, realizations and dilations. In particular we show that for closed linear subspaces of H, only finite dimensional ones can be realized as H^p_FH^{p}_{F}-spaces for some frame F. We also prove that with a mild decay condition on the frame F the frame expansion of any element in H_F^pH_{F}^{p} converges in both the Hilbert space norm and the ||·|| _{F, p} -norm which is induced by the ℓ ^p -norm.     

Some remarks on proximinality in higher dual spaces

In this paper we consider proximinality questions for higher ordered dual spaces. We show that for a finite dimensional uniformly convex space X, the space C(K,X) is proximinal in all the duals of even order. For any family of uniformly convex Banach spaces {Xα}_{α∈Γ} we show that any finite co-dimensional proximinal subspace of X=c_0⊕Xα is strongly proximinal in all the duals of even order of X.     

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.     

Frames and bases in tensor products of Hilbert spaces and Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

In this article, we study tensor product of Hilbert C*-modules and Hilbert spaces. We show that if E is a Hilbert A-module and F is a Hilbert B-module, then tensor product of frames (orthonormal bases) for E and F produce frames (orthonormal bases) for Hilbert A ⊗ B-module E ⊗ F, and we get more results. For Hilbert spaces H and K, we study tensor product of frames of subspaces for H and K, tensor product of resolutions of the identities of H and K, and tensor product of frame representations for H and K.     

Approximation methods for common fixed points for a countable family of nonexpansive mappings

Let E=L_p or l_p space, 1<p<∞. Let K be a closed, convex and nonempty subset of E. Let be a family of nonexpansive self-mappings of K. For arbitrary fixed δ∈(0,1), define a family of nonexpansive maps by S_i?(1−δ)I+δT_i where I is the identity map of K. Let . It is proved that the iterative sequence {x_n} defined by: x₀∈K,x_n+1=α_nu+∑_i≥1σ_i,tnS_ix_n,n≥0 converges strongly to a common fixed point of the family where {α_n} and {σ_i,tn} are sequences in (0,1) satisfying appropriate conditions, in each of the following cases: (a) E=l_p,1<p<∞, and (b) E=L_p,1<p<∞ and at least one of the maps T_i’s is demicompact. Our theorems extend the results of [P. Maingé, Approximation methods for common fixed points of nonexpansive mappings in Hilbert space, J. Math. Anal. Appl. 325 (2007) 469-479] from Hilbert spaces to l_p spaces, 1<p<∞.     

On super edge-magic decomposable graphs

Let G be any graph and let {H _i } _i??I be a family of graphs such that $E\left( {H_i } \right) \cap E\left( {H_j } \right) = \not 0$ when i ?? j, ?? _i??I E(H _i ) = E(G) and $E\left( {H_i } \right) \ne \not 0$ for all i ?? I. In this paper we introduce the concept of {H _i } _i??I -super edge-magic decomposable graphs and {H _i } _i??I -super edge-magic labelings. We say that G is {H _i } _i??I -super edge-magic decomposable if there is a bijection ??: V(G) ?? {1,2,..., |V(G)|} such that for each i ?? I the subgraph H _i meets the following two requirements: ??(V(H _i )) = {1,2,..., |V(H _i )|} and {??(a) +??(b): ab ?? E(H _i )} is a set of consecutive integers. Such function ?? is called an {H _i } _i??I -super edge-magic labeling of G. We characterize the set of cycles C _n which are {H ₁, H ₂}-super edge-magic decomposable when both, H ₁ and H ₂ are isomorphic to (n/2)K ₂. New lines of research are also suggested.     

Fusion frames and distributed processing

Let {W_i}_iI be a (redundant) sequence of subspaces of a Hilbert space each being endowed with a weight v_i, and let be the closed linear span of the W_is, a composite Hilbert space. {(W_i,v_i)}_iI is called a fusion frame provided it satisfies a certain property which controls the weighted overlaps of the subspaces. These systems contain conventional frames as a special case, however they reach far “beyond frame theory.” In case each subspace W_i is equipped with a spanning frame system {f_ij}_jJi, we refer to {(W_i,v_i,{f_ij}_jJi)}_iI as a fusion frame system. The focus of this article is on computational issues of fusion frame reconstructions, unique properties of fusion frames important for applications with particular focus on those superior to conventional frames, and on centralized reconstruction versus distributed reconstructions and their numerical differences. The weighted and distributed processing technique described in this article is not only a natural fit to distributed processing systems such as sensor networks, but also an efficient scheme for parallel processing of very large frame systems. Another important component of this article is an extensive study of the robustness of fusion frame systems.     

Convergence theorem of common fixed points for a family of nonspreading mappings in Hilbert space

We introduce the concept of K-mapping of a finite family of nonspreading mappings {T_i}_i=1^N{\{T_i\}_{i=1}^N} and we show that the fixed point set of the K-mapping is the set of common fixed points of {T_i}_i=1^N{\{T_i\}_{i=1}^N}. Moreover, we prove strong convergence theorem of the Ishikawa iterative process to a common fixed point of a finite family of nonspreading mappings in Hilbert space under certain control conditions.     

On the order bound of one-point algebraic geometry codes

Let S={s_i}_i∈N⊆N be a numerical semigroup. For each i∈N, let ν(s_i) denote the number of pairs (s_i−s_j,s_j)∈S²: it is well-known that there exists an integer m such that the sequence {ν(s_i)}_i∈N is non-decreasing for i>m. The problem of finding m is solved only in special cases. By way of a suitable parameter t, we improve the known bounds for m and in several cases we determine m explicitly. In particular we give the value of m when the Cohen-Macaulay type of the semigroup is three or when the multiplicity is less than or equal to six. When S is the Weierstrass semigroup of a family {C_i}_i∈N of one-point algebraic geometry codes, these results give better estimates for the order bound on the minimum distance of the codes {C_i}.     

Non-orthogonal Fusion Frames and the Sparsity of Fusion Frame Operators

Fusion frames have become a major tool in the implementation of distributed systems. The effectiveness of fusion frame applications in distributed systems is reflected in the efficiency of the end fusion process. This in turn is reflected in the efficiency of the inversion of the fusion frame operator S_WS_{\mathcal{W}}, which in turn is heavily dependent on the sparsity of S_WS_{\mathcal{W}}. We will show that sparsity of the fusion frame operator naturally exists by introducing a notion of non-orthogonal fusion frames. We show that for a fusion frame {W _i ,v _i } _i∈I , if dim(W _i )=k _i , then the matrix of the non-orthogonal fusion frame operator S_W{\mathcal{S}}_{{\mathcal{W}}} has in its corresponding location at most a k _i ×k _i block matrix. We provide necessary and sufficient conditions for which the new fusion frame operator S_W{\mathcal{S}}_{{\mathcal{W}}} is diagonal and/or a multiple of an identity. A set of other critical questions are also addressed. A scheme of multiple fusion frames whose corresponding fusion frame operator becomes an diagonal operator is also examined.     

Redundancy for localized frames

Redundancy is the qualitative property which makes Hilbert space frames so useful in practice. However, developing a meaningful quantitative notion of redundancy for infinite frames has proven elusive. Though quantitative candidates for redundancy exist, the main open problem is whether a frame with redundancy greater than one contains a subframe with redundancy arbitrarily close to one. We will answer this question in the affirmative for ℓ ¹-localized frames. We then specialize our results to Gabor multi-frames with generators in M ¹(R ^d ), and Gabor molecules with envelopes in W(C, l ¹). As a main tool in this work, we show there is a universal function g(x) so that, for every ε =s> 0, every Parseval frame {f _i } _i=1 ^M for an N-dimensional Hilbert space H _N has a subset of fewer than (1+ε)N elements which is a frame for H _N with lower frame bound g(ε/(2M/N − 1)). This work provides the first meaningful quantative notion of redundancy for a large class of infinite frames. In addition, the results give compelling new evidence in support of a general definition of redundancy given in [5].     

An explicit method for finding common solutions of variational inequalities and systems of equilibrium problems and fixed points of an infinite family of nonexpansive mappings

Let H be a Hilbert space and C be a nonempty closed convex subset of H, {T_i}_i∈N be a family of nonexpansive mappings from C into H, G_i:C×C→R be a finite family of equilibrium functions (i∈{1,2,…,K}), A be a strongly positive bounded linear operator with a coefficient and -Lipschitzian, relaxed (μ,ν)-cocoercive map of C into H. Moreover, let , {α_n} satisfy appropriate conditions and ; we introduce an explicit scheme which defines a suitable sequence as follows:

     

A new composite implicit iterative algorithm for nonself asymptotically nonexpansive mappings

Let E be a real uniformly convex and smooth Banach space with P as a sunny nonexpansive retraction, K be a nonempty closed convex subset of E. Let {S _i } _i=1 ^N , {T _i } _i=1 ^N :K→K be two finite families of weakly inward and asymptotically nonexpansive mappings with respect to P. It is proved that the composite implicit iteration process converges weakly and strongly to a common fixed point of {S _i } _i=1 ^N , {T _i } _i=1 ^N under certain conditions. The results of this paper improve and extend some well known corresponding results.     

Regularization extragradient method for Lipschitz continuous mappings and inverse strongly-monotone mappings in Hilbert spaces

The purpose of this paper is to present a regularization variant of the extragradient method for finding a common element of the solution sets for a variational inequality problem involving a -Lipschitz continuous monotone mapping A and for a finite family of λ _i -inverse strongly-monotone operators {A _i } _{i = 1} ^N from a closed convex subset K into the Hilbert space H. This article was submitted by the author in English.     

The almost split triangles for perfect complexes over gentle algebras

Throughout the paper k denotes a fixed field. All vector spaces and linear maps are k-vector spaces and k-linear maps, respectively. By Z, N, and N₊, we denote the sets of integers, nonnegative integers, and positive integers, respectively. For i,j∈Z, [i,j]:={l∈Z∣i≤l≤j} (in particular, [i,j]=∅ if i>j).