Frames and bases of subspaces in Hilbert spaces

In this paper we develop the frame theory of subspaces for separable Hilbert spaces. We will show that for every Parseval frame of subspaces {Wi}_i∈I for a Hilbert space H, there exists a Hilbert space K⊇H and an orthonormal basis of subspaces {Ni}_i∈I for K such that Wi=P(Ni), where P is the orthogonal projection of K onto H. We introduce a new definition of atomic resolution of the identity in Hilbert spaces. In particular, we define an atomic resolution operator for an atomic resolution of the identity, which even yield a reconstruction formula.     

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.     

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.     

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.     

Sparse fusion frames: existence and construction

Fusion frame theory is an emerging mathematical theory that provides a natural framework for performing hierarchical data processing. A fusion frame can be regarded as a frame-like collection of subspaces in a Hilbert space, and thereby generalizes the concept of a frame for signal representation. However, when the signal and/or subspace dimensions are large, the decomposition of the signal into its fusion frame measurements through subspace projections typically requires a large number of additions and multiplications, and this makes the decomposition intractable in applications with limited computing budget. To address this problem, in this paper, we introduce the notion of a sparse fusion frame, that is, a fusion frame whose subspaces are generated by orthonormal basis vectors that are sparse in a ‘uniform basis’ over all subspaces, thereby enabling low-complexity fusion frame decompositions. We study the existence and construction of sparse fusion frames, but our focus is on developing simple algorithmic constructions that can easily be adopted in practice to produce sparse fusion frames with desired (given) operators. By a desired (or given) operator we simply mean one that has a desired (or given) set of eigenvalues for the fusion frame operator. We start by presenting a complete characterization of Parseval fusion frames in terms of the existence of special isometries defined on an encompassing Hilbert space. We then introduce two general methodologies to generate new fusion frames from existing ones, namely the Spatial Complement Method and the Naimark Complement Method, and analyze the relationship between the parameters of the original and the new fusion frame. We proceed by establishing existence conditions for 2-sparse fusion frames for any given fusion frame operator, for which the eigenvalues are greater than or equal to two. We then provide an easily implementable algorithm for computing such 2-sparse fusion frames.     

<Emphasis Type="Italic">K</Emphasis>-fusion Frames and the Corresponding Generators for Unitary Systems

Motivated by K-frames and fusion frames, we study K-fusion frames in Hilbert spaces. By the means of operator K, frame operators and quotient operators, several necessary and sufficient conditions for a sequence of closed subspaces and weights to be a K-fusion frame are obtained, and operators preserving K-fusion frames are discussed. In particular, we are interested in the K-fusion frames with the structure of unitary systems. Given a unitary system which has a complete wandering subspace, we give a necessary and sufficient condition for a closed subspace to be a K-fusion frame generator.     

Weighted fusion frame construction via spectral tetris

Fusion frames consist of a sequence of subspaces from a Hilbert space and corresponding positive weights so that the sum of weighted orthogonal projections onto these subspaces is an invertible operator on the space. Given a spectrum for a desired fusion frame operator and dimensions for subspaces, one existing method for creating unit-weight fusion frames with these properties is the flexible and elementary procedure known as spectral tetris. Despite the extensive literature on fusion frames, until now there has been no construction of fusion frames with prescribed weights. In this paper we use spectral tetris to construct more general, arbitrarily weighted fusion frames. Moreover, we provide necessary and sufficient conditions for when a desired fusion frame can be constructed via spectral tetris.     

Extending compact topologies to compact Hausdorff topologies in ZF

Within the framework of Zermelo-Fraenkel set theory ZF, we investigate the set-theoretical strength of the following statements:

(1)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compactT₂space.

(2)

For every family(Ai)_i∈Iof sets there exists a family(Ti)_i∈Isuch that for everyi∈I(Ai,Ti)is a compact, scattered, T₂space.

(3)

For every set X, every compactR₁topology (itsT₀-reflection isT₂) on X can be enlarged to a compactT₂topology.

We show:

(a)

(1) implies every infinite set can be split into two infinite sets.

(b)

(2) iff AC.

(c)

(3) and “there exists a free ultrafilter” iff AC.

We also show that if the topology of certain compact T₁ spaces can be enlarged to a compact T₂ topology then (1) holds true. But in general, compact T₁ topologies do not extend to compact T₂ ones.     

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.     

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.     

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.     

The intersection of left (right) spectra of 2 × 2 upper triangular operator matrices

