Related papers: Completeness of Gabor systems

We show that for an arbitrary totally positive function $g\in L^1(\mathbb{R} )$ and $\alpha \beta$ rational, the Gabor family $\{e^{2\pi i \beta l t} g(t-\alpha k): k,l \in \mathbb{Z} \}$ is a frame for $L^2(\mathbb{R})$, if and only if…

We show that a sufficient density condition for Gabor systems with Hermite functions over lattices is not sufficient in general. This follows from a result on how zeros of the Zak transform determine the frame property of integer…

A Gabor system generated by a window function $g\in L^2(\mathbb{R}^d)$ and a separable set $\Lambda\times \Gamma \subset \mathbb{R}^{2d}$ is the collection of time-frequency shifts of $g$ given by $\mathcal G(g, \Lambda\times \Gamma) =…

We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $\lambda$-terms. This class includes most semantics used for normalization…

We show that every rationally sampled dilation-and-modulation system is unitarily equivalent with a multi-window Gabor system. As a consequence, frame theoretical results from Gabor analysis can be directly transferred to…

We consider Gabor frames generated by a general lattice and a window function that belongs to one of the following spaces: the Sobolev space $V_1 = H^1(\mathbb R^d)$, the weighted $L^2$-space $V_2 = L_{1 + |x|}^2(\mathbb R^d)$, and the…

A Gabor system generated by a window function $\phi$ and a rectangular lattice $a \Z\times \Z/b$ is given by $${\mathcal G}(\phi, a \Z\times \Z/b):=\{e^{-2\pi i n t/b} \phi(t- m a):\ (m, n)\in \Z\times \Z\}.$$ One of fundamental problems in…

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…

We study Gabor frames with Hermite window functions. Gr\"ochenig and Lyubarskii provided a sufficient density condition for their frame sets, which leads to what we call the "safety region". For rectangular lattices and Hermite windows of…

We study totally positive (TP) functions of finite type and exponential B-splines as window functions for Gabor frames. We establish the connection of the Zak transform of these two classes of functions and prove that the Zak transforms…

We introduce an equivalence relation on the set of lattices in $\mathbb{R}^{2d}$ such that equivalent lattices support identical structures of Gabor systems, up to unitary equivalence, a notion we define. These equivalence classes are…

We establish novel uniqueness results for the Gabor phase retrieval problem: if $\mathcal{G} : L^2(\mathbb{R}) \to L^2(\mathbb{R}^2)$ denotes the Gabor transform then every $f \in L^4[-\tfrac{c}{2},\tfrac{c}{2}]$ is determined up to a…

We show that if the Gabor system $\{ g(x-t) e^{2\pi i s x}\}$, $t \in T$, $s \in S$, is an orthonormal basis in $L^2(\mathbb{R})$ and if the window function $g$ is compactly supported, then both the time shift set $T$ and the frequency…

In the restricted setting of product phase space lattices, we give an alternate proof of P. Linnell's theorem on the finite linear independence of lattice Gabor systems in $L^2(\mathbb R^d)$. Our proof is based on a simple argument from the…

Using Gabor analysis, we give a complete characterization of all lattice sampling and interpolating sequences in the Fock space of polyanalytic functions, displaying a "Nyquist rate" which increases with $n$, the degree of polyanaliticity…

We prove some infinite series identities for the Hermite functions. From these identities we disprove the Gabor frame set conjecture for Hermite functions of order $4m+2$ and $4m+3$ for $m \in \{0\} \cup \mathbb{N}$. The results hold not…

In this work we derive a simple argument which shows that Gabor systems consisting of odd functions of $d$ variables and symplectic lattices of density $2^d$ cannot constitute a Gabor frame. In the 1--dimensional, separable case, this is a…

We characterize all lattices $\Lambda \subset \mathbb{R}^2$ and all compactly supported functions $g \in L^2(\mathbb{R})$ for which the Gabor system $\left \{ e^{2\pi i s x} g(x-t) : (t,s) \in \Lambda \right \}$ forms an orthonormal basis…

We expand the completeness study instigated in [J. Math. Phys. 50 (2009), 103516, 29 pages] which found all $2\times2$ Lax pairs with non-zero, separable terms in each entry of each Lax matrix, along with the most general nonlinear systems…

The linear canonical transform (LCT) was extended to complex-valued parameters, called complex LCT, to describe the complex amplitude propagation through lossy or lossless optical systems. Bargmann transform is a special case of the complex…