Mean Dimension of Ridge Functions

Christopher R. Hoyt,Art B. Owen
DOI: https://doi.org/10.48550/arXiv.1907.01942
2019-07-02
Abstract:We consider the mean dimension of some ridge functions of spherical Gaussian random vectors of dimension $d$. If the ridge function is Lipschitz continuous, then the mean dimension remains bounded as $d\to\infty$. If instead, the ridge function is discontinuous, then the mean dimension depends on a measure of the ridge function's sparsity, and absent sparsity the mean dimension can grow proportionally to $\sqrt{d}$. Preintegrating a ridge function yields a new, potentially much smoother ridge function. We include an example where, if one of the ridge coefficients is bounded away from zero as $d\to\infty$, then preintegration can reduce the mean dimension from $O(\sqrt{d})$ to $O(1)$.
Numerical Analysis,Computation
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the mean dimension of certain ridge functions on high - dimensional spherical Gaussian random vectors. Specifically, the article focuses on: 1. **The influence of the continuity of ridge functions on the mean dimension**: If the ridge function is Lipschitz continuous, then its mean dimension remains bounded as the dimension \(d\) approaches infinity. Conversely, if the ridge function is discontinuous, then its mean dimension depends on the sparsity measure of the ridge function, and in the absence of sparsity, the mean dimension can grow in proportion to \(\sqrt{d}\). 2. **The influence of preintegration on ridge functions**: Preintegration can transform a ridge function with jump discontinuities into a new, potentially smoother ridge function. The article shows through specific examples how preintegration reduces the mean dimension from \(O(\sqrt{d})\) to \(O(1)\). 3. **The influence of different types of discontinuities (such as jumps and cusps) on the mean dimension**: The article finds that there are significant differences between functions with jump discontinuities and functions with cusp discontinuities. For a Lipschitz continuous function \(g: \mathbb{R}\to\mathbb{R}\), the mean dimension of the ridge function is bounded as \(d\to\infty\), while the mean dimension of a function with step discontinuities can easily grow in proportion to \(\sqrt{d}\). In summary, this paper aims to gain a deep understanding of the behavior of ridge functions in high - dimensional space, especially how their mean dimension is affected by function properties (such as continuity and sparsity), and to explore the effectiveness of preintegration as a method for improving the efficiency of numerical integration.