Projective modules over noncommutative tori are multi-window Gabor frames for modulation spaces

We describe a connection between two seemingly different problems: (a) the construction of projections in noncommutative tori, (b) the construction of tight Gabor frames. The present investigation relies an interpretation of projective modules over noncommutative tori in terms of Gabor analysis. The main result demonstrates that Rieffel's condition on the existence of projections in noncommutative tori is equivalent to the Wexler-Raz biorthogonality relations for tight Gabor frames. Therefore we are able to invoke results on the existence of Gabor frames in the construction of projections in noncommutative tori. In particular, the projection associated with a Gabor frame generated by a Gaussian turns out to be Boca's projection. Our approach to Boca's projection allows us to characterize the range of existence of Boca's projection. The presentation of our main result provides a natural approach to the Wexler-Raz biorthogonality relations in terms of Hilbert C*-modules over noncommutative tori.

The Balian–Low theorem and noncommutative tori

This paper considers generators of Heisenberg modules in the case of twisted group [Formula: see text]-algebras of closed subgroups of locally compact abelian (LCA) groups and how the restriction and/or periodization of these generators yield generators for other Heisenberg modules. Since generators of Heisenberg modules are exactly the generators of (multi-window) Gabor frames, our methods are going to be from Gabor analysis. In the latter setting, the procedure of restriction and periodization of generators is well known. Our results extend this established part of Gabor analysis to the general setting of LCA groups. We give several concrete examples where we demonstrate some of the consequences of our results. Finally, we show that vector bundles over an irrational noncommutative torus may be approximated by vector bundles for finite-dimensional matrix algebras that converge to the irrational noncommutative torus with respect to the module norm of the generators, where the matrix algebras converge in the quantum Gromov–Hausdorff distance to the irrational noncommutative torus.

The material presented so far naturally splits in two parts: a functional analytic treatment of frames in general Hilbert spaces, and a more direct approach to structured frames like Gabor frames and wavelet frames. In this final chapter we make connections to abstract harmonic analysis and show how we can gain insight about frames via the theory for group representations. More precisely, we show how the orthogonality relations for square-integrable group representations lead to series expansions of the elements in the underlying Hilbert space; on a concrete level, this gives an alternative approach to Gabor systems and wavelet systems. Feichtinger and Gröchenig proved that the group-theoretic setup even allows us to obtain series expansions in a large scale of Banach spaces, a result which leads Gröchenig to define frames in Banach spaces. By removing some of the conditions we obtain p-frames, first studied separately by Aldroubi, Sun, and Tang.

We introduce the Banach space S 0 ⊑ L 2 which has a variety of properties making it a useful tool in Gabor analysis. S 0 can be characterized as the smallest time-frequency homogeneous Banach space of (continuous) functions. We also present other characterizations of S 0 turning it into a very flexible tool for Gabor analysis and allowing for simplifications of various proofs. A careful analysis of both the coefficient and the synthesis mapping in Gabor theory shows that an arbitrary window in S 0 not only is a Bessel atom with respect to arbitrary time-frequency lattices, but also yields boundedness between S 0 and e 1. On the other hand, we can study properties of general L 2-atoms since they induce mappings from S 0 to S′0. This enables us to introduce a new, very natural concept of weak duality of Gabor atoms, applying also to the classical pair of the Gauss-function and its dual function determined by Bastiaans. Using the established results, we show a variety of properties that are desirable in applications, like the continuous dependence of the canonical dual window on the given Gabor window and on the lattice; continuity of thresholding and masking operators from signal processing; and an algorithm for the reconstruction of bandlimited functions from samples of the Gabor transform in a corresponding horizontal strip in the time-frequency plane. We also present an approximate Balian-Low Theorem stating that for close-to-critical lattices, the dual Gabor atoms progressively lose their time-frequency localization.

We study explicit solutions for orientifolds of matrix theory compactified on a noncommutative torus. As quotients of the torus, a cylinder, Klein bottle, and M\"obius strip are applicable as orientifolds. We calculate the solutions using the Connes-Douglas-Schwarz projective module solution, and investigate the twisted gauge bundle on quotient spaces as well. These solutions are of Yang-Mills theory on a noncommutative torus with proper boundary conditions which define the geometry of the dual space.

