Showing 1–47 of 47 results for author: Cabrelli, C

Weaving Riesz Bases

Authors: Carlos Cabrelli, Ursula Molter, Felipe Negreira

Abstract: This paper explores woven frames in separable Hilbert spaces with an initial focus on the finite-dimensional case. We begin by simplifying the problem to bases, for which we obtain a unique characterization. We establish a condition that is both necessary and sufficient for vector reconstruction, which applies to Fourier matrices. Furthermore, we show that these characterizations are still valid i… ▽ More This paper explores woven frames in separable Hilbert spaces with an initial focus on the finite-dimensional case. We begin by simplifying the problem to bases, for which we obtain a unique characterization. We establish a condition that is both necessary and sufficient for vector reconstruction, which applies to Fourier matrices. Furthermore, we show that these characterizations are still valid in the infinite-dimensional case, for Riesz bases. Finally, we obtain several results for weaving Riesz bases of translations. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 15 pages

Learning optimal smooth invariant subspaces for data approximation

Authors: Davide Barbieri, Eugenio Hernández, Carlos Cabrelli, Ursula Molter

Abstract: In this article, we consider the problem of approximating a finite set of data (usually huge in applications) by invariant subspaces generated through a small set of smooth functions. The invariance is either by translations under a full-rank lattice or through the action of crystallographic groups. Smoothness is ensured by stipulating that the generators belong to a Paley-Wiener space, that is se… ▽ More In this article, we consider the problem of approximating a finite set of data (usually huge in applications) by invariant subspaces generated through a small set of smooth functions. The invariance is either by translations under a full-rank lattice or through the action of crystallographic groups. Smoothness is ensured by stipulating that the generators belong to a Paley-Wiener space, that is selected in an optimal way based on the characteristics of the given data. To complete our investigation, we analyze the fundamental role played by the lattice in the process of approximation. △ Less

Submitted 21 November, 2023; originally announced November 2023.

MSC Class: 41A65; 43A70

Frames by orbits of two operators that commute

Authors: A. Aguilera, C. Cabrelli, D. Carbajal, V. Paternostro

Abstract: Frames formed by orbits of vectors through the iteration of a bounded operator have recently attracted considerable attention, in particular due to its applications to dynamical sampling. In this article, we consider two commuting bounded operators acting on some separable Hilbert space $\mathcal H$. We completely characterize operators $T$ and $L$ with $TL=LT$ and sets $Φ\subset \mathcal H$ such… ▽ More Frames formed by orbits of vectors through the iteration of a bounded operator have recently attracted considerable attention, in particular due to its applications to dynamical sampling. In this article, we consider two commuting bounded operators acting on some separable Hilbert space $\mathcal H$. We completely characterize operators $T$ and $L$ with $TL=LT$ and sets $Φ\subset \mathcal H$ such that the collection $\{T^k L^j φ: k\in \mathbb Z, j\in J, φ\in Φ\}$ forms a frame of $\mathcal H$. This is done in terms of model subspaces of the space of square integrable functions defined on the torus and having values in some Hardy space with multiplicity. The operators acting on these models are the bilateral shift and the compression of the unilateral shift (acting pointwisely). This context includes the case when the Hilbert space $\mathcal H$ is a subspace of $L^2(\mathbb R)$, invariant under translations along the integers, where the operator $T$ is the translation by one and $L$ is a shift-preserving operator. △ Less

Submitted 17 May, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: 18 pages. To appear in Applied and Computational Harmonic Analysis

Frames of iterations and vector-valued model spaces

Authors: Carlos Cabrelli, Ursula Molter, Daniel Suárez

Abstract: Let T be a bounded operator on a Hilbert space H, and F = {f_j: j in J} an at most countable set of vectors in H. In this note, we characterize the pairs {T, F} such that {T^n f: f in F, n in I} form a frame of H, for the cases of I = N_0 and I = Z. The characterization for unilateral iterations gives a similarity with the compression of the shift acting on model spaces of the Hardy space of analy… ▽ More Let T be a bounded operator on a Hilbert space H, and F = {f_j: j in J} an at most countable set of vectors in H. In this note, we characterize the pairs {T, F} such that {T^n f: f in F, n in I} form a frame of H, for the cases of I = N_0 and I = Z. The characterization for unilateral iterations gives a similarity with the compression of the shift acting on model spaces of the Hardy space of analytic functions defined on the unit disk with values in $l^2(J). This generalizes recent work for iterations of a single function. In the case of bilateral iterations, the characterization is by the bilateral shift acting on doubly invariant subspaces of L^2(T,l^2(J)). Furthermore, we characterize the frames of iterations for vector-valued model operators when J is finite in terms of Toeplitz and multiplication operators in the unilateral and bilateral case, respectively. Finally, we study the problem of finding the minimal number of orbits that produce a frame in this context. △ Less

Submitted 19 March, 2023; v1 submitted 2 March, 2022; originally announced March 2022.

Comments: 21 pages

Reducing and Invariant subspaces under two commuting shift operators

Authors: Alejandra Aguilera, Carlos Cabrelli, Diana Carbajal, Victoria Paternostro

Abstract: In this article, we characterize reducing and invariant subspaces of the space of square integrable functions defined in the unit circle and having values in some Hardy space with multiplicity. We consider subspaces that reduce the bilateral shift and at the same time are invariant under the unilateral shift acting locally. We also study subspaces that reduce both operators. The conditions obtai… ▽ More In this article, we characterize reducing and invariant subspaces of the space of square integrable functions defined in the unit circle and having values in some Hardy space with multiplicity. We consider subspaces that reduce the bilateral shift and at the same time are invariant under the unilateral shift acting locally. We also study subspaces that reduce both operators. The conditions obtained are of the type of the ones in Helson and Beurling-Lax-Halmos theorems on characterizations of the invariance for the bilateral and unilateral shift. The motivations for our study were inspired by recent results on Dynamical Sampling in shift-invariant spaces. △ Less

Submitted 27 September, 2023; v1 submitted 21 February, 2022; originally announced February 2022.

Comments: 18 pages

MSC Class: Primary 47A15; 47A05; 30H10; 47A46

Journal ref: J. Math. Anal. Appl. 528 (2023), no. 1, Paper No. 127481, 18 pp

The structure of group preserving operators

Authors: Davide Barbieri, Carlos Cabrelli, Diana Carbajal, Eugenio Hernández, Ursula Molter

Abstract: In this paper, we prove the existence of a particular diagonalization for normal bounded operators defined on subspaces of $L^2(\mathfrak{S})$ where $\mathfrak{S}$ is a second countable LCA group. The subspaces where the operators act are invariant under the action of a group $Γ$ which is a semi-direct product of a uniform lattice of $\mathfrak{S}$ with a discrete group of automorphisms. This clas… ▽ More In this paper, we prove the existence of a particular diagonalization for normal bounded operators defined on subspaces of $L^2(\mathfrak{S})$ where $\mathfrak{S}$ is a second countable LCA group. The subspaces where the operators act are invariant under the action of a group $Γ$ which is a semi-direct product of a uniform lattice of $\mathfrak{S}$ with a discrete group of automorphisms. This class includes the crystal groups which are important in applications as models for images. The operators are assumed to be $Γ$ preserving. i.e. they commute with the action of $Γ$. In particular we obtain a spectral decomposition for these operators. This generalizes recent results on shift-preserving operators acting on lattice invariant subspaces where $\mathfrak{S}$ is the Euclidean space. △ Less

