Abstract:We focus on the analysis of variance (ANOVA) method for high dimensional function approximation using Jacobi polynomial chaos to represent the terms of the expansion. First, we develop a weight theory inspired by quasi-Monte Carlo theory to identify which functions have low effective dimension using the ANOVA expansion in different norms. We then present estimates for the truncation error in the ANOVA expansion and for the interpolation error using multielement polynomial chaos in the weighted Korobov spaces over the unit hypercube. We consider both the standard ANOVA expansion using the Lebesgue measure and the anchored ANOVA expansion using the Dirac measure. The optimality of different sets of anchor points is also examined through numerical examples.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the error estimation problem in high - dimensional function approximation, especially the truncation error and interpolation error when using the ANOVA method combined with Polynomial Chaos Interpolation for tensor - product function approximation. Specifically, the paper focuses on the following points:
1. **Analysis of effective dimension**: Identify which functions have a low effective dimension in the ANOVA expansion under different norms through the weight theory, which helps to understand which dimensions have the greatest impact on the overall behavior of the function.
2. **Error estimation**:
- **Truncation error**: The paper provides an error estimate after the ANOVA expansion is truncated. This refers to the error introduced by ignoring high - order terms when only low - order terms are retained.
- **Interpolation error**: The paper also discusses the error estimate when using multi - element polynomial chaos for interpolation on the weighted Korobov space.
3. **Different types of ANOVA expansion**: The paper considers two types of ANOVA expansion:
- **Standard ANOVA expansion**: Using the Lebesgue measure.
- **Anchored ANOVA expansion**: Using the Dirac measure.
4. **Optimal anchor point selection**: The optimality of different anchor point sets is examined through numerical examples, which is crucial for improving the efficiency and accuracy of the ANOVA expansion.
### Specific problem description
- **Effective dimension**: The paper defines the effective dimension and determines the effective dimension of the function through the weight theory. The effective dimension refers to the minimum number of dimensions where high - order terms can be ignored under a certain threshold.
- **Error estimation**: The paper derives strict estimates of the truncation error and interpolation error. These estimates depend on four parameters: anchor point \( c \), truncation dimension \( \nu \), Jacobi polynomial chaos order \( \mu \), and the size of the multi - element \( h \).
- **Weight theory**: Characterize the function class through the weight theory. These functions can be well - approximated by the truncated ANOVA expansion and the multi - element method under different norms.
### Mathematical formulas
- **ANOVA decomposition**:
\[
f(x_1, x_2, \ldots, x_N) = f_\phi+\sum_{j_1 = 1}^N f_{\{j_1\}}(x_{j_1})+\sum_{j_1 < j_2} f_{\{j_1, j_2\}}(x_{j_1}, x_{j_2})+\cdots+f_{\{j_1, \ldots, j_N\}}(x_{j_1}, \ldots, x_{j_N})
\]
- **Effective dimension**:
\[
\sum_{0 < |S| \leq ds} \sigma_S^2(f_S)\geq p\sigma^2(f)
\]
- **Truncation error estimate**:
\[
\| f - I_{N, \nu} f \|_{L^2}\leq(1 - p)(\| f \|_{L^2}^2-(I(f))^2)^{1/2}
\]
- **Interpolation error estimate**:
\[
\| f - I_{N, \nu, \mu} f \|_{L^2}\leq\| f - I_{N, \nu} f \|_{L^2}+\| I_{N, \nu} f - I_{N, \nu, \mu} f \|_{L^2}
\]
### Conclusion
Through strict mathematical derivations and numerical experiments, the paper provides detailed estimates of the truncation error and interpolation error in high - dimensional function approximation, which is of great significance for understanding and optimizing the high - dimensional function approximation based on the ANOVA method.