On the Parity under Metapletic Operators and an Extension of a Result of Lyubarskii and Nes

TL;DR

This paper investigates how the parity of the window function in Gabor frames influences their properties, showing that the frame property depends only on parity and extending previous results to more general lattices using symplectic and metaplectic group theory.

Contribution

It demonstrates that the frame property of Gabor frames with windows in Feichtinger's algebra depends solely on window parity and extends non-frame results to non-separable lattices.

Findings

Frame property depends only on window parity.

Generalization of non-frame results to non-separable lattices.

Utilization of symplectic and metaplectic group interplay.

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 $\frac{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.

Equations

$$\Lambda ={\delta }^{-1/2}S{\mathbb{Z}}^2,S\in Sp(1)=SL(\mathbb{R},2).$$

$$\pi (\lambda )g(t)=M_{\omega }{T}_{x}g(t)=e^{2\pi i\omega \cdot t}g(t-x),t,x,\omega \in {\mathbb{R}}^d,$$

$${\mathcal{V}}_{g}f(\lambda )={\int }_{{\mathbb{R}}^d}f(t)\overline{g(t-x)}{e}^{-2\pi i\omega \cdot t}dt=⟨f,\pi (\lambda )g⟩,\lambda =(x,\omega )\in {\mathbb{R}}^{2d}.$$

$$\mathcal{G}(g,\Lambda )=\{\pi (\lambda )g\mid \lambda \in \Lambda \subset {\mathbb{R}}^{2d}\}.$$

$$\Lambda ={\delta }^{-1/2d}M{\mathbb{Z}}^{2d},M\in SL(\mathbb{R},2d),\delta >0.$$

$$A\big{\lVert}f\big{\rVert}^{2}\leq\sum_{\lambda\in\Lambda}\left|\langle f,\pi(\lambda)g\rangle\right|^{2}\leq B\big{\lVert}f\big{\rVert}^{2},\qquad\forall f\in L^{2}(\mathbb{R}^{d}).$$

$$S_{g,\Lambda }f=\sum _{\lambda \in \Lambda }⟨f,\pi (\lambda )g⟩\pi (\lambda )g.$$

$$f=\sum _{\lambda \in \Lambda }⟨f,\pi (\lambda )g⟩\pi (\lambda )g^{\circ }\text{ where }{g}^{\circ }=S_{g,\Lambda }^{-1}g.$$

$$f=\sum _{\lambda \in \Lambda }⟨f,\pi (\lambda )g^{\circ }⟩\pi (\lambda )g.$$

$$\big{\lVert}\mathcal{V}_{g}g\big{\rVert}_{L^{1}(\mathbb{R}^{2d})}=\iint_{\mathbb{R}^{2d}}\left|\mathcal{V}_{g}g(\lambda)\right|\,d\lambda<\infty,\qquad\lambda=(x,\omega)\in\mathbb{R}^{2d}.$$

$$J=\left(\begin{array}[]{rc}0&I\\ -I&0\end{array}\right),$$

$$M_{L}=\left(\begin{array}[]{ll}L^{-1}&0\\ 0&L^{T}\end{array}\right)$$

$$V_{P}=\left(\begin{array}[]{rc}I&0\\ P&I\end{array}\right)$$

$$\hat{J}g(t)=i^{-d/2}\mathcal{F}g(t)$$

$${\hat{M}}_{L,m}g(t)=i^m\sqrt{|\det L|}g(Lt),\det L\ne 0,m\in \{0,1,2,3\}$$

$${\hat{V}}_{P}g(t)=e^{\pi iPt\cdot t}g(t),P=P^T$$

$$\hat{J}g(t)=c{\int }_{{\mathbb{R}}^d}\pm g(-t^{\prime })e^{-2\pi it\cdot t^{\prime }}d{t}^{\prime }=c{\int }_{{\mathbb{R}}^d}\pm g(t^{\prime })e^{2\pi it\cdot t^{\prime }}d{t}^{\prime }=\pm \hat{J}g(-t),$$

$${\hat{M}}_{L,m}g(t)=c\sqrt{|\det L}|g(Lt)=\pm c\sqrt{|\det (L)|}g(-Lt)=\pm {\hat{M}}_{L,m}g(-t)$$

$${\hat{V}}_{P}g(t)=c{e}^{\pi iP{t}^2}g(t)=\pm c{e}^{\pi iP{t}^2}g(-t)=\pm {\hat{V}}_{P}g(-t).$$

$$\mathcal{G}(g,{\delta }^{-1/2d}{\mathbb{Z}}^{2d})$$

$$\mathcal{G}\left({\hat{S}}^{-1}g,{\delta }^{-1/2d}{\mathbb{Z}}^{2d}\right)$$

$$\mathcal{G}\left({\hat{S}}^{-1}g,{\delta }^{-1/2d}{\mathbb{Z}}^{2d}\right)\text{ and }\mathcal{G}(g,{\delta }^{-1/2d}S{\mathbb{Z}}^{2d})$$

$$\Lambda ={\delta }^{-1/2}S{\mathbb{Z}}^2,S\in Sp(1)=SL(\mathbb{R},2),$$

$$A_{g}f(x,\omega )={\int }_{{\mathbb{R}}^d}f(t+\frac{x}{2})\overline{g(t-\frac{x}{2})}{e}^{-2\pi i\omega \cdot t}dt=e^{\pi ix\cdot \omega }{V}_{g}f(x,\omega ).$$

$$W_{g}f(x,\omega )={\int }_{{\mathbb{R}}^d}f(x+\frac{t}{2})\overline{g(x-\frac{t}{2})}{e}^{-2\pi i\omega \cdot t}dt=2^d{A}_{g^{\vee }}f(2x,2\omega ),$$

$${\mathcal{F}}_{\sigma }F(x,\omega )$$

$$=\mathcal{F}F(-\omega ,x).$$

$${\mathcal{F}}_{\sigma }\left(A_{g}f\right)(\lambda )=W_{g}f(\lambda )\text{ and }{\mathcal{F}}_{\sigma }\left(W_{g}f\right)(\lambda )=A_{g}f(\lambda ).$$

$$\sum _{k,l\in \mathbb{Z}}\left|V_{g}g\left(\frac{k}{\beta },\frac{l}{\alpha }\right)\right|<\infty .$$

$$A=\underset{(x,\omega )\in {\mathbb{R}}^2}{\mathrm{essinf}}(\alpha \beta {)}^{-1}\sum _{k,l\in \mathbb{Z}}{V}_{g}g\left(\frac{k}{\beta },\frac{l}{\alpha }\right)e^{2\pi i(k\omega +lx)}$$

$$B=\underset{(x,\omega )\in {\mathbb{R}}^2}{\mathrm{esssup}}(\alpha \beta {)}^{-1}\sum _{k,l\in \mathbb{Z}}{V}_{g}g\left(\frac{k}{\beta },\frac{l}{\alpha }\right)e^{2\pi i(k\omega +lx)}.$$

Full text

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

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

[TABLE]

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 Section 2 we recall the basic facts about time-frequency analysis and Gabor systems and define the function space $S_{0}(\mathbb{R}^{d})$.

• -

In Section 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 Section 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 Section 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

[TABLE]

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;

[TABLE]

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;

[TABLE]

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

[TABLE]

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\leq B<\infty$ such that

[TABLE]

The frame operator associated to the Gabor system $\mathcal{G}(g,\Lambda)$ is given by

[TABLE]

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;

[TABLE]

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)$;

