BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Azita Mayeli contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss the design of ``wave packet systems'' that admit strong concentration properties in phase space. We make a connection between this problem and topics in signal processing related to the spectral behavior of spatial and frequency-limiting operators. The results have engineering applications in medical imaging, geophysics, and astronomy.
A Gabor system generated by a window function $g\in L^2(\mathbb{R}^d)$ and a separable set $Λ\times Γ\subset \mathbb{R}^{2d}$ is the collection of time-frequency shifts of $g$ given by $\mathcal G(g, Λ\times Γ) = \left\{ e^{2πi ξ\cdot t}g(t-x)\right\}_{ (x,ξ)\in Λ\times Γ}$. One of the fundamental problems in Gabor analysis is to characterize all windows and time-frequency sets that generate a Gabor frame or Gabor orthonormal basis. The case of Gabor orthonormal bases generated by characteristic functions $g=χ_Ω$ has been solved by Han and Wang. In this paper, we build on these results and obtain a full characterization of Riesz Gabor systems of the form $\mathcal G(χ_Ω, Λ\times Γ)$ when $Ω$ is a tiling of $\mathbb{R}^d$ with respect to $Λ$. Furthermore, for a certain class of lattices $Λ\times Γ$, we prove that a necessary condition for the characteristic function of a multi-tiling set to serve as a window function for a Riesz Gabor basis is that the set must be a tiling set. To prove this, we develop new results on the zeros of the Zak transform and connect these results to Gabor frames.
Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has such a basis, removing interest in the existence question in this context. We then define tightness quantities for subsets to measure the conditioning of Riesz bases; for normalized tightness quantities, a value of one corresponds to an orthogonal basis, and a value of infinity corresponds to nonexistence of a basis. As an application, we obtain new weak evidence in favor of the open problem by giving a sequence of subsets of finite abelian groups whose tightness quantities go to infinity in the limit. We also prove that the Cartesian product of a set with a finite abelian group has the same tightness quantities as the original set. Lastly, under an additional hypothesis, explicit bounds are given for tightness quantities in terms of a subset's lowest multi-tiling level by a subgroup and its geometric configuration. This establishes a quantitative link between discrete geometry and harmonic analysis in this setting.
Given a bounded domain $Ω\subset {\Bbb R}^d$ with positive measure and a finite set $A=\{a^1, a^2, \dots, a^d\}$, we say that the set ${\mathcal E}(A)={\{e^{2 πi x \cdot a^j}\}}_{a^j \in A}$ is a complete exponential system if for every $ξ\in {\Bbb R}^d$, there exists $1 \leq j \leq d+1$ such that \begin{equation} \label{completedef} \int_Ω e^{-2 πi x \cdot (a^j-ξ)} dx \not=0; \end{equation} otherwise ${\mathcal E}(A)$ is called an incomplete exponential system. In this paper, we essentially classify complete and incomplete exponential systems when $Ω=B_d$, the unit ball, and when $Ω=Q_d$, the unit cube. Given a bounded domain $Ω$, we say that $e^{2 πi x \cdot a}, e^{2 πi x \cdot a'}$ are $ϕ$-approximately orthogonal if $$|\widehatχ_Ω(a-a')| \leq ϕ(|a-a'|), \ a\neq a'$$ where $ϕ: [0, \infty) \to [0, \infty)$ is a bounded measurable function that tends to $0$ at infinity. We prove that $L^2(B_d)$ does not possess a $ϕ$-approximate orthogonal basis of exponentials for a wide range of functions $ϕ$. The proof involves connections with the theory of distances in sets of positive Lebesgue upper density originally developed by Furstenberg, Katznelson and Weiss (\cite{FKW90}).