Abstract
In this work we study families of pairs of window functions and lattices which lead to Gabor frames which all possess the same frame bounds. To be more precise, for every generalized Gaussian g, we will construct an uncountable family of lattices \(\lbrace \Lambda _\tau \rbrace \) such that each pairing of g with some \(\Lambda _\tau \) yields a Gabor frame, and all pairings yield the same frame bounds. On the other hand, for each lattice we will find a countable family of generalized Gaussians \(\lbrace g_i \rbrace \) such that each pairing leaves the frame bounds invariant. Therefore, we are tempted to speak about Gabor Frame Sets of Invariance.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and notation
A Gabor frame (or Weyl–Heisenberg frame) for \(L^2(\mathbb {R}^{d})\) is generated by a (fixed, non-zero) window function \(g \in L^2(\mathbb {R}^{d})\) and an index set \(\Lambda \subset \mathbb {R}^{2d}\). It is denoted by \(\mathcal {G}(g,\Lambda )\) and consists of time–frequency shifted versions of g.
We denote by \(\lambda = (x, \omega ) \in \mathbb {R}^d\times \mathbb {R}^d\) a point in the time–frequency plane and use the following notation for a time–frequency shift by \(\lambda \):
The operators involved in Eq. (1.1) are the translation operator
and the modulation operator
The latter one shifts a function in the Fourier or frequency space, hence the name time–frequency shift for the composition of the mentioned operators.
Remark
The point “ \(\cdot \) ” denotes the Euclidean inner product of two column vectors, i.e. \(\omega \cdot t = \langle \omega , t \rangle = \omega ^T t\) (e.g. in Eq. (1.1)). Also, we will use the notation \(x^2 = x \cdot x\), \(Sx \cdot y = x^T S^T y\) and \(S x^2 = x^T S^T x\) for \(x,y \in \mathbb {R}^d\) and S a \(d \times d\) matrix.
Remark
We note that the translation and modulation operator do not commute in general, in fact
This formula is closely related to the commutation relations in quantum mechanics.
Let \(\Lambda \) be an index set. The time–frequency shifted versions of the window g with respect to \(\Lambda \) are called atoms and the set
is called a Gabor system. \(\mathcal {G}(g,\Lambda )\) is called a frame if it fulfills the frame property
for some positive constants \(0< A \le B < \infty \) called frame constants or frame bounds. The index set \(\Lambda \subset \mathbb {R}^{2d}\) is called a lattice in the time–frequency plane if and only if there exists an invertible (non-unique) \(2d \times 2d\) matrix S, in the sense that \(\Lambda = S \mathbb {Z}^{2d}\). The volume of the lattice is defined as
and the density of the lattice is given by
For more details on frames, Gabor frames and time–frequency analysis we refer to [3, 12, 14, 16, 19].
Remark
The reader familiar with the topic of time–frequency analysis will note that we restricted ourselves to the Hilbert space case. The spaces usually involved when it comes to time–frequency analysis are the modulation spaces
where
with (non-zero) fixed \(g \in \mathcal {S}(\mathbb {R}^d)\) (see e.g [16, 17]). We note that \(M^p(\mathbb {R}^d)\) is independent of the choice of \(g \in \mathcal {S}(\mathbb {R}^d)\) and furthermore, \(M^2(\mathbb {R}^d) = L^2(\mathbb {R}^{d})\). In time–frequency analysis the spaces \(M^1(\mathbb {R}^d)\) and its dual space \(M^\infty (\mathbb {R}^d)\) replace in a natural way the Schwartz space \(\mathcal {S}(\mathbb {R}^d)\) and its dual space, the space of tempered distributions \(\mathcal {S}'(\mathbb {R}^d)\) usually used in the field of analysis. In time–frequency analysis the test or window functions are often assumed to be in Feichtinger’s Algebra \(\mathcal {S}_0(\mathbb {R}^d) = M^1(\mathbb {R}^d)\), whose dual space \(\mathcal {S}'_0(\mathbb {R}^d) = M^\infty (\mathbb {R}^d)\) is the natural space of distributions in time–frequency analysis. For further reading on the topic of modulation spaces we refer to [11, 16, 17].
From Eq. (1.6) we see that the frame bounds A and B depend on the window g and the lattice \(\Lambda \). Fixing the density of the lattice, a question arising is how far one can deform the window or the lattice or both without destroying the frame property. Results in this direction are usually called perturbation or deformation results and some are given in [8, 13, 17, 18]. Usually, results concerning deformations of Gabor frames do not describe the behavior of the frame bounds explicitly, but rather state whether the frame property is kept at all or not. We will present some perturbation results where not only the frame property is kept, but also the frame bounds.
Although many of the definitions and well-known, general theorems are stated for \(L^2(\mathbb {R}^{d})\), we will state our results only for \(d=1\).
This work is structured as follows. In Sect. 2 we recall the basic properties of the symplectic group, in Sect. 3 we recall the corresponding properties of the metaplectic group as well as the interplay between the two mentioned groups. Finally, in Sect. 4 we will state and proof the main theorem of this work and present some examples.
2 The symplectic group
As we want to describe a lattice by a matrix one possible way of describing the deformation process is by multiplying the generating matrix with another matrix from the left. In particular, all our deformations will by carried out by symplectic matrices. Hence, in this section we want to recall some basic facts about the symplectic group and its elements, the symplectic matrices. They are widely used in Hamiltonian mechanics and also serve as tools in time–frequency analysis [6, 15, 16]. All results of this section can be found in full generality in de Gosson’s book [6]. We will also list further references at many points. Although we will only treat the 1-dimensional case, most results can be formulated verbatim for \(d>1\) which is why we formulate them for the latter case.
2.1 Symplectic matrices
Definition 2.1
A matrix \(S \in GL(2d,\mathbb {R})\) is called symplectic if and only if
where \(J = \left( \begin{array}{cc} 0 &{} I\\ -I &{} 0 \end{array} \right) \), 0 is the \(d \times d\) zero matrix and I is the \(d \times d\) identity matrix. J is called the standard symplectic matrix.
Remark
We note that condition (2.1) is redundant. Actually, we have
From (2.1) we conclude that all symplectic matrices \(S \in Sp(2d,\mathbb {R})\) must have determinant equal to \(\pm 1\). In fact, if \(S \in Sp(2d,\mathbb {R})\) then \(det(S) = 1\), see [6, 7, 16]. Also, \(Sp(2d,\mathbb {R})\) is a subgroup of \(SL(2d,\mathbb {R})\) and in the case \(d = 1\) we have \(Sp(2,\mathbb {R}) = SL(2,\mathbb {R})\). In all other cases where \(d > 1\), \(Sp(2d,\mathbb {R})\) is a proper subgroup of \(SL(2d,\mathbb {R})\).
Lemma 2.2
The set of all symplectic matrices forms a group denoted by \(Sp(2d,\mathbb {R})\).
Proof
Let \(S_1, \, S_2 \in Sp(2d,\mathbb {R})\). It follows from Eq. (2.1) that the product \(S_1 S_2 \in Sp(2d,\mathbb {R})\). Taking the inverse of the double equality in (2.1) and using the fact that \(J^{-1} = -J\) we see that \(S^{-1} \in Sp(2d,\mathbb {R})\) if \(S \in Sp(2d,\mathbb {R})\).
It is convenient and commonly used write symplectic matrices as block matrices in the following form
where A, B, C, D are \(d \times d\) matrices. With this notation we have the following formula for the inverse of a symplectic matrix
In the case \(d = 1\) this reduces to the well-known inversion formula for a matrix S belonging to \(SL(2,\mathbb {R})\), as \(A,B,C,D \in \mathbb {R}\) are scalars.
2.2 Free symplectic matrices
We will now introduce the building blocks of the symplectic group, the free symplectic matrices and state that any symplectic matrix is the product of these building blocks [6, 9].
Definition 2.3
We call a symplectic matrix \(S = \left( \begin{array}{cc} A &{} B\\ C &{} D \end{array} \right) \in Sp(2d,\mathbb {R})\) a free symplectic matrix if B is invertible.
Definition 2.4
Let P be a symmetric \(d \times d\) matrix and let L be an invertible \(d \times d\) matrix. We define the following \(2d \times 2d\) matrices
which all belong to \(Sp(2d,\mathbb {R})\). We call them generator matrices for the free symplectic matrices.
The name generator matrix is justified by the following propositions.
Proposition 2.5
With the notation of Definition 2.4 we get that any free symplectic matrix \(S = \left( \begin{array}{cc} A &{} B\\ C &{} D \end{array} \right) \) can be factored as
A proof is given in [6] or [15]. It makes use of well-known factorization results and properties of symplectic matrices.
2.3 Generating functions
Following [6] we will point out connections between quadratic forms in \((x,x')\) and free symplectic matrices. The motivation comes from Hamiltonian mechanics. We want to describe the motion of a particle depending on two variables usually called position (x) and momentum (p) which depend on time (t) and are coupled by Hamilton’s equations
Here, H(x(t), p(t)) is the Hamiltonian or Hamilton function. For more details on Hamiltonian mechanics see [2].
Given two different positions x and \(x'\) of a particle we want to know the initial and final momentum p and \(p'\) assuming that the motion is linear, meaning we have the linear system \((x,p) = S(x',p')\). This is equivalent to
In order to solve this system of equations for \((p,p')\), clearly B has to be invertible.
In the case of time–frequency analysis the proper way to use and interpret Hamiltonian mechanics is by replacing position by time and momentum by frequency. The following proposition is again formulated in the context of time–frequency analysis.
Proposition 2.6
Let \(S = \left( \begin{array}{cc} A &{} B\\ C &{} D \end{array} \right) \in Sp(2d,\mathbb {R})\) be a free symplectic matrix. Let P, Q be \(d \times d\) symmetric matrices and let L be a \(d \times d\) invertible matrix.
-
(i)
Then we have
$$\begin{aligned} (x,\omega ) = S(x',\omega ') \Longleftrightarrow {\left\{ \begin{array}{ll} \omega = \partial _x W(x,x'),\\ \omega ' = -\partial _{x'} W(x,x') \end{array}\right. } \end{aligned}$$(2.11)where W is the quadratic form
$$\begin{aligned} W(x,x') = \frac{1}{2}DB^{-1}x^2-B^{-1}x \cdot x' + \frac{1}{2} B^{-1}A {x'}^2 \end{aligned}$$(2.12)where \(DB^{-1}\) and \(B^{-1}A\) are symmetric.
-
(ii)
To every quadratic form
$$\begin{aligned} W(x,x') = \frac{1}{2} Px^2 - L x \cdot x' + \frac{1}{2} Q {x'}^2 \end{aligned}$$(2.13)we can associate the free symplectic matrix
$$\begin{aligned} S_W = \left( \begin{array}{cc} L^{-1}Q &{}\quad L^{-1}\\ PL^{-1}Q-L^T &{}\quad PL^{-1} \end{array} \right) . \end{aligned}$$(2.14)We call the quadratic form in (2.13) the generating function of \(S_W\) in (2.14)
Remark
Note the connection between the generating function and the factorization of a free symplectic matrix.
Theorem 2.7
For every \(S \in Sp(2d,\mathbb {R})\) there exist two (non-unique) free symplectic matrices \(S_W\) and \(S_{W'}\) such that \(S = S_W S_{W'}\).
Corollary 2.8
The set of all matrices
generates the symplectic group \(Sp(2d,\mathbb {R})\).
3 The metaplectic group
The second way to perform a deformation of a Gabor frames is to perturb the window. We will describe this process by letting some unitary operator act on the window. In fact, we will only deal with some special operators called metaplectic.
The metaplectic group and its elements, the metaplectic operators, are widely used in quantum mechanics and in time–frequency analysis. There is a close connection to the symplectic group and this interplay might be used to solve problems in quantum mechanics once the solution for the corresponding classical problem is known [6]. In time–frequency analysis this property can be used to deform Gabor frames without destroying their frame property and even keeping the optimal frame bounds [8, 16].
Again, since there is not much difference between formulating the results for \(d=1\) and \(d>1\), we state them in full generality, although we will only consider the case \(d=1\) later on. The results can be found in [6] in full detail.
3.1 The group \(Mp(2d,\mathbb {R})\)
Definition 3.1
The metaplectic group \(Mp(2d,\mathbb {R})\) is the connected two-fold cover of the symplectic group \(Sp(2d,\mathbb {R})\). Equivalently, we can define \(Mp(2d,\mathbb {R})\) by saying that the sequence
is exact.
Remark
A sequence
of morphisms is called exact, if the image of each morphism is equal to the kernel of the next morphism
We want to use a more constructive approach to define the metaplectic group.
3.2 Metaplectic operators and the quadratic fourier transform
The metaplectic group is a group of unitary operators on \(L^2(\mathbb {R}^{d})\) [5, 6, 16, 21]. Let \(\psi \in \mathcal {S}(\mathbb {R}^d)\) be a function in the Schwartz space. Following de Gosson [6] we define the following operators.
-
The modified Fourier transform \(\widehat{J}\) defined by
$$\begin{aligned} \widehat{J}\psi (t) = i^{-d/2} \int _{\mathbb {R}^d} \psi (t') \, e^{-2 \pi i \, t \cdot t'} \, dt'. \end{aligned}$$(3.4) -
The linear “chirps”
$$\begin{aligned} \widehat{V_{-P}}\psi (t) = e^{\pi i \, Pt \cdot t} \psi (t) \end{aligned}$$(3.5)with P being a real, symmetric \(d \times d\) matrix.
-
The rescaling operator
$$\begin{aligned} \widehat{M_{L,n}} \psi (t) = i^n \sqrt{|det(L)|} \psi (Lt), \end{aligned}$$(3.6)where L is invertible and n is an integer corresponding to a choice of arg(det(L)), to be more precise
$$\begin{aligned} n \pi \equiv arg(det(L)) \quad \text {mod } 2 \pi . \end{aligned}$$(3.7)
The class modulo 4 of the integer n appearing in the definition of the rescaling operator (3.6) is called “Maslov index” [6, 9].
As in the section on the symplectic group we will associate quadratic forms to metaplectic operators and we will also see the interplay between the symplectic and the metaplectic group.
Definition 3.2
Let \(S_W\) be the free symplectic matrix
associated to the quadratic form \(W(t,t') = \frac{1}{2} Pt^2 - L t \cdot t' + \frac{1}{2} Q {t'}^2\) (compare proposition 2.6, Eqs. (2.13), (2.14)). Let the operators \(\widehat{J}, \widehat{V_{-P}}\) and \(\widehat{M_{L,n}}\) be defined as in (3.4), (3.5) and (3.6) respectively. We call the operator
the quadratic Fourier transform associated to the free symplectic matrix \(S_W\).
For \(\psi \in \mathcal {S}(\mathbb {R}^d)\) we have the explicit formula
where \(W(t,t')\) is again the quadratic form as defined in (2.13) and Definition 3.2.
Remark
Although, all statements in this section were formulated for the Schwartz space \(\mathcal {S}(\mathbb {R}^d)\), they also hold for Feichtinger’s algebra \(\mathcal {S}_0(\mathbb {R}^d)\) as well as for the Hilbert space \(L^2(\mathbb {R}^{d})\) [8].
Remark
We will frequently drop one or both of the indices W and n and will write S instead of \(S_W\) and \(\widehat{S}\) or \(\widehat{S_{W}}\) instead of \(\widehat{S_{W,n}}\). When the context allows, we will also use other indices than the ones mentioned.
Remark
As can be seen by formula (3.9) a quadratic Fourier transform is a manipulation of a (suitable) function by a chirp, a modified Fourier transform, a dilation and another chirp. This is the exact same way in which the fractional Fourier transform is described in [1] with an additional dilation in between the modified Fourier transform and the second chirp. Hence, the quadratic Fourier transform is an extension of the fractional Fourier transform in the sense that the directions in the time–frequency plane are scaled by some factor depending on the angle. For more details on the fractional Fourier transform see also [9].
Proposition 3.3
The operators \(\widehat{S_{W,n}}\) extend to unitary operators on \(L^2(\mathbb {R}^{d})\) and the inverse is given by
where \(W^*(t,t') = -W(t',t)\) and \(n^* = d-n\).
The fact that \(\widehat{S_{W,n}}\) is a unitary operator is clear since, \(\widehat{V_{-P}}\), \(\widehat{M_{L,n}}\) and \(\widehat{J}\) are unitary. Obviously, we have
and the inverse of the modified Fourier transform is given by
We note that
and hence,
Definition 3.4
The subgroup of \(\mathcal {U}(L^2(\mathbb {R}^{d}))\) generated by the quadratic Fourier transforms \(\widehat{S_{W,n}}\) is called the metaplectic group and is denoted by \(Mp(2d,\mathbb {R})\). Its elements are called metaplectic operators.
Remark
To each quadratic form \(W(t,t')\) we can actually associate not one but two metaplectic operators as, due to (3.7), \(\widehat{S_{W,n}}\) and \(\widehat{S_{W,n+2}} = -\widehat{S_{W,n}}\) are equally good choices. This reflects the fact that the metaplectic operators are elements of the two-fold cover of the symplectic group.
Theorem 3.5
For every \(\widehat{S} \in Mp(2d,\mathbb {R})\) there exist two quadratic Fourier transforms \(\widehat{S_{W,n}}\) and \(\widehat{S_{W',n'}}\) such that \(\widehat{S} = \widehat{S_{W,n}} \widehat{S_{W',n'}}\).
The factorization in Theorem 3.5 is not unique as the identity operator can always be written as \(\widehat{S_{W,n}} \widehat{S_{W^*,n^*}}\).
Corollary 3.6
The set of all operators
generates the metaplectic group.
Without further preparation we introduce the natural projection of the metaplectic group \(Mp(2d,\mathbb {R})\) onto the symplectic group \(Sp(2d,\mathbb {R})\), which we will denote by \(\pi ^{Mp}\). For the details we refer to [6].
Theorem 3.7
The mapping
which to a quadratic Fourier transform associates a free symplectic matrix with generating function W, is a surjective group homomorphism. Hence,
and the kernel of \(\pi ^{Mp}\) is given by
hence, \(\pi ^{Mp}: Mp(2d,\mathbb {R}) \mapsto Sp(2d,\mathbb {R})\) is a two-fold covering of the symplectic group.
Definition 3.8
The mapping \(\pi ^{Mp}\) in Theorem 3.7 is called the natural projection of \(Mp(2d,\mathbb {R})\) onto \(Sp(2d,\mathbb {R})\).
Remark
The natural projections of the metaplectic generator elements are the symplectic generator elements.
4 Gabor frame sets of invariance
We prepared the machinery of the symplectic and metaplectic group to the extend we need it in order to be able to deform Gabor frames without destroying their frame property. We are interested in Gabor frame deformations which leave the frame bounds invariant.
Definition 4.1
Assume \(\mathcal {G}(g,\Lambda )\) and \(\mathcal {G}(g',\Lambda ')\) are Gabor frames with the same optimal frame bounds A and B. We write
Theorem 4.2
Let \(\mathcal {G}(g,\Lambda )\) be a Gabor frame with optimal frame bounds A and B. Let \(\widehat{S} \in Mp(2d,\mathbb {R})\) with projection \(\pi ^{Mp}(\widehat{S}) = S \in Sp(2d,\mathbb {R})\). Then \(\mathcal {G}(\widehat{S}g, S \Lambda )\) is also a Gabor frame and has the same optimal frame bounds A and B.
A full proof is given in [8].
Remark
For any window a phase factor \(c \in \mathbb {C}\) with \(|c|=1\) is negligible in the sense that \(\mathcal {G}(g,\Lambda )\) and \(\mathcal {G}(c \, g, \Lambda )\) have the same frame bounds as can directly be seen from equation (1.6).
Theorem 4.2 is a particular case of the notion of Hamiltonian deformation of Gabor frames (see [8]). It tells us under which conditions the frame property as well as the optimal frame bounds are kept when a Gabor frame suffers some disturbances. This is a very special case, as in general neither the optimal frame bounds nor the frame property might be kept under some general deformation of the frame. However, there are cases when the frame property might be kept without keeping the optimal frame bounds (see [13, 18]). This is usually done by either deforming the window and fixing the lattice or the other way round. By Theorem 4.2 we know that these approaches are equivalent as long as we stick to symplectic and metaplectic deformations.
What we will see in the following sections is that it is possible to keep both, the frame property and the optimal frame bounds under certain lattice deformations, without changing the window. This is due to the fact that generalized Hermite functions, including the generalized Gaussians, are eigenfunctions with eigenvalues of modulus 1 of certain metaplectic operators. Hence, the corresponding symplectic matrix will deform the lattice, while the window can remain unchanged.
4.1 Lattice rotations and the standard Gaussian
From this point on, we will only consider the 1-dimensional case. The most popular 1-dimensional window function is probably the standard Gaussian \(g_1(t) = 2^{1/4} e^{-\pi t^2}\). Although, Gabor frames with Gaussian window have been studied intensively, we still want to explore and exploit the Gabor family \(\mathcal {G}(g_1,\Lambda )\) with \(vol(\Lambda ) < 1\) such that the frame property (1.6) is fulfilled [20, 22].
One of the simplest manipulations of our Gabor frame is to rotate the lattice and calculate the corresponding window. This means that our lattice is deformed by the rotation matrix
and the corresponding deformation of the window is given by the action of the quadratic Fourier transform on the window \(g_1\). To derive a formula for the resulting window we use Proposition 2.6 and Eq. (3.10).
where \(n(\tau ) \in \lbrace 0,1,2,3 \rbrace \) depends on \(\tau \) and the choice of \(arg\left( \sqrt{\sin (\tau )}\right) \) and where
This manipulation is meaningful whenever \( \tau \ne k \pi \), \(k \in \mathbb {Z}\). Performing the calculations, we get
with \(|c| = 1\). Hence, we have the result
which means that the frame bounds of a Gabor frame with window \(g_1\) stay invariant under rotation of the lattice.
Although, the ambiguity function of the standard Gaussian \(g_1=2^{1/4} e^{-\pi t^2}\) is well-known and, though, it is an easy exercise to compute it, we will still do the calculations, as the procedure will be used extensively in a somewhat more general form in the rest of this work. For the definition and an interpretation of the ambiguity function see Appendix 1.
Here, \(\mathcal {F}\) denotes the Fourier transform which is given by
What we used in the calculations above are a change of variables and the Fourier invariance of the standard Gaussian, \(\mathcal {F}(g_1) = g_1\). For the latter argument see [15, 16].
4.2 Elliptic deformations and dilated Gaussians
In Sect. 4.1 we saw that using the standard Gaussian window the Gabor frame bounds stay invariant under a rotation of the lattice. We will now generalize this result using ideas from Hamiltonian mechanics. For an introduction to Hamiltonian mechanics we refer to [2]. The rotation matrix
determines the flow of the harmonic oscillator with mass \(m=1\) and resonance \(\Omega = 1\). The Hamiltonian of this problem is given by
and Hamilton’s equations are given by
where \(\lambda = (x,\omega )^T\) and both, x and \(\omega \) depend on \(\tau \).
Written in its most general form the Hamiltonian of the harmonic oscillator is given by
where m is the mass of the particle and \(\Omega \) is the resonance. The trajectories will be ellipses in standard position with semi-axis ratio \(m \Omega \).
Assume, we are given the Gabor frame \(\mathcal {G}(g_1,\Lambda )\) with standard Gaussian window and arbitrary lattice \(\Lambda \), \(vol(\Lambda ) < 1\). Any dilation of the lattice by a symplectic matrix \(M_{\sqrt{m}}\) can be compensated by a metaplectic dilation of the window such that the frame bounds remain unchanged, so
We compute that the dilated window is of the form
where \(|c|=1\). Next, we compute the ambiguity function \(Ag_{m}\).
Hence, any level set of \(Ag_{m}\) will be an ellipse in standard position with semi-axis ratio m. It is kind of self-evident to examine the behavior of \(\mathcal {G}(g_{m},M_{\sqrt{m}} \Lambda )\) under deformations induced by the harmonic oscillator given by (4.12) with \(\Omega = 1\). The flow is then determined by the symplectic matrix
The corresponding metaplectic operator \(\widehat{S_{\tau ,m}}\) is determined by
where \(n(\tau ) \in \lbrace 0,1,2,3 \rbrace \) depends on the parameter \(\tau \) as well as on the choice of \(arg\left( \sqrt{\sin \tau }\right) \) and where
is the generating function of \(S_{\tau , m}\). The verification of the upcoming formulas (4.19) and (4.21) can be found in Appendix 2. We have
with \(|c|=1\). Hence, Eq. (4.19) implies that
where \(S_{\tau , m}\) is defined as in (4.16), as well as
where \(\widehat{S_{\tau ,m}}\) is defined as given by Eq. (4.17). Summing up the results we get the following theorem.
Theorem 4.3
Let \(g_{m}(t) = c \, (2m)^{1/4} e^{-\pi m t^2}\) with \(|c| = 1\) and let \(\Lambda \subset \mathbb {R}^2\) be a lattice with \(vol(\Lambda ) < 1\) Let
be the deformation matrix acting on the lattice, then
with \(|c|=1\) hence,
Furthermore, for the ambiguity function \(A\left( \widehat{S_{\tau ,m}} \, g_{m}\right) \) we have
Setting \(m = 1\), Theorem 4.3 implies that the Gabor frame bounds of a Gabor frame with standard Gaussian window stay invariant under a rotation of the lattice and hence, Theorem 4.3 is a generalization of a result given in [8].
Also, in Theorem 4.3 the symplectic geometry of the lattice remains unchanged, whereas the Euclidean geometry of the lattice will change in general. In the case where \(m = 1\), meaning that we only rotate the lattice, the symplectic as well as the Euclidean geometric properties are kept.
In order to derive Theorem 4.3 we used a very geometric approach and a clear picture in mind about the flow induced by the harmonic oscillator. The crucial ingredient for Theorem 4.3 to work is that we could easily and explicitly calculate the eigenfunctions of the metaplectic operator involved. We note that similar approaches have already been made in [4], characterizing the (dilated) Hermite functions as eigenfunctions of certain localization operators. The geometric approach to phase space has also been used in [10] to construct frames consisting of eigenfunctions of localization operators. We only stated Theorem 4.3 for the dilated Gaussian window, but the result holds for all dilated Hermite functions since they are eigenfunctions of the quadratic Fourier transform and have eigenvalues of modulus 1.
Let \(H^T H = \frac{2}{\sqrt{3}} \left( \begin{array}{rr} 1 &{} \pm \frac{1}{2}\\ \pm \frac{1}{2} &{} 1 \end{array} \right) \), such that H generates some version of a rotated hexagonal lattice of volume 1. Taking the standard Gaussian \(g_1\) as window function, any rotated version of the hexagonal lattice gives the same frame bounds, hence, we may choose one representative among all versions of the rotated hexagonal lattice and denote its generator matrix by \(H_0\). Let \(\delta > 1\) be the density of the lattice such that \(\mathcal {G}(g_1, \frac{1}{\sqrt{\delta }} H_0 \mathbb {Z}^2)\) is a Gabor frame. Then, using Theorem 4.3, we gain a result closely related to the problem of optimal pulse shape design for LOFDM [24]. The matrix \(S = \left( \begin{array}{cc} \sqrt{2} &{} \frac{1}{\sqrt{2}}\\ 0 &{} \frac{1}{\sqrt{2}} \end{array} \right) \) generates a lattice which is a \(45^{\circ }\) rotated version of the integer lattice. If we want
for some \(g \in L^2(\mathbb {R}^{})\), then
So, the quadratic form in the exponent of the ambiguity function describes an ellipse in standard position with semi-axis ratio \(\sqrt{3}\). Furthermore, we know that there are uncountably many other lattice arrangements which together with g lead to the same frame bounds, namely
This result carries over to and extends the results given in [24]. We will also discuss this result in Example A.
4.3 Modular deformations of Gabor frames
In this section we will deal with discrete deformations of Gabor frames. In particular, the objects of interest are taken from the modular group which we define as follows.
Definition 4.4
The modular group \(Sp(2,\mathbb {Z})\) consists of all 2-dimensional symplectic matrices with integer entries.
Remark
Usually the modular group \(\Gamma \) is defined as the group of linear fractional transformations on the upper half of the complex plane which have the form
with \(a,b,c,d \in \mathbb {Z}\) and \(ad-bc = 1\). For more details on the modular group see [23].
Consider the integer lattice \(\mathbb {Z}^2\). The action of the modular group leaves \(\mathbb {Z}^2\) invariant, i.e. \(\mathcal {B}\mathbb {Z}^2 = \mathbb {Z}^2\) for \(\mathcal {B}\in Sp(2,\mathbb {Z})\). In other words, \(\mathcal {B}\) is just another choice for a basis of \(\mathbb {Z}^2\). In particular, any \(\mathcal {B}\in Sp(2,\mathbb {Z})\) provides a basis for \(\mathbb {Z}^2\). Taking any symplectic matrix \(S \in Sp(2,\mathbb {R})\) and any basis \(\mathcal {B}\in Sp(2,\mathbb {Z})\) for \(\mathbb {Z}^2\) this implies that
We stay with the integer lattice for the beginning. Let \(\mathcal {G}\left( g,\frac{1}{\sqrt{\delta }} \mathbb {Z}^2\right) \), \(\delta > 1\) be a Gabor frame and let
The corresponding metaplectic operator is given by
where \(W(t,t') = \frac{1}{2}\frac{d}{b}t^2 -\frac{1}{b}tt' + \frac{1}{2}\frac{a}{b}t'^2\) and \(b \ne 0\). In general \(\widehat{B}g\) will differ from g by more than just a phase factor as we apply a chirp a modified Fourier transform a dilation and again a chirp, but the lattice \(\Lambda _{I,\delta } = \frac{1}{\sqrt{\delta }} \mathbb {Z}^2\) remains invariant under a modular deformation. Hence,
This result can be extended in an obvious way. Let \(S \in Sp(2,\mathbb {R})\) and let \(\widehat{S_{}} \in Mp(2,\mathbb {R})\) be the corresponding metaplectic operator, then,
Therefore, given any lattice \(\Lambda = S \Lambda _{I,\delta }\) there are countably many possible windows which lead to the same Gabor frame bounds. We sum up the results in the following theorem.
Theorem 4.5
Let \(S \in Sp(2,\mathbb {R})\), \(\mathcal {B}\in Sp(2,\mathbb {Z})\) and let \(\widehat{S_{}}\) and \(\widehat{\mathcal {B}}\) be the corresponding metaplectic operators. Let \(\Lambda _{I,\delta } = \frac{1}{\sqrt{\delta }} \mathbb {Z}^2\) with \(\delta > 1\) and let g be a window function. Then
Remark
Whereas the deformations in the previous section have been derived from a continuous, compact group, the deformations in this section are derived from a discrete, non-compact group. Continuous deformation groups will in general change the lattice, whereas the window might stay invariant under the corresponding deformation. Discrete deformation groups will in general change the window, whereas the lattice might stay invariant under the corresponding deformation.
4.4 Examples for generalized Gaussians
We will now illustrate our intuitive geometric approach by example. We will use different generalized Gaussians and different lattices.
Example A
We start with an example inspired by [24]. Let
be a version of the hexagonal lattice of density \(\delta > 1\). Since, \(\Lambda _H\) is radial symmetric, we choose the standard Gaussian \(g_1\) as window function and have the Gabor system \(\mathcal {G}(g_1,\Lambda _H)\) which is a Gabor frame. We apply the dilation matrix \(M_{3^{-1/4}}\) on the lattice and the rescaling operator \(\widehat{M_{3^{-1/4}}}\) on the window. By Theorem 4.3 we know that
Furthermore, we compute
which is a \(45^{\circ }\) rotated version of the integer lattice scaled to have density \(\delta > 1\).
The ambiguity function of \(g_1\) is given by
and the ambiguity function of \(\widehat{M_{3^{-1/4}}}g_1 = g_{\sqrt{3}}\) is given by
Applying the matrix
derived from the flow of the harmonic oscillator with mass \(m=\frac{1}{\sqrt{3}}\) on the lattice will leave the frame bounds unchanged and we have
The deformation process is illustrated in the Fig. 1.
Example B
Let \(\Lambda _{I,\delta } = \frac{1}{\sqrt{\delta }} \mathbb {Z}^2\) be the scaled integer lattice of density \(\delta > 1\) and let \(g_1(t) = 2^{1/4} e^{-\pi t^2}\) be the standard Gaussian. The standard symplectic form J belongs to the modular group \(Sp(2,\mathbb {Z})\). Hence, \(J \Lambda _{I,\delta } = \Lambda _{I,\delta }\) and \(\widehat{J}g_1 = c \, g_1\) with \(|c| = 1\). In this case neither the change of basis, nor the metaplectic operation have an effect on the Gabor frame. This is due to the fact that we could interpret the change of basis as a rotation of the time–frequency plane. Using the quadratic representation of \(g_1\), the ambiguity function, we see that a rotation does not have an effect since it reads \(Ag_1(x,\omega ) = e^{-\frac{\pi }{2}(x^2+\omega ^2)}\).
Let us now consider the case of \(g_{\sqrt{3}}\) and \(\Lambda = \frac{1}{\sqrt{\delta }} S_{\frac{\pi }{4}} \mathbb {Z}^2\) which is a \(90^{\circ }\) rotated version compared to the window in Example A which can also be interpreted as the deformation of the window under a change of basis using J as basis. We know the ambiguity function of \(Ag_{\sqrt{3}}(x,\omega ) = e^{-\frac{\pi }{2} \left( \sqrt{3} x^2+\frac{\omega ^2}{\sqrt{3}} \right) }\). We rotate our lattice by the matrix \(S_{-\frac{\pi }{4}}\) and apply the corresponding operator \(\widehat{S_{-\frac{\pi }{4}}}\) on the window. Hence, the ambiguity function of the new window becomes
Therefore, the level lines of the ambiguity function will be ellipses rotated by \(45^{\circ }\) with semi-axis ratio equal to \(\sqrt{3}\) and the lattice will be a scaled version of the integer lattice with density \(\delta > 1\). The action of the metaplectic operator can be interpreted in a very natural and geometric way as can be seen by the calculations above.
We could also have rotated the lattice \(\Lambda = \frac{1}{\sqrt{\delta }} S_{\frac{\pi }{4}} \mathbb {Z}^2\) in the opposite direction by \(S_{\frac{\pi }{4}}\). Then, we would have had \(\frac{1}{\sqrt{\delta }}J \mathbb {Z}^2\) as our lattice, which leads basically to the same lattice, but with another choice of basis. Hence, the window as well as the ambiguity function would have changed. In this case, we can interpret the deformation as a rotation, a shearing or a choice of a different basis. The interpretation is left to the reader, but the ambiguity function will be
The calculations are left to the reader, but the geometric understanding of the lattice deformation is sufficient to understand the deformation of the ambiguity function. The level lines describe the same ellipses as before only rotated by \(90^{\circ }\) (see Fig. 2).
Remark
Instead of the ambiguity function, which is commonly used in time–frequency analysis, we could as well have used the Wigner distribution (see Appendix 1). The Hamiltonian formulation of the harmonic oscillator describes the behaviour of a system in classical mechanics which can also be formulated as a problem in quantum mechanics. The Hermite functions are eigenstates of the propagator which corresponds to the flow of the classical problem. Hence, the deformation of the lattice corresponds to a problem in classical mechanics and the deformation of the window corresponds to the same problem formulated in terms of quantum mechanics. Therefore, using the Wigner distribution, all results can also be interpreted for problems in classical and quantum mechanics.
References
Almeida, L.B.: The fractional Fourier transform and time–frequency representations. IEEE Trans. Signal Process. 42(11), 3084–3091 (1994)
Arnold, V.I.: Mathematical methods of classical mechanics. In: Graduate Texts in Mathematics, vol. 60. Springer, New York (1989)
Christensen, O.: An introduction to frames and Riesz bases. In: Applied and Numerical Harmonic Analysis. Birkäuser, Boston (2003)
Daubechies, I.: Time-frequency localization operators: a geometric phase space approach. IEEE Trans. Inf. Theory 34(4), 605–612 (1988)
de Gosson, M.A.: Metaplectic representation, Conley–Zehnder index, and Weyl calculus on phase space. Rev. Math. Phys. 19(10), 1149–1188 (2007)
de Gosson, M.A.: Symplectic methods in harmonic analysis and in mathematical physics. In: Pseudo-Differential Operators. Theory and Applications, vol. 7. Birkhäuser/Springer Basel AG, Basel (2011)
de Gosson, M.A.: The symplectic egg in classical and quantum mechanics. Am. J. Phys. 81(5), 328–337 (2013)
de Gosson, M.A.: Hamiltonian deformations of Gabor frames: first steps. Appl. Comput. Harmon. Anal. 38(2), 196–221 (2015). doi:10.1016/j.acha.2014.03.010
de Gosson, M.A., Luef, F.: Metaplectic group, symplectic Cayley transform, and fractional Fourier transforms. J. Math. Anal. Appl. 416(2), 947–968 (2014)
Dörfler, M., Romero, J.L.: Frames adapted to a phase-space cover. Constr. Approx. 39(3), 445–484 (2014)
Feichtinger, H.G.: On a new Segal algebra. Monatshefte für Mathematik 92(4), 269–289 (1981)
Feichtinger, H.G., Gröchenig, K.: Gabor frames and time–frequency analysis of distributions. J. Funct. Anal. 146(2), 464–495 (1997)
Feichtinger, H.G., Kaiblinger, N.: Varying the time–frequency lattice of Gabor frames. Trans. Am. Math. Soc. 356(5), 2001–2023 (2004)
Feichtinger, H.G., Luef, F.: Gabor analysis and algorithms. In: Björn. E. (ed.) Encyclopedia of Applied and Computational Mathematics, pp. 575–579. Springer, Berlin, Heidelberg (2015). doi:10.1007/978-3-540-70529-1_354
Folland, G.B.: Harmonic analysis in phase space. In: Annals of Mathematics Studies, vol. 122. Princeton University Press, Princeton (1989)
Gröchenig, K.: Foundations of time–frequency analysis. In: Applied and Numerical Harmonic Analysis. Birkhäuser, Boston (2001)
Gröchenig, K.: The mystery of Gabor frames. J. Fourier Anal. Appl. 20(4), 865–895 (2014)
Gröchenig, K., Ortega-Cerdà, J., Romero, J.L.: Deformation of Gabor systems. Adv. Math. 277, 388–425 (2015)
Heil, C.: Harmonic analysis and applications. In: Applied and Numerical Harmonic Analysis. 1st edn. Birkhäuser, Boston (2006)
Lyubarskii, Y.: Frames in the Bargmann space of entire functions. In: Entire and Subharmonic Functions. American Mathematical Society, Providence, pp. 167 (1992)
Reiter, H.: Metaplectic Groups and Segal Algebras. Lecture Notes in Mathematics, vol. 1382. Springer, Berlin, Heidelberg (1989)
Seip, K.: Density theorems for sampling and interpolation in the Bargmann–Fock space. Am. Math. Soc. Bull. N. Ser. 26(2), 322–328 (1992)
Stein, E., Shakarchi, R.: Complex Analysis. Princeton University Press, Princeton (2003)
Strohmer, T., Beaver, S.: Optimal OFDM design for time–frequency dispersive channels. IEEE Trans. Commun. 51(7), 1111–1122 (2003)
Acknowledgments
Open access funding provided by University of Austria. The author wishes to thank Maurice de Gosson and Karlheinz Gröchenig for many fruitful discussions on the topic. The author wishes to thank the reviewers for helpful comments to improve this work. The author was supported by the Austrian Science Fund (FWF): [P26273-N25].
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: The ambiguity function
Definition 5.1
The ambiguity function of a function \(f \in L^2(\mathbb {R}^{d})\) is given by
In a similar way we define the cross-ambiguity function of two functions \(f,g \in L^2(\mathbb {R}^{d})\)
The cross-ambiguity function and hence, just as well the ambiguity function are closely related to the short-time Fourier transform
In fact, they only differ by a phase factor and we have
The difference in the phase factor is due to the fact that the translation and modulation operators do not commute.
therefore, we have
The ambiguity function is somehow a more symmetric time–frequency representation of a signal than the short-time Fourier transform. In addition, the ambiguity function of a dilated Gaussian is real-valued as we have seen in (4.15). Furthermore, the ambiguity function already determines a function up to a phase factor [16]. The usual interpretation of the ambiguity function is that it tells how much a function is spread in time and frequency, similar to the interpretation of the Wigner distribution in physics. The Wigner distribution is given by
It is related to the ambiguity function by the symplectic Fourier transform
where \(\mathcal {F}f(\omega ) = \int _{\mathbb {R}^{d}} f(t) e^{-2 \pi i \omega \cdot t} \, dt\) is the Fourier transform on \(L^2(\mathbb {R}^{d})\).
Appendix 2: Proof of Theorem 4.3
We will now prove Eqs. (4.23) and (4.25) of Theorem 4.3. Since the ambiguity function already determines a function up to a factor of modulus 1, Eqs. (4.23) and (4.25) are equivalent. First, we note that
where \(S_{\tau }=S_{\tau ,1}\) is a rotation by \(-\tau \). This means, that imposing the elliptic flow \(S_{\tau ,m}\) on the dilated lattice is the same as rotating the lattice by the corresponding angle followed by the same dilation. The second ingredient we need in order to perform the proof is the covariance principle
where \(\pi (\lambda ) = M_\omega T_x\) is the time–frequency shift as defined in (1.1). This implies that
This is a classical result [15] which is also used in [24] and a similar result for the STFT is given in [16]. Hence, using the fact that
we compute
This proves Eq. (4.25) and hence, the proof of Theorem 4.3 is complete.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Faulhuber, M. Gabor frame sets of invariance: a Hamiltonian approach to Gabor frame deformations. J. Pseudo-Differ. Oper. Appl. 7, 213–235 (2016). https://doi.org/10.1007/s11868-016-0146-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11868-016-0146-z