We show that noncommutative gauge theory in two dimensions is an exactly solvable model. A cohomological formulation of gauge theory defined on the noncommutative torus is used to show that its quantum partition function can be written as a sum over contributions from classical solutions. We derive an explicit formula for the partition function of Yang-Mills theory defined on a projective module for arbitrary noncommutativity parameter \theta which is manifestly invariant under gauge Morita equivalence. The energy observables are shown to be smooth functions of \theta. The construction of noncommutative instanton contributions to the path integral is described in some detail. In general, there are infinitely many gauge inequivalent contributions of fixed topological charge, along with a finite number of quantum fluctuations about each instanton. The associated moduli spaces are combinations of symmetric products of an ordinary two-torus whose orbifold singularities are not resolved by noncommutativity. In particular, the weak coupling limit of the gauge theory is independent of \theta and computes the symplectic volume of the moduli space of constant curvature connections on the noncommutative torus.

The authors present an application of the general idea of preconditioning in the context of Gabor frames. While most (iterative) algorithms aim at a more or less costly exact numerical calculation of the inverse Gabor frame matrix, we propose here the use of cheap methods to find an approximation for it, based on (double) preconditioning. We thereby obtain good approximations of the true dual Gabor atom at low computational costs. Since the Gabor frame matrix commutes with certain time-frequency shifts, it is natural to make use of diagonal and circulant preconditioners sharing this property. Part of the efficiency of the proposed scheme results from the fact that all the matrices involved share a well-known block matrix structure. At least, for the smooth Gabor atoms typically used, the combination of these two preconditioners leads consistently to good results. These claims are supported by numerical experiments in this paper. For numerical evaluations we introduce two new matrix norms, which can be calculated efficiently by exploiting the structure of the frame matrix

We study nonuniform sampling in shift-invariant spaces and the construction of Gabor frames with respect to the class of totally positive functions whose Fourier transform factors as hat{g}(xi )= prod _{j=1}^n (1+2pi idelta _jxi )^{-1} , e^{-c xi ^2} for delta _1,ldots ,delta _nin mathbb {R}, c >0 (in which case g is called totally positive of Gaussian type). In analogy to Beurling’s sampling theorem for the Paley–Wiener space of entire functions, we prove that every separated set with lower Beurling density >1 is a sampling set for the shift-invariant space generated by such a g. In view of the known necessary density conditions, this result is optimal and validates the heuristic reasonings in the engineering literature. Using a subtle connection between sampling in shift-invariant spaces and the theory of Gabor frames, we show that the set of phase-space shifts of g with respect to a rectangular lattice alpha mathbb {Z}times beta mathbb {Z} forms a frame, if and only if alpha beta <1. This solves an open problem going back to Daubechies in 1990 for the class of totally positive functions of Gaussian type. The proof strategy involves the connection between sampling in shift-invariant spaces and Gabor frames, a new characterization of sampling sets “without inequalities” in the style of Beurling, new properties of totally positive functions, and the interplay between zero sets of functions in a shift-invariant space and functions in the Bargmann–Fock space.

It is a well-known problem in Gabor analysis how to construct explicitly given dual frames associated with a given frame. In this paper we will consider a class of window functions for which approximately dual windows can be calculated explicitly. The method makes it possible to get arbitrarily close to perfect reconstruction by allowing the modulation parameter to vary. Explicit estimates for the deviation from perfect reconstruction are provided for some of the standard functions in Gabor analysis, e.g., the Gaussian and the two-sided exponential function.

We now turn to the definitions and fundamental properties of (in general, non commutative) Banach algebras and some more general topological algebras. Thus we are moving from the foundations given in Chapter 1, and shall now examine the implications of the additional assumption that the algebras that we are considering also have a topology; in each case, the topology is connected to the algebraic structure by the simple requirement that the algebraic operations be continuous.