Submitted 27 March, 2021; v1 submitted 26 September, 2020; originally announced September 2020.

Riesz bases of exponentials and the Bohr topology

Authors: Carlos Cabrelli, Kathryn Hare, Ursula Molter

Abstract: We provide a necessary and sufficient condition to ensure that a multi-tile $Ω$ of $R^d$ of positive measure (but not necessarily bounded) admits a structured Riesz basis of exponentials for $ L^{2}(Ω)$. New examples are given and this characterization is generalized to abstract locally compact abelian groups. We provide a necessary and sufficient condition to ensure that a multi-tile $Ω$ of $R^d$ of positive measure (but not necessarily bounded) admits a structured Riesz basis of exponentials for $ L^{2}(Ω)$. New examples are given and this characterization is generalized to abstract locally compact abelian groups. △ Less

Submitted 30 January, 2020; originally announced January 2020.

Comments: 11 pages

MSC Class: Primary 42B99; 42C15. Secondary 42A10; 05B45; 42A15

Data approximation with time-frequency invariant systems

Authors: D. Barbieri, C. Cabrelli, E. Hernández, U. Molter

Abstract: In this paper we prove the existence of a time-frequency space that best approximates a given finite set of data. Here best approximation is in the least square sense, among all time-frequency spaces with no more than a prescribed number of generators. We provide a formula to construct the generators from the data and give the exact error of approximation. The setting is in the space of square int… ▽ More In this paper we prove the existence of a time-frequency space that best approximates a given finite set of data. Here best approximation is in the least square sense, among all time-frequency spaces with no more than a prescribed number of generators. We provide a formula to construct the generators from the data and give the exact error of approximation. The setting is in the space of square integrable functions defined on a second countable LCA group and we use the Zak transform as the main tool. △ Less

Submitted 23 January, 2020; originally announced January 2020.

Comments: 11 pages

Extra-invariance of group actions

Authors: C. Cabrelli, C. A. Mosquera, V. Paternostro

Abstract: Given discrete groups $Γ\subset Δ$ we characterize $(Γ,σ)$-invariant spaces that are also invariant under $Δ$. This will be done in terms of subspaces that we define using an appropriate Zak transform and a particular partition of the underlying group. On the way, we obtain a new characterization of principal $(Γ,σ)$-invariant spaces in terms of the Zak transform of its generator. This result is i… ▽ More Given discrete groups $Γ\subset Δ$ we characterize $(Γ,σ)$-invariant spaces that are also invariant under $Δ$. This will be done in terms of subspaces that we define using an appropriate Zak transform and a particular partition of the underlying group. On the way, we obtain a new characterization of principal $(Γ,σ)$-invariant spaces in terms of the Zak transform of its generator. This result is in the spirit of the analogous in the context of shift-invariant spaces in terms of the Fourier transform, which is very well-known. As a consequence of our results, we give a solution for the problem of finding the $(Γ,σ)$-invariant space nearest - in the sense of least squares - to a given set of data. △ Less

Submitted 28 December, 2019; originally announced December 2019.

Comments: 16 pages, 2 figures

Dynamical Sampling for Shift-preserving Operators

Authors: A. Aguilera, C. Cabrelli, D. Carbajal, V. Paternostro

Abstract: In this note, we solve the dynamical sampling problem for a class of shift-preserving operators $L:V\to V$ acting on a finitely generated shift-invariant space $V$. We find conditions on $L$ and a finite set of functions of $V$ so that the iterations of the operator $L$ on the functions produce a frame generator set of $V$. This means that the integer translations of the generators form a frame of… ▽ More In this note, we solve the dynamical sampling problem for a class of shift-preserving operators $L:V\to V$ acting on a finitely generated shift-invariant space $V$. We find conditions on $L$ and a finite set of functions of $V$ so that the iterations of the operator $L$ on the functions produce a frame generator set of $V$. This means that the integer translations of the generators form a frame of $V$. △ Less

Submitted 25 November, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Comments: 18 pages. To appear in Appl. Comput. Harmon. Anal

Diagonalization of Shift-Preserving Operators

Authors: Alejandra Aguilera, Carlos Cabrelli, Diana Carbajal, Victoria Paternostro

Abstract: In this note we study the structure of shift-preserving operators acting on a finitely generated shift-invariant space. We define a new notion of diagonalization for these operators, which we call s-diagonalization. We give necessary and sufficient conditions on a bounded shift-preserving operator in order to be s-diagonalizable. These conditions are in terms of its range operator. We also obtain… ▽ More In this note we study the structure of shift-preserving operators acting on a finitely generated shift-invariant space. We define a new notion of diagonalization for these operators, which we call s-diagonalization. We give necessary and sufficient conditions on a bounded shift-preserving operator in order to be s-diagonalizable. These conditions are in terms of its range operator. We also obtain a generalized Spectral Theorem for normal bounded shift-preserving operators. △ Less

Submitted 4 July, 2021; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: 27 pages. To appear in Advances in Mathematics

MSC Class: 47A15; 94A20; 42C15; 47A05

Local-to-global frames and applications to dynamical sampling problem

Authors: Akram Aldroubi, Carlos Cabrelli, Ursula Molter, Armenak Petrosyan

Abstract: In this paper we consider systems of vectors in a Hilbert space $\mathcal{H}$ of the form $\{g_{jk}: j \in J, \, k\in K\}\subset \mathcal{H}$ where $J$ and $K$ are countable sets of indices. We find conditions under which the local reconstruction properties of such a system extend to global stable recovery properties on the whole space. As a particular case, we obtain new local-to-global results f… ▽ More In this paper we consider systems of vectors in a Hilbert space $\mathcal{H}$ of the form $\{g_{jk}: j \in J, \, k\in K\}\subset \mathcal{H}$ where $J$ and $K$ are countable sets of indices. We find conditions under which the local reconstruction properties of such a system extend to global stable recovery properties on the whole space. As a particular case, we obtain new local-to-global results for systems of type $\{A^ng\}_{g\in\mathcal{G},0\leq n\leq L }$ arising in the dynamical sampling problem. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Optimal translational-rotational invariant dictionaries for images

Authors: Davide Barbieri, Carlos Cabrelli, Eugenio Hernández, Ursula Molter

Abstract: We provide the construction of a set of square matrices whose translates and rotates provide a Parseval frame that is optimal for approximating a given dataset of images. Our approach is based on abstract harmonic analysis techniques. Optimality is considered with respect to the quadratic error of approximation of the images in the dataset with their projection onto a linear subspace that is invar… ▽ More We provide the construction of a set of square matrices whose translates and rotates provide a Parseval frame that is optimal for approximating a given dataset of images. Our approach is based on abstract harmonic analysis techniques. Optimality is considered with respect to the quadratic error of approximation of the images in the dataset with their projection onto a linear subspace that is invariant under translations and rotations. In addition, we provide an elementary and fully self-contained proof of optimality, and the numerical results from datasets of natural images. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Multi-orbital frames through model spaces

Authors: Carlos Cabrelli, Ursula Molter, Daniel Suárez

