Finite Frame Theory

We study classes of mappings between finite and infinite dimensional Banach spaces that are monotone and mappings which are differences of monotone mappings (DM). We prove a Radó–Reichelderfer estimate for monotone mappings in finite dimensional spaces that remains valid for DM mappings. This provides an alternative proof of the Fréchet differentiability a.e. of DM mappings. We establish a Morrey-type estimate for the distributional derivative of monotone mappings. We prove that a locally DM mapping between finite dimensional spaces is also globally DM. We introduce and study a new class of the so-called UDM mappings between Banach spaces, which generalizes the concept of curves of finite variation.

In a recent series of short papers [2, 3, 41 I have been discussing the relationships of uniform convexity with certain other properties of normed vector spaces. In this paper I propose to discuss relationships between uniform convexity, factor spaces, and conjugate spaces. Because of the large number of special results which are needed for two dimensional spaces-and which are false in general-the paper will be divided into two parts: In Part I (??2-4) B is two dimensional; in Part II (??5-7) this restriction is removed and B may be any normed vector space. To recall the definition, B is said to be uniformly convex if there exists a function 6 such that 0 e, is a modulus of convexity for B. Note that if 51 is nowhere greater than 5, a modulus of convexity for B, then 5l is a modulus of convexity for B. Because of the pointwise nature of the definition of uniform convexity, it is clear that B is uniformly convex with modulus of convexity a if and only if all the two dimensional subspaces of B have the common modulus of convexity 6. One of the most useful results of this investigation (Theorem 5.5) is the complementary fact that B is uniformly convex if and only if all the two dimensional factor spaces of B have a common modulus of convexity. In the study of the effect of uniform convexity of B on the nature of the conjugate space B*, this result makes it possible to reduce the problem to the study of two dimensional spaces. In such a space B uniform convexity is equivalent to strict convexity: that is, a two (or finite) dimensional space is uniformly convex if and only if there does not exist a line segment of positive length all of whose points are of norm one. It has been observed [1, Footnote 13] that such a line segment on the unit sphere is equivalent to the existence of a sharp edge on the unit sphere in B*. The attempt to describe a sharp edge of the unit sphere in a finite dimensional space B in terms of the norm in that space leads to the condition that there exists a k > 0 such that for any e > 0 a pair of points bi and b2 exists such that II b -b2 11 k 11 bl-be 11 . Contradicting this suggests the following condition, a sort of dual concept to uniform convexity. A space B is said to be uniformly flattened if there exists a function v7 positive for 0 < e ? 2 such that lim.b.o 7(e) = 0 while (211 b + b2 11)/i b2 11 < 7(e) if J]b11 = JJ b1 = 1 and 11 bb2 ? || ; 375

So far there has not been paid attention to frames that are balanced, i.e. those frames which sum is zero. In this paper we consider balanced frames, and in particular balanced unit norm tight frames, in finite dimensional Hilbert spaces. Here we discover various advantages of balanced unit norm tight frames in signal processing. They give an exact reconstruction in the presence of systematic errors in the transmitted coefficients, and are optimal when these coefficients are corrupted with noises that can have non-zero mean. Moreover, using balanced frames we can know that the transmitted coefficients were perturbed, and we also have an indication of the source of the error. We analyze several properties of these types of frames. We define an equivalence relation in the set of the dual frames of a balanced frame, and use it to show that we can obtain all the duals from the balanced ones. We study the problem of finding the nearest balanced frame to a given frame, characterizing completely its existence and giving its expression. We introduce and study a concept of complement for balanced frames. Finally, we present many examples and methods for constructing balanced unit norm tight frames.

The notion of the shell of aHilbert spa ce opera tor, which is auseful genera liza tion (proposed by Wielandt) of the numerical range, is extended to operators in spaces with an indefinite inner product. For the most part, finite dimensional spaces are considered. Geometric properties of shells (convexity, boundedness, being a subset of a line, etc.) are described, as well as shells of operators in two dimensional indefinite inner product spaces. For normal operators, it is conjectured that the shell is convex and its closure is polyhedral; the conjecture is proved for indefinite inner product spaces of dimension at most three, and for finite dimensional inner product spaces with one positive eigenvalue.

Linear algebra is considered an essential mathematical theory that has many engineering applications. While many theorem provers support linear spaces, they only consider finite dimensional spaces. In addition, available libraries only deal with real vectors, whereas complex vectors are extremely useful in many fields of engineering. In this paper, we propose a new linear space formalization which covers both finite and infinite dimensional complex vector spaces, implemented in HOL-Light. We give the definition of a linear space and prove many properties about its operations, e.g., addition and scalar multiplication. We also formalize a number of related fundamental concepts such as linearity, hermitian operation, self-adjoint, and inner product space. Using the developed linear algebra library, we were able to implement basic definitions about quantum mechanics and use them to verify a quantum beam splitter, an optical device that has many applications in quantum computing.

Continuous fields of C*-algebras over finite dimensional spaces

Constructing frames for finite dimensional Hilbert spaces

Characterization of simultaneous similarity for commuting m m - tuples of operators is an open problem even in finite-dimensional spaces; known as “A wild problem in linear algebra”. In this paper we offer a criterion for simultaneous similarity of m m -tuples of k k -cyclic commuting operators on an arbitrary Banach space. Moreover, we obtain an additional equivalence condition in the case of finite dimensional Banach spaces, which extends the result found by Shekhtman [Math. Stat. 1 (2013), pp. 157–161] for pairs of cyclic commuting matrices. We also present two applications of our results, one in the case of general multiplication operators on Banach spaces of analytic function, and one for m m -tuples of commuting square matrices.

