Theory,implementation and applications of nonstationary Gabor frames

Signal analysis with classical Gabor frames leads to a fixed time–frequency resolution over the whole time–frequency plane. To overcome the limitations imposed by this rigidity, we propose an extension of Gabor theory that leads to the construction of frames with time–frequency resolution changing over time or frequency. We describe the construction of the resulting nonstationary Gabor frames and give the explicit formula for the canonical dual frame for a particular case, the painless case. We show that wavelet transforms, constant-Q transforms and more general filter banks may be modeled in the framework of nonstationary Gabor frames. Further, we present the results in the finite-dimensional case, which provides a method for implementing the above-mentioned transforms with perfect reconstruction. Finally, we elaborate on two applications of nonstationary Gabor frames in audio signal processing, namely a method for automatic adaptation to transients and an algorithm for an invertible constant-Q transform.     

A Constructive Inversion Framework for Twisted Convolution

In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be interpreted as another twisted convolution on a finite cyclic group. In analogy with the twisted convolution of finite discrete signals, we derive an anti-homomorphism between the sequence space and a suitable matrix algebra which preserves the algebraic structure. In this way, the problem reduces to the analysis of finite matrices whose entries are sequences supported on corresponding cosets. The invertibility condition then follows from Cramer’s rule and Wiener’s lemma for this special class of matrices. The problem results from a well known approach of studying the invertibility properties of the Gabor frame operator in the rational case. The presented approach gives further insights into Gabor frames. In particular, it can be applied for both the continuous (on \Bbb R^d{\Bbb R}^d ) and the finite discrete setting. In the latter case, we obtain algorithmic schemes for directly computing the inverse of Gabor frame-type matrices equivalent to those known in the literature.     

A Constructive Inversion Framework for Twisted Convolution

In this paper we develop constructive invertibility conditions for the twisted convolution. Our approach is based on splitting the twisted convolution with rational parameters into a finite number of weighted convolutions, which can be interpreted as another twisted convolution on a finite cyclic group. In analogy with the twisted convolution of finite discrete signals, we derive an anti-homomorphism between the sequence space and a suitable matrix algebra which preserves the algebraic structure. In this way, the problem reduces to the analysis of finite matrices whose entries are sequences supported on corresponding cosets. The invertibility condition then follows from Cramer’s rule and Wiener’s lemma for this special class of matrices. The problem results from a well known approach of studying the invertibility properties of the Gabor frame operator in the rational case. The presented approach gives further insights into Gabor frames. In particular, it can be applied for both the continuous (on ) and the finite discrete setting. In the latter case, we obtain algorithmic schemes for directly computing the inverse of Gabor frame-type matrices equivalent to those known in the literature.     

Theory, implementation and applications of nonstationary Gabor frames

Signal analysis with classical Gabor frames leads to a fixed time-frequency resolution over the whole time-frequency plane. To overcome the limitations imposed by this rigidity, we propose an extension of Gabor theory that leads to the construction of frames with time-frequency resolution changing over time or frequency. We describe the construction of the resulting nonstationary Gabor frames and give the explicit formula for the canonical dual frame for a particular case, the painless case. We show that wavelet transforms, constant-Q transforms and more general filter banks may be modeled in the framework of nonstationary Gabor frames. Further, we present the results in the finite-dimensional case, which provides a method for implementing the above-mentioned transforms with perfect reconstruction. Finally, we elaborate on two applications of nonstationary Gabor frames in audio signal processing, namely a method for automatic adaptation to transients and an algorithm for an invertible constant-Q transform.     

Wiener's lemma for twisted convolution and Gabor frames

We prove non-commutative versions of Wiener's Lemma on absolutely convergent Fourier series (a) for the case of twisted convolution and (b) for rotation algebras. As an application we solve some open problems about Gabor frames, among them the problem of Feichtinger and Janssen that is known in the literature as the ``irrational case'.

     

A Geometric Construction of Tight Multivariate Gabor Frames with Compactly Supported Smooth Windows

