-
On the eigenvalue distribution of spatio-spectral limiting operators in higher dimensions, II
Authors:
Kevin Hughes,
Arie Israel,
Azita Mayeli
Abstract:
Let $F$, $S$ be bounded measurable sets in $\mathbb{R}^d$. Let $P_F : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d) $ be the orthogonal projection on the subspace of functions with compact support on $F$, and let $B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be the orthogonal projection on the subspace of functions with Fourier transforms having compact support on $S$. In this paper, w…
▽ More
Let $F$, $S$ be bounded measurable sets in $\mathbb{R}^d$. Let $P_F : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d) $ be the orthogonal projection on the subspace of functions with compact support on $F$, and let $B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be the orthogonal projection on the subspace of functions with Fourier transforms having compact support on $S$. In this paper, we derive improved distributional estimates on the eigenvalue sequence $1 \geq λ_1(F,S) \geq λ_2(F,S) \geq \cdots > 0$ of the \emph{spatio-spectral limiting operator} $B_S P_F B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$. The significance of such estimates lies in their diverse applications in medical imaging, signal processing, geophysics and astronomy.
Our proof is based on the decomposition techniques developed in \cite{MaRoSp23}. The novelty of our approach is in the use of a two-stage dyadic decomposition with respect to both the spatial and frequency domains, and the application of the results in \cite{ArieAzita23} on the eigenvalues of spatio-spectral limiting operators associated to cubical domains.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Uncertainty Principles on Finite Abelian Groups, Restriction Theory, and Applications to Sparse Signal Recovery
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Let $G$ be a finite abelian group. Let $f: G \to {\mathbb C}$ be a signal (i.e. function). The classical uncertainty principle asserts that the product of the size of the support of $f$ and its Fourier transform $\hat f$, $\text{supp}(f)$ and $\text{supp}(\hat f)$ respectively, must satisfy the condition: $$|\text{supp}(f)| \cdot |\text{supp}(\hat f)| \geq |G|.$$
In the first part of this paper,…
▽ More
Let $G$ be a finite abelian group. Let $f: G \to {\mathbb C}$ be a signal (i.e. function). The classical uncertainty principle asserts that the product of the size of the support of $f$ and its Fourier transform $\hat f$, $\text{supp}(f)$ and $\text{supp}(\hat f)$ respectively, must satisfy the condition: $$|\text{supp}(f)| \cdot |\text{supp}(\hat f)| \geq |G|.$$
In the first part of this paper, we improve the uncertainty principle for signals with Fourier transform supported on generic sets. This improvement is achieved by employing {\it the restriction theory} and {\it the Salem set} mechanism from harmonic analysis. Then we investigate some applications of uncertainty principles that were developed in the first part of this paper, to the problem of unique recovery of finite sparse signals in the absence of some frequencies.
Donoho and Stark (\cite{DS89}) showed that a signal of length $N$ can be recovered exactly, even if some of the frequencies are unobserved, provided that the product of the size of the number of non-zero entries of the signal and the number of missing frequencies is not too large, leveraging the classical uncertainty principle for vectors. Our results broaden the scope for a natural class of signals in higher-dimensional spaces. In the case when the signal is binary, we provide a very simple exact recovery mechanism through the DRA algorithm.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Spectral Tile Direction in the Group $\mathbb{Z}_{p^2} \times \mathbb{Z}_{q^2} \times \mathbb{Z}_r$
Authors:
Thomas Fallon,
Gergely Kiss,
Azita Mayeli,
Gábor Somlai
Abstract:
In this paper we investigate the Fuglede's conjecture for $\mathbb{Z}_{p^2q^2r}$ and provide a proof of it under the condition $p^2q^2 \le r$. We develop a new technique by studying the divisibility of the mask polynomial of a given set by some system of cyclotomic polynomials. This combined with a so-called mod-p-method gives a strong tool to study Fuglede's conjecture in this and some other case…
▽ More
In this paper we investigate the Fuglede's conjecture for $\mathbb{Z}_{p^2q^2r}$ and provide a proof of it under the condition $p^2q^2 \le r$. We develop a new technique by studying the divisibility of the mask polynomial of a given set by some system of cyclotomic polynomials. This combined with a so-called mod-p-method gives a strong tool to study Fuglede's conjecture in this and some other cases.
△ Less
Submitted 3 October, 2023; v1 submitted 30 August, 2023;
originally announced August 2023.
-
On the Eigenvalue Distribution of Spatio-Spectral Limiting Operators in Higher Dimensions
Authors:
Arie Israel,
Azita Mayeli
Abstract:
Prolate spheroidal wave functions are an orthogonal family of bandlimited functions on $\mathbb{R}$ that have the highest concentration within a specific time interval. They are also identified as the eigenfunctions of a time-frequency limiting operator (TFLO), and the associated eigenvalues belong to the interval $[0, 1]$. Previous work has studied the asymptotic distribution and clustering behav…
▽ More
Prolate spheroidal wave functions are an orthogonal family of bandlimited functions on $\mathbb{R}$ that have the highest concentration within a specific time interval. They are also identified as the eigenfunctions of a time-frequency limiting operator (TFLO), and the associated eigenvalues belong to the interval $[0, 1]$. Previous work has studied the asymptotic distribution and clustering behavior of the TFLO eigenvalues.
In this paper, we extend these results to multiple dimensions. We prove estimates on the eigenvalues of a \emph{spatio-spectral limiting operator} (SSLO) on $L^2(\mathbb{R}^d)$, which is an alternating product of projection operators associated to given spatial and frequency domains in $\mathbb{R}^d$. If one of the domains is a hypercube, and the other domain is a convex body satisfying a symmetry condition, we derive quantitative bounds on the distribution of the SSLO eigenvalues in the interval $[0,1]$.
To prove our results, we design an orthonormal system of wave packets in $L^2(\mathbb{R}^d)$ that are highly concentrated in the spatial and frequency domains. We show that these wave packets are ``approximate eigenfunctions'' of a spatio-spectral limiting operator. To construct the wave packets, we use a variant of the Coifman-Meyer local sine basis for $L^2[0,1]$, and we lift the basis to higher dimensions using a tensor product.
△ Less
Submitted 14 December, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Approximate orthogonality, Bourgain's pinned distance theorem and exponential frames
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Let $A$ be a countable and discrete subset of ${\Bbb R}^d$, $d \ge 2$, of positive upper Beurling density. Let $K$ denote a bounded symmetric convex set with a smooth boundary and everywhere non-vanishing Gaussian curvature. It is known that ${\mathcal E}(A)=\{e^{2 πi x \cdot a}\}_{a \in A}$ cannot serve as an orthogonal basis for $L^2(K)$ \cite{IKT01}. In this paper, we prove that even approximat…
▽ More
Let $A$ be a countable and discrete subset of ${\Bbb R}^d$, $d \ge 2$, of positive upper Beurling density. Let $K$ denote a bounded symmetric convex set with a smooth boundary and everywhere non-vanishing Gaussian curvature. It is known that ${\mathcal E}(A)=\{e^{2 πi x \cdot a}\}_{a \in A}$ cannot serve as an orthogonal basis for $L^2(K)$ \cite{IKT01}. In this paper, we prove that even approximate average orthogonality is an obstacle to the existence of an exponential frame in the following sense. Let $A$ be as above and $φ\ge 0$ be a continuous monotonically nonincreasing function on $[0, \infty)$ such that the approximate orthogonality condition holds \begin{align}\notag {\left( \frac{1}{2^j} \int_{2^j}^{2^{j+1}} φ^p(t) dt \right)}^{1/p} \leq c_j 2^{-j\frac{d+1}{2}} \quad \text{and} \quad |\widehatχ_K(a-a')| \leq φ(ρ^*(a-a')) \ \forall a \not=a , a,a' \in A, \end{align} where $ρ^*$ is the Minkowski functional on $K^*$, the dual body of $K$. Then, if $$\limsup_{j \to \infty} c_j=0,$$ then the upper density of $A$ is equal to $0$, hence ${\mathcal E}(A)$ is not a frame for $L^2(K)$. The case $p=\infty$ was previously established by the authors of this paper in \cite{IM2020}. The point is that if ${\mathcal E}(A)$ is a frame for $L^2(K)$, then very few pairs of distinct exponentials $e^{2 πi x.a}, e^{2 πi x.a'}$ from ${\mathcal E}(A)$ come anywhere near being orthogonal. Our proof uses a generalization of Bourgain's result on pinned distances determined by sets of positive Lebesgue upper density in ${\Bbb R}^d$, $d \ge 2$. We also improve the $L^{\infty}$ version of this result originally established in \cite{IM2020}. By using an extension of the combinatorial idea from \cite{IR03}, we prove that under the $L^{\infty}$ hypothesis, $A$ is finite if $d \not=1 \mod 4$. If $d=1$ mod $4, A$ may be infinite, but if it is, then it must be a subset of a line.
△ Less
Submitted 22 January, 2023;
originally announced January 2023.
-
Fractal dimension, approximation and data sets
Authors:
L. Betti,
I. Chio,
J. Fleischman,
A. Iosevich,
F. Iulianelli,
S. Kirila,
M. Martino,
A. Mayeli,
S. Pack,
Z. Sheng,
C. Taliancic,
A. Thomas,
N. Whybra,
E. Wyman,
U. Yildirim,
K. Zhao
Abstract:
The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the num…
▽ More
The purpose of this paper is to study the fractal phenomena in large data sets and the associated questions of dimension reduction. We examine situations where the classical Principal Component Analysis is not effective in identifying the salient underlying fractal features of the data set. Instead, we employ the discrete energy, a technique borrowed from geometric measure theory, to limit the number of points of a given data set that lie near a $k$-dimensional hyperplane, or, more generally, near a set of a given upper Minkowski dimension. Concrete motivations stemming from naturally arising data sets are described and future directions outlined.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
A characterization of Gabor Riesz bases with separable time-frequency shifts
Authors:
Christina Frederick,
Azita Mayeli
Abstract:
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 Gab…
▽ More
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.
△ Less
Submitted 13 February, 2022;
originally announced February 2022.
-
Frame spectral pairs and exponential bases
Authors:
Christina Frederick,
Azita Mayeli
Abstract:
Given a domain $Ω\subset\Bbb R^d$ with positive and finite Lebesgue measure and a discrete set $Λ\subset \Bbb R^d$, we say that $(Ω, Λ)$ is a {\it frame spectral pair} if the set of exponential functions $\mathcal E(Λ):=\{e^{2πi λ\cdot x}: λ\in Λ\}$ is a frame for $L^2(Ω)$. Special cases of frames include Riesz bases and orthogonal bases. In the finite setting $\Bbb Z_N^d$, $d, N\geq 1$, a frame s…
▽ More
Given a domain $Ω\subset\Bbb R^d$ with positive and finite Lebesgue measure and a discrete set $Λ\subset \Bbb R^d$, we say that $(Ω, Λ)$ is a {\it frame spectral pair} if the set of exponential functions $\mathcal E(Λ):=\{e^{2πi λ\cdot x}: λ\in Λ\}$ is a frame for $L^2(Ω)$. Special cases of frames include Riesz bases and orthogonal bases. In the finite setting $\Bbb Z_N^d$, $d, N\geq 1$, a frame spectral pair can be similarly defined. %(Here, $\Bbb Z_N$ is the cyclic abelian group of order.) We show how to construct and obtain new classes of frame spectral pairs in $\Bbb R^d$ by "adding" frame spectral pairs in $\Bbb R^{d}$ and $\Bbb Z_N^d$. Our construction unifies the well-known examples of exponential frames for the union of cubes with equal volumes. We also remark on the link between the spectral property of a domain and sampling theory.
△ Less
Submitted 15 November, 2021; v1 submitted 12 October, 2020;
originally announced October 2020.
-
On complete and incomplete exponential systems
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
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} other…
▽ More
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}).
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Automated Pipeline for EEG Artifact Reduction (APPEAR) Recorded during fMRI
Authors:
Ahmad Mayeli,
Obada Al Zoubi,
Kaylee Henry,
Chung Ki Wong,
Evan J. White,
Qingfei Luo,
Vadim Zotev,
Hazem Refai,
the Tulsa 1000 Investigators,
Jerzy Bodurka
Abstract:
Objective. EEG data collected during fMRI acquisition are contaminated with MRI gradients and ballistocardiogram (BCG) artifacts, in addition to artifacts of physiological origin. There have been several attempts for reducing these artifacts with manual and time-consuming pre-processing, which may result in biasing EEG data due to variations in selecting steps order, parameters, and classification…
▽ More
Objective. EEG data collected during fMRI acquisition are contaminated with MRI gradients and ballistocardiogram (BCG) artifacts, in addition to artifacts of physiological origin. There have been several attempts for reducing these artifacts with manual and time-consuming pre-processing, which may result in biasing EEG data due to variations in selecting steps order, parameters, and classification of artifactual independent components. Thus, there is a strong urge to develop a fully automatic and comprehensive pipeline for reducing all major EEG artifacts. In this work, we introduced an open-access toolbox with a fully automatic pipeline for reducing artifacts from EEG data collected simultaneously with fMRI (refer to APPEAR). Approach. The pipeline integrates average template subtraction and independent component analysis (ICA) to suppress both MRI-related and physiological artifacts. To validate our results, we tested APPEAR on EEG data recorded from healthy control subjects during resting-state (n=48) and task-based (i.e., event-related-potentials [ERP]; n=8) paradigms. The chosen gold standard is an expert manual review of the EEG database. Main results. We compared manually and automated corrected EEG data during resting-state using frequency analysis and continuous wavelet transformation and found no significant differences between the two corrections. A comparison between ERP data recorded during a so-called stop-signal task (e.g., amplitude measures and signal-to-noise ratio) also showed no differences between the manually and fully automatic fMRI-EEG-corrected data. Significance: APPEAR offers the first comprehensive open-source toolbox that can speed up advancement of EEG analysis and enhance replication by avoiding experimenters' preferences while allowing for processing large EEG-fMRI cohorts composed of hundreds of subjects with manageable researcher time and effort.
△ Less
Submitted 30 June, 2021; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Integration of Simultaneous Resting-State Electroencephalography, Functional Magnetic Resonance Imaging, and Eye-Tracker Methods to Determine and Verify Electroencephalography Vigilance Measure
Authors:
Ahmad Mayeli,
Obada Al Zoubi,
Masaya Misaki,
Jennifer L. Stewart,
Vadim Zotev,
Qingfei Luo,
Raquel Phillips,
Stefan Fischer,
Marcus Goetz,
Martin P. Paulus,
Hazem Refai,
Jerzy Bodurka
Abstract:
Background/Introduction: Concurrent electroencephalography and resting-state functional magnetic resonance imaging (rsfMRI) have been widely used for studying the (presumably) awake and alert human brain with high temporal/spatial resolution. Although rsfMRI scans are typically collected while individuals are instructed to focus their eyes on a fixated cross, objective and verified experimental me…
▽ More
Background/Introduction: Concurrent electroencephalography and resting-state functional magnetic resonance imaging (rsfMRI) have been widely used for studying the (presumably) awake and alert human brain with high temporal/spatial resolution. Although rsfMRI scans are typically collected while individuals are instructed to focus their eyes on a fixated cross, objective and verified experimental measures to quantify degree of vigilance are not readily available. Electroencephalography (EEG) is the modality extensively used for estimating vigilance, especially during eyes-closed resting state. However, pupil size measured using an eye-tracker device could provide an indirect index of vigilance. Methods: Three 12-min resting scans (eyes open, fixating on the cross) were collected from 10 healthy control participants. We simultaneously collected EEG, fMRI, physiological, and eye-tracker data and investigated the correlation between EEG features, pupil size, and heart rate. Furthermore, we used pupil size and EEG features as regressors to find their correlations with blood-oxygen-level-dependent fMRI measures. Results: EEG frontal and occipital beta power (FOBP) correlates with pupil size changes, an indirect index for locus coeruleus activity implicated in vigilance regulation (r = 0.306, p < 0.001). Moreover, FOBP also correlated with heart rate (r = 0.255, p < 0.001), as well as several brain regions in the anticorrelated network, including the bilateral insula and inferior parietal lobule. Discussion: In this study, we investigated whether simultaneous EEG-fMRI combined with eye-tracker measurements can be used to determine EEG signal feature associated with vigilance measures during eyes-open rsfMRI. Our results support the conclusion that FOBP is an objective measure of vigilance in healthy human subjects.
△ Less
Submitted 19 June, 2021; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Emotion self-regulation training in major depressive disorder using simultaneous real-time fMRI and EEG neurofeedback
Authors:
Vadim Zotev,
Ahmad Mayeli,
Masaya Misaki,
Jerzy Bodurka
Abstract:
Simultaneous real-time fMRI and EEG neurofeedback (rtfMRI-EEG-nf) is an emerging neuromodulation approach, that enables simultaneous volitional regulation of both hemodynamic (BOLD fMRI) and electrophysiological (EEG) brain activities. Here we report the first application of rtfMRI-EEG-nf for emotion self-regulation training in patients with major depressive disorder (MDD). In this proof-of-concep…
▽ More
Simultaneous real-time fMRI and EEG neurofeedback (rtfMRI-EEG-nf) is an emerging neuromodulation approach, that enables simultaneous volitional regulation of both hemodynamic (BOLD fMRI) and electrophysiological (EEG) brain activities. Here we report the first application of rtfMRI-EEG-nf for emotion self-regulation training in patients with major depressive disorder (MDD). In this proof-of-concept study, MDD patients in the experimental group (n=16) used rtfMRI-EEG-nf during a happy emotion induction task to simultaneously upregulate two fMRI and two EEG activity measures relevant to MDD. The target measures included BOLD activities of the left amygdala (LA) and left rostral anterior cingulate cortex (rACC), and frontal EEG asymmetries in the alpha band (FAA, [7.5-12.5] Hz) and high-beta band (FBA, [21-30] Hz). MDD patients in the control group (n=8) were provided with sham feedback signals. An advanced procedure for improved real-time EEG-fMRI artifact correction was implemented. The experimental group participants demonstrated significant upregulation of the LA BOLD activity, FAA, and FBA during the rtfMRI-EEG-nf task, as well as significant enhancement in fMRI connectivity between the LA and left rACC. Average individual FAA changes during the rtfMRI-EEG-nf task positively correlated with depression and anhedonia severities, and negatively correlated with after-vs-before changes in depressed mood ratings. Temporal correlations between the FAA and FBA time courses and the LA BOLD activity were significantly enhanced during the rtfMRI-EEG-nf task. The experimental group participants reported significant mood improvements after the training. Our results suggest that the rtfMRI-EEG-nf may have potential for treatment of MDD.
△ Less
Submitted 29 June, 2020; v1 submitted 12 September, 2019;
originally announced September 2019.
-
Non-convex optimization via strongly convex majoirziation-minimization
Authors:
Azita Mayeli
Abstract:
In this paper, we introduce a class of nonsmooth nonconvex least square optimization problem using convex analysis tools and we propose to use the iterative minimization-majorization (MM) algorithm on a convex set with initializer away from the origin to find an optimal point for the optimization problem. For this, first we use an approach to construct a class of convex majorizers which approximat…
▽ More
In this paper, we introduce a class of nonsmooth nonconvex least square optimization problem using convex analysis tools and we propose to use the iterative minimization-majorization (MM) algorithm on a convex set with initializer away from the origin to find an optimal point for the optimization problem. For this, first we use an approach to construct a class of convex majorizers which approximate the value of non-convex cost function on a convex set. The convergence of the iterative algorithm is guaranteed when the initial point $x^{(0)}$ is away from the origin and the iterative points $x^{(k)}$ are obtained in a ball centred at $x^{(k-1)}$ with small radius. The algorithm converges to a stationary point of cost function when the surregators are strongly convex. For the class of our optimization problems, the proposed penalizer of the cost function is the difference of $\ell_1$-norm and the Moreau envelope of a convex function, and it is a generalization of GMC non-separable penalty function previously introduced by Ivan Selesnick in \cite{IS17}.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Riesz bases of exponentials and multi-tiling in finite abelian groups
Authors:
Sam Ferguson,
Azita Mayeli,
Nat Sothanaphan
Abstract:
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 ba…
▽ More
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.
△ Less
Submitted 19 January, 2021; v1 submitted 9 April, 2019;
originally announced April 2019.
-
The Fuglede Conjecture holds in \(\F_p^3\) for p=5,7
Authors:
Thomas Fallon,
Azita Mayeli,
Dominick Villano
Abstract:
For p=5,7, we show that a subset \(E \subset \F_p^3\) is spectral if and only if E tiles \(\F_p^3\) by translation. Additionally, we give an alternate proof that the conjecture holds for p=3.
For p=5,7, we show that a subset \(E \subset \F_p^3\) is spectral if and only if E tiles \(\F_p^3\) by translation. Additionally, we give an alternate proof that the conjecture holds for p=3.
△ Less
Submitted 10 June, 2019; v1 submitted 7 February, 2019;
originally announced February 2019.
-
On Gabor orthonormal bases over finite prime fields
Authors:
A. Iosevich,
M. Kolountzakis,
Yu. Lyubarskii,
A. Mayeli,
J. Pakianathan
Abstract:
We study Gabor orthonormal windows in $L^2({\Bbb Z}_p^d)$ for translation and modulation sets $A$ and $B$, respectively, where $p$ is prime and $d\geq 2$. We prove that for a set $E\subset \Bbb Z_p^d$, the indicator function $1_E$ is a Gabor window if and only if $E$ tiles and is spectral. Moreover, we prove that for any function $g:\Bbb Z_p^d\to \Bbb C$ with support $E$, if the size of $E$ coinci…
▽ More
We study Gabor orthonormal windows in $L^2({\Bbb Z}_p^d)$ for translation and modulation sets $A$ and $B$, respectively, where $p$ is prime and $d\geq 2$. We prove that for a set $E\subset \Bbb Z_p^d$, the indicator function $1_E$ is a Gabor window if and only if $E$ tiles and is spectral. Moreover, we prove that for any function $g:\Bbb Z_p^d\to \Bbb C$ with support $E$, if the size of $E$ coincides with the size of the modulation set $B$ or if $g$ is positive, then $g$ is a unimodular function, i.e., $|g|=c1_E$, for some constant $c>0$, and $E$ tiles and is spectral. We also prove the existence of a Gabor window $g$ with full support where neither $|g|$ nor $|\hat g|$ is an indicator function and $|B|<<p^d$. We conclude the paper with an example and open questions.
△ Less
Submitted 25 December, 2017;
originally announced December 2017.
-
Non-separable lattices, Gabor orthonormal bases and Tilings
Authors:
Chun-Kit Lai,
Azita Mayeli
Abstract:
Let $K\subset \Bbb R^d$ be a set with positive and finite Lebesgue measure. Let $Λ=M(\Bbb Z^{2d})$ be a lattice in $\Bbb R^{2d}$ with density dens$(Λ)=1$. It is well-known that if $M$ is a diagonal block matrix with diagonal matrices $A$ and $B$, then $\mathcal G(|K|^{-1/2}χ_K, Λ)$ is an orthonormal basis for $L^2(\Bbb R^d)$ if and only if $K$ tiles both by $A(\Bbb Z^d)$ and $B^{-t}(\Bbb Z^d)$. Ho…
▽ More
Let $K\subset \Bbb R^d$ be a set with positive and finite Lebesgue measure. Let $Λ=M(\Bbb Z^{2d})$ be a lattice in $\Bbb R^{2d}$ with density dens$(Λ)=1$. It is well-known that if $M$ is a diagonal block matrix with diagonal matrices $A$ and $B$, then $\mathcal G(|K|^{-1/2}χ_K, Λ)$ is an orthonormal basis for $L^2(\Bbb R^d)$ if and only if $K$ tiles both by $A(\Bbb Z^d)$ and $B^{-t}(\Bbb Z^d)$. However, there has not been any intensive study when $M$ is not a diagonal matrix. We investigate this problem for a large class of important cases of $M$. In particular, if $M$ is any lower block triangular matrix with diagonal matrices $A$ and $B$, we prove that if $\mathcal G(|K|^{-1/2}χ_K, Λ)$ is an orthonormal basis, then $K$ can be written as a finite union of fundamental domains of $A({\mathbb Z}^d)$ and at the same time, as a finite union of fundamental domains of $B^{-t}({\mathbb Z}^d)$. If $A^tB$ is an integer matrix, then there is only one common fundamental domain, which means $K$ tiles by a lattice and is spectral. However, surprisingly, we will also illustrate by an example that a union of more than one fundamental domains is also possible. We also provide a constructive way for forming a Gabor window functions for a given upper triangular lattice.
Our study is related to a Fuglede's type problem in Gabor setting and we give a partial answer to this problem in the case of lattices.
△ Less
Submitted 17 November, 2018; v1 submitted 28 November, 2017;
originally announced November 2017.
-
Gabor orthogonal bases and convexity
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
Let $g(x)=χ_B(x)$ be the indicator function of a bounded convex set in $\Bbb R^d$, $d\geq 2$, with a smooth boundary and everywhere non-vanishing Gaussian curvature. Using a combinatorial appraoch we prove that if $d \neq 1 \mod 4$, then there does not exist $S \subset {\Bbb R}^{2d}$ such that ${ \{g(x-a)e^{2 πi x \cdot b} \}}_{(a,b) \in S}$ is an orthonormal basis for $L^2({\Bbb R}^d)$.
Let $g(x)=χ_B(x)$ be the indicator function of a bounded convex set in $\Bbb R^d$, $d\geq 2$, with a smooth boundary and everywhere non-vanishing Gaussian curvature. Using a combinatorial appraoch we prove that if $d \neq 1 \mod 4$, then there does not exist $S \subset {\Bbb R}^{2d}$ such that ${ \{g(x-a)e^{2 πi x \cdot b} \}}_{(a,b) \in S}$ is an orthonormal basis for $L^2({\Bbb R}^d)$.
△ Less
Submitted 10 December, 2018; v1 submitted 21 August, 2017;
originally announced August 2017.
-
Calderón-type inequalities for affine frames
Authors:
Davide Barbieri,
Eugenio Hernández,
Azita Mayeli
Abstract:
We prove sharp upper and lower bounds for generalized Calderón's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use of techniques of analysis on metric spaces, and relies on a counting estimate of lattice points inside metric balls. We will deduce as special cases Calderón-type…
▽ More
We prove sharp upper and lower bounds for generalized Calderón's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use of techniques of analysis on metric spaces, and relies on a counting estimate of lattice points inside metric balls. We will deduce as special cases Calderón-type inequalities for families of expanding automorphisms as well as for LCA-Gabor systems.
△ Less
Submitted 31 July, 2019; v1 submitted 20 June, 2017;
originally announced June 2017.
-
Tight Wavelet Frame Sets in Finite Vector Spaces
Authors:
Alex Iosevich,
Chun-Kit Lai,
Azita Mayeli
Abstract:
Let $q\geq 2$ be an integer, and $\Bbb F_q^d$, $d\geq 1$, be the vector space over the cyclic space $\Bbb F_q$. The purpose of this paper is two-fold. First, we obtain sufficient conditions on $E \subset \Bbb F_q^d$ such that the inverse Fourier transform of $1_E$ generates a tight wavelet frame in $L^2(\Bbb F_q^d)$. We call these sets (tight) wavelet frame sets. The conditions are given in terms…
▽ More
Let $q\geq 2$ be an integer, and $\Bbb F_q^d$, $d\geq 1$, be the vector space over the cyclic space $\Bbb F_q$. The purpose of this paper is two-fold. First, we obtain sufficient conditions on $E \subset \Bbb F_q^d$ such that the inverse Fourier transform of $1_E$ generates a tight wavelet frame in $L^2(\Bbb F_q^d)$. We call these sets (tight) wavelet frame sets. The conditions are given in terms of multiplicative and translational tilings, which is analogous with Theorem 1.1 ([20]) by Wang in the setting of finite fields. In the second part of the paper, we exhibit a constructive method for obtaining tight wavelet frame sets in $\Bbb F_q^d$, $d\geq 2$, $q$ an odd prime and $q\equiv 3$ (mod 4).
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Identification of Besov spaces via Littlewood-Paley-Stein Type g-functions
Authors:
Azita Mayeli
Abstract:
We use Littlewood-Paley-Stein type g-functions (also called generalized square functions) associated to symmetric diffusion semigroups to obtain a characterization of inhomogeneous abstract Besov spaces on the abstract Hilbert spaces. Then we apply our results for the abstract Besov spaces defined through the Poisson and Gauss-Weierstrass semigroups.
We use Littlewood-Paley-Stein type g-functions (also called generalized square functions) associated to symmetric diffusion semigroups to obtain a characterization of inhomogeneous abstract Besov spaces on the abstract Hilbert spaces. Then we apply our results for the abstract Besov spaces defined through the Poisson and Gauss-Weierstrass semigroups.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
A unified approach for Littlewood-Paley Decomposition of Abstract Besov Spaces
Authors:
Azita Mayeli
Abstract:
We apply spectral theoretic methods to obtain a Littlewood-Paley decomposition of abstract inhomogeneous Besov spaces in terms of "smooth" and "bandlimited" functions. Well-known decompositions in several contexts are as special examples and are unified under the spectral theoretic approach
We apply spectral theoretic methods to obtain a Littlewood-Paley decomposition of abstract inhomogeneous Besov spaces in terms of "smooth" and "bandlimited" functions. Well-known decompositions in several contexts are as special examples and are unified under the spectral theoretic approach
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Riesz Wavelets, Tiling and Spectral Sets in LCA Groups
Authors:
Azita Mayeli
Abstract:
This paper is devoted to the study of geometry properties of wavelet and Riesz wavelet sets on locally compact abelian groups. The catalyst for our research is a result by Wang ([32], Theorem 1.1) in the Euclidean wavelet theory. Here, we extend the result to wavelet and Riesz wavelet collection of sets in infinite locally compact abelian groups.
This paper is devoted to the study of geometry properties of wavelet and Riesz wavelet sets on locally compact abelian groups. The catalyst for our research is a result by Wang ([32], Theorem 1.1) in the Euclidean wavelet theory. Here, we extend the result to wavelet and Riesz wavelet collection of sets in infinite locally compact abelian groups.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Lattice sub-tilings and frames in LCA groups
Authors:
Davide Barbieri,
Eugenio Hernandez,
Azita Mayeli
Abstract:
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 charac…
▽ More
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.
△ Less
Submitted 13 December, 2016; v1 submitted 11 May, 2016;
originally announced May 2016.
-
Wavelet decomposition and bandwidth of functions defined on vector spaces over finite fields
Authors:
A. Iosevich,
A. Liu,
A. Mayeli,
J. Pakianathan
Abstract:
In this paper we study how zeros of the Fourier transform of a function $f: \mathbb{Z}_p^d \to \mathbb{C}$ are related to the structure of the function itself. In particular, we introduce a notion of bandwidth of such functions and discuss its connection with the decomposition of this function into wavelets. Connections of these concepts with the tomography principle and the Nyquist-Shannon sampli…
▽ More
In this paper we study how zeros of the Fourier transform of a function $f: \mathbb{Z}_p^d \to \mathbb{C}$ are related to the structure of the function itself. In particular, we introduce a notion of bandwidth of such functions and discuss its connection with the decomposition of this function into wavelets. Connections of these concepts with the tomography principle and the Nyquist-Shannon sampling theorem are explored.
We examine a variety of cases such as when the Fourier transform of the characteristic function of a set $E$ vanishes on specific sets of points, affine subspaces, and algebraic curves. In each of these cases, we prove properties such as equidistribution of $E$ across various surfaces and bounds on the size of $E$.
We also establish a finite field Heisenberg uncertainty principle for sets that relates their bandwidth dimension and spatial dimension.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
Tiling by lattices for locally compact abelian groups
Authors:
Davide Barbieri,
Eugenio Hernández,
Azita Mayeli
Abstract:
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.
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.
△ Less
Submitted 4 July, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
The Fuglede Conjecture holds in ${\Bbb Z}_p \times {\Bbb Z}_p$
Authors:
Alex Iosevich,
Azita Mayeli,
Jonathan Pakianathan
Abstract:
In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Ar…
▽ More
In this paper we study subsets $E$ of ${\Bbb Z}_p^d$ such that any function $f: E \to {\Bbb C}$ can be written as a linear combination of characters orthogonal with respect to $E$. We shall refer to such sets as spectral. In this context, we prove the Fuglede Conjecture in ${\Bbb Z}_p^2$ which says that $E \subset {\Bbb Z}_p^2$ is spectral if and only if $E$ tiles ${\Bbb Z}_p^2$ by translation. Arithmetic properties of the finite field Fourier transform, elementary Galois theory and combinatorial geometric properties of direction sets play the key role in the proof.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Exponential bases, Paley-Wiener spaces and applications
Authors:
Alex Iosevich,
Azita Mayeli
Abstract:
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.
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.
△ Less
Submitted 12 October, 2014;
originally announced October 2014.
-
Decompositions of Generalized Wavelet Representations
Authors:
B. Currey,
A. Mayeli,
V. Oussa
Abstract:
Let $N$ be a simply connected, connected nilpotent Lie group which admits a uniform subgroup $Γ.$ Let $α$ be an automorphism of $N$ defined by $α\left( \exp X\right) =\exp AX.$ We assume that the linear action of $A$ is diagonalizable and we do not assume that $N$ is commutative. Let $W$ be a unitary wavelet representation of the semi-direct product group…
▽ More
Let $N$ be a simply connected, connected nilpotent Lie group which admits a uniform subgroup $Γ.$ Let $α$ be an automorphism of $N$ defined by $α\left( \exp X\right) =\exp AX.$ We assume that the linear action of $A$ is diagonalizable and we do not assume that $N$ is commutative. Let $W$ be a unitary wavelet representation of the semi-direct product group $\left\langle \cup_{j\in\mathbb{Z}}α^{j}\left( Γ\right) \right\rangle \rtimes\left\langle α\right\rangle $ defined by $W\left( γ,1\right) =f\left( γ^{-1}x\right) $ and $W\left( 1,α\right) =\left\vert \det A\right\vert ^{1/2}f\left( αx\right) .$ We obtain a decomposition of $W$ into a direct integral of unitary representations. Moreover, we provide an explicit unitary operator intertwining the representations, a precise description of the representations occurring, the measure used in the direct integral decomposition and the support of the measure. We also study the irreducibility of the fiber representations occurring in the direct integral decomposition in various settings. We prove that in the case where $A$ is an expansive automorphism then the decomposition of $W$ is in fact a direct integral of unitary irreducible representations each occurring with infinite multiplicities if and only if $N$ is non-commutative. This work naturally extends results obtained by H. Lim, J. Packer and K. Taylor who obtained a direct integral decomposition of $W$ in the case where $N$ is commutative and the matrix $A$ is expansive, i.e. all eigenvalues have absolute values larger than one.
△ Less
Submitted 5 February, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
Bracket map for Heisenberg group and the characterization of cyclic subspaces
Authors:
Davide Barbieri,
Eugenio Hernandez,
Azita Mayeli
Abstract:
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 integra…
▽ More
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.
△ Less
Submitted 10 March, 2013;
originally announced March 2013.
-
Regular Representations of Time-Frequency Groups
Authors:
Azita Mayeli,
Vignon Oussa
Abstract:
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-singula…
▽ More
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.$
△ Less
Submitted 24 September, 2013; v1 submitted 21 January, 2013;
originally announced January 2013.
-
Shift-invariant spaces on SI/Z Lie groups
Authors:
Bradley Currey,
Azita Mayeli,
Vignon Oussa
Abstract:
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 famili…
▽ More
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.
△ Less
Submitted 29 May, 2012;
originally announced May 2012.
-
Paley-Wiener description of K-spherical Besov spaces on the Heisenberg group
Authors:
Azita Mayeli
Abstract:
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 functio…
▽ More
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.
△ Less
Submitted 19 November, 2011;
originally announced November 2011.
-
Coorbit description and atomic decomposition of Besov spaces
Authors:
Jens Gerlach Christensen,
Azita Mayeli,
Gestur Olafsson
Abstract:
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 stra…
▽ More
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.
△ Less
Submitted 13 March, 2012; v1 submitted 30 October, 2011;
originally announced October 2011.
-
The orthonormal dilation property for abstract Parseval wavelet frames
Authors:
by Bradley Currey,
Azita Mayeli
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 August, 2010;
originally announced August 2010.
-
A Density Condition for Interpolation on the Heisenberg Group
Authors:
Bradley Currey,
Azita Mayeli
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 July, 2010;
originally announced July 2010.
-
Homogeneous Besov spaces on stratified Lie groups and their wavelet characterization
Authors:
Hartmut Führ,
Azita Mayeli
Abstract:
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 me…
▽ More
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}$.
△ Less
Submitted 3 January, 2012; v1 submitted 23 July, 2010;
originally announced July 2010.
-
Introducing Mexican needlets for CMB analysis: Issues for practical applications and comparison with standard needlets
Authors:
S. Scodeller,
O. Rudjord,
F. K. Hansen,
D. Marinucci,
D. Geller,
A. Mayeli
Abstract:
Over the last few years, needlets have a emerged as a useful tool for the analysis of Cosmic Microwave Background (CMB) data. Our aim in this paper is first to introduce in the CMB literature a different form of needlets, known as Mexican needlets, first discussed in the mathematical literature by Geller and Mayeli (2009a,b). We then proceed with an extensive study of the properties of both standa…
▽ More
Over the last few years, needlets have a emerged as a useful tool for the analysis of Cosmic Microwave Background (CMB) data. Our aim in this paper is first to introduce in the CMB literature a different form of needlets, known as Mexican needlets, first discussed in the mathematical literature by Geller and Mayeli (2009a,b). We then proceed with an extensive study of the properties of both standard and Mexican needlets; these properties depend on some parameters which can be tuned in order to optimize the performance for a given application. Our second aim in this paper is then to give practical advice on how to adjust these parameters in order to achieve the best properties for a given problem in CMB data analysis. In particular we investigate localization properties in real and harmonic spaces and propose a recipe on how to quantify the influence of galactic and point source masks on the needlet coefficients. We also show that for certain parameter values, the Mexican needlets provide a close approximation to the Spherical Mexican Hat Wavelets (whence their name), with some advantages concerning their numerical implementation and the derivation of their statistical properties.
△ Less
Submitted 26 August, 2011; v1 submitted 30 April, 2010;
originally announced April 2010.
-
Nearly tight frames of spin wavelets on the sphere
Authors:
D. Geller,
A. Mayeli
Abstract:
We show that the spin wavelets on the sphere $S^2$, which were constructed by the first author and Marinucci in an earlier article, can be chosen so as to form a nearly tight frame. These spin wavelets can be applied to the study of the polarization of cosmic microwave background radiation. For certain of these frames, there is a positive $C$ such that each frame element at scale $a^j$ is suppor…
▽ More
We show that the spin wavelets on the sphere $S^2$, which were constructed by the first author and Marinucci in an earlier article, can be chosen so as to form a nearly tight frame. These spin wavelets can be applied to the study of the polarization of cosmic microwave background radiation. For certain of these frames, there is a positive $C$ such that each frame element at scale $a^j$ is supported in a geodesic ball of radius $Ca^j$.
△ Less
Submitted 22 July, 2009; v1 submitted 17 July, 2009;
originally announced July 2009.
-
Gabor fields and wavelet sets for the Heisenberg group
Authors:
Bradley Currey,
Azita Mayeli
Abstract:
We study singly-generated wavelet systems on $\Bbb R^2$ that are naturally associated with rank-one wavelet systems on the Heisenberg group $N$. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset $I$ of the dual of $N$, we give an explicit construction for Parseval frame wavelets that are associated with $I$. We say that…
▽ More
We study singly-generated wavelet systems on $\Bbb R^2$ that are naturally associated with rank-one wavelet systems on the Heisenberg group $N$. We prove a necessary condition on the generator in order that any such system be a Parseval frame. Given a suitable subset $I$ of the dual of $N$, we give an explicit construction for Parseval frame wavelets that are associated with $I$. We say that $g\in L^2(I\times \Bbb R)$ is Gabor field over $I$ if, for a.e. $λ\in I$, $|λ|^{1/2} g(λ,\cdot)$ is the Gabor generator of a Parseval frame for $L^2(\Bbb R)$, and that $I$ is a Heisenberg wavelet set if every Gabor field over $I$ is a Parseval frame (mother-)wavelet for $L^2(\Bbb R^2)$. We then show that $I$ is a Heisenberg wavelet set if and only if $I$ is both translation congruent with a subset of the unit interval and dilation congruent with the Shannon set.
△ Less
Submitted 19 May, 2009; v1 submitted 28 March, 2009;
originally announced March 2009.
-
Continuous Wavelets on Compact Manifolds
Authors:
Daryl Geller,
Azita Mayeli
Abstract:
Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $Δ_{\bf M}$ be the Laplace-Beltrami operator on ${\bf M}$. Say $0 \neq f \in \mathcal{S}(\RR^+)$, and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of $f(t^2 Δ_{\bf M})$. We show that $K_t$ is well-localized near the diagonal, in the sense that it satisfies estimates akin to those satisfied by the kernel of th…
▽ More
Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $Δ_{\bf M}$ be the Laplace-Beltrami operator on ${\bf M}$. Say $0 \neq f \in \mathcal{S}(\RR^+)$, and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of $f(t^2 Δ_{\bf M})$. We show that $K_t$ is well-localized near the diagonal, in the sense that it satisfies estimates akin to those satisfied by the kernel of the convolution operator $f(t^2Δ)$ on $\RR^n$. We define continuous ${\cal S}$-wavelets on ${\bf M}$, in such a manner that $K_t(x,y)$ satisfies this definition, because of its localization near the diagonal. Continuous ${\cal S}$-wavelets on ${\bf M}$ are analogous to continuous wavelets on $\RR^n$ in $\mathcal{S}(\RR^n)$. In particular, we are able to characterize the H$\ddot{o}$lder continuous functions on ${\bf M}$ by the size of their continuous ${\mathcal{S}}-$wavelet transforms, for H$\ddot{o}$lder exponents strictly between 0 and 1. If $\bf M$ is the torus $\TT^2$ or the sphere $S^2$, and $f(s)=se^{-s}$ (the ``Mexican hat'' situation), we obtain two explicit approximate formulas for $K_t$, one to be used when $t$ is large, and one to be used when $t$ is small.
△ Less
Submitted 26 November, 2008;
originally announced November 2008.
-
Asymptotic Uncorrelation for Mexican Needlets
Authors:
Azita Mayeli
Abstract:
We recall Mexican needlets from [5]. We derive an estimate for certain types of Legendre series, which we apply to the statistical properties of Mexican needlets. More precisely, we shall show that, under isotropy and Gaussianity assumptions, the Mexican needlet coefficients of a random field on the sphere are asymptotically uncorrelated, as the frequency parameter goes to infinity. This propert…
▽ More
We recall Mexican needlets from [5]. We derive an estimate for certain types of Legendre series, which we apply to the statistical properties of Mexican needlets. More precisely, we shall show that, under isotropy and Gaussianity assumptions, the Mexican needlet coefficients of a random field on the sphere are asymptotically uncorrelated, as the frequency parameter goes to infinity. This property is important in the analysis of cosmic microwave background radiation.
△ Less
Submitted 9 April, 2009; v1 submitted 18 June, 2008;
originally announced June 2008.
-
Shannon Multiresolution Analysis on the Heisenberg Group
Authors:
Azita Mayeli
Abstract:
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…
▽ More
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$.
△ Less
Submitted 11 April, 2008; v1 submitted 2 April, 2008;
originally announced April 2008.
-
Besov Spaces and Frames on Compact Manifolds
Authors:
Daryl Geller,
Azita Mayeli
Abstract:
We show that one can characterize the Besov spaces on a smooth compact oriented Riemannian manifold, for the full range of indices, through a knowledge of the size of frame coefficients, using the frames we have constructed in [8].
We show that one can characterize the Besov spaces on a smooth compact oriented Riemannian manifold, for the full range of indices, through a knowledge of the size of frame coefficients, using the frames we have constructed in [8].
△ Less
Submitted 7 September, 2009; v1 submitted 15 September, 2007;
originally announced September 2007.
-
Nearly Tight Frames and Space-Frequency Analysis on Compact Manifolds
Authors:
Daryl Geller,
Azita Mayeli
Abstract:
Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $Δ$ be the Laplace-Beltrami operator on ${\bf M}$. Say $0 \neq f \in \mathcal{S}(\RR^+)$, and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of $f(t^2 Δ)$. Suppose $f$ satisfies Daubechies' criterion, and $b > 0$. For each $j$, write ${\bf M}$ as a disjoint union of measurable sets $E_{j,k}$ with diameter at mo…
▽ More
Let $\bf M$ be a smooth compact oriented Riemannian manifold, and let $Δ$ be the Laplace-Beltrami operator on ${\bf M}$. Say $0 \neq f \in \mathcal{S}(\RR^+)$, and that $f(0) = 0$. For $t > 0$, let $K_t(x,y)$ denote the kernel of $f(t^2 Δ)$. Suppose $f$ satisfies Daubechies' criterion, and $b > 0$. For each $j$, write ${\bf M}$ as a disjoint union of measurable sets $E_{j,k}$ with diameter at most $ba^j$, and comparable to $ba^j$ if $ba^j$ is sufficiently small. Take $x_{j,k} \in E_{j,k}$. We then show that the functions $φ_{j,k}(x)=[μ(E_{j,k})]^{1/2} \bar{K_{a^j}}(x_{j,k},x)$ form a frame for $(I-P)L^2({\bf M})$, for $b$ sufficiently small (here $P$ is the projection onto the constant functions). Moreover, we show that the ratio of the frame bounds approaches 1 nearly quadratically as the dilation parameter approaches 1, so that the frame quickly becomes nearly tight (for $b$ sufficiently small). Moreover, based upon how well-localized a function $F \in (I-P)L^2$ is in space and in frequency, we can describe which terms in the summation $F \sim SF = \sum_j \sum_k < F,φ_{j,k} > φ_{j,k}$ are so small that they can be neglected. If $n=2$ and $\bf M$ is the torus or the sphere, and $f(s)=se^{-s}$ (the "Mexican hat" situation), we obtain two explicit approximate formulas for the $φ_{j,k}$, one to be used when $t$ is large, and one to be used when $t$ is small. Finally we explain in what sense the kernel $K_t(x,y)$ should itself be regarded as a continuous wavelet on ${\bf M}$, and characterize the Hölder continuous functions on ${\bf M}$ by the size of their continuous wavelet transforms, for Hölder exponents strictly between 0 and 1.
△ Less
Submitted 26 November, 2008; v1 submitted 25 June, 2007;
originally announced June 2007.
-
Mexican Hat Wavelet on the Heisenberg Group
Authors:
Azita Mayeli
Abstract:
In this article wavelets (admissible vectors) on the Heisenberg group are studied from the point of view of Calderon's formula. Further we shall show that for the class of Schwartz functions the Calderon admissibility condition is equivalent to the usual admissibility property which will be introduced in this work. Furthermore motivated by a well-known example on the real line, the Mexican-Hat w…
▽ More
In this article wavelets (admissible vectors) on the Heisenberg group are studied from the point of view of Calderon's formula. Further we shall show that for the class of Schwartz functions the Calderon admissibility condition is equivalent to the usual admissibility property which will be introduced in this work. Furthermore motivated by a well-known example on the real line, the Mexican-Hat wavelet, we demonstrate the existence and construction of an analogous wavelet on the Heisenberg Lie group with 2 vanishing moments, which together with all of its derivatives has Gaussian decay.
△ Less
Submitted 23 May, 2007;
originally announced May 2007.
-
Continuous Wavelets and Frames on Stratified Lie Groups I
Authors:
Daryl Geller,
Azita Mayeli
Abstract:
Let G be a stratified Lie group and L be the sub-Laplacian on G. Let 0 \neq f\in S(R^+).
We show that Lf(L)δ, the distribution kernel of the operator Lf(L), is an admissible function on G. We also show that, if ξf(ξ) satisfies Daubechies' criterion, then L f(L)δgenerates a frame for any sufficiently fine lattice subgroup of G.
Let G be a stratified Lie group and L be the sub-Laplacian on G. Let 0 \neq f\in S(R^+).
We show that Lf(L)δ, the distribution kernel of the operator Lf(L), is an admissible function on G. We also show that, if ξf(ξ) satisfies Daubechies' criterion, then L f(L)δgenerates a frame for any sufficiently fine lattice subgroup of G.
△ Less
Submitted 9 May, 2006; v1 submitted 9 February, 2006;
originally announced February 2006.