We derive new representations for the generalised Jacobian of a locally Lipschitz map between finite dimensional real Euclidean spaces as the lower limit (i.e., limit inferior) of the classical derivative of the map where it exists. The new representations lead to significantly shorter proofs for the basic properties of the subgradient and the generalised Jacobian including the chain rule. We establish that a sequence of locally Lipschitz maps between finite dimensional Euclidean spaces converges to a given locally Lipschitz map in the L-topology—that is, the weakest refinement of the sup norm topology on the space of locally Lipschitz maps that makes the generalised Jacobian a continuous functional—if and only if the limit superior of the sequence of directional derivatives of the maps in a given vector direction coincides with the generalised directional derivative of the given map in that direction, with the convergence to the limit superior being uniform for all unit vectors. We then prove our main result that the subspace of Lipschitz C ∞ maps between finite dimensional Euclidean spaces is dense in the space of Lipschitz maps equipped with the L-topology, and, for a given Lipschitz map, we explicitly construct a sequence of Lipschitz C ∞ maps converging to it in the L-topology, allowing global smooth approximation of a Lipschitz map and its differential properties. As an application, we obtain a short proof of the extension of Green’s theorem to interval-valued vector fields. For infinite dimensions, we show that the subgradient of a Lipschitz map on a Banach space is upper continuous, and, for a given real-valued Lipschitz map on a separable Banach space, we construct a sequence of Gateaux differentiable functions that converges to the map in the sup norm topology such that the limit superior of the directional derivatives in any direction coincides with the generalised directional derivative of the Lipschitz map in that direction.

The notion of “exceptional family of elments (EFE)” plays a very important role in solving complementarity problems. It has been applied in finite dimensional spaces and Hilbert spaces by many authors. In this paper, by using the generalized projection defined by Alber, we extend this notion from Hilbert spaces to uniformly smooth and uniformly convex Banach spaces, and apply this extension to the study of nonlinear complementarity problems in Banach spaces.

Let G be an Abelian topological semigroup with unit. By a classical result (called Theorem A), if V is a finite dimensional translation invariant linear space of complex valued continuous functions defined on G, then every element of V is an exponential polynomial. More precisely, every element of V is of the form sum _{i=1}^np_i cdot m_i, where m_1 ,ldots ,m_n are exponentials belonging to V, and p_1 ,ldots ,p_n are polynomials of continuous additive functions. We generalize this statement by replacing the set of continuous functions by any algebra {{mathcal {A}}} of complex valued functions such that whenever an exponential m belongs to {{mathcal {A}}}, then m^{-1}in {{mathcal {A}}}. As special cases we find that Theorem A remains valid even if the topology on G is not compatible with the operation on G, or if the set of continuous functions is replaced by the set of measurable functions with respect to an arbitrary sigma -algebra. We give two proofs of the result. The first is based on Theorem A. The second proof is independent, and seems to be more elementary than the existing proofs of Theorem A.

A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension d, there is good evidence that there always exists an aligned SIC in dimension d(d − 2), having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension d(d − 2) that share these properties. They consist of maximally entangled vectors in certain subspaces defined by the numbers entering the d dimensional SIC. However, the construction contains free parameters and we have not proven that they can always be chosen so that one of these sets of vectors is a SIC. We give some worked examples that, we hope, may suggest to the reader how our construction can be improved. For simplicity we restrict ourselves to the case of odd dimensions.

This chapter presents the most basic results on topological vector spaces. With the exception of the last section, the scalar field over which vector spaces are defined can be an arbitrary, non-discrete valuated field K; K is endowed with the uniformity derived from its absolute value. The purpose of this generality is to clearly identify those properties of the commonly used real and complex number field that are essential for these basic results. Section 1 discusses the description of vector space topologies in terms of neighborhood bases of 0, and the uniformity associated with such a topology. Section 2 gives some means for constructing new topological vector spaces from given ones. The standard tools used in working with spaces of finite dimension are collected in Section 3, which is followed by a brief discussion of affine subspaces and hyperplanes (Section 4). Section 5 studies the extremely important notion of boundedness. Metrizability is treated in Section 6. This notion, although not overly important for the general theory, deserves special attention for several reasons; among them are its connection with category, its role in applications in analysis, and its role in the history of the subject (cf. Banach [1]). Restricting K to subfields of the complex numbers, Section 7 discusses the transition from real to complex fields and vice versa.

Advances in neuronal probe technology to record brain activity have posed a significant challenge in performing necessary processing and analysis of the recorded data. To be able to infer meaningful conclusions from the recorded signals through these probes, sophisticated signal processing and analysis tools are required. This paper presents a MATLAB-based novel tool, 'SigMate', capable of performing various processing and analysis incorporating the available standard tools and our in-house custom tools. The present features include, data display (2D and 3D), baseline correction, stimulus artifact removal, noise characterization, file operations (file splitter, file concatenator, and file column rearranger), latency estimation, determination of cortical layer activation order, spike detection, spike sorting, and are gradually growing. This tool has been tested extensively for the recordings using the standard micropipettes as well as implantable neural probes based on EOSFETs (Electrolyte-Oxide-Semiconductor Field Effect Transistors) and will be made available to the community shortly.

We show that whenever a contractive k k -tuple T T on a finite dimensional space H H has a unitary dilation, then for any fixed degree N N there is a unitary k k -tuple U U on a finite dimensional space so that q ( T ) = P H q ( U ) | H q(T) = P_H q(U) |_H for all polynomials q q of degree at most N N .