-
Weighted sampling recovery of functions with mixed smoothness
Authors:
Dinh Dũng
Abstract:
We study sparse-grid linear sampling algorithms and their optimality for approximate recovery of functions with mixed smoothness on $\mathbb{R}^d$ from a set of $n$ their sampled values in two different settings: (i) functions to be recovered are in weighted Sobolev spaces $W^r_{p,w}(\mathbb{R}^d)$ of mixed smoothness and the approximation error is measured by the norm of the weighted Lebesgue spa…
▽ More
We study sparse-grid linear sampling algorithms and their optimality for approximate recovery of functions with mixed smoothness on $\mathbb{R}^d$ from a set of $n$ their sampled values in two different settings: (i) functions to be recovered are in weighted Sobolev spaces $W^r_{p,w}(\mathbb{R}^d)$ of mixed smoothness and the approximation error is measured by the norm of the weighted Lebesgue space $L_{q,w}(\mathbb{R}^d)$, and (ii) functions to be recovered are in Sobolev spaces with measure $W^r_p(\mathbb{R}^d; μ_w)$ of mixed smoothness and the approximation error is measured by the norm of the Lebesgue space with measure $L_q(\mathbb{R}^d; μ_w)$. Here, the function $w$, a tensor-product Freud-type weight is the weight in the setting (i), and the density function of the measure $μ_w$ in the setting (ii). The optimality of linear sampling algorithms is investigated in terms of the relevant sampling $n$-widths. We construct sparse-grid linear sampling algorithms which are completely different for the settings (i) and (ii) and which give upper bounds of the corresponding sampling $n$-widths. We prove that in the one-dimensional case, these algorithms realize the right convergence rate of the sampling widths. In the setting (ii) for the high dimensional case ($d\ge 2$), we also achieve the right convergence rate of the sampling $n$-widths for $1\le q \le 2 \le p \le \infty$ through a non-constructive method.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Sparse-grid sampling recovery and numerical integration of functions having mixed smoothness
Authors:
Dinh Dũng
Abstract:
We give a short survey of recent results on sparse-grid linear algorithms of approximate recovery and integration of functions possessing a unweighted or weighted Sobolev mixed smoothness based on their sampled values at a certain finite set. Some of them are extended to more general cases.
We give a short survey of recent results on sparse-grid linear algorithms of approximate recovery and integration of functions possessing a unweighted or weighted Sobolev mixed smoothness based on their sampled values at a certain finite set. Some of them are extended to more general cases.
△ Less
Submitted 10 March, 2024; v1 submitted 10 September, 2023;
originally announced September 2023.
-
Numerical weighted integration of functions having mixed smoothness
Authors:
Dinh Dũng
Abstract:
We investigate the approximation of weighted integrals over $\mathbb{R}^d$ for integrands from weighted Sobolev spaces of mixed smoothness. We prove upper and lower bounds of the convergence rate of optimal quadratures with respect to $n$ integration nodes for functions from these spaces. In the one-dimensional case $(d=1)$, we obtain the right convergence rate of optimal quadratures. For…
▽ More
We investigate the approximation of weighted integrals over $\mathbb{R}^d$ for integrands from weighted Sobolev spaces of mixed smoothness. We prove upper and lower bounds of the convergence rate of optimal quadratures with respect to $n$ integration nodes for functions from these spaces. In the one-dimensional case $(d=1)$, we obtain the right convergence rate of optimal quadratures. For $d \ge 2$, the upper bound is performed by sparse-grid quadratures with integration nodes on step hyperbolic crosses in the function domain $\mathbb{R}^d$.
△ Less
Submitted 28 April, 2023; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Optimal numerical integration and approximation of functions on $\mathbb{R}^d$ equipped with Gaussian measure
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We investigate the numerical approximation of integrals over $\mathbb{R}^d$ equipped with the standard Gaussian measure $γ$ for integrands belonging to the Gaussian-weighted Sobolev spaces $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ for $1 < p < \infty$. We prove the asymptotic order of the convergence of optimal quadratures based on $n$ integration nodes and propose a novel met…
▽ More
We investigate the numerical approximation of integrals over $\mathbb{R}^d$ equipped with the standard Gaussian measure $γ$ for integrands belonging to the Gaussian-weighted Sobolev spaces $W^α_p(\mathbb{R}^d, γ)$ of mixed smoothness $α\in \mathbb{N}$ for $1 < p < \infty$. We prove the asymptotic order of the convergence of optimal quadratures based on $n$ integration nodes and propose a novel method for constructing asymptotically optimal quadratures. As for related problems, we establish by a similar technique the asymptotic order of the linear, Kolmogorov and sampling $n$-widths in the Gaussian-weighted space $L_q(\mathbb{R}^d, γ)$ of the unit ball of $W^α_p(\mathbb{R}^d, γ)$ for $1 \leq q < p < \infty$ and $q=p=2$.
△ Less
Submitted 16 June, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
Analyticity and sparsity in uncertainty quantification for PDEs with Gaussian random field inputs
Authors:
Dinh Dũng,
Van Kien Nguyen,
Christoph Schwab,
Jakob Zech
Abstract:
We establish sparsity and summability results for coefficient sequences of Wiener-Hermite polynomial chaos expansions of countably-parametric solutions of linear elliptic and parabolic divergence-form partial differential equations with Gaussian random field inputs.
The novel proof technique developed here is based on analytic continuation of parametric solutions into the complex domain. It diff…
▽ More
We establish sparsity and summability results for coefficient sequences of Wiener-Hermite polynomial chaos expansions of countably-parametric solutions of linear elliptic and parabolic divergence-form partial differential equations with Gaussian random field inputs.
The novel proof technique developed here is based on analytic continuation of parametric solutions into the complex domain. It differs from previous works that used bootstrap arguments and induction on the differentiation order of solution derivatives with respect to the parameters. The present holomorphy-based argument allows a unified, ``differentiation-free'' proof of sparsity (expressed in terms of $\ell^p$-summability or weighted $\ell^2$-summability) of sequences of Wiener-Hermite coefficients in polynomial chaos expansions in various scales of function spaces. The analysis also implies corresponding analyticity and sparsity results for posterior densities in Bayesian inverse problems subject to Gaussian priors on uncertain inputs from function spaces.
Our results furthermore yield dimension-independent convergence rates of various \emph{constructive} high-dimensional deterministic numerical approximation schemes such as single-level and multi-level versions of Hermite-Smolyak anisotropic sparse-grid interpolation and quadrature in both forward and inverse computational uncertainty quantification.
△ Less
Submitted 16 June, 2023; v1 submitted 5 January, 2022;
originally announced January 2022.
-
Deep ReLU neural network approximation in Bochner spaces and applications to parametric PDEs
Authors:
Dinh Dũng,
Van Kien Nguyen,
Duong Thanh Pham
Abstract:
We investigate non-adaptive methods of deep ReLU neural network approximation in Bochner spaces $L_2({\mathbb U}^\infty, X, μ)$ of functions on ${\mathbb U}^\infty$ taking values in a separable Hilbert space $X$, where ${\mathbb U}^\infty$ is either ${\mathbb R}^\infty$ equipped with the standard Gaussian probability measure, or ${\mathbb I}^\infty:= [-1,1]^\infty$ equipped with the Jacobi probabi…
▽ More
We investigate non-adaptive methods of deep ReLU neural network approximation in Bochner spaces $L_2({\mathbb U}^\infty, X, μ)$ of functions on ${\mathbb U}^\infty$ taking values in a separable Hilbert space $X$, where ${\mathbb U}^\infty$ is either ${\mathbb R}^\infty$ equipped with the standard Gaussian probability measure, or ${\mathbb I}^\infty:= [-1,1]^\infty$ equipped with the Jacobi probability measure. Functions to be approximated are assumed to satisfy a certain weighted $\ell_2$-summability of the generalized chaos polynomial expansion coefficients with respect to the measure $μ$. We prove the convergence rate of this approximation in terms of the size of approximating deep ReLU neural networks. These results then are applied to approximation of the solution to parametric elliptic PDEs with random inputs for the lognormal and affine cases.
△ Less
Submitted 13 December, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Collocation approximation by deep neural ReLU networks for parametric elliptic PDEs with lognormal inputs
Authors:
Dinh Dũng
Abstract:
We obtained convergence rates of the collocation approximation by deep ReLU neural networks of solutions to elliptic PDEs with lognormal inputs, parametrized by $\boldsymbol{y}$ from the non-compact set $\mathbb{R}^\infty$. The approximation error is measured in the norm of the Bochner space $L_2(\mathbb{R}^\infty, V, γ)$, where $γ$ is the infinite tensor product standard Gaussian probability meas…
▽ More
We obtained convergence rates of the collocation approximation by deep ReLU neural networks of solutions to elliptic PDEs with lognormal inputs, parametrized by $\boldsymbol{y}$ from the non-compact set $\mathbb{R}^\infty$. The approximation error is measured in the norm of the Bochner space $L_2(\mathbb{R}^\infty, V, γ)$, where $γ$ is the infinite tensor product standard Gaussian probability measure on $\mathbb{R}^\infty$ and $V$ is the energy space. We also obtained similar results for the case when the lognormal inputs are parametrized on $\mathbb{R}^M$ with very large dimension $M$, and the approximation error is measured in the $\sqrt{g_M}$-weighted uniform norm of the Bochner space $L_\infty^{\sqrt{g}}(\mathbb{R}^M, V)$, where $g_M$ is the density function of the standard Gaussian probability measure on $\mathbb{R}^M$.
△ Less
Submitted 5 December, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
Computation complexity of deep ReLU neural networks in high-dimensional approximation
Authors:
Dinh Dũng,
Van Kien Nguyen,
Mai Xuan Thao
Abstract:
The purpose of the present paper is to study the computation complexity of deep ReLU neural networks to approximate functions in Hölder-Nikol'skii spaces of mixed smoothness $H_\infty^α(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$. In this context, for any function $f\in H_\infty^α(\mathbb{I}^d)$, we explicitly construct nonadaptive and adaptive deep ReLU neural networks having an outpu…
▽ More
The purpose of the present paper is to study the computation complexity of deep ReLU neural networks to approximate functions in Hölder-Nikol'skii spaces of mixed smoothness $H_\infty^α(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$. In this context, for any function $f\in H_\infty^α(\mathbb{I}^d)$, we explicitly construct nonadaptive and adaptive deep ReLU neural networks having an output that approximates $f$ with a prescribed accuracy $\varepsilon$, and prove dimension-dependent bounds for the computation complexity of this approximation, characterized by the size and the depth of this deep ReLU neural network, explicitly in $d$ and $\varepsilon$. Our results show the advantage of the adaptive method of approximation by deep ReLU neural networks over nonadaptive one.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
High-dimensional nonlinear approximation by parametric manifolds in Hölder-Nikol'skii spaces of mixed smoothness
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We study high-dimensional nonlinear approximation of functions in Hölder-Nikol'skii spaces $H^α_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error is measured in the $L_\infty$-norm. In this context, we explicitly constructed methods of nonlinear approximation, and give dimension-dependent estimates of the approx…
▽ More
We study high-dimensional nonlinear approximation of functions in Hölder-Nikol'skii spaces $H^α_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error is measured in the $L_\infty$-norm. In this context, we explicitly constructed methods of nonlinear approximation, and give dimension-dependent estimates of the approximation error explicitly in dimension $d$ and number $N$ measuring computation complexity of the parametric manifold of approximants. For $d=2$, we derived a novel right asymptotic order of noncontinuous manifold $N$-widths of the unit ball of $H^α_\infty(\mathbb{I}^2)$ in the space $L_\infty(\mathbb{I}^2)$. In constructing approximation methods, the function decomposition by the tensor product Faber series and special representations of its truncations on sparse grids play a central role.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Approximation by linear combinations of translates of a single function
Authors:
Dinh Dũng,
Vu Nhat Huy
Abstract:
We study approximation by arbitrary linear combinations of $n$ translates of a single function of periodic functions. We construct some linear methods of this approximation for univariate functions in the class induced by the convolution with a single function, and prove upper bounds of the $L^p$-approximation convergence rate by these methods, when $n \to \infty$, for $1 \leq p \leq \infty$. We a…
▽ More
We study approximation by arbitrary linear combinations of $n$ translates of a single function of periodic functions. We construct some linear methods of this approximation for univariate functions in the class induced by the convolution with a single function, and prove upper bounds of the $L^p$-approximation convergence rate by these methods, when $n \to \infty$, for $1 \leq p \leq \infty$. We also generalize these results to classes of multivariate functions defined the convolution with the tensor product of a single function. In the case $p=2$, for this class, we also prove a lower bound of the quantity characterizing best approximation of by arbitrary linear combinations of $n$ translates of arbitrary function.
△ Less
Submitted 3 November, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Deep ReLU neural networks in high-dimensional approximation
Authors:
Dinh Dũng,
Van Kien Nguyen
Abstract:
We study the computation complexity of deep ReLU (Rectified Linear Unit) neural networks for the approximation of functions from the Hölder-Zygmund space of mixed smoothness defined on the $d$-dimensional unit cube when the dimension $d$ may be very large. The approximation error is measured in the norm of isotropic Sobolev space. For every function $f$ from the Hölder-Zygmund space of mixed smoot…
▽ More
We study the computation complexity of deep ReLU (Rectified Linear Unit) neural networks for the approximation of functions from the Hölder-Zygmund space of mixed smoothness defined on the $d$-dimensional unit cube when the dimension $d$ may be very large. The approximation error is measured in the norm of isotropic Sobolev space. For every function $f$ from the Hölder-Zygmund space of mixed smoothness, we explicitly construct a deep ReLU neural network having an output that approximates $f$ with a prescribed accuracy $\varepsilon$, and prove tight dimension-dependent upper and lower bounds of the computation complexity of this approximation, characterized as the size and the depth of this deep ReLU neural network, explicitly in $d$ and $\varepsilon$. The proof of these results are in particular, relied on the approximation by sparse-grid sampling recovery based on the Faber series.
△ Less
Submitted 23 July, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Reducibility index and sum-reducibility index
Authors:
Tran Nguyen An,
Tran Duc Dung,
Shinya Kumashiro,
Le Thanh Nhan
Abstract:
Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$. On the other hand, for an Artinian $R$-module $A$, Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible re…
▽ More
Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$. On the other hand, for an Artinian $R$-module $A$, Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible representation of $A$ does not depend on the choice of the representation. This number is called the sum-reducibility index of $A$. In the former part of this paper, we compute the reducibility index of $S\otimes_R M$, where $R\to S$ is a flat homomorphism of Noetherian rings. Especially, the localization, the polynomial extension, and the completion of $R$ are studied. For the latter part of this paper, we clarify the relation among the reducibility index of $M$, that of the completion of $M$, and the sum-reducibility index of the Matlis dual of $M$.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
Sparse-grid polynomial interpolation approximation and integration for parametric and stochastic elliptic PDEs with lognormal inputs
Authors:
Dinh Dũng
Abstract:
By combining a certain approximation property in the spatial domain, and weighted $\ell_2$-summability of the Hermite polynomial expansion coefficients in the parametric domain obtained in [M. Bachmayr, A. Cohen, R. DeVore and G. Migliorati, ESAIM Math. Model. Numer. Anal. $\bf 51$(2017), 341-363] and [M. Bachmayr, A. Cohen, D. Dũng and C. Schwab, SIAM J. Numer. Anal. $\bf 55$(2017), 2151-2186], w…
▽ More
By combining a certain approximation property in the spatial domain, and weighted $\ell_2$-summability of the Hermite polynomial expansion coefficients in the parametric domain obtained in [M. Bachmayr, A. Cohen, R. DeVore and G. Migliorati, ESAIM Math. Model. Numer. Anal. $\bf 51$(2017), 341-363] and [M. Bachmayr, A. Cohen, D. Dũng and C. Schwab, SIAM J. Numer. Anal. $\bf 55$(2017), 2151-2186], we investigate linear non-adaptive methods of fully discrete polynomial interpolation approximation as well as fully discrete weighted quadrature methods of integration for parametric and stochastic elliptic PDEs with lognormal inputs. We explicitly construct such methods and prove corresponding convergence rates in $n$ of the approximations by them, where $n$ is a number characterizing computation complexity. The linear non-adaptive methods of fully discrete polynomial interpolation approximation are sparse-grid collocation methods. Moreover, they generate in a natural way discrete weighted quadrature formulas for integration of the solution to parametric and stochastic elliptic PDEs and its linear functionals, and the error of the corresponding integration can be estimated via the error in the Bochner space $L_1({\mathbb R}^\infty,V,γ)$ norm of the generating methods where $γ$ is the Gaussian probability measure on ${\mathbb R}^\infty$ and $V$ is the energy space. We also briefly consider similar problems for parametric and stochastic elliptic PDEs with affine inputs, and by-product problems of non-fully discrete polynomial interpolation approximation and integration. In particular, the convergence rate of non-fully discrete obtained in this paper improves the known one.
△ Less
Submitted 23 May, 2024; v1 submitted 13 April, 2019;
originally announced April 2019.
-
$\varepsilon$-dimension in infinite dimensional hyperbolic cross approximation and application to parametric elliptic PDEs
Authors:
Dinh Dũng,
Michael Griebel,
Vu Nhat Huy,
Christian Rieger
Abstract:
In this article, we present a cost-benefit analysis of the approximation in tensor products of Hilbert spaces of Sobolev-analytic type. The Sobolev part is defined on a finite dimensional domain, whereas the analytical space is defined on an infinite dimensional domain. As main mathematical tool, we use the $\varepsilon$-dimension of a subset in a Hilbert space. The $\varepsilon$-dimension gives t…
▽ More
In this article, we present a cost-benefit analysis of the approximation in tensor products of Hilbert spaces of Sobolev-analytic type. The Sobolev part is defined on a finite dimensional domain, whereas the analytical space is defined on an infinite dimensional domain. As main mathematical tool, we use the $\varepsilon$-dimension of a subset in a Hilbert space. The $\varepsilon$-dimension gives the lowest number of linear information that is needed to approximate an element from the set in the norm of the Hilbert space up to an accuracy $\varepsilon>0$. From a practical point of view this means that we a priori fix an accuracy and ask for the amount of information to achieve this accuracy. Such an analysis usually requires sharp estimates on the cardinality of certain index sets which are in our case infinite-dimensional hyperbolic crosses. As main result, we obtain sharp bounds of the $\varepsilon$-dimension of the Sobolev-analytic-type function classes which depend only on the smoothness differences in the Sobolev spaces and the dimension of the finite dimensional domain where these spaces are defined. This implies in particular that, up to constants, the costs of the infinite dimensional (analytical) approximation problem is dominated by the finite-variate Sobolev approximation problem. We demonstrate this procedure with an examples of functions spaces stemming from the regularity theory of parametric partial differential equation.
△ Less
Submitted 28 February, 2017;
originally announced March 2017.
-
Approximation by translates of a single function of functions in space induced by the convolution with a given function
Authors:
Dinh Dũng,
Charles A. Micchelli,
Vu Nhat Huy
Abstract:
We study approximation by arbitrary linear combinations of $n$ translates of a single function of periodic functions. We construct some methods of this approximation for functions in a class induced by the convolution with a given function, and prove upper bounds of $L_p$-the approximation convergence rate by these methods, when $n \to \infty$, for $1 < p < \infty$, and lower bounds of the quantit…
▽ More
We study approximation by arbitrary linear combinations of $n$ translates of a single function of periodic functions. We construct some methods of this approximation for functions in a class induced by the convolution with a given function, and prove upper bounds of $L_p$-the approximation convergence rate by these methods, when $n \to \infty$, for $1 < p < \infty$, and lower bounds of the quantity of best approximation of this class by arbitrary linear combinations of $n$ translates of arbitrary function, for the particular case $p=2$.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Fully discrete approximation of parametric and stochastic elliptic PDEs
Authors:
Markus Bachmayr,
Albert Cohen,
Dinh Dũng,
Christoph Schwab
Abstract:
It has recently been demonstrated that locality of spatial supports in the parametrization of coefficients in elliptic PDEs can lead to improved convergence rates of sparse polynomial expansions of the corresponding parameter-dependent solutions. These results by themselves do not yield practically realizable approximations, since they do not cover the approximation of the arising expansion coeffi…
▽ More
It has recently been demonstrated that locality of spatial supports in the parametrization of coefficients in elliptic PDEs can lead to improved convergence rates of sparse polynomial expansions of the corresponding parameter-dependent solutions. These results by themselves do not yield practically realizable approximations, since they do not cover the approximation of the arising expansion coefficients, which are functions of the spatial variable. In this work, we study the combined spatial and parametric approximability for elliptic PDEs with affine or lognormal parametrizations of the diffusion coefficients and corresponding Taylor, Jacobi, and Hermite expansions, to obtain fully discrete approximations. Our analysis yields convergence rates of the fully discrete approximation in terms of the total number of degrees of freedom. The main vehicle consists in $\ell^p$ summability results for the coefficient sequences measured in higher-order Hilbertian Sobolev norms. We also discuss similar results for non-Hilbertian Sobolev norms which arise naturally when using adaptive spatial discretizations.
△ Less
Submitted 9 July, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
B-spline quasi-interpolation sampling representation and sampling recovery in Sobolev spaces of mixed smoothness
Authors:
Dinh Dũng
Abstract:
We proved direct and inverse theorems on B-spline quasi-interpolation sampling representation with a Littlewood-Paley-type norm equivalence in Sobolev spaces $W^r_p$ of mixed smoothness $r$, established estimates of the approximation error of recovery in $L_q$-norm of functions from the unit ball $U^r_p$ in the spaces $W^r_p$ by linear sampling algorithms based on this representation, the asymptot…
▽ More
We proved direct and inverse theorems on B-spline quasi-interpolation sampling representation with a Littlewood-Paley-type norm equivalence in Sobolev spaces $W^r_p$ of mixed smoothness $r$, established estimates of the approximation error of recovery in $L_q$-norm of functions from the unit ball $U^r_p$ in the spaces $W^r_p$ by linear sampling algorithms based on this representation, the asymptotic optimality of these sampling algorithms in terms of Smolyak sampling width $r^s_n(U^r_p, L_q)$ and sampling width $r_n(U^r_p, L_q)$.
△ Less
Submitted 27 November, 2016; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Hyperbolic Cross Approximation
Authors:
Dinh Dũng,
Vladimir N. Temlyakov,
Tino Ullrich
Abstract:
Hyperbolic cross approximation is a special type of multivariate approximation. Recently, driven by applications in engineering, biology, medicine and other areas of science new challenging problems have appeared. The common feature of these problems is high dimensions. We present here a survey on classical methods developed in multivariate approximation theory, which are known to work very well f…
▽ More
Hyperbolic cross approximation is a special type of multivariate approximation. Recently, driven by applications in engineering, biology, medicine and other areas of science new challenging problems have appeared. The common feature of these problems is high dimensions. We present here a survey on classical methods developed in multivariate approximation theory, which are known to work very well for moderate dimensions and which have potential for applications in really high dimensions. The theory of hyperbolic cross approximation and related theory of functions with mixed smoothness are under detailed study for more than 50 years. It is now well understood that this theory is important both for theoretical study and for practical applications. It is also understood that both theoretical analysis and construction of practical algorithms are very difficult problems. This explains why many fundamental problems in this area are still unsolved. Only a few survey papers and monographs on the topic are published. This and recently discovered deep connections between the hyperbolic cross approximation (and related sparse grids) and other areas of mathematics such as probability, discrepancy, and numerical integration motivated us to write this survey. We try to put emphases on the development of ideas and methods rather than list all the known results in the area. We formulate many problems, which, to our knowledge, are open problems. We also include some very recent results on the topic, which sometimes highlight new interesting directions of research. We hope that this survey will stimulate further active research in this fascinating and challenging area of approximation theory and numerical analysis.
△ Less
Submitted 21 April, 2017; v1 submitted 15 January, 2016;
originally announced January 2016.
-
Linear collective collocation and Galerkin approximations for parametric and stochastic elliptic PDEs
Authors:
Dinh Dũng
Abstract:
Consider the parametric elliptic problem \begin{equation} - \operatorname{dv} \big(a(y)(x)\nabla u(y)(x)\big) \ = \ f(x) \quad x \in D, \ y \in [-1,1]^\infty, \quad u|_{\partial D} \ = \ 0, \end{equation} where $D \subset {\mathbb R}^m$ is a bounded Lipschitz domain, $[-1,1]^\infty$, $f \in L_2(D)$, and the diffusions $a$ satisfy the uniform ellipticity assumption and are affinely dependent with r…
▽ More
Consider the parametric elliptic problem \begin{equation} - \operatorname{dv} \big(a(y)(x)\nabla u(y)(x)\big) \ = \ f(x) \quad x \in D, \ y \in [-1,1]^\infty, \quad u|_{\partial D} \ = \ 0, \end{equation} where $D \subset {\mathbb R}^m$ is a bounded Lipschitz domain, $[-1,1]^\infty$, $f \in L_2(D)$, and the diffusions $a$ satisfy the uniform ellipticity assumption and are affinely dependent with respect to $y$. The parametric variable $y$ may be deterministic or random. In the present paper, a central question to be studied is as follows. Assume that we have an approximation property that there is a sequence of finite element approximations with a certain error convergence rate in energy norm of the space $V:=H^1_0(D)$ for the nonparametric problem $- \operatorname{dv} \big(a(y_0)(x)\nabla u(y_0)(x)\big) = f(x)$ at every point $y_0 \in [-1,1]^\infty$. Then under what assumptions does this sequence induce a sequence of finite element approximations with the same error convergence rate for the parametric elliptic problem in the norm of the Bochner spaces $L_\infty([-1,1]^\infty,V)$ or $L_2([-1,1]^\infty,V)$? We solved this question by linear collective Taylor, collocation and Galerkin methods, based on Taylor expansions, Lagrange polynomial interpolations and Legendre polynomials expansions, respectively, on the parametric domain $[-1,1]^\infty$. Under very light conditions, we show that all these approximation methods give the same error convergence rate as that by the sequence of finite element approximations for the nonparametric elliptic problem. The parametric infinite-variate part completely disappears from the convergence rate and influences only the constant. Hence the curse of dimensionality is broken by linear methods.
△ Less
Submitted 11 May, 2017; v1 submitted 10 November, 2015;
originally announced November 2015.
-
Representation growth of the Heisenberg group over $\mathcal{O}[x]/(x^n)$
Authors:
Duong Hoang Dung
Abstract:
We present a conjectured formula for the representation zeta function of the Heisenberg group over $\mathcal{O}[x]/(x^n)$ where $\mathcal{O}$ is the ring of integers of some number field. We confirm the conjecture for $n\leq 3$ and raise several questions.
We present a conjectured formula for the representation zeta function of the Heisenberg group over $\mathcal{O}[x]/(x^n)$ where $\mathcal{O}$ is the ring of integers of some number field. We confirm the conjecture for $n\leq 3$ and raise several questions.
△ Less
Submitted 14 August, 2015;
originally announced August 2015.
-
Uniform analytic properties of representation zeta functions of finitely generated nilpotent groups
Authors:
Duong Hoang Dung,
Christopher Voll
Abstract:
Let $G$ be a finitely generated torsion-free nilpotent group. The representation zeta function $ζ_G(s)$ of $G$ enumerates twist isoclasses of finite-dimensional irreducible complex representations of $G$. We prove that $ζ_G(s)$ has rational abscissa of convergence $a(G)$ and may be meromorphically continued to the left of $a(G)$ and that, on the line…
▽ More
Let $G$ be a finitely generated torsion-free nilpotent group. The representation zeta function $ζ_G(s)$ of $G$ enumerates twist isoclasses of finite-dimensional irreducible complex representations of $G$. We prove that $ζ_G(s)$ has rational abscissa of convergence $a(G)$ and may be meromorphically continued to the left of $a(G)$ and that, on the line $\{s\in\mathbb{C} \mid \textrm{Re}(s) = a(G)\}$, the continued function is holomorphic except for a pole at $s=a(G)$. A Tauberian theorem yields a precise asymptotic result on the representation growth of $G$ in terms of the position and order of this pole.
We obtain these results as a consequence of a more general result establishing uniform analytic properties of representation zeta functions of finitely generated nilpotent groups of the form $\mathbf{G}(\mathcal{O})$, where $\mathbf{G}$ is a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. This allows us to show, in particular, that the abscissae of convergence of the representation zeta functions of such groups and their pole orders are invariants of $\mathbf{G}$, independent of $\mathcal{O}$.
△ Less
Submitted 2 December, 2015; v1 submitted 24 March, 2015;
originally announced March 2015.
-
Recognizing $\mathrm{PSL}(2,p)$ in the non-Frattini chief factors of finite groups
Authors:
Duong Hoang Dung
Abstract:
Given a finite group $G$, let $P_G(s)$ be the probability that $s$ randomly chosen elements generate $G$, and let $H$ be a finite group with $P_G(s)=P_H(s)$. We show that if the nonabelian composition factors of $G$ and $H$ are $\mathrm{PSL}(2,p)$ for some non-Mersense prime $p\geq 5$, then $G$ and $H$ have the same non-Frattini chief factors.
Given a finite group $G$, let $P_G(s)$ be the probability that $s$ randomly chosen elements generate $G$, and let $H$ be a finite group with $P_G(s)=P_H(s)$. We show that if the nonabelian composition factors of $G$ and $H$ are $\mathrm{PSL}(2,p)$ for some non-Mersense prime $p\geq 5$, then $G$ and $H$ have the same non-Frattini chief factors.
△ Less
Submitted 14 August, 2015; v1 submitted 17 February, 2015;
originally announced February 2015.
-
High-dimensional periodic sampling on Smolyak grids based on B-spline quasi-interpolation
Authors:
Dinh Dũng
Abstract:
We constructed linear algorithms of sampling recovery and cubature formulas on Smolyak grids parametrized by $m \in \mathbb{N}$ of periodic $d$-variate functions having Lipschitz-Hölder mixed smoothness $α> 0$ based on B-spline quasi-interpolation, and studied their optimality. We established lower estimates (for $α\le 2$) and upper bounds of the error of the optimal sampling recovery and the opti…
▽ More
We constructed linear algorithms of sampling recovery and cubature formulas on Smolyak grids parametrized by $m \in \mathbb{N}$ of periodic $d$-variate functions having Lipschitz-Hölder mixed smoothness $α> 0$ based on B-spline quasi-interpolation, and studied their optimality. We established lower estimates (for $α\le 2$) and upper bounds of the error of the optimal sampling recovery and the optimal integration on Smolyak grids, explicit in $d$, $m$ and the number $ν$ of active variables of functions when $d$ and $m$ may be large.
△ Less
Submitted 24 December, 2015; v1 submitted 5 February, 2015;
originally announced February 2015.
-
Hyperbolic cross approximation in infinite dimensions
Authors:
Dinh Dũng,
Michael Griebel
Abstract:
We give tight upper and lower bounds of the cardinality of the index sets of certain hyperbolic crosses which reflect mixed Sobolev-Korobov-type smoothness and mixed Sobolev-analytic-type smoothness in the infinite-dimensional case where specific summability properties of the smoothness indices are fulfilled. These estimates are then applied to the linear approximation of functions from the associ…
▽ More
We give tight upper and lower bounds of the cardinality of the index sets of certain hyperbolic crosses which reflect mixed Sobolev-Korobov-type smoothness and mixed Sobolev-analytic-type smoothness in the infinite-dimensional case where specific summability properties of the smoothness indices are fulfilled. These estimates are then applied to the linear approximation of functions from the associated spaces in terms of the $\varepsilon$-dimension of their unit balls. Here, the approximation is based on linear information. Such function spaces appear for example for the solution of parametric and stochastic PDEs. The obtained upper and lower bounds of the approximation error as well as of the associated $\varepsilon$-complexities are completely independent of any dimension. Moreover, the rates are independent of the parameters which define the smoothness properties of the infinite-variate parametric or stochastic part of the solution. These parameters are only contained in the order constants. This way, linear approximation theory becomes possible in the infinite-dimensional case and corresponding infinite-dimensional problems get tractable.
△ Less
Submitted 6 November, 2015; v1 submitted 6 January, 2015;
originally announced January 2015.
-
Kolmogorov n-Widths of Function Classes Induced by a Non-Degenerate Differential Operator: A Convex Duality Approach
Authors:
Patrick L. Combettes,
Dinh Dũng
Abstract:
Let $P(D)$ be the differential operator induced by a polynomial $P$, and let ${U^{[P]}_2}$ be the class of multivariate periodic functions $f$ such that $\|P(D)(f)\|_2\leq 1$. The problem of computing the asymptotic order of the Kolmogorov $n$-width $d_n({U^{[P]}_2},L_2)$ in the general case when ${U^{[P]}_2}$ is compactly embedded into $L_2$ has been open for a long time. In the present paper, we…
▽ More
Let $P(D)$ be the differential operator induced by a polynomial $P$, and let ${U^{[P]}_2}$ be the class of multivariate periodic functions $f$ such that $\|P(D)(f)\|_2\leq 1$. The problem of computing the asymptotic order of the Kolmogorov $n$-width $d_n({U^{[P]}_2},L_2)$ in the general case when ${U^{[P]}_2}$ is compactly embedded into $L_2$ has been open for a long time. In the present paper, we use convex analytical tools to solve it in the case when $P(D)$ is non-degenerate.
△ Less
Submitted 5 December, 2014;
originally announced December 2014.
-
Sampling on energy-norm based sparse grids for the optimal recovery of Sobolev type functions in $H^γ$
Authors:
Glenn Byrenheid,
Dinh Dũng,
Winfried Sickel,
Tino Ullrich
Abstract:
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…
▽ More
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 "energy-norm based sparse grids" 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'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'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.
△ Less
Submitted 15 August, 2014;
originally announced August 2014.
-
Lower bounds for the integration error for multivariate functions with mixed smoothness and optimal Fibonacci cubature for functions on the square
Authors:
Dinh Dũng,
Tino Ullrich
Abstract:
We prove lower bounds for the error of optimal cubature formulae for $d$-variate functions from Besov spaces of mixed smoothness $B^α_{p,θ}({\mathbb G}^d)$ in the case $0 < p, θ\le \infty$ and $α> 1/p$, where ${\mathbb G}^d$ is either the $d$-dimensional torus ${\mathbb T}^d$ or the $d$-dimensional unit cube ${\mathbb I}^d$. We prove upper bounds for QMC methods of integration on the Fibonacci lat…
▽ More
We prove lower bounds for the error of optimal cubature formulae for $d$-variate functions from Besov spaces of mixed smoothness $B^α_{p,θ}({\mathbb G}^d)$ in the case $0 < p, θ\le \infty$ and $α> 1/p$, where ${\mathbb G}^d$ is either the $d$-dimensional torus ${\mathbb T}^d$ or the $d$-dimensional unit cube ${\mathbb I}^d$. We prove upper bounds for QMC methods of integration on the Fibonacci lattice for bivariate periodic functions from $B^α_{p,θ}({\mathbb T}^2)$ in the case $1\leq p \leq \infty$, $0 < θ\leq \infty$, $α>1/p$. A non-periodic modification of this classical formula yields upper bounds for $B^α_{p,θ}({\mathbb I}^2)$ if $1/p<α<1+1/p$. In combination these results yield the correct asymptotic error of optimal cubature formulae for functions from $B^α_{p,θ}({\mathbb G}^2)$ and indicate that a corresponding result is most likely also true in case $d>2$. This is compared to the correct asymptotic of optimal cubature formulae on Smolyak grids which results in the observation that any cubature formula on Smolyak grids is never optimal for the general setting.
△ Less
Submitted 29 January, 2014; v1 submitted 6 November, 2013;
originally announced November 2013.
-
New explicit-in-dimension estimates for the cardinality of high-dimensional hyperbolic crosses and approximation of functions having mixed smoothness
Authors:
Alexey Chernov,
Dinh Dung
Abstract:
We are aiming at sharp and explicit-in-dimension estimations of the cardinality of $s$-dimensional hyperbolic crosses where $s$ may be large, and applications in high-dimensional approximations of functions having mixed smoothness. In particular, we provide new tight and explicit-in-dimension upper and lower bounds for the cardinality of hyperbolic crosses. We apply them to obtain explicit upper a…
▽ More
We are aiming at sharp and explicit-in-dimension estimations of the cardinality of $s$-dimensional hyperbolic crosses where $s$ may be large, and applications in high-dimensional approximations of functions having mixed smoothness. In particular, we provide new tight and explicit-in-dimension upper and lower bounds for the cardinality of hyperbolic crosses. We apply them to obtain explicit upper and lower bounds for Kolmogorov $N$-widths and $\varepsilon$-dimensions of a modified Korobov class parametrized by positive $a$ of $s$-variate periodic functions having mixed smoothness $r$, as a function of three variables $N,s,a$ and $\varepsilon, s,a$, respectively, when $N,s$ may be large, $\varepsilon$ may be small and $a$ may range from 0 to infinity. Based on these results we describe a complete classification of tractability for the problem of $\varepsilon$-dimensions of the modified Korobov class. In particular, we prove the introduced exponential tractability of this problem for $a>1$. All of these methods and results are also extended to high-dimensional approximations of non-periodic functions by Jacobi polynomials with powers in hyperbolic crosses.
△ Less
Submitted 22 January, 2014; v1 submitted 20 September, 2013;
originally announced September 2013.
-
A splitting algorithm for system of composite monotone inclusions
Authors:
Dinh Dung,
Bang Cong Vu
Abstract:
We propose a splitting algorithm for solving a system of composite monotone inclusions formulated in the form of the extended set of solutions in real Hilbert spaces. The resluting algorithm is a an extension of the algorithm in [4]. The weak convergence of the algorithm proposed is proved. Applications to minimization problems is demonstrated.
We propose a splitting algorithm for solving a system of composite monotone inclusions formulated in the form of the extended set of solutions in real Hilbert spaces. The resluting algorithm is a an extension of the algorithm in [4]. The weak convergence of the algorithm proposed is proved. Applications to minimization problems is demonstrated.
△ Less
Submitted 13 August, 2013;
originally announced August 2013.
-
Whitney's theorem for local anisotropic polynomial L_p-approximation, 0<p<1
Authors:
Dinh Dũng,
Nguyen Van Dũng,
Nguyen Dinh Hoa
Abstract:
Dinh Dũng and T. Ullrich have proven a multivariate Whitney's theorem for the local anisotropic polynomial approximation in $L_p(Q)$ for $1 \le p \le \infty$, where $Q$ is a $d$-parallelepiped in $\RR^d$ with sides parallel to the coordinate axes. They considered the error of best approximation of a function $f$ by algebraic polynomials of fixed degree at most $r_i - 1$ in variable…
▽ More
Dinh Dũng and T. Ullrich have proven a multivariate Whitney's theorem for the local anisotropic polynomial approximation in $L_p(Q)$ for $1 \le p \le \infty$, where $Q$ is a $d$-parallelepiped in $\RR^d$ with sides parallel to the coordinate axes. They considered the error of best approximation of a function $f$ by algebraic polynomials of fixed degree at most $r_i - 1$ in variable $x_i,\ i=1,...,d$. The convergence rate of the approximation error when the size of $Q$ going to 0 is characterized by a so-called total mixed modulus of smoothness. The method of proof used by these authors is not suitable to the case $0 <p<1$. In the present paper, by a different method we proved this theorem for $0< p \le \infty$.
△ Less
Submitted 20 June, 2013; v1 submitted 9 June, 2013;
originally announced June 2013.
-
Finiteness of profinite groups with a rational probabilistic zeta function
Authors:
Duong Hoang Dung
Abstract:
We prove that every profinite group in a certain class with a rational probabilistic zeta function has only finitely many maximal subgroups.
We prove that every profinite group in a certain class with a rational probabilistic zeta function has only finitely many maximal subgroups.
△ Less
Submitted 23 December, 2013; v1 submitted 21 May, 2013;
originally announced May 2013.
-
Rationality of the probabilistic zeta function of finitely generated profinite groups
Authors:
Duong Hoang Dung,
Andrea Lucchini
Abstract:
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many nonabelian composition factors of $G$ are groups of Lie type in a fixed characteristic, then $G$ contains only finitely many maximal subgroups.
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many nonabelian composition factors of $G$ are groups of Lie type in a fixed characteristic, then $G$ contains only finitely many maximal subgroups.
△ Less
Submitted 12 December, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.
-
A finiteness condition on the coefficients of the probabilistic zeta function
Authors:
Duong Hoang Dung,
Andrea Lucchini
Abstract:
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the coefficients of the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many non abelian composition factors of $G$ are isomorphic to $PSL(2,p)$ for some prime $p$, then $G$ contains only finitely many maximal subgroups.
We discuss whether finiteness properties of a profinite group $G$ can be deduced from the coefficients of the probabilistic zeta function $P_G(s)$. In particular we prove that if $P_G(s)$ is rational and all but finitely many non abelian composition factors of $G$ are isomorphic to $PSL(2,p)$ for some prime $p$, then $G$ contains only finitely many maximal subgroups.
△ Less
Submitted 16 January, 2013;
originally announced January 2013.
-
Multivariate approximation by translates of the Korobov function on Smolyak grids
Authors:
Dinh Dung,
Charles Micchelli
Abstract:
For a set $\mathbb{W} \subset L_p(\bT^d)$, $1 < p < \infty$, of multivariate periodic functions on the torus $\bT^d$ and a given function $\varphi \in L_p(\bT^d)$, we study the approximation in the $L_p(\bT^d)$-norm of functions $f \in \mathbb{W}$ by arbitrary linear combinations of $n$ translates of $\varphi$. For $\mathbb{W} = U^r_p(\bT^d)$ and $\varphi = κ_{r,d}$, we prove upper bounds of the w…
▽ More
For a set $\mathbb{W} \subset L_p(\bT^d)$, $1 < p < \infty$, of multivariate periodic functions on the torus $\bT^d$ and a given function $\varphi \in L_p(\bT^d)$, we study the approximation in the $L_p(\bT^d)$-norm of functions $f \in \mathbb{W}$ by arbitrary linear combinations of $n$ translates of $\varphi$. For $\mathbb{W} = U^r_p(\bT^d)$ and $\varphi = κ_{r,d}$, we prove upper bounds of the worst case error of this approximation where $U^r_p(\bT^d)$ is the unit ball in the Korobov space $K^r_p(\bT^d)$ and $κ_{r,d}$ is the associated Korobov function. To obtain the upper bounds, we construct approximation methods based on sparse Smolyak grids. The case $p=2, \ r > 1/2$, is especially important since $K^r_2(\bT^d)$ is a reproducing kernel Hilbert space, whose reproducing kernel is a translation kernel determined by $κ_{r,d}$. We also provide lower bounds of the optimal approximation on the best choice of $\varphi$.
△ Less
Submitted 25 April, 2013; v1 submitted 26 December, 2012;
originally announced December 2012.
-
On normal subgroups of division rings which are radical over a proper division subring
Authors:
Mai Hoang Bien,
Duong Hoang Dung
Abstract:
We introduce Kurosh elements in division rings based on the idea of a conjecture of Kurosh. Using this, we generalize a result of Faith in [3] and of Herstein in [6].
We introduce Kurosh elements in division rings based on the idea of a conjecture of Kurosh. Using this, we generalize a result of Faith in [3] and of Herstein in [6].
△ Less
Submitted 11 December, 2013; v1 submitted 18 December, 2012;
originally announced December 2012.
-
Sampling and cubature on sparse grids based on a B-spline quasi-interpolation
Authors:
Dinh Dũng
Abstract:
Let $X_n = \{x^j\}_{j=1}^n$ be a set of $n$ points in the $d$-cube $[0,1]^d$, and $Φ_n = \{\varphi_j\}_{j =1}^n$ a family of $n$ functions on $[0,1]^d$. We consider the approximate recovery functions $f$ on $[0,1]^d$ from the sampled values $f(x^1), ..., f(x^n)$, by the linear sampling algorithm \begin{equation} \nonumber L_n(X_n,Φ_n,f) \ := \ \sum_{j=1}^n f(x^j)\varphi_j. \end{equation} The error…
▽ More
Let $X_n = \{x^j\}_{j=1}^n$ be a set of $n$ points in the $d$-cube $[0,1]^d$, and $Φ_n = \{\varphi_j\}_{j =1}^n$ a family of $n$ functions on $[0,1]^d$. We consider the approximate recovery functions $f$ on $[0,1]^d$ from the sampled values $f(x^1), ..., f(x^n)$, by the linear sampling algorithm \begin{equation} \nonumber L_n(X_n,Φ_n,f) \ := \ \sum_{j=1}^n f(x^j)\varphi_j. \end{equation} The error of sampling recovery is measured in the norm of the space $L_q([0,1]^d)$-norm or the energy norm of the isotropic Sobolev sapce $W^γ_q([0,1]^d)$ for $0 < q \le \infty$ and $γ> 0$. Functions $f$ to be recovered are from the unit ball in Besov type spaces of an anisotropic smoothness, in particular, spaces $B^a_{p,θ}$ of a nonuniform mixed smoothness $a \in {\mathbb R}^d_+$, and spaces $B^{α,β}_{p,θ}$ of a "hybrid" of mixed smoothness $α> 0$ and isotropic smoothness $β\in \mathbb R$. We constructed optimal linear sampling algorithms $L_n(X_n^*,Φ_n^*,\cdot)$ on special sparse grids $X_n^*$ and a family $Φ_n^*$ of linear combinations of integer or half integer translated dilations of tensor products of B-splines. We computed the asymptotic of the error of the optimal recovery. This construction is based on a B-spline quasi-interpolation representations of functions in $B^a_{p,θ}$ and $B^{α,β}_{p,θ}$. As consequences we obtained the asymptotic of optimal cubature formulas for numerical integration of functions from the unit ball of these Besov type spaces.
△ Less
Submitted 6 November, 2015; v1 submitted 19 November, 2012;
originally announced November 2012.
-
Adaptive algorithms in sampling recovery
Authors:
Dinh Dũng
Abstract:
We study optimal algorithms in adaptive sampling recovery of smooth functions defined on the unit $d$-cube ${\II}^d:= [0,1]^d$. The recovery error is measured in the quasi-norm $\|\cdot\|_q$ of $L_q := L_q(\II^d)$. For $B$ a subset in $L_q,$ we define a sampling algorithm of recovery with the free choice of sample points and recovering functions from $B$ as follows. For each $f$ from the quasi-nor…
▽ More
We study optimal algorithms in adaptive sampling recovery of smooth functions defined on the unit $d$-cube ${\II}^d:= [0,1]^d$. The recovery error is measured in the quasi-norm $\|\cdot\|_q$ of $L_q := L_q(\II^d)$. For $B$ a subset in $L_q,$ we define a sampling algorithm of recovery with the free choice of sample points and recovering functions from $B$ as follows. For each $f$ from the quasi-normed Besov space $B^α_{p,θ}$, we choose $n$ sample points. This choice defines $n$ sampled values. Based on these sample points and sampled values, we choose a function from $B$ for recovering $f$. The choice of $n$ sample points and a recovering function from $B$ for each $f \in B^α_{p,θ}$ defines a $n$-sampling algorithm $S_n^B$ by functions in $B$. If $Φ= \{φ_k\}_{k \in K}$ is a family of elements in $L_q$, let $Σ_n(Φ)$ be the non-linear set of linear combinations of $n$ free terms from $Φ,$ that is $Σ_n(Φ):= \{\, φ= \sum_{j=1}^n a_j φ_{k_j}: \ k_j \in K \, \}$. Denote by ${\mathcal G}$ the set of all families $Φ$ in $L_q$ such that the intersection of $Φ$ with any finite dimensional subspace in $L_q$ is a finite set, and by $\Cc(B^α_{p,θ}, L_q)$ the set of all continuous map**s from $B^α_{p,θ}$ into $L_q$. We define the quantity $$ν_n(B^α_{p,θ},L_q) := \inf_{Φ\in {\mathcal G}} \inf_{S_n^B \in \Cc(X, L_q): B= Σ_n(Φ)} \sup_{\|f\|_{B^α_{p,θ}} \le 1} \ \|f - S_n^B(f)\|_q.$$ Let $0 < p,q, θ\le \infty $ and $α> d/p$. Then we prove the asymptotic order $$ ν_n(B^α_{p,θ},L_q) \asymp n^{- α/ d}.$$ We also obtained the asymptotic order of quantities of optimal recovery by $S_n^B$ in terms of best $n$-term approximation as well of other non-linear $n$-widths.
△ Less
Submitted 26 February, 2011; v1 submitted 17 February, 2011;
originally announced February 2011.
-
B-spline quasi-interpolant representations and sampling recovery of functions with mixed smoothness
Authors:
Dinh Dũng
Abstract:
Let $ξ= \{x^j\}_{j=1}^n$ be a grid of $n$ points in the $d$-cube ${\II}^d:=[0,1]^d$, and $Φ= \{φ_j\}_{j =1}^n$ a family of $n$ functions on ${\II}^d$. We define the linear sampling algorithm $L_n(Φ,ξ,\cdot)$ for an approximate recovery of a continuous function $f$ on ${\II}^d$ from the sampled values $f(x^1), ..., f(x^n)$, by $$L_n(Φ,ξ,f)\ := \ \sum_{j=1}^n f(x^j)φ_j$$.
For the Besov class…
▽ More
Let $ξ= \{x^j\}_{j=1}^n$ be a grid of $n$ points in the $d$-cube ${\II}^d:=[0,1]^d$, and $Φ= \{φ_j\}_{j =1}^n$ a family of $n$ functions on ${\II}^d$. We define the linear sampling algorithm $L_n(Φ,ξ,\cdot)$ for an approximate recovery of a continuous function $f$ on ${\II}^d$ from the sampled values $f(x^1), ..., f(x^n)$, by $$L_n(Φ,ξ,f)\ := \ \sum_{j=1}^n f(x^j)φ_j$$.
For the Besov class $B^α_{p,θ}$ of mixed smoothness $α$ (defined as the unit ball of the Besov space $\MB$), to study optimality of $L_n(Φ,ξ,\cdot)$ in $L_q({\II}^d)$ we use the quantity $$r_n(B^α_{p,θ})_q \ := \ \inf_{H,ξ} \ \sup_{f \in B^α_{p,θ}} \, \|f - L_n(Φ,xi,f)\|_q$$, where the infimum is taken over all grids $ξ= \{x^j\}_{j=1}^n$ and all families $Φ= \{φ_j\}_{j=1}^n$ in $L_q({\II}^d)$. We explicitly constructed linear sampling algorithms $L_n(Φ,ξ,\cdot)$ on the grid $ξ= \ G^d(m):= \{(2^{-k_1}s_1,...,2^{-k_d}s_d) \in \II^d : \ k_1 + ... + k_d \le m\}$, with $Φ$ a family of linear combinations of mixed B-splines which are mixed tensor products of either integer or half integer translated dilations of the centered B-spline of order $r$. The grid $G^d(m)$ is of the size $2^m m^{d-1}$ and sparse in comparing with the generating dyadic coordinate cube grid of the size $2^{dm}$. For various $0<p,q,θ\le \infty$ and $1/p < α< r$, we proved upper bounds for the worst case error $ \sup_{f \in B^α_{p,θ}} \, \|f - L_n(Φ,ξ,f)\|_q$ which coincide with the asymptotic order of $r_n(B^α_{p,θ})_q$ in some cases. A key role in constructing these linear sampling algorithms, plays a quasi-interpolant representation of functions $f \in B^α_{p,θ}$ by mixed B-spline series.
△ Less
Submitted 22 September, 2010;
originally announced September 2010.
-
Proximity for Sums of Composite Functions
Authors:
Patrick L. Combettes,
Dinh Dung,
Bang Cong Vu
Abstract:
We propose an algorithm for computing the proximity operator of a sum of composite convex functions in Hilbert spaces and investigate its asymptotic behavior. Applications to best approximation and image recovery are described.
We propose an algorithm for computing the proximity operator of a sum of composite convex functions in Hilbert spaces and investigate its asymptotic behavior. Applications to best approximation and image recovery are described.
△ Less
Submitted 20 July, 2010;
originally announced July 2010.
-
Dualization of Signal Recovery Problems
Authors:
Patrick L. Combettes,
Dinh Dung,
Bang Cong Vu
Abstract:
In convex optimization, duality theory can sometimes lead to simpler solution methods than those resulting from direct primal analysis. In this paper, this principle is applied to a class of composite variational problems arising in particular in signal recovery. These problems are not easily amenable to solution by current methods but they feature Fenchel-Moreau-Rockafellar dual problems that can…
▽ More
In convex optimization, duality theory can sometimes lead to simpler solution methods than those resulting from direct primal analysis. In this paper, this principle is applied to a class of composite variational problems arising in particular in signal recovery. These problems are not easily amenable to solution by current methods but they feature Fenchel-Moreau-Rockafellar dual problems that can be solved by forward-backward splitting. The proposed algorithm produces simultaneously a sequence converging weakly to a dual solution, and a sequence converging strongly to the primal solution. Our framework is shown to capture and extend several existing duality-based signal recovery methods and to be applicable to a variety of new problems beyond their scope.
△ Less
Submitted 20 June, 2010; v1 submitted 2 July, 2009;
originally announced July 2009.
-
On the sum of the squared multiplicities of the distances in a point set over finite fields
Authors:
Le Anh Vinh,
Dang Phuong Dung
Abstract:
We study a finite analog of a conjecture of Erdös on the sum of the squared multiplicities of the distances determined by an $n$-element point set. Our result is based on an estimate of the number of hinges in spectral graphs.
We study a finite analog of a conjecture of Erdös on the sum of the squared multiplicities of the distances determined by an $n$-element point set. Our result is based on an estimate of the number of hinges in spectral graphs.
△ Less
Submitted 9 October, 2008; v1 submitted 20 September, 2008;
originally announced September 2008.
-
Explicit tough Ramsey graphs
Authors:
Le Anh Vinh,
Dang Phuong Dung
Abstract:
A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite f…
▽ More
A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite field F_q with q odd, we consider graphs associated to the finite Euclidean plane and the finite upper half plane over F_q. These graphs have received serious attention as they have been shown to be Ramanujan (or asymptotically Ramanujan) for large q. We will show that for infinitely many q, these graphs provide further counterexamples to Chvatal's conjecture. They also provide a good constructive lower bound for the Ramsey number R(3,k).
△ Less
Submitted 17 July, 2008;
originally announced July 2008.