Abstract
Isotropic Gaussian random fields on the sphere are used in astronomy, geophysics, oceanography, climatology and remote sensing applications. However, to date, there is a lack of simulation algorithms that reproduce the spatial covariance structure without any approximation and, at the same time, are parsimonious in terms of computation time and memory storage requirements. This work presents two such algorithms that rely on the spectral representation of isotropic covariances on the sphere. Both algorithms are illustrated with synthetic examples.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
Random fields defined on the unit sphere \(\mathbb {S}^2 = \{s \in \mathbb {R}^3: |s |= 1 \}\) are used in astronomy, geophysics, geotechnics, oceanography, climatology and remote sensing applications, where it is frequent to deal with multivariate data. Under an assumption of isotropy and multivariate normality, the only parameters to infer are the first-order moment (expectation vector), constant over the sphere and hereafter assumed to be zero, and the second-order moment (scalar or matrix-valued covariance function), which only depends on the geodesic distance \(\delta \) between any two points on the sphere.
Regrettably, although many computationally efficient algorithms are available to accurately simulate Gaussian random fields in Euclidean spaces, the same does not occur with random fields defined on the sphere. Simulation achieved through approximations into cosine waves or into spherical harmonics often reproduce the spatial correlation structure approximately. The objective of this work is to present two algorithms to simulate isotropic Gaussian random fields on \(\mathbb {S}^2\) that exactly reproduce the target covariance and are efficient from a computational standpoint. Both algorithms rely on the spectral representation of isotropic covariances on the sphere, which is reminded in the next section.
2 Mathematical Background
According to Yaglom in [1], the covariance function of an isotropic vector random field on the sphere can be expanded as follows:
where \(\cdot \) is the usual scalar product in \(\mathbb {R}^3\), \(P_k\) is the Legendre polynomial of degree k and \( ( B_k: k \in \mathbb {N})\) is a sequence of real-valued, symmetric, positive semidefinite matrices, called Schoenberg matrices, that are componentwise summable, i.e., such that \( C(0) = \sum _{k=0}^{+\infty } B_k\) exists.
For any \(s \in \mathbb {S}^2\) with colatitude \(\theta \in [0, \pi ]\) and longitude \(\phi \in [0, 2 \pi ]\), the spherical harmonics of degree \(k\in \mathbb {N}\) and order \(m\in \{ -k, \ldots , k \}\) is defined as:
where \(P_k^m\) is the associated Legendre function of degree k and order m. The spherical harmonics satisfy the following two properties.
-
(1)
Addition theorem:
$$\begin{aligned} \frac{4 \pi }{2 k + 1} \sum _{m=-k}^{+k} Y_{k,m} (s) Y_{k,m} (s^\prime ) = P_k ( s \cdot s^\prime ), \qquad k \in \mathbb {N}. \end{aligned}$$(3) -
(2)
Orthogonality:
$$\begin{aligned} 4 \pi \int _{\mathbb {S}^2} Y_{k,m} (s) Y_{k^\prime ,m^\prime } (s) \, U (d s) = {\left\{ \begin{array}{ll} 1 &{} \text {if }k=k^\prime ~\text {and }m=m^\prime \\ 0 &{} \text {otherwise,} \end{array}\right. } \end{aligned}$$(4)where \(k, k^\prime \in \mathbb {N} \), \( m \in \{ - k, \ldots , +k \}\), \(m^\prime \in \{ - k^\prime , \ldots , +k^\prime \}\), and U is the uniform distribution on \(\mathbb {S}^2\).
3 Simulation Algorithms
3.1 Random Mixture of Spherical Harmonics (RMSH)
Let f be a probability mass function on \(\mathbb {N}\) such that \(f(k) > 0\) whenever \(B_k\) is not a zero matrix. If \(K \sim f\), then Schoenberg’s formula (1) becomes
Moreover, if M is uniform over \( \{-K , \ldots , +K \} \), then the addition formula (3) gives
Then, combining Eqs. (5) and (6), one obtains
Letting \(A_k\) be a symmetric square root of \(B_k\) (\(k \in \mathbb {N}\)) and \(A_k(\cdot ,J)\) be the J-th column of \(A_k\), with J an integer uniform over \(\{1,\ldots ,p\}\), one furthermore has:
The previous equations suggest the following construction for simulating a random field on \(\mathbb {S}^2\) with covariance C:
with \(\varepsilon \) a random variable with zero mean and unit variance independent of (K, M) and J an integer uniform over \(\{1,\ldots ,p\}\) and independent of \((\varepsilon ,K,M)\).
3.2 Random Mixture of Legendre Waves (RMLW)
The second simulation algorithm rests on the following identity:
which can be derived from the addition theorem (3) and the orthogonality of spherical harmonics (4). Equation (8) can be rewritten in probabilistic terms:
where \(\varOmega \) is a random point (pole) uniformly distributed on \(\mathbb {S}^2\). The covariance function (5) of an isotropic vector random field Z becomes:
where K is a random integer with probability mass function f, independent of \(\varOmega \). Following the same reasoning as in the previous section, a random field \(\tilde{Z}\) sharing the same first two moments as Z is obtained by putting
with \(\varepsilon \) a random variable with zero mean and unit variance independent of \((K,\varOmega )\), J an integer uniform in \(\{1,\ldots ,p\}\) and independent of \((\varepsilon ,K,\varOmega )\), and \(A_K(\cdot ,J)\) the J-th column of a symmetric square root \(A_K\) of the Schoenberg matrix \(B_K\). The construction (10) has been named “turning arcs” by Alegría et al. in [2], as it is the exact analogue of the turning bands method in which a random field defined along a straight line is spread to the multidimensional Euclidean space; here, a Legendre wave \( P_K ( \varOmega \cdot s )\) that is constant over the arcs perpendicular to \(\varOmega \) is spread to the sphere.
3.3 Discussion
The two previous proposals can be classified as continuous spectral algorithms, in which the simulated field is a basic random field (harmonic) defined continuously on the sphere, consisting of a spherical harmonic with random degree and order or a Legendre wave with random degree and pole. This basic harmonic is weighted by a random vector that ensures the reproduction of the target spatial correlation structure, which reminds of importance sampling techniques.
Both algorithms provide continuous representations of isotropic random fields on \(\mathbb {S}^2\) with finite-dimensional distributions that are not multivariate Gaussian. A central limit approximation can be used to obtain a Gaussian random field, based on L independent copies of \(\tilde{Z}\) defined either by (7) or (10). The computational complexity is proportional to the number L and the number n of locations targeted for simulation, i.e., \({\mathcal O}( n \times L)\); this compares favorably with the covariance matrix decomposition algorithm, whose numerical complexity is proportional to \(n^3\). Interestingly, both algorithms can be adapted to the simulation of isotropic random fields on the d-sphere, with \(d > 2\), by replacing the spherical harmonics by hyperspherical harmonics in the RMSH algorithm, or the Legendre polynomial by a Gegenbauer polynomial in the RMLW algorithm. The validity of these adapted algorithms stems from the addition theorem and the orthogonality of hyperspherical harmonics.
4 Examples
As a first example, consider the univariate multiquadric covariance on the sphere:
whose Schoenberg sequence is the geometric probability mass function \((1 - \mu ) \mu ^ k\) (see [3]). In the following we set \( \mu = 0.7\) and discretize the sphere into \(500 \times 500\) points with regularly-spaced colatitudes and longitudes. Both algorithms are applied to generate one realization using \( L = 10\) and 100 basic random fields, with \(\varepsilon \) following a Rademacher distribution and \(K+1\) having a zeta distribution with parameter 2. The latter distribution is long tailed and allows sampling high degree harmonics (K large) with a non-negligible probability. The realizations obtained by both algorithms look the same when the number of basic random fields is high (\(L \ge 100\)), which suggests that the central limit approximation is acceptable for such a number of basic random fields (Fig. 1).
The second example is the univariate Chentsov covariance:
The associated Schoenberg sequence is (see [4]):
Again, the two algorithms are applied to generate one realization using \(L = 1000\) and 10,000 basic random fields, and considering the same discretization of the sphere and the same distributions for K and \(\varepsilon \) (Fig. 2). The convergence to normality turns out to be slower here, which is explained because the Chentsov covariance corresponds to a random field that is continuous but not differentiable, whereas the spherical harmonics and Legendre waves are smooth functions: many such functions (\(L\ge \) 10,000) are necessary to sample the tail of the zeta distribution sufficiently to reproduce the short-scale behavior of the target random field. With fewer functions, a striation effect is perceptible in the realizations.
The last example is a bivariate (\(p=2\)) spectral Matérn covariance, defined through its Schoenberg matrices (see [3]):
with \(v_{11} > 0\), \(v_{22} > 0\), \(v_{12} = \frac{v_{11}+v_{22}}{2}\), \(\vert \rho |\le 1\) and \(S(v) = \sum _{k=0}^{+\infty } (1 + k^2)^{-v-1/2}\).
We set \(\rho = -0.9\), \(v_{11} = 0.75 < 1\) and \(v_{22} = 1.25 > 1\), so that the second random field component is mean-square differentiable, while the first component is not. Figure 3 shows one realization obtained with the RMLW algorithm by using a zeta distribution for \(K+1\) and a Rademacher distribution for \(\varepsilon \), for \(L = \) 10,000 (similar results are obtained with the RMSH algorithm and are not displayed here). As expected, the first component is irregular whereas the second is smooth, both components being negatively correlated (\(\rho = -0.9\)). The striation effect is hardly perceptible, suggesting that the chosen number of basic random fields is sufficient for the central limit approximation to be acceptable.
5 Conclusions
Two algorithms have been proposed to simulate vector Gaussian random fields on the two-dimensional sphere. Both rest on the spectral decomposition of the covariance function. They provide continuous simulations, in the sense that they start by building basic ingredients that subsequently allow computing the value of the simulated field at any point on the sphere. Moreover, they can be generalized to perform simulations on hyperspheres. Convergence to multivariate normality is reached with fewer basic random fields when using the RMSH algorithm in comparison with the RMLW algorithm, because spherical harmonics are comparatively more multichromatic than Legendre waves. Compensatorily, it takes less time to compute Legendre polynomials than spherical harmonics.
References
Yaglom, A.: Correlation Theory of Stationary and Related Random Functions: Basic Results. Springer, New York (1987). https://doi.org/10.1007/978-1-4612-4628-2
Alegría, A., Emery, X., Lantuéjoul, C.: The turning arcs: a computationally efficient algorithm to simulate isotropic vector-valued Gaussian random fields on the \(d\)-sphere. Stat. Comput. 30(5), 1403–1418 (2020). https://doi.org/10.1007/s11222-020-09952-8
Emery, X., Porcu, E.: Simulating isotropic vector-valued Gaussian random fields on the sphere through finite harmonics approximations. Stoch. Environ. Res. Risk Assess. 33(8–9), 1659–1667 (2019). https://doi.org/10.1007/s00477-019-01717-8
Lantuéjoul, C., Freulon, X., Renard, D.: Spectral simulation of isotropic Gaussian random fields on a sphere. Math. Geosci. 51(8), 999–1020 (2019). https://doi.org/10.1007/s11004-019-09799-4
Acknowledgements
The authors acknowledge the support of the National Agency for Research and Development of Chile, through Grants ANID PIA AFB180004 and ANID FONDECYT REGULAR 1210050.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2023 The Author(s)
About this paper
Cite this paper
Alegría, A., Emery, X., Freulon, X., Lantuéjoul, C., Porcu, E., Renard, D. (2023). Spectral Simulation of Gaussian Vector Random Fields on the Sphere. In: Avalos Sotomayor, S.A., Ortiz, J.M., Srivastava, R.M. (eds) Geostatistics Toronto 2021. GEOSTATS 2021. Springer Proceedings in Earth and Environmental Sciences. Springer, Cham. https://doi.org/10.1007/978-3-031-19845-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-19845-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-19844-1
Online ISBN: 978-3-031-19845-8
eBook Packages: Earth and Environmental ScienceEarth and Environmental Science (R0)