Abstract
We investigate sharp frame bounds of Gabor frames with chirped Gaussians and rectangular lattices or, equivalently, the case of the standard Gaussian and general lattices. We prove that for even redundancy and standard Gaussian window the hexagonal lattice minimizes the upper frame bound using a result by Montgomery on minimal theta functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
The moving spirit of this work originates in a conjecture formulated by Strohmer and Beaver [27]. They claim that the condition number of the Gabor frame operator for a Gaussian window and a hexagonal lattice of fixed density \(\delta > 1\) is minimal among all lattice of same fixed density \(\delta \). In their work Strohmer and Beaver show that the hexagonal lattice is preferable over the quadratic lattice, which, until then, was a candidate for the optimal condition number due to a conjecture by le Floch et al. [21]. Just recently, Faulhuber and Steinerberger proved that in the case of integer redundancy the quadratic lattice is indeed optimal, if only rectangular lattices are considered [10]. In fact, it was shown that the lower and upper frame bound are optimized independently from each other by the square lattice and hence, their ratio, which gives the condition number, is minimized in this case. When it comes to analytic investigations of Gabor frame bounds, the work by Janssen starting from 1995 [19, 20] is a cornerstone. For the Gaussian window, it turns out that optimizing the frame bounds in the case of even redundancy is equivalent to finding the maximum and the minimum of the heat kernel of the flat Laplacian on the torus \(\mathbb {R}^2/\Lambda \) and then optimizing among all lattices of fixed area. Investigations in this direction have been carried out by Montgomery in 1998 [25] and by Baernstein in 1997 [2]. Using Montgomery’s theorem about minimal theta functions [25, Theorem 1], we prove our main result as given in the abstract. Besides Montgomery’s theorem, the main tools for this work are the Fourier transform and the Poisson summation formula. Since, we will apply both only on Gaussians, we do not have to care about conditions for the formulas to hold and omit the technical details. The Fourier transform of a function f is given by
The Poisson summation formula is then given by
We will use both formulas for dimensions \(d = 1,2\). Equipped with the mentioned tools we will prove the following theorem.
Theorem 1.1
(Main Result) Let S be the generating matrix for the lattice \(\Lambda = S \mathbb {Z}^2\) of fixed, even density 2n, \(n \in \mathbb {N}\) and let \(g_0(t) = 2^{1/4} e^{-\pi t^2} \) be the standard Gaussian. Let
be the hexagonal lattice. We denote the upper frame bound of \(\mathcal {G}(g_0,\Lambda ) \) by
Then
with equality only for \(\Lambda = \widetilde{S}_h \mathbb {Z}^2\) with
Here, Q is an orthogonal matrix and \(\mathcal {B} \in SL(2,\mathbb {Z})\).
The theorem tells us that the upper frame bound is minimized by a hexagonal lattice. The matrix \(\mathcal {B}\) is an element of the modular group \( SL(2,\mathbb {Z})\) which consists of matrices with integer entries and determinant 1. It is well-known that \(\mathbb {Z}^2\) is invariant under the action of this group. In fact, it is just another choice for a basis of our lattice. Furthermore, the action of the matrix Q does not change the geometry of the lattice. Therefore, those matrices will be ignored in our proofs and we will focus on lattices generated by lower triangular matrices. For more details on lattices and their generating matrices we refer to the textbook by Conway and Sloane [5].
This work is structured as follows. In Sect. 2 we briefly introduce the concept of Gabor systems and Gabor frames. We state the frame inequality and describe the constants appearing, which are the objects of interest in this work. In Sect. 3 we compute sharp frame bounds for Gabor frames of even redundancy with Gaussian window using Janssen’s methods in [20]. We show that, starting from a rectangular lattice, the upper frame bound is always lowered by shearing the lattice, or, equivalently, by chirping the window. We will also see, that the upper frame bound is periodic in the shearing (chirping) parameter. In Sect. 4 we show our main result, Theorem 1.1. Finally, in Sect. 5 we prove that for redundancy 2 the value of the condition number in the case of the hexagonal lattice conjectured by Strohmer and Beaver [27] is correct. This gives an analytic proof that, concerning the frame condition, the hexagonal lattice is preferable over the square lattice.
2 Gabor Frames
A Gabor system for the Hilbert space \(L^2(\mathbb {R}^{})\) is the set of time-frequency shifted versions of a window function \(g \in L^2(\mathbb {R}^{})\) with respect to some index set \(\Lambda \subset \mathbb {R}^2\). We denote the Gabor system by
Here, \(\pi (\lambda )\) denotes the time-frequency shift operator
The elements of \(\mathcal {G}(g,\Lambda )\) are called atoms. Throughout this work, the index set \(\Lambda \) will be a lattice in \(\mathbb {R}^2\). We can generate any lattice by some (non-unique) invertible \(2 \times 2\) matrix S in the following way
The volume of the lattice is given by the absolute value of the determinant of the generating matrix (which is unique) and the density or redundancy is given by the reciprocal of the volume. That is,
It is of particular interest to know when a Gabor system is a Gabor frame because in this case there are stable ways to reconstruct a function \(f \in L^2(\mathbb {R}^{})\) from the inner products of the function and the atoms of the Gabor system. In order to be a Gabor frame a Gabor system has to fulfill the frame inequality
for some positive constants \(0< A \le B < \infty \) called frame bounds. Throughout this work, whenever we speak of frame bounds we mean the tightest possible, hence, optimal frame bounds. In the case of an orthonormal basis we have \(A=B=1\). To the Gabor system \(\mathcal {G}(g,\lambda )\) we associate the Gabor frame operator
The existence of the upper frame bound guarantees that the operator is bounded and the sharp upper frame bound equals the operator norm of the Gabor frame operator
The existence of the lower frame bound guarantees that the operator is invertible, hence, we can reconstruct f in the following way
Due to the work of Lyubarskii [23] and Seip [26] we know that for a Gaussian window any lattice of density \(\delta > 1\) generates a Gabor frame for \(L^2(\mathbb {R}^{})\). Also, in this case we know that we cannot have a frame for \(\delta = 1\) because of the Balian-Low theorem [3, 22]. This implies that we cannot obtain an orthonormal basis with time-frequency shifted Gaussian windows which makes it interesting to study sharp frame bounds for the Gaussian. For more information about Gabor frames we refer to the classical literature on these topics e.g. [4, 11,12,13, 15, 17] as well as to the survey by Gröchenig [16].
In what follows we will focus on Gabor frames generated by lattices of fixed density 2n, \(n \in \mathbb {N}\) and the standard Gaussian window
of \(L^2(\mathbb {R}^{})\) unit norm. Within this setting we are interested in the tightest possible bounds and will show that the hexagonal lattice minimizes the upper frame bound.
3 Chirped Gaussians and Sheared Lattices
After some preliminaries, we will start to compute frame bounds of Gaussian Gabor frames of redundancy 2n, \(n \in \mathbb {N}\). First of all, we only consider lattices where the generating matrix takes the form
with \(\alpha ,\beta > 0\) and \(\alpha \beta = \frac{1}{2n}\). Instead of looking at lattices of this type and the standard Gaussian, we can also look at rectangular lattices, i.e., \(\gamma = 0\), with chirped Gaussians. A chirped (standard) Gaussian is of the form
It is well-known from the general theory on the interplay between the symplectic and the metaplectic group, that the two systems
possess the same sharp frame bounds [7,8,9, 14, 15]. Second of all, it is enough to look at lattices of the type \(\Lambda = S_\gamma \mathbb {Z}^2\) because any lattice \(\Lambda \subset \mathbb {R}^2\) can be represented by \(\Lambda = Q S_\gamma \mathbb {Z}^2\), where Q is an orthogonal matrix (QR-decomposition). Again, the rotation imposed by Q does not affect the frame bounds as the Gaussian is an eigenfunction with eigenvalue 1 of the corresponding metaplectic operator, which is the fractional Fourier transform described already in [1] or [6].
We choose the Gabor system \(\mathcal {G}\left( g_{-\gamma }, S_0 \mathbb {Z}^2 \right) \) as object of investigation. Due to Janssen [20], it is known that the lower and upper frame bound are given by the essential infimum and supremum, respectively, of the Fourier series
From its definition it is clear that we only need to know \(F_{g_{-\gamma }}\) on the unit square, i.e., \((x,\omega ) \in [0,1] \times [0,1]\). We compute the inner product
All we needed in the computations above were a change of variables and the invariance of the standard Gaussian under the Fourier transform (see e.g. [14]). Therefore, we have that
which can also be identified as the heat kernel of the flat Laplacian on the torus \(\mathbb {R}^2/\Lambda \) where \(\Lambda = S_\gamma \mathbb {Z}^2\). We note that, due to \(( \alpha \beta )^{-1} = 2n\) with \(n \in \mathbb {N}\) the factor \(e^{-\pi i \frac{k l}{\alpha \beta }}\) in Eq. (3.2) vanishes, which is why we consider the case of even redundancy, and we also see that
Changing the sign of \(\gamma \) corresponds to a reflection of the lattice with respect to one of the coordinate axes (it does not matter which one). But, since a reflection matrix has determinant −1 it is not an element of the symplectic group and, therefore, we do not have a corresponding metaplectic operator. For this reason we had to start with the system \(\mathcal {G}\left( g_{-\gamma }, S_0 \mathbb {Z}^2 \right) \).
For even redundancy, the function \(F_{g_{-\gamma }}\) takes its maximum whenever \((x, \omega ) \in \mathbb {Z}\times \mathbb {Z}\). This implies that in this case the optimal upper frame bound for a Gabor frame with standard Gaussian window is given by the formula
Our goal is to find the global minimum of this function with respect to t he parameters \(\alpha \), \(\beta \) and \(\gamma \). Since the product \(\alpha \beta = \frac{1}{2n}\) is fixed, this is a minimization problem in 2 variables. It is similar to the problem recently solved by Faulhuber and Steinerberger [10]. Unfortunately, the techniques used in that work do not apply as the double sum does not factor into a product of two sums for \(\gamma \ne 0\). Still, the double sum converges very nicely, in particular absolutely. We will now show some properties of B.
Proposition 3.1
For \(\alpha \), \(\beta \) fixed with \(\alpha \beta = \frac{1}{2n}\), \(n \in \mathbb {N}\), B is periodic in \(\gamma \) with period \(\frac{\beta }{\alpha }\) and symmetric with respect to the points \(\frac{\beta }{2 \alpha } \mathbb {Z}\). Furthermore, B takes its global maximum only for \(\gamma \in \frac{\beta }{\alpha } \mathbb {Z}\), i.e., for rectangular lattices.
Proof
The periodicity follows from the according property of the lattice and the symmetry follows from the fact that we can choose the sign of \(\gamma \) and the periodicity of the lattice. The property that still needs to be verified is that B assumes its global maximum for \(\gamma \in \frac{\beta }{\alpha } \mathbb {Z}\).
We split the double sum in the following way.
We will now use Poisson summation, which in this case involves the Fourier transform of a Gaussian (see e.g. [14]), to rewrite the inner sum of the last expression. For k fixed we have that
Using the fact that \(\left( \alpha \beta \right) ^{-1} = 2n\) and due to the convergence properties of the double series we can now rewrite it as
By using the identity \(\cos (2x) = \cos (x)^2-\sin (x)^2 = 1 - 2\sin (x) ^2\) we get
and we see that \(B(\gamma )\) is maximal for \(\gamma \in \frac{\beta }{\alpha } \mathbb {Z}\). \(\square \)
Proposition 3.1 shows that for even redundancy the upper frame bound of any Gabor frame with rectangular lattice and standard Gaussian window will become smaller by either shearing the lattice or by chirping the window (\(\gamma \notin \frac{\beta }{\alpha } \mathbb {Z}\)). This gives analytic evidence that the quadratic lattice cannot be optimal for the upper frame bound among general lattices. We will now state a lemma by Montgomery from which we will be able to conclude when B assumes its minimum. The proof of the upcoming result needs a lot of cumbersome computations and estimates. Therefore, we refer to the original work where this lemma has been proved [25, Lemma 4].
Lemma 3.2
(Montgomery) Let \(c > 0\) be fixed, \(r \in \left( 0, \frac{1}{2} \right) \) and \(s \ge \frac{1}{2}\). We define
Then
The variable r in Montgomery’s lemma in principle represents the shearing of the lattice whereas the variable s is related to the lattice parameter \(\alpha \). The parameter c describes the density of the lattice. Fixing \(\alpha \) and \(\beta \), B only depends on the shearing parameter \(\gamma \). By rewriting Eq. (3.3) in the following way
Montgomery’s lemma implies the following proposition.
Proposition 3.3
For \(\alpha \), \(\beta \) fixed with \(\alpha \ge \frac{1}{\sqrt{2}\sqrt{2n} }\) and \(\alpha \beta = \frac{1}{2n}\), \(n \in \mathbb {N}\), B assumes its global minimum only for \(\gamma \in \frac{\beta }{\alpha } \left( \frac{1}{2} + \mathbb {Z}\right) \).
4 Minimal Theta Functions
In this section we will study connections between theta functions, quadratic forms and lattices. For more information we refer to the textbook by Conway and Sloane [5]. We start with some definitions in order to state a theorem formulated by Montgomery [25]. For \(\rho > 0 \) and a positive definite quadratic form \(q(u_1,u_2) = a u_1^2 + b u_1 u_2 + c u_2^2\) with discriminant
we define the theta function
The theta function satisfies the identity
which can be looked up in [25, equation (1)] or can be verified by using the 2-dimensional Poisson summation formula. Also, we can associate the symmetric matrix
to the quadratic form \(q(u_1,u_2) = (u_1,u_2) \cdot G_q \cdot (u_1,u_2) ^T\). The index q indicates that the matrix is associated to a quadratic form. Later on, we will also use other indices to emphasize the connection to either a quadratic form or a lattice. We observe that \(4 \det (S_q) = -D\).
Theorem 4.1
(Montgomery) Let \(h(u_1,u_2) = \frac{1}{\sqrt{3}} \left( u_1^2 +u_1 u_2 +u_2^2 \right) \). For any \(\rho > 0\) and any positive definite quadratic form \(q(u_1,u _2)\) with discriminant \(D = -1\) we have
If we have equality for some \(\rho > 0\), then q and h are equivalent forms and \(\theta _q \equiv \theta _h\).
The quadratic form \(h(u_1,u_2)\) in Montgomery’s theorem is associated to the hexagonal lattice. This shows, that among all theta functions associated to a quadratic form with fixed discriminant, the form associated to a hexagonal lattice minimizes the theta function.
As a next step, we will show that the quadratic form associated to the chosen lattice appears directly in the exponent of the theta function describing the upper frame bound. In fact, we will see that for the standard Gaussian window and even redundancy, the upper frame bound is given by sampling and adding the values of the ambiguity function with respect to the lattice. Before doing so, we formulate the definition of the adjoint lattice, a proposition about the frame operator and introduce the ambiguity function.
Definition 4.2
(Adjoint lattice) For a lattice \(\Lambda \subset \mathbb {R}^2\) the adjoint lattice is given by
With this definition we can formulate the following proposition which holds for any \(g \in L^2(\mathbb {R}^{})\) and is also known as Janssen’s representation.
Proposition 4.3
(Janssen’s representation) Let \(g \in L^2(\mathbb {R}^{})\) with the property that
Then, the frame operator can be written in the form
For a Gabor frame with a lattice \(\Lambda \) of density 2n, \(n \in \mathbb {N}\) and standard Gaussian window \(g_0\) we see that the \(\ell ^1(\Lambda ^\circ )\)-norm of the coefficients in Janssen’s representation of the frame operator (4.3), which coincides (up to the factor vol\((\Lambda )^{-1} \)) with Eq. (4.2), gives us the upper frame bound by setting \((x,\omega ) = (0,0)\) in Eq. (3.1).
We will now show that for Gabor frames with standard Gaussian window \(g_0 \) and general lattices the upper frame bound is given (up to a factor 2) by the \(\ell ^1(2 \Lambda )\)-norm of the samples of the ambiguity function \(\mathcal {A}g_0\) of the standard Gaussian.
Definition 4.4
(Ambiguity function) The ambiguity function of a function \(f \in L^2(\mathbb {R}^{})\) is given by
The ambiguity function measures how concentrated a function is in the time-frequency plane. For the standard Gaussian the ambiguity function is given by
For \(\Lambda = S_\gamma \mathbb {Z}^2 = \left( \begin{array}{c c} \alpha &{} 0\\ \alpha \gamma &{} \beta \end{array} \right) \mathbb {Z}^2\), the Gram matrix associated to \(\Lambda \) is given by
with determinant \(\det (G_\Lambda ) = \frac{1}{\alpha ^2 \beta ^2} = \frac{1}{4n^2} = -\frac{1}{4}D\), where D is the discriminant of the associated quadratic form. The adjoint lattice, its associated matrix and Gram matrix are given by
For \(\mathcal {G}(g_0,\Lambda )\), with vol\((\Lambda )^{-1} = 2n\), \(n \in \mathbb {N}\), we compute the upper frame bound as
Here, \(q_\Lambda (k,l) = (-D)^{-1/2} \left\langle S (k,l),\, S (k,l) \right\rangle \) is a quadratic form with discriminant \(-1\). Summing up the results we find out that
Therefore, Montgomery’s theorem (Theorem 4.1) implies that for a Gabor frame with Gaussian window and any lattice of even redundancy, a lattice with associated Gram matrix
yields the minimal Gabor frame operator norm or equivalently the smallest possible upper frame bound. From the entries of the Gram matrix \(G_\Lambda \) in Eq. (4.4) and the condition \((\alpha \beta )^{-1} = 2n\), \(n \in \mathbb {N}\) we determine the lattice parameters \(\alpha \), \(\beta \) and \(\gamma \) (up to a sign which does not affect the geometry of the lattice or the frame bounds). We get
and hence
The matrix Q is an orthogonal matrix which does not affect the Gram matrix \(G_h\) since \(Q^T Q = I\). Therefore, only rotated versions of the hexagonal lattice give the optimal upper frame bound. Any other quadratic form which also minimizes the theta function \(\theta _q(\rho )\) is as well associated to a version of the hexagonal lattice, i.e., a version of the hexagonal lattice with another choice of basis and Gram matrix
which proves our main result Theorem 1.1.
5 A Result for Redundancy 2
We want to make a final remark on the frame bounds of the Gabor frame \(\mathcal {G}(g_0,\Lambda )\) for redundancy 2. If we take the standard Gaussian and the square lattice \(\Lambda _\square = \frac{1}{\sqrt{2}} \mathbb {Z}\times \frac{1}{\sqrt{2} } \mathbb {Z}\) we find out that the sharp lower and upper frame bound are given by
where \(\Gamma \) is the usual gamma function defined as
It follows from (5.1) and (5.2) that the condition number \(B_{g_0,2} \left( \Lambda _\square \right) /A_{g_0,2} \left( \Lambda _\square \right) \) equals \(\sqrt{2}\) as observed by Strohmer and Beaver [27].
The identities
required for (5.1) and (5.2), follow from classical results about Jacobi theta functions. The second identity in (5.3) is given in [24, Eq. (28)], while the first identity in (5.3) follows from the second one by using \(\theta _3(1)^4 = \theta _2(1)^4 + \theta _4(1)^4\) and \(\theta _2(1) = \theta _4(1)\), see [5, Chap. 4.4], where \(\theta _2( 1) = \sum _{k \in \mathbb {Z}} e^{-\pi \left( k-\frac{1}{2}\right) ^2}\).
Furthermore, it is mentioned in [27] that in the case of the hexagonal lattice of redundancy 2, the condition number is approximately \( B_{g_0,2}(\Lambda _h)/A_{g_0,2}(\Lambda _h) \approx 1.2599\) which, quote from [27], ‘is suspiciously close to \(\root 3 \of {2}\)’. We will now prove that it is exactly the conjectured value.
Taking the quadratic form \(h(u_1,u_2) = \frac{1}{\sqrt{3}} \left( u_1^2 - u_1 u_2 +u_2^2 \right) \), which is equivalent to the quadratic form in Theorem 4.1, an adaption of a result by Baernstein [2] shows that the series
assumes its minimum at \((x,\omega ) = \left( \frac{1}{3}, \frac{1}{3} \right) \) and, due to symmetry, also at \((x,\omega ) = \left( \frac{2}{3}, \frac{2}{3} \right) \) and of course at all integer shifts of these points. Therefore, the lower and upper frame bound of the Gabor system \(\mathcal {G}(g_0, \Lambda _h)\), where \(\Lambda _h\) is a hexagonal lattice of redundancy 2, are given by
and
Proposition 5.1
For redundancy 2, the ratio of the frame bounds for a Gabor frame with standard Gaussian window and a hexagonal lattice is given by
Proof
We will use a result on cubic theta functions by Hirschhorn et al. derived in 1993 [18] to prove the statement. To stick close to their notation we introduce the following functions
where \(\zeta _3^3 = 1\) and \(\zeta _3 \ne 1\) and \(|q| < 1\). These functions fulfill the identity
(see [18, Eq. (1.8)]). Setting \(q = e^{-2 \pi /\sqrt{3}}\) we will now prove that actually \(b\left( e^{-2 \pi /\sqrt{3}}\right) = c\left( e^{-2 \pi /\sqrt{3}}\right) \) by using Poisson summation. We start with the observation that \(e^{-\frac{2 \pi }{\sqrt{3}} \left( k^2 + kl +l^2\right) }\) and \(e^{-\frac{2 \pi }{\sqrt{3}} \left( k^2 - kl +l^2\right) }\) are the 2-dimensional Fourier transforms of each other which is best confirmed by using Folland’s result on the Fourier transform of Gaussians [14, App. A, Theorem 1]. Therefore, by using the 2-dimensional Poisson summation formula we have
Hence, it follows that
which gives
and the proof is finished. \(\square \)
The results in this section give the first analytic proof that, for a Gabor frame with standard Gaussian window and a lattice of redundancy 2, the hexagonal lattice yields a better frame condition number than the square lattice.
References
Almeida, L.B.: The fractional Fourier transform and time-frequency representations. IEEE Trans. Signal Process. 42(11), 3084 (1994)
Baernstein II, A.: A minimum problem for heat kernels of flat tori. In Extremal Riemann surfaces, volume 201 of Contemp. Math., pp. 227–243. Am. Math. Soc., Providence, RI (1997)
Balian, R.: Un principe d’incertitude fort en théorie du signal ou en mécanique quantique. CR Acad. Sci. Paris 292(2), 1357–1361 (1981)
Christensen, O.: An Introduction to Frames and Riesz Bases. Applied and Numerical Harmonic Analysis. Birkäuser, Boston, MA (2003)
Conway, J.H., Sloane, N.J.A.: Sphere packings, lattices and groups, volume 290 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, New York, third edition (1999)
Daubechies, I.: Time-frequency localization operators: a geometric phase space approach. IEEE Trans. Inf. Theory 34(4), 605–612 (1988)
de Gosson, M.A.: Symplectic methods in harmonic analysis and in mathematical physics. Pseudo-Differential Operators: Theory and Applications. Springer Basel AG, Basel (2011)
de Gosson, M.A.: Hamiltonian deformations of Gabor frames: first steps. Appl. Comput. Harmon. Anal. 38(2), 196–221 (2015)
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., Steinerberger, S.: Optimal Gabor frame bounds for separable lattices and estimates for Jacobi theta functions. J. Math. Anal. Appl. 445(1), 407–422 (2017)
Feichtinger, H.G.: On a new Segal algebra. Monatshefte Math. 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., Luef, F.: Encyclopedia of applied and computational mathematics. Gabor Analysis and Algorithms, pp. 575–579. Springer, Berlin (2015)
Folland, G.B.: Harmonic analysis in phase space. Number 122 in Annals of Mathematics Studies. Princeton University Press, Princeton (1989)
Gröchenig, K.: Foundations of Time-Frequency Analysis. Applied and Numerical Harmonic Analysis. Birkhäuser, Boston, MA (2001)
Gröchenig, K.: The mystery of Gabor frames. J. Fourier Anal. Appl. 20(4), 865–895 (2014)
Heil, C.: Harmonic Analysis and Applications. Applied and Numerical Harmonic Analysis, 1st edn. Birkhäuser, Boston, MA (2006)
Hirschhorn, M., Garvan, F., Borwein, J.: Cubic analogues of the Jacobian theta function \(\theta (z, q) \). Can. J. Math. 45(4), 673–694 (1993)
Janssen, A.J.E.M.: Duality and biorthogonality for Weyl-Heisenberg frames. J. Fourier Anal. Appl. 1(4), 403–436 (1995)
Janssen, A.J.E.M.: Some Weyl-Heisenberg frame bound calculations. Indaga. Math. 7(2), 165–183 (1996)
Le Floch, B., Alard, M., Berrou, C.: Coded orthogonal frequency division multiplex [TV broadcasting ]. Proc. IEEE 83(6), 982–996 (1995)
Low, F.: Complete Sets of Wave Packets. In: DeTar, C., Finkelstein, J., Tan, C.I. (eds.) A passion for physics-essays in honor of Geoofrey Chew. World Scientific, Singapore (1985)
Lyubarskii, Y.: Frames in the Bargmann space of entire functions. Entire and Subharmonic Functions, p. 167. American Mathematical Society, Providence, RI (1992)
Mező, I.: Duplication formulae involving Jacobi theta functions and Gosper’s q - trigonometric functions. Proc. Am. Math. Soc. 141(7), 2401–2410 (2013)
Montgomery, H.L.: Minimal theta functions. Glasg. Math. J. 30(1), 75–85 (1988)
Seip, K.: Density theorems for sampling and interpolation in the Bargmann-Fock space. Am. Math. Soc. Bull. 26(2), 322–328 (1992)
Strohmer, T., Beaver, S.: Optimal OFDM design for time-frequency dispersive channels. IEEE Trans. Commun. 51(7), 1111–1122 (2003)
Acknowledgements
Open access funding provided by University of Vienna. The author was supported by the Austrian Science Fund (FWF): [P26273- N25].
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Chris Heil.
The author wishes to thank Karlheinz Gröchenig for many fruitful discussions on the topic and Thomas Strohmer for pointing out reference [18]. The author gratefully acknowledges the feedback and comments of the referees which helped to improve this work significantly.
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. Minimal Frame Operator Norms Via Minimal Theta Functions. J Fourier Anal Appl 24, 545–559 (2018). https://doi.org/10.1007/s00041-017-9526-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-017-9526-x