Abstract: We characterize the normal operators $A$ on $\ell^2$ and the elements $a^i \in \ell^2$, with $1\le i\le m$, such that the sequence $$\{ A^n a^1 , \ldots , A^n a^m \}_{n\ge 0}$$ is a frame. The characterization makes strong use of the pseudo-hyperbolic metric of $\mathbb{D}$ and is given in terms of the backward shift invariant subspaces of $H^2(\mathbb{D})$ associated to finite products of interpo… ▽ More We characterize the normal operators $A$ on $\ell^2$ and the elements $a^i \in \ell^2$, with $1\le i\le m$, such that the sequence $$\{ A^n a^1 , \ldots , A^n a^m \}_{n\ge 0}$$ is a frame. The characterization makes strong use of the pseudo-hyperbolic metric of $\mathbb{D}$ and is given in terms of the backward shift invariant subspaces of $H^2(\mathbb{D})$ associated to finite products of interpolating Blaschke products. △ Less

Submitted 12 December, 2020; v1 submitted 28 August, 2019; originally announced August 2019.

Approximation by group invariant subspaces

Authors: Davide Barbieri, Carlos Cabrelli, Eugenio Hernández, Ursula Molter

Abstract: In this article we study the structure of $Γ$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $Γ$, a non commutative group in the form of a semidirect product of a discrete cocompact subgroup of $\bf R$ and a group of automorphisms. This class includes in particular most of the crystallographic groups. We obtain a comp… ▽ More In this article we study the structure of $Γ$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $Γ$, a non commutative group in the form of a semidirect product of a discrete cocompact subgroup of $\bf R$ and a group of automorphisms. This class includes in particular most of the crystallographic groups. We obtain a complete characterization of $Γ$-invariant subspaces in terms of range functions associated to shift-invariant spaces. We also define a new notion of range function adapted to the $Γ$-invariance and construct Parseval frames of orbits of some elements in the subspace, under the group action. These results are then applied to prove the existence and construction of a $Γ$-invariant subspace that best approximates a set of functional data in $L^2(\bf R)$. This is very relevant in applications since in the euclidean case, $Γ$-invariant subspaces are invariant under rigid movements, a very sought feature in models for signal processing. △ Less

Submitted 12 June, 2020; v1 submitted 18 July, 2019; originally announced July 2019.

Comments: To appear on Journal de Mathématiques Pures et Appliquées

MSC Class: 41A65; 47A15; 43A70; 20H15

A Fourier Frame for the Middle-Third Cantor Measure

Authors: Carlos Cabrelli, Ursula Molter

