Abstract:We study lower bounds on the worst-case error of numerical integration in tensor product spaces. As reference we use the $N$-th minimal error of linear rules that use $N$ function values. The information complexity is the minimal number $N$ of function evaluations that is necessary such that the $N$-th minimal error is less than a factor $\varepsilon$ times the initial error. We are interested to which extent the information complexity depends on the number $d$ of variables of the integrands. If the information complexity grows exponentially fast in $d$, then the integration problem is said to suffer from the curse of dimensionality.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the complexity of numerical integration in high - dimensional spaces, especially the so - called "curse of dimensionality". Specifically, the author studied the lower bound of the error in the worst - case scenario when performing numerical integration in tensor - product spaces. For such problems, as the number of variables \(d\) increases, does the number of function evaluations (i.e., information complexity) required to achieve a given accuracy increase exponentially? If so, the problem is said to suffer from the curse of dimensionality.
### Main research content
1. **Definitions and background**:
- The paper considers the numerical integration of multivariate functions from the \(d\)-fold tensor - product space of univariate function spaces.
- The initial error \(e(0,d)\) is defined as the integration error when no function values are available.
- The integral \(I_d(f)\) is approximated by the linear algorithm \(A_{d,N}(f)\), and the worst - case error \(e(F_d, A_{d,N})\) is defined.
2. **Information complexity**:
- The information complexity \(N(\varepsilon, d)\) is defined as the minimum number of function evaluations \(N\) required such that the \(N\) - th minimum worst - case error \(e(N,d)\) is less than \(\varepsilon\) times the initial error.
- If \(N(\varepsilon, d)\) grows exponentially with \(d\) and \(\varepsilon^{- 1}\), the problem is considered intractable. In particular, when \(N(\varepsilon, d)\) grows exponentially with \(d\) for a fixed \(\varepsilon>0\), it is said to suffer from the curse of dimensionality.
3. **Methods and results**:
- Two methods for providing good lower bounds on information complexity are proposed: one based on the decomposition of the worst - case function, and the other based on spline approximation, which is suitable for positive quadrature rules.
- By assuming the existence of a worst - case function and decomposing it appropriately, it is proved that in some cases the integration problem does indeed suffer from the curse of dimensionality.
4. **Applications**:
- These methods are applied to specific examples, such as uniform integration on the unit cube, weighted integration on the entire space, and integration of infinitely smooth functions.
- In particular, it is proved that the \(L_p\) star - shaped discrepancy also suffers from the curse of dimensionality within certain parameter ranges.
### Formula summary
- Initial error: \[ e(0,d)=\sup_{f\in F_d,\|f\|_d\leq1}|I_d(f)| \]
- Worst - case error: \[ e(F_d, A_{d,N})=\sup_{f\in F_d,\|f\|_d\leq1}|I_d(f)-A_{d,N}(f)| \]
- Information complexity: \[ N(\varepsilon, d)=\min\{N\in\mathbb{N}:e(N,d)\leq\varepsilon e(0,d)\} \]
Through the above research, the paper aims to reveal the inherent complexity of high - dimensional numerical integration problems and provide a theoretical basis for explaining why some problems become extremely difficult in high - dimensional situations.