Fundamental domains of pairs of lattices were used by Han and Wang to construct multivariate Gabor frames for separable lattices. We build upon their results to obtain Gabor frames with smooth and compactly supported window functions. Our results are applicable, for example, if certain pairs of lattices with equal density allow for a common compact and star-shaped fundamental domain.     

Vector lattices and rooted trees

There is a 1-1-correspondence between isomorphism classes of finite dimensional vector lattices and finite rooted unlabelled trees. Thus the problem of counting isomorphism classes of finite dimensional vector lattices reduces to the well-known combinatorial problem of counting these trees. The correspondence is used to identify the class of congruence lattices of finite-dimensional vector lattices as the class of finite dual relative Stone algebras, in partial answer to a question posed by Birkhoff.Dedicated to the memory of Alan DayPresented by J. Sichler.     

Deformation of Gabor systems

We introduce a new notion for the deformation of Gabor systems. Such deformations are in general nonlinear and, in particular, include the standard jitter error and linear deformations of phase space. With this new notion we prove a strong deformation result for Gabor frames and Gabor Riesz sequences that covers the known perturbation and deformation results. Our proof of the deformation theorem requires a new characterization of Gabor frames and Gabor Riesz sequences. It is in the style of Beurling's characterization of sets of sampling for bandlimited functions and extends significantly the known characterization of Gabor frames “without inequalities” from lattices to non-uniform sets.     

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

In the present investigation we link noncommutative geometry over noncommutative tori with Gabor analysis, where the first has its roots in operator algebras and the second in time-frequency analysis. We are therefore in the position to invoke modern methods of operator algebras, e.g. topological stable rank of Banach algebras, to display the deeper properties of Gabor frames. Furthermore, we are able to extend results due to Connes and Rieffel on projective modules over noncommutative tori to Banach algebras, which arise in a natural manner in Gabor analysis. The main goal of this investigation is twofold: (i) an interpretation of projective modules over noncommutative tori in terms of Gabor analysis and (ii) to show that the Morita-Rieffel equivalence between noncommutative tori is the natural framework for the duality theory of Gabor frames. More concretely, we interpret generators of projective modules over noncommutative tori as the Gabor atoms of multi-window Gabor frames for modulation spaces. Moreover, we show that this implies the existence of good multi-window Gabor frames for modulation spaces with Gabor atoms in e.g. Feichtinger's algebra or in Schwartz space.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

Super Gabor frames on discrete periodic sets

Due to its potential applications in multiplexing techniques such as time division multiple access and frequency division multiple access, superframe has interested some mathematicians and engineering specialists. In this paper, we investigate super Gabor systems on discrete periodic sets in terms of a suitable Zak transform matrix, which can model signals to appear periodically but intermittently. Complete super Gabor systems, super Gabor frames and Gabor duals for super Gabor frames on discrete periodic sets are characterized; An explicit expression of Gabor duals is established, and the uniqueness of Gabor duals is characterized. On the other hand, discrete periodic sets admitting complete super Gabor systems, super Gabor frames, super Gabor Riesz bases are also characterized. Some examples are also provided to illustrate the general theory.     

Finite-Dimensional Representations of Twisted Hyper-Loop Algebras

We investigate the category of finite-dimensional representations of twisted hyper-loop algebras, i.e., the hyperalgebras associated to twisted loop algebras over finite-dimensional simple Lie algebras. The main results are the classification of the irreducible modules, the definition of the universal highest-weight modules, called the Weyl modules, and, under a certain mild restriction on the characteristic of the ground field, a proof that the simple modules and the Weyl modules for the twisted hyper-loop algebras are isomorphic to appropriate simple and Weyl modules for the nontwisted hyper-loop algebras, respectively, via restriction of the action.     

Noetherianness of wreath products of Abelian Lie algebras with respect to equations of universal enveloping algebra

It is proved that a wreath product of two Abelian finite-dimensional Lie algebras over a field of characteristic zero is Noetherian w.r.t. equations of a universal enveloping algebra. This implies that an index 2 soluble free Lie algebra of finite rank, too, has this property.     

On the sum of an almost abelian Lie algebra and a Lie algebra finite-dimensional over its center

