Chirped Gaussians Have Maximal Frame Sets

Let $φ(x)=e^{-πx^2}$ be the Gaussian and $h_λ(x)=e^{-πiλx^2}$ be a chirp where $λ\in\mathbb R\setminus{0}$ is a parameter. For $γ>0$, let $φ_γ(x)=e^{-πγ^2x^2}$ be the dilated Gaussian, we prove that for any such $λ,γ$, the chirped Gaussian $h_λ\cdot φ_γ$ always has maximal frame set, i.e., its frame set consists of precisely all positive pairs $(α,β)$ with $αβ<1$. The proof is by using fractional Fourier transform to establish maximality on certain product-convoluted (with chirps) Gaussians first, then reduce general single chirped cases to it. It follows that $\mathcal g(φ_γ,Q\mathbb Z^2)$ is a frame for $Q\in\mathbb R^{2\times 2}$ if and only if $0<|\det Q|<1$. In addition, with the theta function we also show that the Zak transform $Z(h_λ\cdotφ_γ)$ always has a unique simple zero at the center of the unit square.

💡 Research Summary

The paper investigates Gabor frames generated by “chirped” Gaussians, i.e., functions of the form
\