Abstract
In this work we show that if the frame property of a Gabor frame with window in Feichtinger’s algebra and a fixed lattice only depends on the parity of the window, then the lattice can be replaced by any other lattice of the same density without losing the frame property. As a byproduct we derive a generalization of a result of Lyubarskii and Nes, who could show that any Gabor system consisting of an odd window function from Feichtinger’s algebra and any separable lattice of density \(\tfrac{n+1}{n}\), \(n \in \mathbb {N}_+\), cannot be a Gabor frame for the Hilbert space of square-integrable functions on the real line. We extend this result by removing the assumption that the lattice has to be separable. This is achieved by exploiting the interplay between the symplectic and the metaplectic group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we extend results derived by Lyubarskii and Nes, who proved that for odd functions in Feichtinger’s algebra \(S_0(\mathbb {R})\) and separable lattices of rational density \( \tfrac{n+1}{n}\), \(n \in \mathbb {N}_+\), the corresponding Gabor system is not a frame for \(L^2(\mathbb {R}^{})\) [23]. We show that the assumption of the separability of the lattice is not necessary and that their result holds for arbitrary lattices of density \(\tfrac{n+1}{n}\).
We will formulate our results as well as most of the theory for \(L^2(\mathbb {R}^{d})\). However, for the case \(d > 1\) the lack of knowledge about frame sets and obstructions of Gabor systems is too big as to formulate a general result like Corollary 1.2 below. Of course, it is possible to produce results for \(d > 1\) by using tensor products of Gabor systems and the results of Bourouihiya [3], but this still leaves quite a big gap to the generic case.
The main tools in this work are metaplectic operators, which are a certain class of unitary operators acting on \(L^2(\mathbb {R}^{d})\), and their interplay with the symplectic group Sp(d), a subgroup of \(SL(\mathbb {R},2d)\). In order to generalize the result in [23], we will prove and use the following result.
Theorem 1.1
Let \(g \in S_0({\mathbb {R}}^{d})\) be either an even or an odd function and consider the (hyper-cubic) lattice \(\delta ^{-1/2d} \, \mathbb {Z}^{2d}\) of density \(\delta > 1\). If for all either even or odd \(g \in S_0({\mathbb {R}}^{d})\) the Gabor system \(\mathcal {G}\left( g, \delta ^{-1/2d} \, \mathbb {Z}^{2d} \right) \) is (not) a Gabor frame for \(L^2(\mathbb {R}^{d})\), then the Gabor system \(\mathcal {G}\left( g, \delta ^{-1/2d} \, S \mathbb {Z}^{2d} \right) \) is also (not) a Gabor frame for \(L^2(\mathbb {R}^{d})\) for any symplectic matrix \(S \in Sp(d)\).
The above result says the following; if we can show that for a given lattice density the frame property of a Gabor system only depends on the parity of the window, then the frame property only depends on the lattice density and not on the geometry of the (symplectic) lattice.
In particular, for \(d = 1\) we will use the above theorem to exclude all lattices of density \(\tfrac{n+1}{n}\), \(n \in \mathbb {N}_+\), from the frame set of any odd function in \(S_0(\mathbb {R})\). If we want to exclude all lattices of a given density from the frame set of any even function in \(S_0(\mathbb {R})\), we are left with the case of critical density. The reason why we cannot exclude other densities relies on the fact that any redundant Gaussian Gabor system is a frame for \(L^2(\mathbb {R}^{})\) as was shown by Lyubarskii [22], Seip [24] and Seip and Wallsten [25].
Assuming Theorem 1.1, we can easily extend the main result of Lyubarskii and Nes in [23].
Corollary 1.2
Let \(g \in S_0(\mathbb {R})\) be an odd function and consider a lattice
Then the Gabor system \(\mathcal {G}(g,\Lambda )\) is not a frame whenever \(\delta = \tfrac{n+1}{n}\), \(n \in \mathbb {N}_+\).
This work is structured as follows:
In Sect. 2 we recall the basic facts about time-frequency analysis and Gabor systems and define the function space \(S_0({\mathbb {R}}^{d})\).
In Sect. 3 we introduce the symplectic and the metaplectic group and state how they can be used to deform Gabor systems without changing their frame property.
In Sect. 4 we state the result of Lyubarskii and Nes and show that it does not only hold for separable lattices, but arbitrary 2-dimensional lattices.
In Sect. 5 we study Gabor systems of even and odd functions from \(S_0(\mathbb {R})\) at critical density and derive a short proof that these systems cannot be frames.
We close this work with questions which we consider to be interesting open problems.
2 Gabor Systems and Frames
In this section we introduce the basics of time–frequency analysis. The notation is mainly according to the textbook of Gröchenig [17].
A Gabor system consists of time-frequency shifted copies of a window function g which is usually chosen from a subspace of \(L^2(\mathbb {R}^{d})\). In this work, we consider windows from Feichtinger’s algebra \(S_0({\mathbb {R}}^{d})\), which we define later in this section. We denote the time-frequency shift operator by \(\pi (\lambda )\), where \(\lambda = (x, \omega )\) is a point in the time-frequency plane \({\mathbb {R}}^{d}\times {\widehat{{\mathbb {R}}^{d}}}\). Here, \({\widehat{{\mathbb {R}}^{d}}}\) is the dual group of \({\mathbb {R}}^{d}\), or group of characters, which is isomorphic to \({\mathbb {R}}^{d}\). Hence, we identify \({\mathbb {R}}^{d}\times {\widehat{{\mathbb {R}}^{d}}}\) with \(\mathbb {R}^{2d}\). The explicit action of a time-frequency shift on a window g is given by
where \(\omega \cdot t\) denotes the Euclidean inner product on \({\mathbb {R}}^{d}\). The operators \(T_x\) and \(M_\omega \) are called time-shift (or translation) operator and frequency-shift (or modulation) operator, respectively. A tool taking a central role in the theory of Gabor analysis is the short-time Fourier transform (STFT) which we denote in the following way;
Here, \({\overline{g}}\) is the complex conjugate to g and \(\langle f,g\rangle \) is the \(L^2(\mathbb {R}^{d})\) inner product of \(f,g \in L^2(\mathbb {R}^{d})\). A Gabor system is now defined as the following set of functions;
Throughout this work, we assume that \(\Lambda \) is a lattice, i.e., a discrete, co-compact subgroup of \(\mathbb {R}^{2d}\). Any lattice can be written as
The parameter \(\delta \) is called the density of the lattice, which gives the average number of lattice points per unit volume.
A Gabor system is a frame for \(L^2(\mathbb {R}^{d})\) if and only if the frame inequality is fulfilled. This means, there exist constants \(0< A \le B < \infty \) such that
The frame operator associated to the Gabor system \(\mathcal {G}(g,\Lambda )\) is given by
If \(\mathcal {G}(g,\Lambda )\) is a frame, i.e., the frame inequality is fulfilled for positive constants A and B, then the frame operator is bounded and has a bounded inverse. Hence, any \(f \in L^2(\mathbb {R}^{d})\) can be stably reconstructed from its measurements with respect to the Gabor system;
Likewise, using the canonical dual window, we can expand any \(f \in L^2(\mathbb {R}^{})\) with respect to the elements of the Gabor system \(\mathcal {G}(g,\Lambda )\);
A function space coming along in a natural way with the STFT is Feichtinger’s algebra. Introduced by Feichtinger in the early 1980s [13], it has become a popular function space in time-frequency analysis to choose the window g from.
Definition 2.1
(Feichtinger’s Algebra). Feichtinger’s algebra \(S_0({\mathbb {R}}^{d})\) consists of all elements \(g \in L^2(\mathbb {R}^{d})\) such that
We note that \(S_0({\mathbb {R}}^{d})\) is actually a Banach space, invariant under the Fourier transform and time–frequency shifts. It contains the Schwartz space \({\mathcal {S}}({\mathbb {R}}^{d})\) and it is dense in \(L^p({\mathbb {R}}^{d})\), \(p \in [1,\infty [\). It is for these properties that it is a quite popular function space in time–frequency analysis and the literature on the subject is huge. For more details on \(S_0\) we refer to the survey by Jakobsen [20] and the references therein.
For \(g \in S_0({\mathbb {R}}^{d})\), the upper bound in (2.1) is always finite which follows from the results of Tolimieri and Orr [26] (see also [14]). Hence, for windows in \(S_0({\mathbb {R}}^{d})\), in order to check whether a Gabor system is a frame or not, it suffices to check whether the lower frame bound is positive or not. There are several equivalent approaches to check this, which usually involve (vector-valued) Zak transform methods and the Poisson summation formula. Functions in \(S_0({\mathbb {R}}^{d})\) are at least continuous and there are no issues when it comes to integrability and summability. Also, Poisson’s summation formula holds point-wise in this setting [16].
3 The Symplectic and the Metaplectic Group
In this section we are going to introduce the necessary tools to prove Theorem 1.1. These tools are a group of matrices, the symplectic matrices, and a group of unitary operators, the metaplectic operators. There is a close connection between the symplectic and the metaplectic group and they are widely used in mathematical physics and quantum mechanics. In time-frequency analysis they can be used to prove deformation results about Gabor systems. For further reading we refer to the texbooks of Folland [15], de Gosson [6, 9] or Gröchenig [17] and some more details are given in “Appendix A”.
Definition 3.1
(Generator Matrices). We define the following \(2d \times 2d\) matrices which we call generator matrices for the symplectic group.
The standard symplectic matrix
$$\begin{aligned} J = \left( \begin{array}{rc} 0 &{}\, I\\ -I &{}\, 0 \end{array} \right) , \end{aligned}$$with I being the \(d \times d\) identity matrix.
The dilation matrices
$$\begin{aligned} M_L = \left( \begin{array}{ll} L^{-1} &{}\, 0\\ 0 &{}\, L^T \end{array} \right) \end{aligned}$$with L being an invertible matrix, i.e., \(\det (L) \ne 0\).
The shearing matrices
$$\begin{aligned} V_P = \left( \begin{array}{rc} I &{}\, 0\\ P &{}\, I \end{array} \right) \end{aligned}$$with P being a real, symmetric matrix, i.e., \(P = P^T\).
We note that any symplectic matrix \(S \in Sp(d)\) is a finite product of the generator matrices from Definition 3.1 (see “Appendix A”). In general, the group of symplectic matrices Sp(d) is a proper subgroup of the special linear group \(SL(\mathbb {R},2d)\). Only if \(d=1\), we have \(Sp(1) = SL(\mathbb {R},2)\).
Definition 3.2
(Generator Operators). We define the following unitary operators on \(L^2(\mathbb {R}^{d})\) which we call the generator operators for the metaplectic group.
The modified Fourier transform
$$\begin{aligned} \widehat{J}g(t) = i^{-d/2} \mathcal {F}g(t) \end{aligned}$$The dilation operator
$$\begin{aligned} \widehat{M}_{L,m} \, g(t) = i^m \sqrt{|\det {L}|} \, g(L t), \quad \det {L} \ne 0, \; m \in \{0,1,2,3\} \end{aligned}$$The (linear) chirp
$$\begin{aligned} \widehat{V}_P \, g(t) = e^{\pi i Pt \cdot t} g(t), \quad P = P^T \end{aligned}$$In the sequel we will write \(P t^2\) instead of \(Pt \cdot t\).
We note that any metaplectic operator \({\widehat{S}} \in Mp(d)\) is a finite product of the generator operators from Definition 3.2. More details are given in the “Appendix”.
The integer m is the so-called Maslov index (see e.g. [10]), but, just as the factor \(i^{-d/2}\), it does in no way affect the frame property, as can be seen directly from the frame inequality (2.1), and can simply be ignored for our purposes.
A proof of the following result can for example be found in [8].
Theorem 3.3
The Gabor systems \(\mathcal {G}(g,\Lambda )\) and \(\mathcal {G}\left( {\widehat{S}}g, S \Lambda \right) \) posses the same sharp frame bounds. In particular, \(\mathcal {G}(g,\Lambda )\) is a frame with bounds A and B if and only if the Gabor system \(\mathcal {G}\left( {\widehat{S}}g, S \Lambda \right) \) is a frame with bounds A and B.
The above theorem shows that the frame property is kept if, both, the lattice and the window are deformed in an appropriate way. Using the above result, it was shown in [11] that for a given 1-dimensional, generalized Gaussian there exists an uncountable family of lattices which all yield the same optimal frame bounds. This result is easily transferred to 1-dimensional Hermite functions. On the other hand, it was shown that for any lattice, there always exists a countable family of windows such that the optimal frame bounds are kept.
In this work, we will use Theorem 3.3 to prove Theorem 1.1. Before we get to the proof of Theorem 1.1, we need another result involving metaplectic operators. For brevity, we will write \(g(t) = \pm g(-t)\) if either \(g(t) = g(-t)\) or \(g(t) = -g(-t)\).
Proposition 3.4
Let \(g \in S_0({\mathbb {R}}^{d})\), with the property that \(g(t) = \pm g(-t)\) and let \({\widehat{S}} \in Mp(d)\), then \({\widehat{S}}g(t) \in S_0({\mathbb {R}}^{d})\) and \({\widehat{S}}g(t) = \pm {\widehat{S}}g(-t)\).
Proof
Since \({\widehat{S}}\) is unitary, it is obvious that if \(g \in S_0({\mathbb {R}}^{d})\) then \({\widehat{S}}g \in S_0({\mathbb {R}}^{d})\).
The proof that metaplectic operators keep the parity of a function is elementary. Throughout, c will denote the appropriate global phase factor as described in Definition 3.2.
Then, we have
and
The result follows from the fact that any metaplectic operator \({\widehat{S}} \in Mp(d)\) is a finite composition of the above operators (more details are given in “Appendix A”). \(\square \)
We are now able to prove Theorem 1.1.
3.1 Proof of Theorem 1.1
Assume that \(g \in S_0({\mathbb {R}}^{d})\) is either an even or odd function. As already stated, for a window in \(S_0({\mathbb {R}}^{d})\) the frame property solely depends on the lower frame bound. Let \(\delta > 1\) be fixed, and consider the Gabor system
which we assume (not) to be frame for all \(g \in S_0({\mathbb {R}}^{d})\) which are either even or odd. It follows by assumption and Proposition 3.4 that the Gabor system
is also (not) a frame. By using Theorem 3.3 we see that the systems
posses the same sharp frame bounds. Hence, it follows that if for any either even or odd \(g \in S_0({\mathbb {R}}^{d})\) the system \(\mathcal {G}(g, \delta ^{-1/2d} \, \mathbb {Z}^{2d})\) is (not) a frame, then \(\mathcal {G}(g , \delta ^{-1/2d} \, S \mathbb {Z}^{2d})\) is (not) a frame and this is true for any \(S \in Sp(d)\). \(\square \)
We remark that, in Theorem 1.1, the parity of g can be exchanged for any other property of the window which stays invariant under metaplectic operators. Also, we focused on the function space \(S_0({\mathbb {R}}^{d})\), as the motivation was to extend the results of Lyubarskii and Nes [23]. However, using the continuity results of metaplectic operators in, e.g., [4, 5], extensions of Theorem 1.1 to Wiener amalgam spaces should be possible. As the results in [23] were only stated for \(S_0(\mathbb {R})\) (d=1), we avoided technical details by assuming \(g \in S_0({\mathbb {R}}^{d})\).
4 Gabor Systems on the Line at Density \(\frac{n+1}{n}\)
Now, we restrict the setting to \(L^2(\mathbb {R}^{})\), i.e., d = 1, and generalize the main result of Lyubarskii and Nes.
Theorem 4.1
(Lyubarskii and Nes [23]). Let \(g \in S_0(\mathbb {R})\) be an odd function, i.e., \(g(t) = -g(-t)\) and let \(M_L \in SL(\mathbb {R},2)\) be a dilation matrix as defined in Definition 3.1. Then, for \(\delta \in \{ \tfrac{n+1}{n}, n \in \mathbb {N}_+\}\) the Gabor system \(\mathcal {G}\left( g, \delta ^{-1/2} M_L \mathbb {Z}^2 \right) \) is not a frame.
By applying Theorem 1.1 we get the following result.
Corollary 4.2
Let \(g \in S_0(\mathbb {R})\) be an odd function, i.e., \(g(t) = -g(-t)\), and let
be a lattice of density \(\delta \). The, the following are equivalent
- (i)
The Gabor system \(\mathcal {G}(g, \delta ^{-1/2} \mathbb {Z}^2)\) is not a frame for \(\delta \in \{ \tfrac{n+1}{n}, n \in \mathbb {N}_+\}\).
- (ii)
The Gabor system \(\mathcal {G}(g, \delta ^{-1/2} M_L \mathbb {Z}^2)\) is not a frame for \(\delta \in \{ \tfrac{n+1}{n}, n \in \mathbb {N}_+\}\).
- (iii)
The Gabor system \(\mathcal {G}(g, \delta ^{-1/2} S \mathbb {Z}^2)\) is not a frame for \(\delta \in \{ \tfrac{n+1}{n}, n \in \mathbb {N}_+\}\).
Proof
The implications (iii) \(\Rightarrow \) (ii) \(\Rightarrow \) (i) are obvious. The implication (i) \(\Rightarrow \) (iii) follows by combining Theorems 1.1 and 4.1. \(\square \)
We remark that we included 4.2 (ii) in the above list as results about separable Gabor systems, which are derived under the action of the (symplectic) subgroup of dilation matrices \(M_L\), are found more often in the literature than results on Gabor systems with general (symplectic) lattices.
Numerical experiments in [23] lead to the conjecture that, besides Theorem 4.1, for the first Hermite function and separable lattice there are no other obstructions which prevent the resulting Gabor system from being a frame. By a suitable reformulation of Theorem 1.1, we actually only have to consider square lattices. The suitable reformulation is to replace the property odd by the property of g being a dilated first Hermite function, as this property is kept under the metaplectic operators in question (i.e., dilation operators). We will discuss more general, but related questions in Sect. 6.
5 Gabor Systems at Critical Density
There are many proofs that a Gabor system with a window in \(S_0({\mathbb {R}}^{d})\) cannot constitute a frame at critical density, i.e., \(\delta = 1\). There is a variety of Balian–Low type theorems or density theorems, also holding for irregular Gabor frames [1], which means that the index set is not a lattice. The correct notion of density is then to consider the lower Beurling density of the index set. We also refer to [2, 17], or [19] and the references in [1] for more details.
By using Theorem 1.1, we find a quick proof for a Balian–Low type theorem for even and odd functions in \(S_0(\mathbb {R})\) (which is of course only a special case of the results in [1]). The proof is similar to the proof in [12], where it was shown that we cannot have a Gabor frame for an odd function \(g \in S_0({\mathbb {R}}^{d})\) and a symplectic lattice of density \(2^d\). Recall that the cross-ambiguity function of f and g is given by
Closely related to the ambiguity function is the Wigner distribution, given by
where \(g^\vee (t) = g(-t)\) is the reflection of g. Furthermore, the symplectic Fourier transform of a 2d-dimensional function \(F(\lambda )\), \(\lambda = (x,\omega )\), is given by
Here, \(\mathcal {F}\) denotes the usual (planar) Fourier transform and \(\sigma \) is the standard symplectic form, defined in “Appendix A”. The ambiguity function and the Wigner transform are symplectic Fourier transforms of one another, i.e.,
Consider the case \(d =1 \) and recall the following proposition by Janssen [21] (see also [12]).
Proposition 5.1
(Janssen [21]). Let \(g \in L^2(\mathbb {R}^{})\) and \(\alpha , \beta \in \mathbb {R}_+\) with \((\alpha \beta )^{-1} = \delta \in \mathbb {N}_+\). Assume that
Then, the Gabor system \(\mathcal {G}(g, \alpha \mathbb {Z}\times \beta \mathbb {Z})\) possesses the sharp frame bounds
and
Using Janssen’s result, we can quickly show that an even function belonging to \(S_0(\mathbb {R})\) cannot constitute a Gabor frame with a lattice of critical density.
Proposition 5.2
Let \(g \in S_0(\mathbb {R})\) be an even function and consider the Gabor system \(\mathcal {G}(g, \Lambda )\) with \(\Lambda = S \mathbb {Z}^2\), i.e., \(\delta = 1\). Then the lower frame bound vanishes and, hence, the Gabor system is not a frame.
Proof
Consider the lattice \(\mathbb {Z}^2\) (\(\alpha = \beta = 1\)) and in the series in Proposition 5.1 set \((x, \omega ) = \left( \tfrac{1}{2}, \tfrac{1}{2} \right) \). We set
Now, we split the last expression above in the part where the sign is positive and where it is negative. We see that \((-1)^{k+kl+l}\) is positive only if both k and l are even. So, we also get the value \({\widetilde{A}}\) by summing over the even integers twice and then subtracting the sum over all integers;
By the algebraic relation of the Wigner and ambiguity function and due to the fact that \(g^\vee = g\), we have \(2A_g g(2k,2l) = W_g g(k,l)\), which gives
By using a version of the Poisson summation involving the symplectic Fourier transform (see also [12]) we get that
Therefore, it follows that \({\widetilde{A}} = 0\), which then has to be the sharp lower frame bound. This shows that the lower frame bound of the Gabor system \(\mathcal {G}(g, \mathbb {Z}^2)\) indeed vanishes. By using Theorem 1.1, it follows that the Gabor system \(\mathcal {G}(g, \Lambda )\), \(\Lambda = S \mathbb {Z}^2\), is not a frame for any lattice of critical density. \(\square \)
As remarked in the introduction, due to the results in [22, 24, 25] on Gaussian windows, this is the only example of a fixed density where we can completely exclude all lattices of a given density from the frame set of all even functions from \(S_0(\mathbb {R})\).
In a similar way, we can establish the following result.
Proposition 5.3
Let \(g \in S_0(\mathbb {R})\) be an odd function and consider the Gabor system \(\mathcal {G}(g, \Lambda )\) with \(\Lambda = S \mathbb {Z}^2\), i.e., \(\delta = 1\). Then the lower frame bound vanishes and, hence, the Gabor system is not a frame.
Proof
Again, consider the lattice \(\mathbb {Z}^2\) and the series in Proposition 5.1, but this time set \((x, \omega ) = \left( 0,0 \right) \). This leads to the expression
Now, we split the last expression above in the following way, which we will justify right away;
The first two sums do not count lattice points where both indices are odd. Points with one even and one odd index are counted twice by each of the first two sum. Points with two even indices are also counted twice by each of the first two sums, so in total they are counted 4 times. Then we subtract all even lattice points twice and finally subtract all lattice points once, which means that all lattice points with both indices being odd have a negative sign and all other points have a positive sign.
This time, as \(g^\vee = - g\), we note that
This leaves us with
By using the (symplectic version of) the Poisson summation formula first and the algebraic relation between the Wigner transform and the ambiguity function afterwards, we get
With the same trick we also see that
Hence, \({\widetilde{A}} = 0\), which means that the lower frame bound of the Gabor system \(\mathcal {G}(g,\mathbb {Z}\times \mathbb {Z})\) vanishes. Now, use Theorem 1.1 to establish the general result. \(\square \)
We note that splitting the sum as we did in the proof of Proposition 5.3, already gives a proof that for an odd window in \(S_0(\mathbb {R})\) we cannot have a Gabor frame for a lattice of density 2, as showing that
is, by Janssen’s result 5.1, equivalent to showing that the Gabor system \(\mathcal {G}(g, \mathbb {Z}\times \tfrac{1}{2} \mathbb {Z})\) is not a frame. Interestingly, the proof of Proposition 5.3 already covers the cases \(n = 1\) (density 2) and \(n = \infty \) (density 1) in Theorem 4.1.
Of course, we know that the Balian–Low theorem holds for any \(g \in S_0(\mathbb {R})\) (even for general index sets), but it is due to the parity of the window that we could find the 0 of the series
by a “lucky guess”. Therefore, this simple proof may probably not work for a generic window in \(S_0(\mathbb {R})\).
6 Open Problems
Before closing this work, we define the following (probably incomplete) list of frame sets, which extends the list given in [18]. We note that the lattice density is now hidden in the notation used for lattices. For a fixed dimension \(d \in \mathbb {N}_+\), we define:
The \(\alpha \)-frame set
$$\begin{aligned} {\mathfrak {F}}_\alpha (g) = \lbrace \alpha \mathbb {Z}^{2d} \mid \mathcal {G}(g, \alpha \mathbb {Z}^{2d}) is a frame. \rbrace . \end{aligned}$$The separable or \((\alpha ,\beta )\)-frame set
$$\begin{aligned} {\mathfrak {F}}_{(\alpha , \beta )} (g) = \lbrace \alpha \mathbb {Z}^d \times \beta \mathbb {Z}^d \mid \mathcal {G}(g, \alpha \mathbb {Z}^d \times \beta \mathbb {Z}^d) is a frame. \rbrace . \end{aligned}$$For \(d > 1\) we allow \(\alpha \) and \(\beta \) to be multi-indices and \(\alpha \mathbb {Z}^d = \alpha _1 \mathbb {Z}\times \cdots \times \alpha _d \mathbb {Z}\) (same for \(\beta \)). In [18] this set was defined for \(d =1 \) and called the reduced frame set.
The symplectic or \(\sigma \)-frame set
$$\begin{aligned} {\mathfrak {F}}_{\sigma } (g) = \lbrace \Lambda _\sigma \subset \mathbb {R}^{2d} symplectic lattice \mid \mathcal {G}(g, \Lambda _\sigma ) is a frame. \rbrace . \end{aligned}$$A symplectic lattice is a lattice that can be generated by a symplectic matrix \(S \in Sp(d)\); \(\Lambda _\sigma = \delta ^{-1/2d} S \mathbb {Z}^{2d}\), \(\delta > 0\).
The lattice or \(\Lambda \)-frame set
$$\begin{aligned} {\mathfrak {F}}_{\Lambda } (g) = \lbrace \Lambda \subset \mathbb {R}^{2d} lattice \mid \mathcal {G}(g, \Lambda ) is a frame. \rbrace . \end{aligned}$$In [18] this set was defined for \(d = 1\) and called the full frame set.
The frame set
$$\begin{aligned} {\mathfrak {F}} (g) = \lbrace \Gamma \subset \mathbb {R}^{2d} \mid \mathcal {G}(g, \Gamma ) is a frame. \rbrace . \end{aligned}$$
We have the following chain of inclusions for the defined frame sets;
For \(d = 1\), we have that \({\mathfrak {F}}_\sigma = {\mathfrak {F}}_\Lambda \). By using Theorem 1.1 we were able to generalize the result of Lyubarskii and Nes from \({\mathfrak {F}}_{\alpha }\) directly to \({\mathfrak {F}}_\sigma = {\mathfrak {F}}_\Lambda \) (although the result was already established for \({\mathfrak {F}}_{(\alpha , \beta )}\) we only needed it for \({\mathfrak {F}}_\alpha \)).
This insight leads to the following question: Does the result in Corollary 1.2 depend on the group structure of \(\Lambda \) or does the result hold for any relatively separated, discrete set \(\Gamma \subset \mathbb {R}^2\) with lower Beurling density \(\tfrac{n+1}{n}\)? At the moment, the author has no clue in either direction and, therefore, considers the question as an interesting open problem.
Also, for \(d > 1\), the results in [12] show that we cannot have a Gabor frame consisting of an odd window \(g \in S_0({\mathbb {R}}^{d})\) and a symplectic lattice of denisty \(2^d\). Is it possible to extend the result to arbitrary lattices or more general point sets of lower Beurling density \(2^d\)? Lastly, the following question comes up; how generic is the result of Lyubarskii and Nes truly? Does a higher dimensional result exist for densities \(\left( \tfrac{n+1}{n} \right) ^d\)?
As a last remark, we mention that, by finding appropriate properties defining a class of windows invariant under the action of the metaplectic group, versions of Theorem 1.1 seem to be particularly helpful to completely exclude lattices of a certain densities from the frame set of a whole class of functions.
References
Ascensi, G., Feichtinger, H.G., Kaiblinger, N.: Dilation of the Weyl symbol and Balian–Low theorem. Trans. Am. Math. Soc. 366(7), 3865–3880 (2014)
Benedetto, J.J., Heil, C., Walnut, D.F.: A Banach space of test functions in Gabor analysis. In: Feichtinger, H.G., Strohmer, T. (eds.) Gabor Analysis and Algorithms: Theory and Applications, pp. 85–122. Birkhäuser, Basel (1998)
Bourouihiya, A.: The tensor product of frames. Sampl. Theory Signal Image Process. 7(1), 65–76 (2008)
Cordero, E., Nicola, F.: Metaplectic representation on Wiener amalgam spaces and applications to the Schrödinger equation. J. Funct. Anal. 254(2), 506–534 (2008)
Cordero, E., Nicola, F.: Some new Strichartz estimates for the Schrödinger equation. J. Differ. Equ. 245(7), 1945–1974 (2008)
de Gosson, M.A.: Symplectic Methods in Harmonic Analysis and in Mathematical Physics. Pseudo-Differential Operators Theory and Applications. Birkhäuser, 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)
de Gosson, M.A.: The Wigner Transform. World Scientific, Singapore (2017)
de Gosson, M.A., Luef, F.: Metaplectic group, symplectic Cayley transform, and fractional Fourier transforms. J. Math. Anal. Appl. 416(2), 947–968 (2014)
Faulhuber, M.: Gabor frame sets of invariance: a Hamiltonian approach to Gabor frame deformations. J. Pseudo Differ. Oper. Appl. 7(2), 213–235 (2016)
Faulhuber, M.: A short note on the frame set of odd functions. Bull. Aust. Math. Soc. 98(3), 481–493 (2018)
Feichtinger, H.G.: On a new Segal algebra. Monatshefte für Math. 92(4), 269–289 (1981)
Feichtinger, H.G., Zimmermann, G.: A Banach space of test functions in Gabor analysis. In: Feichtinger, H.G., Strohmer, T. (eds.) Gabor Analysis and Algorithms: Theory and Applications, pp. 123–170. Birkhäuser, Basel (1998)
Folland, G.B.: Harmonic Analysis in Phase Space. Annals of Mathematics Studies, vol. 122. Princeton University Press, Princeton (1989)
Gröchenig, K.: An uncertainty principle related to the Poisson summation formula. Stud. Math. 121(1), 87–104 (1996)
Gröchenig, K.: Foundations of Time–Frequency Analysis. 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)
Heil, C.: History and evolution of the density theorem for Gabor frames. J. Fourier Anal. Appl. 13(2), 113–166 (2007)
Jakobsen, M.S.: On a (no longer) New Segal algebra: a review of the Feichtinger algebra. J. Fourier Anal. Appl. 24(6), 1579–1660 (2018)
Janssen, A.J.E.M.: Some Weyl–Heisenberg frame bound calculations. Indag. Math. 7(2), 165–183 (1996)
Lyubarskii, Y.: Frames in the Bargmann space of entire functions. In: Entire and Subharmonic functions, pp 167–180. American Mathematical Society, Providence, RI, (1992)
Lyubarskii, Y., Nes, P.G.: Gabor frames with rational density. Appl. Comput. Harmon. Anal. 34(3), 488–494 (2013)
Seip, K.: Density theorems for sampling and interpolation in the Bargmann–Fock space. Am. Math. Soc. Bull. New Ser. 26(2), 322–328 (1992)
Seip, K., Wallsten, R.: Density theorems for sampling and interpolation in the Bargmann–Fock space II. J. Reine Angew. Math. (Crelles J) 1992(429), 107–114 (1992)
Tolimieri, R., Orr, R.S.: Poisson summation, the ambiguity function, and the theory of Weyl–Heisenberg frames. J. Fourier Anal. Appl. 1(3), 233–247 (1995)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by the Erwin–Schrödinger Program of the Austrian Science Fund (FWF): J4100-N32. Parts of this work have already been established during the first stage of the program, which the author spent with the Analysis Group at the Department of Mathematical Sciences, NTNU Trondheim, Norway.
Appendix A. Properties of the Symplectic and the Metaplectic Group
Appendix A. Properties of the Symplectic and the Metaplectic Group
For background information and motivation of the following definitions as well as for the proofs of the results in this section we refer to the textbook of de Gosson [6]. We start with the definition of a symplectic matrix.
Definition A.1
(Symplectic Matrix). A matrix \(S \in GL(2d,\mathbb {R})\) is called symplectic if and only if
An equivalent definition involves the so-called symplectic form, which plays a central role in symplectic geometry and Hamiltonian mechanics. For \(z = (x,\omega ), \, z' =(x',\omega ') \in \mathbb {R}^{2d}\), the symplectic form \(\sigma \) is given by
where the dot \(\cdot \) denotes the Euclidean inner product in \({\mathbb {R}}^{d}\). A matrix S is symplectic if and only if
This definition is equivalent to Definition A.1. In symplectic geometry, symplectic matrices take a role similar to that of orthogonal matrices in Euclidean geometry;
We refer to [7] for an enjoyable introduction to symplectic matrices and their use in Hamiltonian mechanics.
It is not hard to show that symplectic matrices actually form a group under matrix multiplication. Also, if \(S \in Sp(d)\), then \(\det (S) = 1\). The following decomposition property of symplectic matrices was implicitly used in this work.
Proposition A.2
Let \(S = \left( \begin{array}{cc} A &{}\, B\\ C &{}\, D \end{array} \right) \) be a symplectic matrix with \(d \times d\) blocks and the property that \(\det (B) \ne 0\). Then, S can be factored as
Such a matrix is called a free symplectic matrix. The following theorem now shows that any symplectic matrix can be decomposed into the generator matrices from Sect. 3.
Theorem A.3
Any matrix \(S \in Sp(d)\) is the (non-unique) product of exactly two free symplectic matrices \(S_1\) and \(S_2\).
We turn our attention to the metaplectic group. One way to define it, is to say that Mp(d) is the connected two-fold cover of Sp(d) or that the following sequence is exact;
Hence, we have the following identification
There is also another, less abstract way to define the metaplectic group. This approach makes use of the generating operators from Sect. 3.
Definition A.4
(Quadratic Fourier Transform). Let \(S_W\) be the free symplectic matrix
associated to the quadratic form \(W(t,t') = \frac{1}{2} P t^2 - L t \cdot t' + \frac{1}{2} Q t'^2\), called the generating function of the (free) symplectic matrix \(S_W\). The operator
is called the quadratic Fourier transform associated to the free symplectic matrix \(S_W\) (m denotes the Maslov index from Definition 3.2).
For \(g \in S_0({\mathbb {R}}^{d})\) we have the explicit formula
Just as in the case of the symplectic group, there is a (non-unique) way of factorizing a metaplectic operator into two quadratic Fourier transforms.
Theorem A.5
For every \({\widehat{S}} \in Mp(d)\) there exist two quadratic Fourier transforms \({\widehat{S}}_{W_1,m_1}\) and \({\widehat{S}}_{W_2,m_2}\) such that \({\widehat{S}} = {\widehat{S}}_{W_1,m_1} {\widehat{S}}_{W_2,m_2}\).
There is a natural projection from the metaplectic group Mp(d) onto the symplectic group Sp(d), which we will denote by \(\pi ^{Mp}\). The following theorem lies at the heart of the so-called Hamiltonian deformation of the Gabor system \(\mathcal {G}(g,\Lambda )\) as used in Theorem 3.3.
Theorem A.6
The mapping
which associates a free symplectic matrix with generating function W to a quadratic Fourier transform, is a surjective group homomorphism. Hence,
and the kernel of \(\pi ^{Mp}\) is given by
Therefore, \(\pi ^{Mp}: Mp(d) \mapsto Sp(d)\) is a two-fold covering of the symplectic group.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Faulhuber, M. On the Parity Under Metapletic Operators and an Extension of a Result of Lyubarskii and Nes. Results Math 75, 8 (2020). https://doi.org/10.1007/s00025-019-1134-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-019-1134-4