When A∈B(H) and B∈B(K) are given, we denote by M_C the operator matrix acting on the infinite-dimensional separable Hilbert space H⊕K of the form In this paper, for given A and B, the sets and ?_C∈Inv(K,H)σ_l(M_C) are determined, where σ_l(T),B_l(K,H) and Inv(K,H) denote, respectively, the left spectrum of an operator T, the set of all the left invertible operators and the set of all the invertible operators from K into H.     

The hilbert series of the polynomial identities for the tensor square of the grassmann algebra

LetE be the Grassmann (or exterior) algebra of an infinite-dimensional vector space over a fieldK of characteristic 0. We compute the Hilbert series of the relatively free algebraF _m(varE?_K E)=K(x _l,...,x _m) /(T(E?_K E)∩K〈x _l,...,x _m〉) of the variety of algebrasvarE?_KE, whereT(E?_K E) is the set of all polynomial identities forE?_K EE from the free associative algebraK〈x ₁,x₂…〉.     

Excess of a class of g-frames

In this paper, we study the relationship between frames for the super Hilbert space H⊕H and g-frames for H with respect to C². We show that a g-frame associated with a frame for H⊕H remains a g-frame whenever any one of its elements is removed. Furthermore, we show that the excess of such a g-frame is at least dimH.     

Abstract splines in Krein spaces

We present generalizations to Krein spaces of the abstract interpolation and smoothing problems proposed by Atteia in Hilbert spaces: given a Krein space K and Hilbert spaces H and E (bounded) surjective operators T:H→K and V:H→E, ρ>0 and a fixed z₀∈E, we study the existence of solutions of the problems and .     

Adding machines, kneading maps, and endpoints

Given a unimodal map f, let I=[c₂,c₁] denote the core and set E={(x₀,x₁,…)∈(I,f)|xi∈ω(c,f) for all i∈N}. It is known that there exist strange adding machines embedded in symmetric tent maps f such that the collection of endpoints of (I,f) is a proper subset of E and such that limk→∞Q(k)≠∞, where Q(k) is the kneading map.We use the partition structure of an adding machine to provide a sufficient condition for x to be an endpoint of (I,f) in the case of an embedded adding machine. We then show there exist strange adding machines embedded in symmetric tent maps for which the collection of endpoints of (I,f) is precisely E. Examples of this behavior are provided where limk→∞Q(k) does and does not equal infinity, and in the case where limk→∞Q(k)=∞, the collection of endpoints of (I,f) is always E.     

Inversion of analytically perturbed linear operators that are singular at the origin

Let H and K be Hilbert spaces and for each z∈C let A(z)∈L(H,K) be a bounded but not necessarily compact linear map with A(z) analytic on a region |z|<a. If A(0) is singular we find conditions under which A⁻¹(z) is well defined on some region 0<|z|<b by a convergent Laurent series with a finite order pole at the origin. We show that by changing to a standard Sobolev topology the method extends to closed unbounded linear operators and also that it can be used in Banach spaces where complementation of certain closed subspaces is possible. Our method is illustrated with several key examples.²     

Root numbers and ranks in positive characteristic

For a global field K and an elliptic curve E_η over K(T), Silverman's specialization theorem implies rank(E_η(K(T)))?rank(E_t(K)) for all but finitely many t∈P¹(K). If this inequality is strict for all but finitely many t, the elliptic curve E_η is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial.Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, an analogue of one of these additional conjectures is false. Inspired by this, for the rational function field K=κ(u) over any finite field κ with characteristic ≠2, we construct an explicit 2-parameter family E_c,d of non-isotrivial elliptic curves over K(T) (depending on arbitrary c,d∈κ^×) such that, under the parity conjecture, each E_c,d has elevated rank.     

Orthonormal bases and quasi-splitting subspaces in pre-Hilbert spaces

Let S be a pre-Hilbert space. We study quasi-splitting subspaces of S and compare the class of such subspaces, denoted by Eq(S), with that of splitting subspaces E(S). In [D. Buhagiar, E. Chetcuti, Quasi splitting subspaces in a pre-Hilbert space, Math. Nachr. 280 (5-6) (2007) 479-484] it is proved that if S has a non-zero finite codimension in its completion, then Eq(S)≠E(S). In the present paper it is shown that if S has a total orthonormal system, then Eq(S)=E(S) implies completeness of S. In view of this result, it is natural to study the problem of the existence of a total orthonormal system in a pre-Hilbert space. In particular, it is proved that if every algebraic complement of S in its completion is separable, then S has a total orthonormal system.