Searcharxiv⌕ Search

arXiv subjects

Irina Shafkulovska

Publications and source records attributed to Irina Shafkulovska.

14 recordsLinked to original sources

Asymptotic safety regions for Gabor frames generated by Hermite functions

The aim of this paper is to establish new regions in the frame sets of Hermite functions $h_n$. A classical result of Gröchenig and Lyubarskii shows that the Gabor system $\mathcal{G}(h_n,a\mathbb{Z}\times b\mathbb{Z})$ forms a frame for $L^2(\mathbb{R})$ whenever the lattice density exceeds $n+1$. We show that, for every $η>0$ and all sufficiently large $n$, the same Gabor system forms a frame whenever $ab\leq n^{-\frac{2}{3}-η}$. Moreover, we obtain an asymptotically sharp result near the coordinate axes, i.e., when one of the parameters $a$ or $b$ is small. Namely, for every $δ>0$ and $ρ\in(0,\frac{1}{2})$ and all sufficiently large $n$ we prove that if $\min\{a,b\}\leq n^{-\frac{1}{2}-δ}$ and $ab\leq \frac{1}{2}-ρ$ then $\mathcal{G}(h_n,a\mathbb{Z}\times b\mathbb{Z})$ forms a frame.

math.CA↗

Derivatives of Theta Functions and a Problem of Lyubarskii and Nes

We characterize all lattices $Λ\subset \mathbb{R}^2$ of rational density for which the Gabor system generated by the first Hermite function along $Λ$ is a frame for $L^2(\mathbb{R})$. We prove that these are precisely the lattices whose density satisfies $D(Λ) = \frac{q}{p} $ where $p,q \in \mathbb{N}$ are coprime with $q \geq p+2$, thereby confirming a conjecture of Lyubarskii and Nes. A formalization of our main result in Lean $4$ is also included.

math.CA↗

Gabor Frames of Totally Positive Functions: A Complete Characterization

We prove that the set of time-frequency shifts $\{e^{2πi βl t} g(t-αk) : k,l \in \mathbb{Z}\}$ with a continuous, integrable totally positive function $g$ and lattice parameters $α,β>0$ generates a frame for $L^2(\mathbb{R})$ if and only if $αβ<1$. This fully settles the so-called frame set problem for the class of totally positive functions. As a closely related result we prove a sharp Kadets-type theorem for every shift-invariant space generated by a continuous totally positive function. The proofs are based on Fredholm theory and limit-operator theory. A formalization of our main result in Lean 4 is also provided.

math.FA↗

Stability in unlimited sampling

Folded sampling replaces clipping in analog-to-digital converters by reducing samples modulo a threshold, thereby avoiding saturation artifacts. We study the reconstruction of bandlimited functions from folded samples and show that, for equispaced sampling patterns, the recovery problem is inherently unstable. We then prove that imposing any a priori energy bound restores stability, and that this regularization effect extends to non-uniform sampling geometries. Our analysis recasts folded-sampling stability as an infinite-dimensional lattice shortest-vector problem, which we resolve via harmonic-analytic tools (the spectral profile of Fourier concentration matrices) and, alternatively, via bounds for integer Tschebyschev polynomials. Our work brings context to recent results on injectivity and encoding guarantees for folded sampling and further supports the empirical success of folded sampling under natural energy constraints.

math.FA↗

A Characterization of Metaplectic Time-Frequency Representations

We characterize all time-frequency representations that satisfy a general covariance property: any weak*-continuous bilinear mapping that intertwines time-frequency shifts on the configuration space with time-frequency shifts on phase space is a multiple of a metaplectic time-frequency representation.

math.FA↗

From completeness of discrete translates to phaseless sampling of the short-time Fourier transform

We study the uniqueness problem in short-time Fourier transform phase retrieval by exploring a connection to the completeness problem of discrete translates. Specifically, we prove that functions in $L^2(K)$ with $K \subseteq \mathbb{R}^d$ compact, are uniquely determined by phaseless lattice-samples of its short-time Fourier transform with window function $g$, provided that specific density properties of translates of $g$ are met. By proving completeness statements for systems of discrete translates in Banach function spaces on compact sets, we obtain new uniqueness statements for phaseless sampling on lattices beyond the known Gaussian window regime. Our results apply to a large class of window functions, which are relevant in time-frequency analysis and applications.

math.FA↗

On the frame property of Hermite functions and exploration of their frame sets

