Source author record

Ursula Molter

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

15works
4topics
4close collaborators

Published work

15 publications

preprint2020arXiv

Approximation by group invariant subspaces

In this article we study the structure of ΓΓ-invariant spaces of L2(R)L^2(\bf R). Here R\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 R\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 L2(R)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.

preprint2020arXiv

Continuous and discrete dynamical sampling

In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space H\mathcal{H}. We find necessary and sufficient conditions on a bounded linear operator A∈B(H)A\in\mathcal{B}(\mathcal{H}) and a set of vectors G⊂H\mathcal{G}\subset \mathcal{H}, in order to obtain that {etAg}g∈G,t∈[0,∞)\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)} is a semi-continuous frame for H\mathcal{H}. We study if it is possible to discretize the time variable tt and still have a frame for H\mathcal{H}. We also relate the continuous iteration etAe^{tA} on a set G\mathcal{G} to the discrete iteration (A′)n(A^\prime)^n on G′\mathcal{G}^\prime for an adequate operator A′A^\prime and set G′⊂H\mathcal{G}^\prime\subset \mathcal{H}.

preprint2020arXiv

Dynamical Sampling: a view from control theory

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.

preprint2018arXiv

Small Sets containing any Pattern

Given any dimension function hh, we construct a perfect set E⊆RE \subseteq \mathbb{R} of zero hh-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 F\mathcal{F} that satisfy certain conditions and we construct a perfect set EE in RN\mathbb{R}^N, of hh-Hausdorff measure zero, such that for any finite set {f1,…,fn}⊆F\{ f_1,\ldots,f_n\}\subseteq \mathcal{F}, EE satisfies that ⋂i=1nfi−1(E)≠∅\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 Fσ\mathcal{F}_σ set without isolated points.

preprint2014arXiv

Time-frequency shift invariance and the Amalgan Balian Low Theorem

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.

preprint2013arXiv

Countable Contraction Maps in Metric Spaces: Invariant Sets and Measures

We consider a complete metric space (X,d)(X,d) and a countable number of contractive mappings on XX, F={Fi:i∈N}\mathcal{F}=\{F_i:i\in\mathbb N\}. We show the existence of a {\em smallest} invariant set (with respect to inclusion) for F\mathcal{F}. If the maps FiF_i are of the form $F_i(\x) = r_i \boldmath{x} + b_i$ on X=RdX=\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⁡irir = \sup_i r_i is strictly smaller than 1. Further, if ρ={ρk}k∈Nρ= \{ρ_k\}_{k\in \mathbb N} is a probability sequence, we show that if there exists an invariant measure for the system (F,ρ)(\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.

preprint2012arXiv

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

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<+∞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 AA 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 AA 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.

preprint2012arXiv

Small Furstenberg sets

For αα in (0,1](0,1], a subset EE of $\RR$ is called Furstenberg set of type αα or FαF_α-set if for each direction ee in the unit circle there is a line segment ℓe\ell_e in the direction of ee such that the Hausdorff dimension of the set E∩ℓeE\cap\ell_e is greater or equal than αα. In this paper we show that if α>0α> 0, there exists a set E∈FαE\in F_α such that $\HH{g}(E)=0$ for g(x)=x1/2+3/2αlog⁡−θ(1x)g(x)=x^{1/2+3/2α}\log^{-θ}(\frac{1}{x}), θ>1+3α2θ>\frac{1+3α}{2}, which improves on the the previously known bound, that Hβ(E)=0H^β(E) = 0 for β>1/2+3/2αβ>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γ>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_γ$.

preprint2011arXiv

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

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.

preprint2011arXiv

Frames by Multiplication

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 hh in L2(Rd)L^2(\R^d). This is achieved by looking at a set of exponentials restricted to a set E⊂RdE \subset \R^d with frequencies in a countable set ΛΛ and multiplying it by the Fourier transform of a fixed function h∈L2(E)h \in L^2(E). Using density results due to Beurling, we prove the existence and give ways to construct frames by irregular translates.

preprint2011arXiv

Visible and Invisible Cantor sets

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.

preprint2010arXiv

Furstenberg sets for a fractal set of directions

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 α,β∈(0,1]α,β\in(0,1], we will say that a set E⊂R2E\subset \R^2 is an FαβF_{αβ}-set if there is a subset LL of the unit circle of Hausdorff dimension at least ββ and, for each direction ee in LL, there is a line segment ℓe\ell_e in the direction of ee such that the Hausdorff dimension of the set E∩ℓeE\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)≥max⁡{α+β2;2α+β−1}\dim(E)\ge\max\left\{α+\fracβ{2} ; 2α+β-1\right\} for any E∈FαβE\in F_{αβ}. In particular we are able to extend previously known results to the ``endpoint'' α=0α=0 case.

preprint2008arXiv

Invariance of a Shift-Invariant Space

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.