[TABLE]

A function space coming along in a natural way with the STFT is Feichtinger’s algebra. Introduced by Feichtinger in the early 1980s [8], 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

[TABLE]

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.5) is always finite which follows from the results of Tolimieri and Orr [26] (see also [9]). 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 [10], de Gosson [11, 14] 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

[TABLE]

with $I$ being the $d\times d$ identity matrix.

• -

The dilation matrices

[TABLE]

with $L$ being an invertible matrix, i.e., $\det(L)\neq 0$.

• -

The shearing matrices

[TABLE]

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

[TABLE]

• -

The dilation operator

[TABLE]

• -

The (linear) chirp

[TABLE]

In the sequel we will write $Pt^{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. [15]), 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.5), and can simply be ignored for our purposes.

A proof of the following result can for example be found in [13].

Theorem 3.3**.**

The Gabor systems $\mathcal{G}(g,\Lambda)$ and $\mathcal{G}\left(\widehat{S}g,S\Lambda\right)$ possess 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 [6] 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

[TABLE]

[TABLE]

and

[TABLE]

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). ∎

We are now able to prove Theorem 1.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

[TABLE]

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

[TABLE]

is also (not) a frame. By using Theorem 3.3 we see that the systems

[TABLE]

possess 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, 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

[TABLE]