We define spatial [Formula: see text] AF algebras for [Formula: see text], and prove the following analog of the Elliott AF algebra classification theorem. If [Formula: see text] and [Formula: see text] are spatial [Formula: see text] AF algebras, then the following are equivalent: [Formula: see text] and [Formula: see text] have isomorphic scaled preordered [Formula: see text]-groups. [Formula: see text] as rings. [Formula: see text] (not necessarily isometrically) as Banach algebras. [Formula: see text] is isometrically isomorphic to [Formula: see text] as Banach algebras. [Formula: see text] is completely isometrically isomorphic to [Formula: see text] as matricial [Formula: see text] operator algebras. As background, we develop the theory of matricial [Formula: see text] operator algebras, and show that there is a unique way to make a spatial [Formula: see text] AF algebra into a matricial [Formula: see text] operator algebra. We also show that any countable scaled Riesz group can be realized as the scaled preordered [Formula: see text]-group of a spatial [Formula: see text] AF algebra.

A classical result due to M. Eidelheit and B. Yood states that the standard algebra norm on the algebra of bounded linear operators on a Banach space is minimal, in the sense that the norm must be less than a multiple of any other submultiplicative norm on the same algebra. This definition does not assume that the arbitrary algebra norm is complete. In cases when the standard algebra norm is, in addition, maximal, it is therefore unique up to equivalence. More recently, M. Meyer showed that the Calkin algebras of a very restricted class of Banach spaces also have unique algebra norms. We generalise the Eidelheit-Yood method of proof, to show that the conventional quotient norm on a larger class of Calkin algebras is minimal. Since maximality of the norm is a presumed property for the class, the norm is also unique. We thus extend the result of Meyer. In particular, we establish that the Calkin algebras of canonical Banach spaces such as James’ space and Tsirelson’s space have unique algebra norms, without assuming completeness. We also prove uniqueness of norm for quotients of the algebras of operators on classical non-separable spaces, the closed ideals of which were previously studied by M. Daws. One aspect of the Eidelheit-Yood method is a dependence on the uniform boundedness principle. As a component of our generalisation, we prove an analogue of that principle which applies to Calkin algebra elements rather than bounded linear operators. In order to translate the uniform boundedness principle into this new setting, we take the perspective that non-compact operators map certain wellseparated sequences to other well-separated sequences. We analyse the limiting separation of such sequences, using these values to measure the non-compactness of operators and define the requisite notion of a bounded set of non-compact operators. In the cases when the underlying Banach space has a Schauder basis, we are able to restrict attention to seminormalised block basic sequences. As a consequence, our main uniqueness of norm result for Calkin algebras relies on the existence of bounded mappings between, and projections onto, the spans of block basic sequences in the relevant Banach spaces.

In the present paper, we study frames for finite-dimensional vector spaces over an arbitrary field. We develop a theory of dual frames in order to obtain and study the different representations of the elements of the vector space provided by a frame. We relate the introduced theory with the classical one of dual frames for Hilbert spaces and apply it to study dual frames for three types of vector spaces: for vector spaces over conjugate closed subfields of the complex numbers (in particular, for cyclotomic fields), for metric vector spaces, and for ultrametric normed vector spaces over complete non-archimedean valued fields. Finally, we consider the matrix representation of operators using dual frames and its application to the solution of operators equations in a Petrov-Galerkin scheme.

Motivated by the human auditory system, a new signal transform is presented which models the way humans hear. Cochlear processing acts like a constant bandwidth bank of filters in the low frequency range but is of proportional bandwidth at higher frequencies. This new transform, which we call the composite wavelet transform, is better able to model this process than standard signal processing techniques such as the short‐time Fourier transform (STFT) and the continuous wavelet transform (CWT). The composite wavelet transform in fact provides a signal analysis tool that is able to examine signals with competing signal structures whereas the STFT and the CWT do not. In order to insure stable signal recovery, the theory of frames is examined. An overview of the theory of frames will be given and wavelet and Gabor frames will be discussed. Recent work on frames for the composite wavelet transform will also be presented. Finally, some applications of frames, especially to speech signal processing will be considered.