Core Concepts
Numerical integration of high-dimensional functions in tensor product spaces suffers from the curse of dimensionality, requiring exponentially many function evaluations to achieve a desired error tolerance.
Abstract
The paper studies lower bounds on the worst-case error of numerical integration in tensor product spaces, where the integrands are assumed to belong to d-fold tensor products of spaces of univariate functions.
The key insights are:
Under the assumption of the existence of a worst-case function for the univariate problem, two methods are presented for providing good lower bounds on the information complexity (the minimal number of function evaluations required to achieve a desired error tolerance):
a. The first method is based on a suitable decomposition of the worst-case function, generalizing the method of decomposable reproducing kernels.
b. The second method, applicable only for positive quadrature rules, is based on a spline approximation of the worst-case function and does not require a decomposition.
For the case where the worst-case function can be decomposed into an additive part with a decomposable structure, a lower bound on the N-th minimal integration error is derived. This shows that the integration problem suffers from the curse of dimensionality.
Several applications are presented, including revisiting the method of decomposable kernels, studying uniform integration of functions of smoothness r, and considering weighted integration over the whole space.
The results demonstrate that the integration problem in high-dimensional tensor product spaces is intractable, with the information complexity growing exponentially in the dimension.
Stats
The paper does not contain any explicit numerical data or statistics. The key results are theoretical lower bounds on the information complexity of numerical integration in high-dimensional tensor product spaces.
Quotes
"If the information complexity grows exponentially fast in d, then the integration problem is said to suffer from the curse of dimensionality."
"Under the assumption of the existence of a worst-case function for the uni-variate problem, which is a function from the considered space whose integral attains the initial error, we present two methods for providing good lower bounds on the information complexity."