BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tino Ullrich

Tino Ullrich contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.NANumerical AnalysisInformation Theorymath.ITmath.CA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

preprint2021arXiv

A new upper bound for sampling numbers

We provide a new upper bound for sampling numbers $(g_n)_{n\in \mathbb{N}}$ associated to the compact embedding of a separable reproducing kernel Hilbert space into the space of square integrable functions. There are universal constants $C,c>0$ (which are specified in the paper) such that $$ g^2_n \leq \frac{C\log(n)}{n}\sum\limits_{k\geq \lfloor cn \rfloor} σ_k^2\quad,\quad n\geq 2\,, $$ where $(σ_k)_{k\in \mathbb{N}}$ is the sequence of singular numbers (approximation numbers) of the Hilbert-Schmidt embedding $\text{Id}:H(K) \to L_2(D,\varrho_D)$. The algorithm which realizes the bound is a least squares algorithm based on a specific set of sampling nodes. These are constructed out of a random draw in combination with a down-sampling procedure coming from the celebrated proof of Weaver's conjecture, which was shown to be equivalent to the Kadison-Singer problem. Our result is non-constructive since we only show the existence of a linear sampling operator realizing the above bound. The general result can for instance be applied to the well-known situation of $H^s_{\text{mix}}(\mathbb{T}^d)$ in $L_2(\mathbb{T}^d)$ with $s>1/2$. We obtain the asymptotic bound $$ g_n \leq C_{s,d}n^{-s}\log(n)^{(d-1)s+1/2}\,, $$ which improves on very recent results by shortening the gap between upper and lower bound to $\sqrt{\log(n)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A higher order Faber spline basis for sampling discretization of functions

This paper is devoted to the question of constructing a higher order Faber spline basis for the sampling discretization of functions with higher regularity than Lipschitz. The basis constructed in this paper has similar properties as the piecewise linear classical Faber-Schauder basis except for the compactness of the support. Although the new basis functions are supported on the real line they are very well localized (exponentially decaying) and the main parts are concentrated on a segment. This construction gives a complete answer to Problem 3.13 in Triebel's monograph (see References [47]) by extending the classical Faber basis to higher orders. Roughly, the crucial idea to obtain a higher order Faber spline basis is to apply Taylor's remainder formula to the dual Chui-Wang wavelets. As a first step we explicitly determine these dual wavelets which may be of independent interest. Using this new basis we provide sampling characterizations for Besov and Triebel-Lizorkin spaces and overcome the smoothness restriction coming from the classical piecewise linear Faber-Schauder system. This basis is unconditional and coefficient functionals are computed from discrete function values similar as for the Faber-Schauder situation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Adaptive sampling recovery of functions with higher mixed regularity

We tensorize the Faber spline system from [14] to prove sequence space isomorphisms for multivariate function spaces with higher mixed regularity. The respective basis coefficients are local linear combinations of discrete function values similar as for the classical Faber Schauder system. This allows for a sparse representation of the function using a truncated series expansion by only storing discrete (finite) set of function values. The set of nodes where the function values are taken depends on the respective function in a non-linear way. Indeed, if we choose the basis functions adaptively it requires significantly less function values to represent the initial function up to accuracy $\varepsilon>0$ (say in $L_\infty$) compared to hyperbolic cross projections. In addition, due to the higher regularity of the Faber splines we overcome the (mixed) smoothness restriction $r<2$ and benefit from higher mixed regularity of the function. As a byproduct we present the solution of Problem 3.13 in the Triebel monograph [46] for the multivariate setting.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Entropy numbers of finite dimensional mixed-norm balls and function space embeddings with small mixed smoothness

We study the embedding $\text{id}: \ell_p^b(\ell_q^d) \to \ell_r^b(\ell_u^d)$ and prove matching bounds for the entropy numbers $e_k(\text{id})$ provided that $0<p<r\leq \infty$ and $0<q\leq u\leq \infty$. Based on this finding, we establish optimal dimension-free asymptotic rates for the entropy numbers of embeddings of Besov and Triebel-Lizorkin spaces of small dominating mixed smoothness which settles an open question in the literature. Both results rely on a novel covering construction recently found by Edmunds and Netrusov.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Gelfand numbers related to structured sparsity and Besov space embeddings with small mixed smoothness