We consider a Lie algebraL over an arbitrary field that is decomposable into the sumL=A+B of an almost Abelian subalgebraA and a subalgebraB finite-dimensional over its center. We prove that this algebra is almost solvable, i.e., it contains a solvable ideal of finite codimension. In particular, the sum of the Abelian and almost Abelian Lie algebras is an almost solvable Lie algebra. Kiev University, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 5, pp. 636–644, May, 1999.     

Directional Frames for Image Recovery: Multi-scale Discrete Gabor Frames

Sparsity-driven image recovery methods assume that images of interest can be sparsely approximated under some suitable system. As discontinuities of 2D images often show geometrical regularities along image edges with different orientations, an effective sparsifying system should have high orientation selectivity. There have been enduring efforts on constructing discrete frames and tight frames for improving the orientation selectivity of tensor product real-valued wavelet bases/frames. In this paper, we studied the general theory of discrete Gabor frames for finite signals, and constructed a class of discrete 2D Gabor frames with optimal orientation selectivity for sparse image approximation. Besides high orientation selectivity, the proposed multi-scale discrete 2D Gabor frames also allow us to simultaneously exploit sparsity prior of cartoon image regions in spatial domain and the sparsity prior of textural image regions in local frequency domain. Using a composite sparse image model, we showed the advantages of the proposed discrete Gabor frames over the existing wavelet frames in several image recovery experiments.     

On Borcherds type Lie algebras

For each even lattice \({\mathcal L}\), there is a canonical way to construct an infinite-dimensional Lie algebra via lattice vertex operator algebra theory, we call this Lie algebra and its subalgebras the Borcherds type Lie algebras associated to \({\mathcal L}\). In this paper, we apply this construction to even lattices arising from representation theory of finite-dimensional associative algebras. This is motivated by the different realizations of Kac-Moody algebras by Borcherds using lattice vertex operators and by Peng-Xiao using Ringel-Hall algebras respectively. For any finite-dimensional algebra \(A\) of finite global dimension, we associate a Borcherds type Lie algebra \(\mathfrak {BL}(A)\) to \(A\). In contrast to the Ringel-Hall Lie algebra approach, \(\mathfrak {BL}(A)\) only depends on the symmetric Euler form or Tits form but not the full representation theory of \(A\). However, our results show that for certain classes of finite-dimensional algebras whose representation theory is ’controlled’ by the Euler bilinear forms or Tits forms, their Borcherds type Lie algebras do have close relations with the representation theory of these algebras. Beyond the class of hereditary algebras, these algebras include canonical algebras, representation-directed algebras and incidence algebras of finite prinjective types.     

Galois Theory of Thick Subcategories in Modular Representation Theory

D. J. Benson, J. F. Carlson, and J. Rickard [1997, Fund. Math.153, 59–80] classified the tensor-closed thick subcategories of finite-dimensional representations of finite groups over algebraically closed fields. In this paper, we remove the algebraically closed hypothesis by applying some Galois theory. Our methods apply more generally to finite-dimensional cocommutative Hopf algebras over a field. Thus they allow us to drop the algebraically closed hypothesis in the classification of thick subcategories of modules over finite-dimensional sub-Hopf algebras of the Steenrod algebra as well.     

Products of Young symmetrizers and ideals in the generic tensor algebra

We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the defining ideals of secant varieties of Segre–Veronese varieties, and in joint work of Oeding and the author on the defining ideals of tangential varieties of Segre–Veronese varieties.     

Representations of twisted current algebras

We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map algebras, and twisted forms.     

Rhombus filtrations and Rauzy algebras

Peach introduced rhombal algebras associated to quivers given by tilings of the plane by rhombi. We develop general techniques to analyze rhombal algebras, including a filtration by what we call rhombus modules. We introduce a way to relate the infinite-dimensional rhombal algebra corresponding to a complete tiling of the plane to finite-dimensional algebras corresponding to finite portions of the tiling. Throughout, we apply our general techniques to the special case of the Rauzy tiling, which is built in stages reflecting an underlying self-similarity. Exploiting this self-similar structure allows us to uncover interesting features of the associated finite-dimensional algebras, including some of the tree classes in the stable Auslander-Reiten quiver.