Abstract: In this paper we show that if $μ$ is any locally and uniformly $α$-dimensional measure supported on a $α$-quasi-regular set $E$, then $L^2(μ)$ admits a frame of exponentials. In particular, for the uniform middle third Cantor measure, $μ_C,$ our result shows that there exists a countable set $Λ$ such that $\{e^{2πi t λ}\}_{λ\in Λ}$ is a frame for $L^2(μ_C)$ (i.e. the measure $μ_C$ admits a general… ▽ More In this paper we show that if $μ$ is any locally and uniformly $α$-dimensional measure supported on a $α$-quasi-regular set $E$, then $L^2(μ)$ admits a frame of exponentials. In particular, for the uniform middle third Cantor measure, $μ_C,$ our result shows that there exists a countable set $Λ$ such that $\{e^{2πi t λ}\}_{λ\in Λ}$ is a frame for $L^2(μ_C)$ (i.e. the measure $μ_C$ admits a generalized spectrum), answering an old outstanding question about the existence of a frame of exponentials for the space $L^2(μ_C)$. △ Less

Submitted 18 December, 2018; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: The paper contains a gap in the proof of Theorem 3.3. We would like to thank Chun-Kit Lai for pointing out the error. As a consequence we want to withdraw the paper

Frames of exponentials and sub-multitiles in LCA groups

Authors: Davide Barbieri, Carlos Cabrelli, Eugenio Hernández, Peter Luthy, Ursula Molter, Carolina Mosquera

Abstract: In this note we investigate the existence of frames of exponentials for $L^2(Ω)$ in the setting of LCA groups. Our main result shows that sub-multitiling properties of $Ω\subset \widehat{G}$ with respect to a uniform lattice $Γ$ of $\widehat{G}$ guarantee the existence of a frame of exponentials with frequencies in a finite number of translates of the annihilator of $Γ$. We also prove the converse… ▽ More In this note we investigate the existence of frames of exponentials for $L^2(Ω)$ in the setting of LCA groups. Our main result shows that sub-multitiling properties of $Ω\subset \widehat{G}$ with respect to a uniform lattice $Γ$ of $\widehat{G}$ guarantee the existence of a frame of exponentials with frequencies in a finite number of translates of the annihilator of $Γ$. We also prove the converse of this result and provide conditions for the existence of these frames. These conditions extend recent results on Riesz bases of exponentials and multitilings to frames. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Time-frequency shift invariance of Gabor spaces generated by integer lattices

Authors: Carlos Cabrelli, Dae Gwan Lee, Ursula Molter, Goetz E. Pfander

Abstract: We study extra time-frequency shift invariance properties of Gabor spaces. For a Gabor space generated by an integer lattice, we state and prove several characterizations for its time-frequency shift invariance with respect to a finer integer lattice. The extreme cases of full translation invariance, full modulation invariance, and full time-frequency shift invariance are also considered. The resu… ▽ More We study extra time-frequency shift invariance properties of Gabor spaces. For a Gabor space generated by an integer lattice, we state and prove several characterizations for its time-frequency shift invariance with respect to a finer integer lattice. The extreme cases of full translation invariance, full modulation invariance, and full time-frequency shift invariance are also considered. The results show a close analogy with the extra translation invariance of shift-invariant spaces. △ Less

Submitted 5 November, 2017; v1 submitted 6 May, 2017; originally announced May 2017.

MSC Class: 42C40; 42C15; 46C99

Dynamical Sampling on Finite Index Sets

Authors: C. Cabrelli, U. Molter, V. Paternostro, F. Philipp

Abstract: We consider bounded operators $A$ acting iteratively on a finite set of vectors $\{f_i : i\in I\}$ in a Hilbert space $\mathcal H$ and address the problem of providing necessary and sufficient conditions for the collection of iterates $\{A^nf_i : i\in I,\,n=0,1,2,\ldots\}$ to form a frame for the space $\mathcal H$. For normal operators $A$ we completely solve the problem by proving a characteriza… ▽ More We consider bounded operators $A$ acting iteratively on a finite set of vectors $\{f_i : i\in I\}$ in a Hilbert space $\mathcal H$ and address the problem of providing necessary and sufficient conditions for the collection of iterates $\{A^nf_i : i\in I,\,n=0,1,2,\ldots\}$ to form a frame for the space $\mathcal H$. For normal operators $A$ we completely solve the problem by proving a characterization theorem. Our proof incorporates techniques from different areas of mathematics, such as operator theory, spectral theory, harmonic analysis, and complex analysis in the unit disk. In the second part of the paper we drop the strong condition on $A$ to be normal. Despite this quite general setting, we are able to prove a characterization which allows to infer many strong necessary conditions on the operator $A$. For example, $A$ needs to be similar to a contraction of a very special kind. We also prove a characterization theorem for the finite-dimensional case. --- These results provide a theoretical solution to the so-called Dynamical Sampling problem where a signal $f$ that is evolving in time through iterates of an operator $A$ is spatially sub-sampled at various times and one seeks to reconstruct the signal $f$ from these spatial-temporal samples. △ Less

Submitted 13 November, 2017; v1 submitted 11 February, 2017; originally announced February 2017.

Comments: 24 pages

MSC Class: 94A20; 42C15; 30J99; 47A53

Riesz Bases of Exponentials on Unbounded Multi-tiles

Authors: Carlos Cabrelli, Diana Carbajal

Abstract: We prove the existence of Riesz bases of exponentials of L^2(Omega), provided that Omega in R^d is a measurable set of finite and positive measure, not necessarily bounded, that satisfies a multi-tiling condition and an arithmetic property that we call admissibility. This property is satisfied for any bounded domain, so our results extend the known case of bounded multi-tiles. We also extend known… ▽ More We prove the existence of Riesz bases of exponentials of L^2(Omega), provided that Omega in R^d is a measurable set of finite and positive measure, not necessarily bounded, that satisfies a multi-tiling condition and an arithmetic property that we call admissibility. This property is satisfied for any bounded domain, so our results extend the known case of bounded multi-tiles. We also extend known results for submulti-tiles and frames of exponentials to the unbounded case. △ Less

Submitted 10 October, 2017; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: 14 pages, 3 figures

MSC Class: 42B99; 42C15

Existence of quasicrystals and universal stable sampling and interpolation in LCA groups

Authors: E. Agora, J. Antezana, C. Cabrelli, B. Matei

Abstract: We characterize all the locally compact abelian (LCA) groups that contain quasicrystals (a class of model sets). Moreover, we describe all possible quasicrystals in the group constructing an appropriate lattice associated with the cut and project scheme that produces it. On the other hand, if an LCA group G admits a simple quasicrystal, we prove that recent results of Meyer and Matei for the case… ▽ More We characterize all the locally compact abelian (LCA) groups that contain quasicrystals (a class of model sets). Moreover, we describe all possible quasicrystals in the group constructing an appropriate lattice associated with the cut and project scheme that produces it. On the other hand, if an LCA group G admits a simple quasicrystal, we prove that recent results of Meyer and Matei for the case of the n-dimensional Euclidean space can be extended to G. More precisely, we prove that simple quasicrystals are universal sets of stable sampling and universal sets of stable interpolation in generalized Paley-Wiener spaces. △ Less

Submitted 12 October, 2018; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: 28 pages, 1 figure. Some typos corrected. To appear in Transactions of the AMS

MSC Class: 42C15; 94A20; 42C30; 43A25

An Approximation Problem in Multiplicatively Invariant Spaces

Authors: Carlos Cabrelli, Carolina A. Mosquera, Victoria Paternostro

Abstract: Let $\mathcal{H}$ be Hilbert space and $(Ω,μ)$ a $σ$-finite measure space. Multiplicatively invariant (MI) spaces are closed subspaces of $ L^2(Ω, \mathcal{H})$ that are invariant under point-wise multiplication by functions in a fix subset of $L^{\infty}(Ω).$ Given a finite set of data $\mathcal{F}\subseteq L^2(Ω, \mathcal{H}),$ in this paper we prove the existence and construct an MI space $M$ t… ▽ More Let $\mathcal{H}$ be Hilbert space and $(Ω,μ)$ a $σ$-finite measure space. Multiplicatively invariant (MI) spaces are closed subspaces of $ L^2(Ω, \mathcal{H})$ that are invariant under point-wise multiplication by functions in a fix subset of $L^{\infty}(Ω).$ Given a finite set of data $\mathcal{F}\subseteq L^2(Ω, \mathcal{H}),$ in this paper we prove the existence and construct an MI space $M$ that best fits $\mathcal{F}$, in the least squares sense. MI spaces are related to shift invariant (SI) spaces via a fiberization map, which allows us to solve an approximation problem for SI spaces in the context of locally compact abelian groups. On the other hand, we introduce the notion of decomposable MI spaces (MI spaces that can be decomposed into an orthogonal sum of MI subspaces) and solve the approximation problem for the class of these spaces. Since SI spaces having extra invariance are in one-to-one relation to decomposable MI spaces, we also solve our approximation problem for this class of SI spaces. Finally we prove that translation invariant spaces are in correspondence with totally decomposable MI spaces. △ Less

Submitted 8 September, 2016; v1 submitted 27 February, 2016; originally announced February 2016.

Comments: 18 pages, To appear in Contemporary Mathematics

MSC Class: Primary 42C40; 94A12; Secondary 42C15; 47A15; 43A70

Iterative actions of normal operators

Authors: A. Aldroubi, C. Cabrelli, A. F. Çakmak, U. Molter, A. Petrosyan

Abstract: Let $A$ be a normal operator in a Hilbert space $\mathcal{H}$, and let $\mathcal{G} \subset \mathcal{H}$ be a countable set of vectors. We investigate the relations between $A$, $\mathcal{G}$ , and $L$ that makes the system of iterations $\{A^ng: g\in \mathcal{G},\;0\leq n< L(g)\}$ complete, Bessel, a basis, or a frame for $\mathcal{H}$. The problem is motivated by the dynamical sampling problem a… ▽ More Let $A$ be a normal operator in a Hilbert space $\mathcal{H}$, and let $\mathcal{G} \subset \mathcal{H}$ be a countable set of vectors. We investigate the relations between $A$, $\mathcal{G}$ , and $L$ that makes the system of iterations $\{A^ng: g\in \mathcal{G},\;0\leq n< L(g)\}$ complete, Bessel, a basis, or a frame for $\mathcal{H}$. The problem is motivated by the dynamical sampling problem and is connected to several topics in functional analysis, including, frame theory and spectral theory. It also has relations to topics in applied harmonic analysis including, wavelet theory and time-frequency analysis. △ Less

Submitted 1 November, 2016; v1 submitted 14 February, 2016; originally announced February 2016.

Comments: 14 pages, 0 figures

MSC Class: 46N99 (Primary) 42C15; 94O20 (Secondary)

Subspaces with extra invariance nearest to observed data

Authors: Carlos Cabrelli, Carolina A. Mosquera

Abstract: Given an arbitrary finite set of data F= {f_1,..., f_m} in L2(Rd) we prove the existence and show how to construct a "small shift invariant space" that is "closest" to the data F over certain class of closed subspaces of L2(Rd). The approximating subspace is required to have extra-invariance properties, that is to be invariant under translations by a prefixed additive subgroup of Rd containing Zd.… ▽ More Given an arbitrary finite set of data F= {f_1,..., f_m} in L2(Rd) we prove the existence and show how to construct a "small shift invariant space" that is "closest" to the data F over certain class of closed subspaces of L2(Rd). The approximating subspace is required to have extra-invariance properties, that is to be invariant under translations by a prefixed additive subgroup of Rd containing Zd. This is important for example in situations where we need to deal with jitter error of the data. Here small means that our solution subspace should be generated by the integer translates of a small number of generators. We give an expression for the error in terms of the data and construct a Parseval frame for the optimal space. We also consider the problem of approximating F from generalised Paley-Wiener spaces of Rd that are generated by the integer translates of a finite number of functions. That is finitely generated shift invariant spaces that are translation invariant. We characterise these spaces in terms of multi-tile sets of Rd, and show the connections with recent results on Riesz basis of exponentials on bounded sets of Rd. Finally we study the discrete case for our approximation problem. △ Less

Submitted 8 January, 2019; v1 submitted 13 January, 2015; originally announced January 2015.

Comments: 15 pages. Some typos corrected

MSC Class: Primary 94A12; Secondary 47A15; 42C15

Journal ref: Appl. Comput. Harmon. Anal. 41 (2016), no. 2, 660--676

Time-frequency shift invariance and the Amalgan Balian Low Theorem

Authors: Carlos Cabrelli, Ursula Molter, Götz E. Pfander

Abstract: We consider smoothness properties of the generator of a principal Gabor space on the real line which is invariant under some additional translation-modulation pair. We prove that if a Gabor system on a lattice with rational density is a Riesz basis for its closed linear span, and if the closed linear span, a Gabor space, has any additional translation-modulation invariance, then its generator cann… ▽ More We consider smoothness properties of the generator of a principal Gabor space on the real line which is invariant under some additional translation-modulation pair. We prove that if a Gabor system on a lattice with rational density is a Riesz basis for its closed linear span, and if the closed linear span, a Gabor space, has any additional translation-modulation invariance, then its generator cannot decay well in time and in frequency simultaneously. △ Less

Submitted 26 October, 2014; originally announced October 2014.

Comments: 16 pages, 1 figure

Dynamical sampling

Authors: A. Aldroubi, C. Cabrelli, U. Molter, S. Tang

Abstract: Let Y={f(i), Af(i),..., A^{li} f(i): i in Omega}, where A is a bounded operator on l^2(I). The problem under consideration is to find necessary and sufficient conditions on A, Omega, {l_i:i in Omega} in order to recover any f \in l^2(I) from the measurements Y. This is the so called dynamical sampling problem in which we seek to recover a function f by combining coarse samples of f and its futures… ▽ More Let Y={f(i), Af(i),..., A^{li} f(i): i in Omega}, where A is a bounded operator on l^2(I). The problem under consideration is to find necessary and sufficient conditions on A, Omega, {l_i:i in Omega} in order to recover any f \in l^2(I) from the measurements Y. This is the so called dynamical sampling problem in which we seek to recover a function f by combining coarse samples of f and its futures states A^l f. We completely solve this problem in finite dimensional spaces, and for a large class of self adjoint operators in infinite dimensional spaces. In the latter case, the Müntz-Szász Theorem combined with the Kadison-Singer/Feichtinger Theorem allows us to show that Y can never be a Riesz basis when Omega is finite. We can also show that, when Omega is finite, Y={f(i), Af(i),..., A^{li}f(i): i in Omega} is not a frame except for some very special cases. The existence of these special cases is derived from Carleson's Theorem for interpolating sequences in the Hardy space H^2(D). △ Less

Submitted 29 September, 2014; originally announced September 2014.

MSC Class: 94O20; 42C15; 46N99

Multi-tiling sets, Riesz bases, and sampling near the critical density in LCA groups

Authors: Elona Agora, Jorge Antezana, Carlos Cabrelli

Abstract: We prove the existence of sampling sets and interpolation sets near the critical density, in Paley Wiener spaces of a locally compact abelian (LCA) group G . This solves a problem left by Gröchenig, Kutyniok, and Seip in the article: `Landau's density conditions for LCA groups ' (J. of Funct. Anal. 255 (2008) 1831-1850). To achieve this result, we prove the existence of universal Riesz bases of ch… ▽ More We prove the existence of sampling sets and interpolation sets near the critical density, in Paley Wiener spaces of a locally compact abelian (LCA) group G . This solves a problem left by Gröchenig, Kutyniok, and Seip in the article: `Landau's density conditions for LCA groups ' (J. of Funct. Anal. 255 (2008) 1831-1850). To achieve this result, we prove the existence of universal Riesz bases of characters for L2(Omega), provided that the relatively compact subset Omega of the dual group of G satisfies a multi-tiling condition. This last result generalizes Fuglede's theorem, and extends to LCA groups setting recent constructions of Riesz bases of exponentials in bounded sets of Rd. △ Less

Submitted 8 August, 2015; v1 submitted 8 April, 2014; originally announced April 2014.

Comments: 21 pages, 1 figure

Linear combinations of frame generators in systems of translates

Authors: Carlos Cabrelli, Carolina A. Mosquera, Victoria Paternostro

Abstract: A finitely generated shift invariant space $V$ is a closed subspace of $L^2(\R^d)$ that is generated by the integer translates of a finite number of functions. A set of frame generators for $V$ is a set of functions whose integer translates form a frame for $V$. In this note we give necessary and sufficient conditions in order that a minimal set of frame generators can be obtained by taking linear… ▽ More A finitely generated shift invariant space $V$ is a closed subspace of $L^2(\R^d)$ that is generated by the integer translates of a finite number of functions. A set of frame generators for $V$ is a set of functions whose integer translates form a frame for $V$. In this note we give necessary and sufficient conditions in order that a minimal set of frame generators can be obtained by taking linear combinations of the given frame generators. Surprisingly the results are very different to the recently studied case when the property to be a frame is not required. △ Less

Submitted 11 December, 2013; v1 submitted 13 May, 2013; originally announced May 2013.

Comments: 13 pages, To appear in J. Math. Anal. Appl

MSC Class: Primary 42C40; Secondary 42C15

Visible and Invisible Cantor sets

Authors: Carlos Cabrelli, Udayan Darji, Ursula Molter

Abstract: In this article we study for which Cantor sets there exists a gauge-function h, such that the h-Hausdorff-measure is positive and finite. We show that the collection of sets for which this is true is dense in the set of all compact subsets of a Polish space X. More general, any generic Cantor set satisfies that there exists a translation-invariant measure mu for which the set has positive and fini… ▽ More In this article we study for which Cantor sets there exists a gauge-function h, such that the h-Hausdorff-measure is positive and finite. We show that the collection of sets for which this is true is dense in the set of all compact subsets of a Polish space X. More general, any generic Cantor set satisfies that there exists a translation-invariant measure mu for which the set has positive and finite mu-measure. In contrast, we generalize an example of Davies of dimensionless Cantor sets (i.e. a Cantor set for which any translation invariant measure is either zero or non-sigma-finite, that enables us to show that the collection of these sets is also dense in the set of all compact subsets of a Polish space X. △ Less

Submitted 6 September, 2011; originally announced September 2011.

Comments: 9 pages

MSC Class: 28A78; 28A80

Journal ref: Excursions in Harmonic Analysis: The February Fourier Talks at the Norbert Wiener Center, Vol 2, Andrews, T.D., Balan, R., Benedetto, J.J., Czaja, W., Okoudjou, K.A. (Eds.) 2013

Shift-modulation invariant spaces on LCA groups

Authors: Carlos Cabrelli, Victoria Paternostro

Abstract: A $(K,Λ)$ shift-modulation invariant space is a subspace of $L^2(G)$, that is invariant by translations along elements in $K$ and modulations by elements in $Λ$. Here $G$ is a locally compact abelian group, and $K$ and $Λ$ are closed subgroups of $G$ and the dual group $\hat G$, respectively. In this article we provide a characterization of shift-modulation invariant spaces in this general context… ▽ More A $(K,Λ)$ shift-modulation invariant space is a subspace of $L^2(G)$, that is invariant by translations along elements in $K$ and modulations by elements in $Λ$. Here $G$ is a locally compact abelian group, and $K$ and $Λ$ are closed subgroups of $G$ and the dual group $\hat G$, respectively. In this article we provide a characterization of shift-modulation invariant spaces in this general context when $K$ and $Λ$ are uniform lattices. This extends previous results known for $L^2(\R^d)$. We develop fiberization techniques and suitable range functions adapted to LCA groups needed to provide the desired characterization. △ Less

Submitted 5 June, 2012; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: 17 pages

MSC Class: 43A77 (Primary) 43A15 (Secondary)

Non-uniform painless decompositions for anisotropic Besov and Triebel-Lizorkin spaces

Authors: Carlos Cabrelli, Ursula Molter, José Luis Romero

Abstract: In this article we construct affine systems that provide a simultaneous atomic decomposition for a wide class of functional spaces including the Lebesgue spaces $L^p(\Rdst)$, $1<p<+\infty$. The novelty and difficulty of this construction is that we allow for non-lattice translations. We prove that for an arbitrary expansive matrix $A$ and any set $Λ$ - satisfying a certain spreadness condition b… ▽ More In this article we construct affine systems that provide a simultaneous atomic decomposition for a wide class of functional spaces including the Lebesgue spaces $L^p(\Rdst)$, $1<p<+\infty$. The novelty and difficulty of this construction is that we allow for non-lattice translations. We prove that for an arbitrary expansive matrix $A$ and any set $Λ$ - satisfying a certain spreadness condition but otherwise irregular- there exists a smooth window whose translations along the elements of $Λ$ and dilations by powers of $A$ provide an atomic decomposition for the whole range of the anisotropic Triebel-Lizorkin spaces. The generating window can be either chosen to be bandlimited or to have compact support. To derive these results we start with a known general "painless" construction that has recently appeared in the literature. We show that this construction extends to Besov and Triebel-Lizorkin spaces by providing adequate dual systems. △ Less

Submitted 17 September, 2012; v1 submitted 12 August, 2011; originally announced August 2011.

Comments: 23 pages

MSC Class: 42B35; 46E35; 42C40; 42C15

Journal ref: Adv. Math. 232 (2013), 98-120

A Dimension Reduction Scheme for the Computation of Optimal Unions of Subspaces

Authors: Akram Aldroubi, Magalí Anastasio, Carlos Cabrelli, Ursula Molter

Abstract: Given a set of points \F in a high dimensional space, the problem of finding a union of subspaces \cup_i V_i\subset \R^N that best explains the data \F increases dramatically with the dimension of \R^N. In this article, we study a class of transformations that map the problem into another one in lower dimension. We use the best model in the low dimensional space to approximate the best solution in… ▽ More Given a set of points \F in a high dimensional space, the problem of finding a union of subspaces \cup_i V_i\subset \R^N that best explains the data \F increases dramatically with the dimension of \R^N. In this article, we study a class of transformations that map the problem into another one in lower dimension. We use the best model in the low dimensional space to approximate the best solution in the original high dimensional space. We then estimate the error produced between this solution and the optimal solution in the high dimensional space. △ Less

Submitted 10 January, 2011; v1 submitted 16 August, 2010; originally announced August 2010.

Comments: 15 pages. Some corrections were added, in particular the title was changed. It will appear in "Sampling Theory in Signal and Image Processing"

MSC Class: 94A12; 94A20 (Primary); 15A52; 65F15; 15A18 (Secondary)

Frames by Multiplication

Authors: Peter Balazs, Carlos Cabrelli, Sigrid Heineken, Ursula Molter

Abstract: In this note we study frame-related properties of a sequence of functions multiplied by another function. In particular we study frame and Riesz basis properties. We apply these results to sets of irregular translates of a bandlimited function $h$ in $L^2(\R^d)$. This is achieved by looking at a set of exponentials restricted to a set $E \subset \R^d$ with frequencies in a countable set $Λ$ and mu… ▽ More In this note we study frame-related properties of a sequence of functions multiplied by another function. In particular we study frame and Riesz basis properties. We apply these results to sets of irregular translates of a bandlimited function $h$ in $L^2(\R^d)$. This is achieved by looking at a set of exponentials restricted to a set $E \subset \R^d$ with frequencies in a countable set $Λ$ and multiplying it by the Fourier transform of a fixed function $h \in L^2(E)$. Using density results due to Beurling, we prove the existence and give ways to construct frames by irregular translates. △ Less

Submitted 24 November, 2011; v1 submitted 8 April, 2010; originally announced April 2010.

Journal ref: Current Development in Theory and Applications of Wavelets, Vol. 5 (2-3), pp. 165-186 (2011),

Extra Invariance of Shift-Invariant Spaces on LCA Groups

Authors: Magalí Anastasio, Carlos Cabrelli, Victoria Paternostro

Abstract: Let G be an LCA group and K a closed subgroup of G. A closed subspace of L^2(G) is called K-invariant if it is invariant under translations by elements of K. Assume now that H is a countable uniform lattice in G and M is any closed subgroup of G containing H. In this article we study necessary and sufficient conditions for an H-invariant space to be M-invariant. As a consequence of our resul… ▽ More Let G be an LCA group and K a closed subgroup of G. A closed subspace of L^2(G) is called K-invariant if it is invariant under translations by elements of K. Assume now that H is a countable uniform lattice in G and M is any closed subgroup of G containing H. In this article we study necessary and sufficient conditions for an H-invariant space to be M-invariant. As a consequence of our results we prove that for each closed subgroup M of G containing the lattice H, there exists an H-invariant space S that is exactly M-invariant. That is, S is not invariant under any other subgroup M' containing M. We also obtain estimates on the support of the Fourier transform of the generators of the H-invariant space, related to its M-invariance. △ Less

Submitted 5 June, 2009; originally announced June 2009.

Comments: 11 pages

MSC Class: 43A77; 43A15

Shift Invariant Spaces on LCA Groups

Authors: Carlos Cabrelli, Victoria Paternostro

Abstract: In this article we extend the theory of shift-invariant spaces to the context of LCA groups. We introduce the notion of H-invariant space for a countable discrete subgroup H of an LCA group G, and show that the concept of range function and the techniques of fiberization are valid in this context. As a consequence of this generalization we prove characterizations of frames and Riesz bases of the… ▽ More In this article we extend the theory of shift-invariant spaces to the context of LCA groups. We introduce the notion of H-invariant space for a countable discrete subgroup H of an LCA group G, and show that the concept of range function and the techniques of fiberization are valid in this context. As a consequence of this generalization we prove characterizations of frames and Riesz bases of these spaces extending previous results, that were known for Rd and the lattice Zd . △ Less

Submitted 17 November, 2009; v1 submitted 14 May, 2009; originally announced May 2009.

Comments: 23 pages. Some small corrections were added. To appear in "Journal of Functional Analysis"

MSC Class: 43A77 (Primary); 43A15 (Secondary)

Classifying Cantor Sets by their Fractal Dimensions

Authors: Carlos A. Cabrelli, Kathryn E. Hare, Ursula M. Molter

Abstract: In this article we study Cantor sets defined by monotone sequences, in the sense of Besicovitch and Taylor. We classify these Cantor sets in terms of their h-Hausdorff and h-Packing measures, for the family of dimension functions h, and characterize this classification in terms of the underlying sequences. In this article we study Cantor sets defined by monotone sequences, in the sense of Besicovitch and Taylor. We classify these Cantor sets in terms of their h-Hausdorff and h-Packing measures, for the family of dimension functions h, and characterize this classification in terms of the underlying sequences. △ Less

Submitted 10 April, 2010; v1 submitted 12 May, 2009; originally announced May 2009.

Comments: 10 pages, revised version. To appear in Proceedings of the AMS.

MSC Class: 28A78; 28A80

Invariance of a Shift-Invariant Space in Several Variables

Authors: Magalí Anastasio, Carlos Cabrelli, Victoria Paternostro

Abstract: In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of $\R^d$, and prove the existence of shift-invariant spaces that are exactly invariant for each given subgroup. As an application we relate the extra invariance to t… ▽ More In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of $\R^d$, and prove the existence of shift-invariant spaces that are exactly invariant for each given subgroup. As an application we relate the extra invariance to the size of support of the Fourier transform of the generators of the shift-invariant space. This work extends recent results obtained for the case of one variable to several variables. △ Less

Submitted 8 February, 2010; v1 submitted 12 May, 2009; originally announced May 2009.

Comments: 20 pages, Some corrections were added. To appear in Complex Analysis and Operator Theory

MSC Class: 42C40 (Primary); 42C15; 46C99 (Secondary)

Sampling in a Union of Frame Generated Subspaces

Authors: Magalí Anastasio, Carlos Cabrelli

Abstract: A new paradigm in Sampling theory has been developed recently by Lu and Do. In this new approach the classical linear model is replaced by a non-linear, but structured model consisting of a union of subspaces. This is the natural approach for the new theory of compressed sampling, representation of sparse signals and signals with finite rate of innovation. In this article we extend the theory of… ▽ More A new paradigm in Sampling theory has been developed recently by Lu and Do. In this new approach the classical linear model is replaced by a non-linear, but structured model consisting of a union of subspaces. This is the natural approach for the new theory of compressed sampling, representation of sparse signals and signals with finite rate of innovation. In this article we extend the theory of Lu and Do, for the case that the subspaces in the union are shift-invariant spaces. We describe the subspaces by means of frame generators instead of orthonormal bases. We show that, the one to one and stability conditions for the sampling operator, are valid for this more general case. △ Less

Submitted 3 August, 2009; v1 submitted 1 April, 2009; originally announced April 2009.

Comments: 20 pages. A few corrections were added. To appear in "Sampling Theory in Signal and Image Processing"

MSC Class: 94A20; 94A12; 94A08

Invariance of a Shift-Invariant Space

Authors: Akram Aldroubi, Carlos Cabrelli, Christopher Heil, Keri Kornelson, Ursula Molter

Abstract: A shift-invariant space is a space of functions that is invariant under integer translations. Such spaces are often used as models for spaces of signals and images in mathematical and engineering applications. This paper characterizes those shift-invariant subspaces S that are also invariant under additional (non-integer) translations. For the case of finitely generated spaces, these spaces are… ▽ More A shift-invariant space is a space of functions that is invariant under integer translations. Such spaces are often used as models for spaces of signals and images in mathematical and engineering applications. This paper characterizes those shift-invariant subspaces S that are also invariant under additional (non-integer) translations. For the case of finitely generated spaces, these spaces are characterized in terms of the generators of the space. As a consequence, it is shown that principal shift-invariant spaces with a compactly supported generator cannot be invariant under any non-integer translations. △ Less

Submitted 21 December, 2008; v1 submitted 9 April, 2008; originally announced April 2008.

Comments: 15 pages

MSC Class: 42C15

Journal ref: Journal of Fourier Analysis and Applications, vol. 16 (2010), no. 1, 60-75

Optimal Non-Linear Models for Sparsity and Sampling

Authors: Akram Aldroubi, Carlos Cabrelli, Ursula Molter

Abstract: Given a set of vectors (the data) in a Hilbert space H, we prove the existence of an optimal collection of subspaces minimizing the sum of the square of the distances between each vector and its closest subspace in the collection. This collection of subspaces gives the best sparse representation for the given data, in a sense defined in the paper, and provides an optimal model for sampling in un… ▽ More Given a set of vectors (the data) in a Hilbert space H, we prove the existence of an optimal collection of subspaces minimizing the sum of the square of the distances between each vector and its closest subspace in the collection. This collection of subspaces gives the best sparse representation for the given data, in a sense defined in the paper, and provides an optimal model for sampling in union of subspaces. The results are proved in a general setting and then applied to the case of low dimensional subspaces of R^N and to infinite dimensional shift-invariant spaces in L^2(R^d). We also present an iterative search algorithm for finding the solution subspaces. These results are tightly connected to the new emergent theories of compressed sensing and dictionary design, signal models for signals with finite rate of innovation, and the subspace segmentation problem. △ Less

Submitted 6 February, 2008; v1 submitted 13 July, 2007; originally announced July 2007.

Comments: 20 pages, 2 figures. Final version of the paper. To appear in Journal of Fourier Analysis and Applications

MSC Class: 41A65; 42C15; 68P30; 94A20

Wavelets on Irregular Grids with Arbitrary Dilation Matrices, and Frames Atoms for L^2(R^d)

Authors: Akram Aldroubi, Carlos Cabrelli, Ursula M. Molter

Abstract: In this article, we develop a general method for constructing wavelets {|det A_j|^{1/2} g(A_jx-x_{j,k}): j in J, k in K}, on irregular lattices of the form X={x_{j,k} in R^d: j in J, k in K}, and with an arbitrary countable family of invertible dxd matrices {A_j in GL_d(R): j in J} that do not necessarily have a group structure. This wavelet construction is a particular case of general atomic fr… ▽ More In this article, we develop a general method for constructing wavelets {|det A_j|^{1/2} g(A_jx-x_{j,k}): j in J, k in K}, on irregular lattices of the form X={x_{j,k} in R^d: j in J, k in K}, and with an arbitrary countable family of invertible dxd matrices {A_j in GL_d(R): j in J} that do not necessarily have a group structure. This wavelet construction is a particular case of general atomic frame decompositions of L^2(R^d) developed in this article, that allow other time frequency decompositions such as non-harmonic Gabor frames with non-uniform covering of the Euclidean space R^d. Possible applications include image and video compression, speech coding, image and digital data transmission, image analysis, estimations and detection, and seismology. △ Less

Submitted 14 March, 2007; originally announced March 2007.

Comments: 23 pages, 3 figures, some small correction after publication

MSC Class: 42C40

Journal ref: Applied and Computational Harmonic Analysis 17, 2004, pgs 119-140

Optimal Shift Invariant Spaces and Their Parseval Generators

Authors: Akram Aldroubi, Carlos Cabrelli, Doug Hardin, Ursula Molter

Abstract: Given a set of functions F={f_1,...,f_m} of L2(Rd), we study the problem of finding the shift-invariant space V with n generators {phi_1,...,phi_n} that is ``closest'' to the functions of F in the sense that V minimize the least square distance from the data F to V over the set of all shift-invariant spaces that can be generated by n or less generators. The Eckart-Young Theorem uses the singul… ▽ More Given a set of functions F={f_1,...,f_m} of L2(Rd), we study the problem of finding the shift-invariant space V with n generators {phi_1,...,phi_n} that is ``closest'' to the functions of F in the sense that V minimize the least square distance from the data F to V over the set of all shift-invariant spaces that can be generated by n or less generators. The Eckart-Young Theorem uses the singular value decomposition to provide a solution to a related problem in finite dimension. We transform the problem under study into an uncountable set of finite dimensional problems each of which can be solved using an extension of the Eckart-Young Theorem. We prove that the finite dimensional solutions can be patched together and transformed to obtain the optimal shift-invariant space solution to the original problem, and we produce a Parseval frame for the optimal space. A typical application is the problem of finding a shift-invariant space model that describes a given class of signals or images (e.g., the class of chest X-Rays), from the observation of a set of m signals or images f_1,...f_m, which may be theoretical samples, or experimental data. △ Less

Submitted 7 August, 2006; v1 submitted 13 June, 2006; originally announced June 2006.

Comments: 13 pages. Presented at International Conference ``Modern Methods of Time-Frequency Analysis'', May 23 - 28, 2005, Strobl, Austria

MSC Class: 42C15

Refinable shift invariant spaces in R^d

Authors: Carlos Cabrelli, Sigrid Heineken, Ursula Molter

Abstract: Let $φ: \R^d \longrightarrow \C$ be a compactly supported function which satisfies a refinement equation of the form $φ(x) = \sum_{k\inΛ} c_k φ(Ax - k),\quad c_k\in\C$, where $Γ\subset\R^d$ is a lattice, $Λ$ is a finite subset of $Γ$, and $A$ is a dilation matrix. We prove, under the hypothesis of linear independence of the $Γ$-translates of $φ$, that there exists a correspondence between the ve… ▽ More Let $φ: \R^d \longrightarrow \C$ be a compactly supported function which satisfies a refinement equation of the form $φ(x) = \sum_{k\inΛ} c_k φ(Ax - k),\quad c_k\in\C$, where $Γ\subset\R^d$ is a lattice, $Λ$ is a finite subset of $Γ$, and $A$ is a dilation matrix. We prove, under the hypothesis of linear independence of the $Γ$-translates of $φ$, that there exists a correspondence between the vectors of the Jordan basis of a finite submatrix of $L=[c_{Ai-j}]_{i,j\inΓ}$ and a finite dimensional subspace $\mathcal H$ in the shift invariant space generated by $φ$. We provide a basis of $\mathcal H$ and show that its elements satisfy a property of homogeneity associated to the eigenvalues of $L$. If the function $φ$ has accuracy $κ$, this basis can be chosen to contain a basis for all the multivariate polynomials of degree less than $κ$. These latter functions are associated to eigenvalues that are powers of the eigenvalues of $A^{-1}$. Further we show that the dimension of $\mathcal H$ coincides with the local dimension of $φ$, and hence, every function in the shift invariant space generated by $φ$ can be written locally as a linear combination of translates of the homogeneous functions. △ Less

Submitted 16 November, 2005; originally announced November 2005.

Comments: 21 pages, 3 figures

Journal ref: International Journal of Wavelets, Multiresolution and Information Processing, vol. 3 (2005), no. 3, 321-345

Density of the Set of Generators of Wavelet Systems

Authors: Carlos Cabrelli, Ursula Molter

Abstract: Given a function $ψ$ in $ \LL^2(\R^d)$, the affine (wavelet) system generated by $ψ$, associated to an invertible matrix $a$ and a lattice $\zG$, is the collection of functions $\{|\det a|^{j/2} ψ(a^jx-γ): j \in \Z, γ\in \zG\}$. In this article we prove that the set of functions generating affine systems that are a Riesz basis of $ \LL^2(\R^d)$ is dense in $ \LL^2(\R^d)$. We also prove that a… ▽ More Given a function $ψ$ in $ \LL^2(\R^d)$, the affine (wavelet) system generated by $ψ$, associated to an invertible matrix $a$ and a lattice $\zG$, is the collection of functions $\{|\det a|^{j/2} ψ(a^jx-γ): j \in \Z, γ\in \zG\}$. In this article we prove that the set of functions generating affine systems that are a Riesz basis of $ \LL^2(\R^d)$ is dense in $ \LL^2(\R^d)$. We also prove that a stronger result is true for affine systems that are a frame of $ \LL^2(\R^d)$. In this case we show that the generators associated to a fixed but arbitrary dilation are a dense set. Furthermore, we analyze the orthogonal case in which we prove that the set of generators of orthogonal (not necessarily complete) affine systems, that are compactly supported in frequency, are dense in the unit sphere of $ \LL^2(\R^d)$ with the induced metric. As a byproduct we introduce the $p$-Grammian of a function and prove a convergence result of this Grammian as a function of the lattice. This result gives insight in the problem of oversampling of affine systems. △ Less

Submitted 28 May, 2006; v1 submitted 14 September, 2005; originally announced September 2005.

Comments: 15 pages-to appear in Constructive Approximation. Revised version

Report number: ESI -preprint series 1699 MSC Class: 42C40;42C30

Local bases for refinable spaces

Authors: Carlos Cabrelli, Sigrid Heineken, Ursula Molter

Abstract: We provide a new representation of a refinable shift invariant space with a compactly supported generator, in terms of functions with a special property of homogeneity. In particular these functions include all the homogeneous polynomials that are reproducible by the generator, what links this representation to the accuracy of the space. We completely characterize the class of homogeneous functi… ▽ More We provide a new representation of a refinable shift invariant space with a compactly supported generator, in terms of functions with a special property of homogeneity. In particular these functions include all the homogeneous polynomials that are reproducible by the generator, what links this representation to the accuracy of the space. We completely characterize the class of homogeneous functions in the space and show that they can reproduce the generator. As a result we conclude that the homogeneous functions can be constructed from the vectors associated to the spectrum of the scale matrix (a finite square matrix with entries from the mask of the generator). Furthermore, we prove that the kernel of the transition operator has the same dimension than the kernel of this finite matrix. This relation provides an easy test for the linear independence of the integer translates of the generator. This could be potentially useful in applications to approximation theory, wavelet theory and sampling. △ Less

Submitted 21 July, 2005; originally announced July 2005.

Comments: 11 pages, to appear in "Proceedings of the AMS"

MSC Class: 39A10; 42C40; 41A15

Functions in Sampling Spaces

Authors: Cristina Blanco, Carlos Cabrelli, Sigrid Heineken

Abstract: Sampling theory in spaces other than the space of band-limited functions has recently received considerable attention. This is in part because the band-limitedness assumption is not very realistic in many applications. In addition, band-limited functions have very slow decay which translates in poor reconstruction. In this article we study the sampling problem in general shift invariant spaces.… ▽ More Sampling theory in spaces other than the space of band-limited functions has recently received considerable attention. This is in part because the band-limitedness assumption is not very realistic in many applications. In addition, band-limited functions have very slow decay which translates in poor reconstruction. In this article we study the sampling problem in general shift invariant spaces. We characterize the functions in these spaces and provide necessary and sufficient conditions for a function in $L^2(\R)$ to belong to a sampling space. Furthermore we obtain decompositions of a sampling space in sampling subspaces. These decompositions are related with determining sets. Some examples are provided. △ Less

Submitted 21 July, 2005; v1 submitted 9 May, 2005; originally announced May 2005.

Comments: 20 pages, to appear in "The Journal of Sampling Theory in Signal and Image Processing", typos corrected

Report number: ESI Preprint - 1648 MSC Class: 39A10; 42C40; 41A15

Variations on the Theme of Journe's Lemma

Authors: Carlos Cabrelli, Michael Lacey, Ursula Molter, Jill C Pipher

Abstract: Journe's Lemma is a critical component of many questions related to the product ${BMO}$ theory of S.-Y. Chang and R. Fefferman. This article presents several different variants of the Lemma, some known, some implicit in the literature, and some new. Journe's Lemma is a critical component of many questions related to the product ${BMO}$ theory of S.-Y. Chang and R. Fefferman. This article presents several different variants of the Lemma, some known, some implicit in the literature, and some new. △ Less

Submitted 8 March, 2005; v1 submitted 8 December, 2004; originally announced December 2004.

Comments: 27 pages ; 17 references; To appear in Houston Journal of Mathematics