We consider the problem of determining the asymptotic order of the Gelfand numbers of mixed-(quasi-)norm embeddings $\ell^b_p(\ell^d_q) \hookrightarrow \ell^b_r(\ell^d_u)$ given that $p \leq r$ and $q \leq u$, with emphasis on cases with $p\leq 1$ and/or $q\leq 1$. These cases turn out to be related to structured sparsity. We obtain sharp bounds in a number of interesting parameter constellations. Our new matching bounds for the Gelfand numbers of the embeddings of $\ell_1^b(\ell_2^d)$ and $\ell_2^b(\ell_1^d)$ into $\ell_2^b(\ell_2^d)$ imply optimality assertions for the recovery of block-sparse and sparse-in-levels vectors, respectively. In addition, we apply the sharp estimates for $\ell^b_p(\ell^d_q)$-spaces to obtain new two-sided estimates for the Gelfand numbers of multivariate Besov space embeddings in regimes of small mixed smoothness. It turns out that in some particular cases these estimates show the same asymptotic behaviour as in the univariate situation. In the remaining cases they differ at most by a $\log\log$ factor from the univariate bound.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Haar System in Triebel-Lizorkin Spaces: Endpoint Results

We characterize the Schauder and unconditional basis properties for the Haar system in the Triebel-Lizorkin spaces $F^s_{p,q}(\Bbb R^d)$, at the endpoint cases $s=1$, $s=d/p-d$ and $p=\infty$. Together with the earlier results in [10], [4], this completes the picture for such properties in the Triebel-Lizorkin scale, and complements a similar study for the Besov spaces given in [5].

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sampling on energy-norm based sparse grids for the optimal recovery of Sobolev type functions in $H^γ$

We investigate the rate of convergence of linear sampling numbers of the embedding $H^{α,β} (\mathbb{T}^d) \hookrightarrow H^γ(\mathbb{T}^d)$. Here $α$ governs the mixed smoothness and $β$ the isotropic smoothness in the space $H^{α,β}(\mathbb{T}^d)$ of hybrid smoothness, whereas $H^γ(\mathbb{T}^d)$ denotes the isotropic Sobolev space. If $γ>β$ we obtain sharp polynomial decay rates for the first embedding realized by sampling operators based on &#34;energy-norm based sparse grids&#34; for the classical trigonometric interpolation. This complements earlier work by Griebel, Knapek and Dũng, Ullrich, where general linear approximations have been considered. In addition, we study the embedding $H^α_{mix} (\mathbb{T}^d) \hookrightarrow H^γ_{mix}(\mathbb{T}^d)$ and achieve optimality for Smolyak&#39;s algorithm applied to the classical trigonometric interpolation. This can be applied to investigate the sampling numbers for the embedding $H^α_{mix} (\mathbb{T}^d) \hookrightarrow L_q(\mathbb{T}^d)$ for $2<q\leq \infty$ where again Smolyak&#39;s algorithm yields the optimal order. The precise decay rates for the sampling numbers in the mentioned situations always coincide with those for the approximation numbers, except probably in the limiting situation $β= γ$ (including the embedding into $L_2(\mathbb{T}^d)$). The best what we could prove there is a (probably) non-sharp results with a logarithmic gap between lower and upper bound.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Entropy and sampling numbers of classes of ridge functions

We study properties of ridge functions $f(x)=g(a\cdot x)$ in high dimensions $d$ from the viewpoint of approximation theory. The considered function classes consist of ridge functions such that the profile $g$ is a member of a univariate Lipschitz class with smoothness $α> 0$ (including infinite smoothness), and the ridge direction $a$ has $p$-norm $\|a\|_p \leq 1$. First, we investigate entropy numbers in order to quantify the compactness of these ridge function classes in $L_{\infty}$. We show that they are essentially as compact as the class of univariate Lipschitz functions. Second, we examine sampling numbers and face two extreme cases. In case $p=2$, sampling ridge functions on the Euclidean unit ball faces the curse of dimensionality. It is thus as difficult as sampling general multivariate Lipschitz functions, a result in sharp contrast to the result on entropy numbers. When we additionally assume that all feasible profiles have a first derivative uniformly bounded away from zero in the origin, then the complexity of sampling ridge functions reduces drastically to the complexity of sampling univariate Lipschitz functions. In between, the sampling problem&#39;s degree of difficulty varies, depending on the values of $α$ and $p$. Surprisingly, we see almost the entire hierarchy of tractability levels as introduced in the recent monographs by Novak and Woźniakowski.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

