BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Azita Mayeli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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}).
Given a lattice $Λ$ in a locally compact abelian group $G$ and a measurable subset $Ω$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(Ω)$ if and only if the distinct translates by $Λ$ of $Ω$ have almost empty intersections. Some consequences of this results are the well-known Fuglede theorem for lattices, as well as a simple characterization for frames of modulates.
For a locally compact abelian group $G$ a simple proof is given for the known fact that a bounded domain $Ω$ tiles $G$ with translations by a lattice $Λ$ if and only if the set of characters of $G$ indexed by the dual lattice of $Λ$ is an orthogonal basis of $L^2(Ω).$ The proof uses simple techniques from Harmonic Analysis.
We investigate the connection between translation bases for Paley-Wiener spaces and exponential Fourier bases for a domain. We apply these results to the characterization of vector-valued time-frequency translates of a Paley-Wiener "window" signal.
The bracket map was originally considered for locally compact abelian groups. In this work we extend the study of bracket maps to the noncommutative setting, providing characterizations of bases and frames for cyclic subspaces of the Heisenberg group. We also indicate how to generalize these results to a class of non-abelian nilpotent Lie groups whose irreducible representations are square integrable modulo the center.
In this paper, we study the Plancherel measure of a class of non-connected nilpotent groups which is of special interest in Gabor theory. Let $G$ be a time-frequency group. More precisely, that is $G=\left\langle T_{k},M_{l}:k\in\mathbb{Z}^{d},l\in B\mathbb{Z}^{d}\right\rangle ,$ $T_{k}$, $M_{l}$ are translations and modulations operators acting in $L^{2}(\mathbb{R}^{d}),$ and $B$ is a non-singular matrix. We compute the Plancherel measure of the left regular representation of $G\ $which is denoted by $L.$ The action of $G$ on $L^{2}(\mathbb{R}^{d})$ induces a representation which we call a Gabor representation. Motivated by the admissibility of this representation, we compute the decomposition of $L$ into direct integral of irreducible representations by providing a precise description of the unitary dual and its Plancherel measure. As a result, we generalize Hartmut Führ's results which are only obtained for the restricted case where $d=1$, $B=1/L,L\in\mathbb{Z}$ and $L>1.$ Even in the case where $G$ is not type I, we are able to obtain a decomposition of the left regular representation of $G$ into a direct integral decomposition of irreducible representations when $d=1$. Some interesting applications to Gabor theory are given as well. For example, when $B$ is an integral matrix, we are able to obtain a direct integral decomposition of the Gabor representation of $G.$
Function spaces are central topic in analysis. Often those spaces and related analysis involves symmetries in form of an action of a Lie group. Coorbit theory as introduced by Feichtinger and Gröchenig and then later extended in [3] gives a unified method to construct Banach spaces of functions based on representations of Lie groups. In this article we identify the homogeneous Besov spaces on stratified Lie groups introduced in [13] as coorbit spaces in the sense of [3] and use this to derive atomic decompositions for the Besov spaces.
We establish wavelet characterizations of homogeneous Besov spaces on stratified Lie groups, both in terms of continuous and discrete wavelet systems. We first introduce a notion of homogeneous Besov space $\dot{B}_{p,q}^s$ in terms of a Littlewood-Paley-type decomposition, in analogy to the well-known characterization of the Euclidean case. Such decompositions can be defined via the spectral measure of a suitably chosen sub-Laplacian. We prove that the scale of Besov spaces is independent of the precise choice of Littlewood-Paley decomposition. In particular, different sub-Laplacians yield the same Besov spaces. We then turn to wavelet characterizations, first via continuous wavelet transforms (which can be viewed as continuous-scale Littlewood-Paley decompositions), then via discretely indexed systems. We prove the existence of wavelet frames and associated atomic decomposition formulas for all homogeneous Besov spaces ${\dot B}_{p,q}^{s}$, with $1 \le p,q < \infty$ and $s \in \mathbb{R}$.
Given a simply connected nilpotent Lie group having unitary irreducible representations that are square-integrable modulo the center (SI/Z), we develop a notion of periodization on the group Fourier transform side, and use this notion to give a characterization of shift-invariant spaces in $L^2(N)$ in terms of range functions. We apply these results to study the structure of frame and Reisz families for shift-invariant spaces. We illustrate these results for the Heisenberg group as well as for other groups with SI/Z representations.
We characterize the Besov spaces associated to the Gelfand pairs on the Heisenberg group. The characterization is given in terms of bandlimited wavelet coefficients where the bandlimitedness is introduced using spherical Fourier transform. To obtain these results we develop an approach to the characterization of Besov spaces in abstract Hilbert spaces through compactly supported admissible functions.
Let $N$ be the Heisenberg group. We consider left-invariant multiplicity free subspaces of $L^2(N)$. We prove a necessary and sufficient density condition in order that such subspaces possess the interpolation property with respect to a class of discrete subsets of $N$ that includes the integer lattice. We exhibit a concrete example of a subspace that has interpolation for the integer lattice, and we also prove a necessary and sufficient condition for shift invariant subspaces to possess a singly-generated orthonormal basis of translates.
In this work we introduce a class of discrete groups containing subgroups of abstract translations and dilations, respectively. A variety of wavelet systems can appear as $π(\G)ψ$, where $π$ is a unitary representation of a wavelet group and $\G$ is the abstract pseudo-lattice $\G$. We prove a condition in order that a Parseval frame $π(\G)ψ$ can be dilated to an orthonormal basis of the form $τ(\G)Ψ$ where $τ$ is a super-representation of $π$. For a subclass of groups that includes the case where the translation subgroup is Heisenberg, we show that this condition always holds, and we cite familiar examples as applications.
We present a notion of frame multiresolution analysis on the Heisenberg group, abbreviated by FMRA, and study its properties. Using the irreducible representations of this group, we shall define a sinc-type function which is our starting point for obtaining the scaling function. Further, we shall give a concrete example of a wavelet FMRA on the Heisenberg group which is analogous to the Shannon MRA on $\RR$.