be a lattice of density $\delta$. The, the following are equivalent

1. (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}_{+}\}$. 2. (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}_{+}\}$. 3. (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 Theorem 4.1 and Theorem 1.1. ∎

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 Section 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 [7], 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

[TABLE]

Closely related to the ambiguity function is the Wigner distribution, given by

[TABLE]

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

[TABLE]

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.,

[TABLE]

Consider the case $d=1$ and recall the following proposition by Janssen [21] (see also [7]).

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

[TABLE]

Then, the Gabor system $\mathcal{G}(g,\alpha\mathbb{Z}\times\beta\mathbb{Z})$ possesses the sharp frame bounds

[TABLE]

and

[TABLE]

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

[TABLE]

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;

[TABLE]

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

[TABLE]

By using a version of the Poisson summation involving the symplectic Fourier transform (see also [7]) we get that

[TABLE]

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. ∎

As remarked in the introduction, due to the results in [22], [24] and [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

[TABLE]

Now, we split the last expression above in the following way, which we will justify right away;

[TABLE]

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

[TABLE]

This leaves us with

[TABLE]

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

[TABLE]

With the same trick we also see that

[TABLE]

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. ∎

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

[TABLE]

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

[TABLE]

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

[TABLE]

• -

The separable or $(\alpha,\beta)$-frame set

[TABLE]

For $d>1$ we allow $\alpha$ and $\beta$ to be multi-indices and $\alpha\mathbb{Z}^{d}=\alpha_{1}\mathbb{Z}\times\ldots\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

[TABLE]

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

[TABLE]

In [18] this set was defined for $d=1$ and called the full frame set.

• -

The frame set

[TABLE]

We have the following chain of inclusions for the defined frame sets;

[TABLE]

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 [7] 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.

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 [11]. 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

[TABLE]

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^{\prime}=(x^{\prime},\omega^{\prime})\in\mathbb{R}^{2d}$, the symplectic form $\sigma$ is given by

[TABLE]

where the dot $\cdot$ denotes the Euclidean inner product in $\mathbb{R}^{d}$. A matrix $S$ is symplectic if and only if

[TABLE]

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;

[TABLE]

We refer to [12] 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)\neq 0$. Then, $S$ can be factored as

[TABLE]

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 Section 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;

[TABLE]

Hence, we have the following identification

[TABLE]

There is also another, less abstract way to define the metaplectic group. This approach makes use of the generating operators from Section 3.

Definition A.4** (Quadratic Fourier Transform).**

Let $S_{W}$ be the free symplectic matrix

[TABLE]

associated to the quadratic form $W(t,t^{\prime})=\frac{1}{2}Pt^{2}-Lt\cdot t^{\prime}+\frac{1}{2}Qt^{\prime 2}$, called the generating function of the (free) symplectic matrix $S_{W}$. The operator

[TABLE]

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

[TABLE]

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

[TABLE]

which associates a free symplectic matrix with generating function $W$ to a quadratic Fourier transform, is a surjective group homomorphism. Hence,

[TABLE]

and the kernel of $\pi^{Mp}$ is given by

[TABLE]

Therefore, $\pi^{Mp}:Mp(d)\mapsto Sp(d)$ is a two-fold covering of the symplectic group.