New Characterizations of Besov-Triebel-Lizorkin-Hausdorff Spaces Including Coorbits and Wavelets

In this paper, the authors establish new characterizations of the recently introduced Besov-type spaces $\dot{B}^{s,τ}_{p,q}({\mathbb R}^n)$ and Triebel-Lizorkin-type spaces $\dot{F}^{s,τ}_{p,q}({\mathbb R}^n)$ with $p\in (0,\infty]$, $s\in{\mathbb R}$, $τ\in [0,\infty)$, and $q\in (0,\infty]$, as well as their preduals, the Besov-Hausdorff spaces $B\dot{H}^{s,τ}_{p,q}(\R^n)$ and Triebel-Lizorkin-Hausdorff spaces $F\dot{H}^{s,τ}_{p,q}(\R^n)$, in terms of the local means, the Peetre maximal function of local means, and the tent space (the Lusin area function) in both discrete and continuous types. As applications, the authors then obtain interpretations as coorbits in the sense of H. Rauhut in [Studia Math. 180 (2007), 237-253] and discretizations via the biorthogonal wavelet bases for the full range of parameters of these function spaces. Even for some special cases of this setting such as $\dot F^s_{\infty,q}({\mathbb R}^n)$ for $s\in{\mathbb R}$, $q\in (0,\infty]$ (including $\mathop\mathrm{BMO} ({\mathbb R}^n)$ when $s=0$, $q=2$), the $Q$ space $Q_α({\mathbb R}^n)$, the Hardy-Hausdorff space $HH_{-α}({\mathbb R}^n)$ for $α\in (0,\min\{\frac n2,1\})$, the Morrey space ${\mathcal M}^u_p({\mathbb R}^n)$ for $1<p\le u<\infty$, and the Triebel-Lizorkin-Morrey space $\dot{\mathcal{E}}^s_{upq}({\mathbb R}^n)$ for $0<p\le u<\infty$, $s\in{\mathbb R}$ and $q\in(0,\infty]$, some of these results are new.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Continuous characterizations of Besov-Lizorkin-Triebel spaces and new interpretations as coorbits

We give characterizations for homogeneous and inhomogeneous Besov-Lizorkin-Triebel spaces in terms of continuous local means for the full range of parameters. In particular, we prove characterizations in terms of Lusin functions and spaces involving the Peetre maximal function to apply the classical coorbit space theory due to Feichtinger and Gröchenig. This results in atomic decompositions and wavelet bases for homogeneous spaces. In particular we give sufficient conditions for suitable wavelets in terms of moment, decay and smoothness conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Generalized coorbit space theory and inhomogeneous function spaces of Besov-Lizorkin-Triebel type

Coorbit space theory is an abstract approach to function spaces and their atomic decompositions. The original theory developed by Feichtinger and Gr{ö}chenig in the late 1980ies heavily uses integrable representations of locally compact groups. Their theory covers, in particular, homogeneous Besov-Lizorkin-Triebel spaces, modulation spaces, Bergman spaces, and the recent shearlet spaces. However, inhomogeneous Besov-Lizorkin-Triebel spaces cannot be covered by their group theoretical approach. Later it was recognized by Fornasier and the first named author that one may replace coherent states related to the group representation by more general abstract continuous frames. In the first part of the present paper we significantly extend this abstract generalized coorbit space theory to treat a wider variety of coorbit spaces. A unified approach towards atomic decompositions and Banach frames with new results for general coorbit spaces is presented. In the second part we apply the abstract setting to a specific framework and study coorbits of what we call Peetre spaces. They allow to recover inhomogeneous Besov-Lizorkin-Triebel spaces of various types of interest as coorbits. We obtain several old and new wavelet characterizations based on precise smoothness, decay, and vanishing moment assumptions of the respective wavelet. As main examples we obtain results for weighted spaces (Muckenhoupt, doubling), general 2-microlocal spaces, Besov-Lizorkin-Triebel-Morrey spaces, spaces of dominating mixed smoothness, and even mixtures of the mentioned ones. Due to the generality of our approach, there are many more examples of interest where the abstract coorbit space theory is applicable.

0 citations0 reviewsNo code linkedOpen access