-
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.
-
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.
-
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.
-
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.
-
Continuous and discrete dynamical sampling
Authors:
Rocío Díaz Martín,
Ivan Medri,
Ursula Molter
Abstract:
In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space $\mathcal{H}$. We find necessary and sufficient conditions on a bounded linear operator $A\in\mathcal{B}(\mathcal{H})$ and a set of vectors $\mathcal{G}\subset \mathcal{H}$, in order to obtain that $\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)}$ is a semi-continuous frame for $\mathcal{H}$.…
▽ More
In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space $\mathcal{H}$. We find necessary and sufficient conditions on a bounded linear operator $A\in\mathcal{B}(\mathcal{H})$ and a set of vectors $\mathcal{G}\subset \mathcal{H}$, in order to obtain that $\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)}$ is a semi-continuous frame for $\mathcal{H}$. We study if it is possible to discretize the time variable $t$ and still have a frame for $\mathcal{H}$. We also relate the continuous iteration $e^{tA}$ on a set $\mathcal{G}$ to the discrete iteration $(A^\prime)^n$ on $\mathcal{G}^\prime$ for an adequate operator $A^\prime$ and set $\mathcal{G}^\prime\subset \mathcal{H}$.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
Dynamical Sampling: a view from control theory
Authors:
Rocío Díaz Martín,
Ivan Medri,
Ursula Molter
Abstract:
In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the discrete-time and continuous-time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous…
▽ More
In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the discrete-time and continuous-time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous-time dynamical system and a discrete-time dynamical system itself.
△ Less
Submitted 3 March, 2020;
originally announced March 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.
-
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.
-
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.
-
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.
-
A generalized version of the 2-microlocal frontier prescription
Authors:
Ursula Molter,
Mariel Rosenblatt
Abstract:
The characterization of local regularity is a fundamental issue in signal and image processing, since it contains relevant information about the underlying systems. The 2-microlocal frontier, a monotone concave downward curve in $\mathbb {R}^2$, provides a complete and profound classification of pointwise singularity.
In \cite{Meyer1998}, \cite{GuiJaffardLevy1998} and \cite{LevySeuret2004} the a…
▽ More
The characterization of local regularity is a fundamental issue in signal and image processing, since it contains relevant information about the underlying systems. The 2-microlocal frontier, a monotone concave downward curve in $\mathbb {R}^2$, provides a complete and profound classification of pointwise singularity.
In \cite{Meyer1998}, \cite{GuiJaffardLevy1998} and \cite{LevySeuret2004} the authors show the following: given a monotone concave downward curve in the plane it is possible to exhibit one function (or distribution) such that its 2-microlocal frontier al $x_0$ is the given curve.
In this work we are able to unify the previous results, by obtaining a large class of functions (or distributions), that includes the three examples mentioned above, for which the 2-microlocal frontier is the given curve. The three examples above are in this class.
Further, if the curve is a line, we characterize all the functions whose 2-microlocal frontier at $x_0$ is the given line.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
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.
-
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.
-
Approximation by crystal-refinable function
Authors:
Ursula Molter,
Maria del Carmen Moure,
Alejandro Quintero
Abstract:
Let $Γ$ be a crystal group in $\mathbb R^d$. A function $\varphi:\mathbb R^d\longrightarrow \mathbb C$ is said to be {\em crystal-refinable} (or $Γ-$refinable) if it is a linear combination of finitely many of the rescaled and translated functions $\varphi(γ^{-1}(ax))$, where the {\em translations} $γ$ are taken on a crystal group $Γ$, and $a$ is an expansive dilation matrix such that…
▽ More
Let $Γ$ be a crystal group in $\mathbb R^d$. A function $\varphi:\mathbb R^d\longrightarrow \mathbb C$ is said to be {\em crystal-refinable} (or $Γ-$refinable) if it is a linear combination of finitely many of the rescaled and translated functions $\varphi(γ^{-1}(ax))$, where the {\em translations} $γ$ are taken on a crystal group $Γ$, and $a$ is an expansive dilation matrix such that $aΓa^{-1}\subsetΓ.$ A $Γ-$refinable function $\varphi: \mathbb R^d \rightarrow \mathbb C$ satisfies a refinement equation $\varphi(x)=\sum_{γ\inΓ}d_γ\varphi(γ^{-1}(ax))$ with $d_γ\in \mathbb C$. Let $\mathcal S(\varphi)$ be the linear span of $\{\varphi(γ^{-1}(x)): γ\in Γ\}$ and $\mathcal{S}^h=\{f(x/h):f\in\mathcal{S(\varphi)}\}$. One important property of $\mathcal S(\varphi)$ is, how well it approximates functions in $L^2(\mathbb R^d)$. This property is very closely related to the {\em crystal-accuracy} of $\mathcal S(\varphi)$, which is the highest degree $p$ such that all multivariate polynomials $q(x)$ of ${\rm degree}(q)<p$ are exactly reproduced from elements in $\mathcal S(\varphi)$. In this paper, we determine the accuracy $p$ from the coefficients $d_γ$. Moreover, we obtain from our conditions, a characterization of accuracy for a particular lattice refinable vector function $F$, which simplifies the classical conditions.
△ Less
Submitted 18 October, 2018; v1 submitted 27 January, 2017;
originally announced January 2017.
-
Crystallographic Multiwavelets in $L^2(R^d)$
Authors:
Ursula Molter,
Alejandro Quintero
Abstract:
We characterize the scaling function of a crystal Multiresolution Analysis in terms of the vector-scaling function for a Multiresolution Analysis associated to a lattice. We give necessary and sufficient conditions in terms of the symbol matrix in order that an associated crystal wavelet basis exists.
We characterize the scaling function of a crystal Multiresolution Analysis in terms of the vector-scaling function for a Multiresolution Analysis associated to a lattice. We give necessary and sufficient conditions in terms of the symbol matrix in order that an associated crystal wavelet basis exists.
△ Less
Submitted 27 October, 2016;
originally announced October 2016.
-
Small Sets containing any Pattern
Authors:
Ursula Molter,
Alexia Yavicoli
Abstract:
Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern.
This is achieved as a special case of a more general construction in which we have a family of functions $\mathcal{F}$ that satisfy certain conditions and we construct a perfect set $E$ in $\mathbb{R}^N$, of $h$-Hausdorff measure zero,…
▽ More
Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern.
This is achieved as a special case of a more general construction in which we have a family of functions $\mathcal{F}$ that satisfy certain conditions and we construct a perfect set $E$ in $\mathbb{R}^N$, of $h$-Hausdorff measure zero, such that for any finite set $\{ f_1,\ldots,f_n\}\subseteq \mathcal{F}$, $E$ satisfies that $\bigcap_{i=1}^n f^{-1}_i(E)\neq\emptyset$.
We also obtain an analogous result for the images of functions. Additionally we prove some related results for countable (not necessarily finite) intersections, obtaining, instead of a perfect set, an $\mathcal{F}_σ$ set without isolated points.
△ Less
Submitted 13 June, 2018; v1 submitted 12 October, 2016;
originally announced October 2016.
-
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.
-
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.
-
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.
-
Countable Contraction Maps in Metric Spaces: Invariant Sets and Measures
Authors:
Maria Fernanda Barrozo,
Ursula Molter
Abstract:
We consider a complete metric space $(X,d)$ and a countable number of contractive map**s on $X$, $\mathcal{F}=\{F_i:i\in\mathbb N\}$. We show the existence of a {\em smallest} invariant set (with respect to inclusion) for $\mathcal{F}$. If the maps $F_i$ are of the form $F_i(\x) = r_i \boldmath{x} + b_i$ on $X=\mathbb{R}^d$, we can prove a converse of the classic result on contraction maps. Prec…
▽ More
We consider a complete metric space $(X,d)$ and a countable number of contractive map**s on $X$, $\mathcal{F}=\{F_i:i\in\mathbb N\}$. We show the existence of a {\em smallest} invariant set (with respect to inclusion) for $\mathcal{F}$. If the maps $F_i$ are of the form $F_i(\x) = r_i \boldmath{x} + b_i$ on $X=\mathbb{R}^d$, we can prove a converse of the classic result on contraction maps. Precisely, we can show that for that case, there exists a {\em unique} bounded invariant set if and only if $r = \sup_i r_i$ is strictly smaller than 1.
Further, if $ρ= \{ρ_k\}_{k\in \mathbb N}$ is a probability sequence, we show that if there exists an invariant measure for the system $(\mathcal{F},ρ)$, then it's support must be precisely this smallest invariant set. If in addition there exists any {\em bounded} invariant set, this invariant measure is unique - even though there may be more than one invariant set.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
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.
-
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.
-
Furstenberg sets for a fractal set of directions
Authors:
Ursula Molter,
Ezequiel Rela
Abstract:
In this note we study the behavior of the size of Furstenberg sets with respect to the size of the set of directions defining it. For any pair $α,β\in(0,1]$, we will say that a set $E\subset \R^2$ is an $F_{αβ}$-set if there is a subset $L$ of the unit circle of Hausdorff dimension at least $β$ and, for each direction $e$ in $L$, there is a line segment $\ell_e$ in the direction of $e$ such that t…
▽ More
In this note we study the behavior of the size of Furstenberg sets with respect to the size of the set of directions defining it. For any pair $α,β\in(0,1]$, we will say that a set $E\subset \R^2$ is an $F_{αβ}$-set if there is a subset $L$ of the unit circle of Hausdorff dimension at least $β$ and, for each direction $e$ in $L$, there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is equal or greater than $α$. The problem is considered in the wider scenario of generalized Hausdorff measures, giving estimates on the appropriate dimension functions for each class of Furstenberg sets. As a corollary of our main results, we obtain that $\dim(E)\ge\max\left\{α+\fracβ{2} ; 2α+β-1\right\}$ for any $E\in F_{αβ}$. In particular we are able to extend previously known results to the ``endpoint'' $α=0$ case.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
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.
-
Small Furstenberg sets
Authors:
Ursula Molter,
Ezequiel Rela
Abstract:
For $α$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $α$ or $F_α$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $α$. In this paper we show that if $α> 0$, there exists a set $E\in F_α$ such that $\HH{g}(E)=0$ for…
▽ More
For $α$ in $(0,1]$, a subset $E$ of $\RR$ is called Furstenberg set of type $α$ or $F_α$-set if for each direction $e$ in the unit circle there is a line segment $\ell_e$ in the direction of $e$ such that the Hausdorff dimension of the set $E\cap\ell_e$ is greater or equal than $α$. In this paper we show that if $α> 0$, there exists a set $E\in F_α$ such that $\HH{g}(E)=0$ for $g(x)=x^{1/2+3/2α}\log^{-θ}(\frac{1}{x})$, $θ>\frac{1+3α}{2}$, which improves on the the previously known bound, that $H^β(E) = 0$ for $β>1/2+3/2α$. Further, by refining the argument in a subtle way, we are able to obtain a sharp dimension estimate for a whole class of zero-dimensional Furstenberg type sets. Namely, for $\h_γ(x)=\log^{-γ}(\frac{1}{x})$, $γ>0$, we construct a set $E_γ\in F_{\h_γ}$ of Hausdorff dimension not greater than 1/2. Since in a previous work we showed that 1/2 is a lower bound for the Hausdorff dimension of any $E\in F_{\h_γ}$, with the present construction, the value 1/2 is sharp for the whole class of Furstenberg sets associated to the zero dimensional functions $\h_γ$.
△ Less
Submitted 12 November, 2012; v1 submitted 24 June, 2010;
originally announced June 2010.
-
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.
-
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.
-
Improving dimension estimates for Furstenberg-type sets
Authors:
Ursula Molter,
Ezequiel Rela
Abstract:
In this paper we prove some lower bounds on the Hausdorff dimension of sets of Furstenberg type. Moreover, we extend these results to sets of generalized Furstenberg type, associated to doubling dimension functions. With some additional growth conditions on the dimension function, we obtain a lower bound on the dimension of "zero dimensional" Furstenberg sets.
In this paper we prove some lower bounds on the Hausdorff dimension of sets of Furstenberg type. Moreover, we extend these results to sets of generalized Furstenberg type, associated to doubling dimension functions. With some additional growth conditions on the dimension function, we obtain a lower bound on the dimension of "zero dimensional" Furstenberg sets.
△ Less
Submitted 18 November, 2009; v1 submitted 17 April, 2009;
originally announced April 2009.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.