We study Gabor frames with Hermite window functions. Gröchenig 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 order 4 and higher, we enlarge this safety region by providing new points on the boundary of this region. For this purpose, we employ the Janssen representation of the frame operator to compare its distance to the identity in the operator norm. The calculations lead to estimates on series involving Laguerre polynomials with Gaussian weight functions.

math.FA↗

More Uncertainty Principles for Metaplectic Time-Frequency Representations

We develop a method for the transfer of an uncertainty principle for the short-time Fourier transform or a Fourier pair to an uncertainty principle for a sesquilinear or quadratic metaplectic time-frequency representation. In particular, we derive Beurling-type and Hardy-type uncertainty principles for metaplectic time-frequency representations.

math.FA↗

Benedicks-type uncertainty principle for metaplectic time-frequency representations

Metaplectic Wigner distributions are joint time-frequency representations that are parametrized by a symplectic matrix and generalize the short-time Fourier transform and the Wigner distribution. We investigate the question which metaplectic Wigner distributions satisfy an uncertainty principle in the style of Benedicks and Amrein-Berthier. That is, if the metaplectic Wigner distribution is supported on a set of finite measure, must the functions then be zero? While this statement holds for the short-time Fourier transform, it is false for some other natural time-frequency representations. We provide a full characterization of the class of metaplectic Wigner distributions which exhibit an uncertainty principle of this type, both for sesquilinear and quadratic versions.

math.FA↗

Sampling theorems with derivatives in shift-invariant spaces generated by periodic exponential B-splines

We derive sufficient conditions for sampling with derivatives in shift-invariant spaces generated by a periodic exponential B-spline. The sufficient conditions are expressed with a new notion of measuring the gap between consecutive samples. These conditions are near optimal, and, in particular, they imply the existence of sampling sets with lower Beurling density arbitrarily close to the necessary density.

math.FA↗

The metaplectic action on modulation spaces

We study the mapping properties of metaplectic operators $\widehat{S}\in \mathrm{Mp}(2d,\mathbb{R})$ on modulation spaces of the type $\mathrm{M}^{p,q}_m(\mathbb{R}^d)$. Our main result is a full characterisation of the pairs $(\widehat{S},\mathrm{M}^{p,q}(\mathbb{R}^d))$ for which the operator $\widehat{S}:\mathrm{M}^{p,q}(\mathbb{R}^d) \to \mathrm{M}^{p,q}(\mathbb{R}^d)$ is (i) well-defined, (ii) bounded. It turns out that these two properties are equivalent, and they entail that $\widehat{S}$ is a Banach space automorphism. For polynomially bounded weight functions, we provide a simple sufficient criterion to determine whether the well-definedness (boundedness) of ${\widehat{S}:\mathrm{M}^{p,q}{}(\mathbb{R}^d)\to \mathrm{M}^{p,q}(\mathbb{R}^d)}$ transfers to $\widehat{S}:\mathrm{M}^{p,q}_m(\mathbb{R}^d)\to \mathrm{M}^{p,q}_m(\mathbb{R}^d)$.

math.FA↗

Gabor frame bound optimizations

We study sharp frame bounds of Gabor systems over rectangular lattices for different windows and integer oversampling rate. In some cases we obtain optimality results for the square lattice, while in other cases the lattices optimizing the frame bounds and the condition number are rectangular lattices which are different for the respective quantities. Also, in some cases optimal lattices do not exist at all and a degenerated system is optimal.

math.FA↗

A note on energy minimization in dimension 2

Proving the universal optimality of the hexagonal lattice is one of the big open challenges of nowadays mathematics. We show that the hexagonal lattice outperforms certain "natural" classes of periodic configurations. Also, we rule out the option that the canonical non-lattice rival -- the honeycomb -- has lower energy than the hexagonal lattice at any scale.

math.CA↗

The AGM of Gauss, Ramanujan's corresponding theory, and spectral bounds of self-adjoint operators

We study the spectral bounds of self-adjoint operators on the Hilbert space of square-integrable functions, arising from the representation theory of the Heisenberg group. Interestingly, starting either with the von Neumann lattice or the hexagonal lattice of density 2, the spectral bounds obey well-known arithmetic-geometric mean iterations. This follows from connections to Jacobi theta functions and Ramanujan's corresponding theories. As a consequence we re-discover that these operators resemble the identity operator as the density of the lattice grows. We also prove that the conjectural value of Landau's constant is obtained as the cubic arithmetic-geometric mean of $\sqrt[3]{2}$ and 1, which we believe to be a new result.

math.CA↗