Source author record

Henryk Wozniakowski

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

7works
1topics
4close collaborators

Published work

7 publications

preprint2016arXiv

L∞\boldsymbol{L}_{\infty}-approximation in Korobov spaces with Exponential Weights

We study multivariate L∞\boldsymbol{L}_{\infty}-approximation for a weighted Korobov space of periodic functions for which the Fourier coefficients decay exponentially fast. The weights are defined, in particular, in terms of two sequences a={aj}\boldsymbol{a}=\{a_j\} and b={bj}\boldsymbol{b}=\{b_j\} of positive real numbers bounded away from zero. We study the minimal worst-case error eL∞−app,Λ(n,s)e^{\boldsymbol{L}_{\infty}\mathrm{-app},Λ}(n,s) of all algorithms that use nn information evaluations from a class ΛΛ in the ss-variate case. We consider two classes ΛΛ in this paper: the class ΛallΛ^{\rm all} of all linear functionals and the class ΛstdΛ^{\rm std} of only function evaluations. We study exponential convergence of the minimal worst-case error, which means that eL∞−app,Λ(n,s)e^{\boldsymbol{L}_{\infty}\mathrm{-app},Λ}(n,s) converges to zero exponentially fast with increasing nn. Furthermore, we consider how the error depends on the dimension ss. To this end, we define the notions of κκ-EC-weak, EC-polynomial and EC-strong polynomial tractability, where EC stands for "exponential convergence". In particular, EC-polynomial tractability means that we need a polynomial number of information evaluations in ss and 1+log⁡ ε−11+\log\,\varepsilon^{-1} to compute an ε\varepsilon-approximation. We derive necessary and sufficient conditions on the sequences a\boldsymbol{a} and b\boldsymbol{b} for obtaining exponential error convergence, and also for obtaining the various notions of tractability. The results are the same for both classes ΛΛ.

preprint2015arXiv

Approximation in Hermite spaces of smooth functions

We consider L2\mathbb{L}_2-approximation of elements of a Hermite space of analytic functions over Rs\mathbb{R}^s. The Hermite space is a weighted reproducing kernel Hilbert space of real valued functions for which the Hermite coefficients decay exponentially fast. The weights are defined in terms of two sequences a={aj}\boldsymbol{a} = \{a_j\} and b={bj}\boldsymbol{b} = \{b_j\} of positive real numbers. We study the nnth minimal worst-case error e(n,APPs;Λstd)e(n,{\rm APP}_s;Λ^{\rm std}) of all algorithms that use nn information evaluations from the class ΛstdΛ^{\rm std} which only allows function evaluations to be used. We study (uniform) exponential convergence of the nnth minimal worst-case error, which means that e(n,APPs;Λstd)e(n,{\rm APP}_s; Λ^{\rm std}) converges to zero exponentially fast with increasing nn. Furthermore, we consider how the error depends on the dimension ss. To this end, we study the minimal number of information evaluations needed to compute an ε\varepsilon-approximation by considering several notions of tractability which are defined with respect to ss and log⁡ε−1\log \varepsilon^{-1}. We derive necessary and sufficient conditions on the sequences a\boldsymbol{a} and b\boldsymbol{b} for obtaining exponential error convergence, and also for obtaining the various notions of tractability. It turns out that the conditions on the weight sequences are almost the same as for the information class ΛallΛ^{\rm all} which uses all linear functionals. The results are also constructive as the considered algorithms are based on tensor products of Gauss-Hermite rules for multivariate integration. The obtained results are compared with the analogous results for integration in the same Hermite space. This allows us to give a new sufficient condition for EC-weak tractability for integration.

preprint2015arXiv

Tractability of Multivariate Approximation Defined over Hilbert Spaces with Exponential Weights

We study multivariate approximation defined over tensor product Hilbert spaces. The domain space is a weighted tensor product Hilbert space with exponential weights which depend on two sequences a={aj}j∈N\boldsymbol{a}=\{a_j\}_{j\in\mathbb{N}} and b={bj}j∈N\boldsymbol{b}=\{b_j\}_{j\in\mathbb{N}} of positive numbers, and on a bounded sequence of positive integers m={mj}j∈N\boldsymbol{m}=\{m_j\}_{j\in\mathbb{N}}. The sequence a\boldsymbol{a} is non-decreasing and the sequence b\boldsymbol{b} is bounded from below by a positive number. We find necessary and sufficient conditions on a,b\boldsymbol{a},\boldsymbol{b} and m\boldsymbol{m} to achieve the standard and new notions of tractability in the worst case setting.

preprint2015arXiv

Tractability of Multivariate Problems for Standard and Linear Information in the Worst Case Setting: Part I

We present a lower error bound for approximating linear multivariate operators defined over Hilbert spaces in terms of the error bounds for appropriately constructed linear functionals as long as algorithms use function values. Furthermore, some of these linear functionals have the same norm as the linear operators. We then apply this error bound for linear (unweighted) tensor products. In this way we use negative tractability results known for linear functionals to conclude the same negative results for linear operators. In particular, we prove that L2L_2-multivariate approximation defined for standard Sobolev space suffers the curse of dimensionality if function values are used although the curse is not present if linear functionals are allowed.

preprint2014arXiv

Tractability of multivariate analytic problems

In the theory of tractability of multivariate problems one usually studies problems with finite smoothness. Then we want to know which ss-variate problems can be approximated to within ε\varepsilon by using, say, polynomially many in ss and ε−1\varepsilon^{-1} function values or arbitrary linear functionals. There is a recent stream of work for multivariate analytic problems for which we want to answer the usual tractability questions with ε−1\varepsilon^{-1} replaced by 1+log⁡ε−11+\log \varepsilon^{-1}. In this vein of research, multivariate integration and approximation have been studied over Korobov spaces with exponentially fast decaying Fourier coefficients. This is work of J. Dick, G. Larcher, and the authors. There is a natural need to analyze more general analytic problems defined over more general spaces and obtain tractability results in terms of ss and 1+log⁡ε−11+\log \varepsilon^{-1}. The goal of this paper is to survey the existing results, present some new results, and propose further questions for the study of tractability of multivariate analytic questions.

preprint2013arXiv

The Curse of Dimensionality for Numerical Integration of Smooth Functions II

We prove the curse of dimensionality in the worst case setting for numerical integration for a number of classes of smooth dd-variate functions. Roughly speaking, we consider different bounds for the derivatives of f∈Ck(Dd)f \in C^k(D_d) and ask whether the curse of dimensionality holds for the respective classes of functions. We always assume that Dd⊂RdD_d \subset \mathbb{R}^d has volume one and consider various values of kk including the case k=∞k=\infty which corresponds to infinitely many differentiable functions. We obtain necessary and sufficient conditions, and in some cases a full characterization for the curse of dimensionality. For infinitely many differentiable functions we prove the curse if the bounds on the successive derivatives are appropriately large. The proof technique is based on a volume estimate of a neighborhood of the convex hull of nn points which decays exponentially fast if nn is small relative to dd. For k=∞k=\infty, we also also study conditions for quasi-polynomial, weak and uniform weak tractability.

preprint2011arXiv

Discontinuous information in the worst case and randomized settings

We believe that discontinuous linear information is never more powerful than continuous linear information for approximating continuous operators. We prove such a result in the worst case setting. In the randomized setting we consider compact linear operators defined between Hilbert spaces. In this case, the use of discontinuous linear information in the randomized setting cannot be much more powerful than continuous linear information in the worst case setting. These results can be applied when function evaluations are used even if function values are defined only almost everywhere.

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.