Accelerating Bayesian microseismic event location with deep learning
- 1Department of Physics and Astronomy, University College London, Gower Street, London, WC1E 6BT, UK
- 2Astrophysics Group, Cavendish Laboratory, J. J. Thomson Avenue, Cambridge, CB3 0HE, UK
- 3Department of Earth Sciences, Faculty of Mathematical & Physical Sciences, University College London, London, WC1E 6BT, UK
Correspondence: Alessio Spurio Mancini (firstname.lastname@example.org)
We present a series of new open-source deep-learning algorithms to accelerate Bayesian full-waveform point source inversion of microseismic events. Inferring the joint posterior probability distribution of moment tensor components and source location is key for rigorous uncertainty quantification. However, the inference process requires forward modelling of microseismic traces for each set of parameters explored by the sampling algorithm, which makes the inference very computationally intensive. In this paper we focus on accelerating this process by training deep-learning models to learn the mapping between source location and seismic traces for a given 3D heterogeneous velocity model and a fixed isotropic moment tensor for the sources. These trained emulators replace the expensive solution of the elastic wave equation in the inference process.
We compare our results with a previous study that used emulators based on Gaussian processes to invert microseismic events. For fairness of comparison, we train our emulators on the same microseismic traces and using the same geophysical setting. We show that all of our models provide more accurate predictions, ∼ 100 times faster predictions than the method based on Gaussian processes, and a 𝒪(105) speed-up factor over a pseudo-spectral method for waveform generation. For example, a 2 s long synthetic trace can be generated in ∼ 10 ms on a common laptop processor, instead of ∼ 1 h using a pseudo-spectral method on a high-profile graphics processing unit card. We also show that our inference results are in excellent agreement with those obtained from traditional location methods based on travel time estimates. The speed, accuracy, and scalability of our open-source deep-learning models pave the way for extensions of these emulators to generic source mechanisms and application to joint Bayesian inversion of moment tensor components and source location using full waveforms.
The monitoring of microseismic events is crucial to understand induced seismicity and to help quantify seismic hazards caused by human activity (Mukuhira et al., 2016). Accurate event locations are key to mapping fracture zones and failure planes, ultimately enhancing our understanding of rupture dynamics (e.g. Baig and Urbancic, 2010).
Seismic inversion for earthquake location has traditionally been based on the minimization of a misfit function between theoretical and observed travel times (see, e.g. Wuestefeld et al., 2018, for a review of different methods applied to microseismic events). These optimization-based methods are essentially refinements of the original iterative linearized algorithm proposed by Geiger (1912), focusing on improving the misfit function or the optimization technique (see, e.g. Li et al., 2020, for a comprehensive review). Since the 1990s, non-linear earthquake location techniques have been developed using, e.g. the genetic algorithm (Kennett and Sambridge, 1992; Šílenỳ, 1998), Monte Carlo algorithms (Sambridge and Mosegaard, 2002; Lomax et al., 2009), and grid searches (e.g. Nelson and Vidale, 1990; Lomax et al., 2009; Vasco et al., 2019). The majority of these methods uses arrival times and require phase picking. Recently, waveform-based methods have emerged, such as waveform stacking (e.g. Pesicek et al., 2014) or time reverse imaging (e.g. Gajewski and Tessmer, 2005), which not only consider arrival times but also use other information from the waveforms. Full waveform inversion methods, which are based on the comparison between simulated full synthetic waveforms and observations, are also being increasingly used to enhance the determination of event locations (Kaderli et al., 2015; Behura, 2015; Cesca and Grigoli, 2015; Wang, 2016; Shekar and Sethi, 2019).
Bayesian inference has been successfully used to locate earthquakes and to estimate moment tensors (e.g. Tarantola, 2005; Wéber, 2006; Lomax et al., 2009; Mustać and Tkalčić, 2016). Within the Bayesian framework, the ultimate goal is to provide estimates of the posterior distribution of the model parameters (see, e.g. Xuan and Sava, 2010, for an application to microseismic activity). Bayesian source inversions use techniques such as Markov chain Monte Carlo (MCMC) to sample the parameters' posterior distribution (see, e.g. Craiu and Rosenthal, 2014, for a review of different sampling algorithms). They allow the rigorous inclusion and propagation of different uncertainties, such as those arising from the assumed velocity model for the seismic domain that is being studied (see, e.g. Pugh et al., 2016b). So far Bayesian source inversions for locations and moment tensors have been typically performed using travel time measurements (Lomax et al., 2009) or amplitude and polarity data (Pugh et al., 2016a, b; Pugh and White, 2018). Here we carry out Bayesian source location inversions of microseismic events using the full waveform information.
Ideally, the inversion could be carried out jointly for the moment tensor components and the location of the microseismic event (Rodriguez et al., 2012; O'Toole, 2013; Käufl et al., 2013; Stähler and Sigloch, 2014; Li et al., 2016; Pugh et al., 2016b; Pugh and White, 2018; Willacy et al., 2019). However, when using full waveforms this is extremely computationally intensive. While performing MCMC sampling, the forward model needs to be simulated at each point in parameter space where the likelihood function is evaluated. The number of such evaluations scales exponentially with the number of parameters (an example of the curse of dimensionality; see, e.g. MacKay, 2003). Since the solution of the elastic wave equation for forward modelling microseismic traces in complex media is computationally very expensive, this means that even for small parameter spaces sampling the posterior distribution becomes extremely challenging or even unattainable. For example, given the geophysical model with microseismic activity considered in Das et al. (2017), i.e. a 3D heterogeneous velocity model on a 1 km × 1 km × 3 km grid, the generation of a single seismic trace with a pseudo-spectral method (Treeby et al., 2014) for a given source requires 𝒪(1) h of graphics processing unit (GPU) time with a Nvidia P100 GPU. Using typical MCMC methods, this operation may need to be repeated for tens or hundreds of thousands of points in parameter space to ensure convergence of the sampling algorithm.
To overcome this issue, Das et al. (2018, referred to as D18 hereafter) developed a machine learning framework (also referred to as metamodel, surrogate model, or emulator) for fast generation of synthetic seismic traces, given their locations in a marine domain, a specified 3D heterogeneous velocity model, and a fixed isotropic moment tensor for all the sources. Gaussian processes (GPs, Rasmussen and Williams, 2005) were trained as surrogate models that could be employed for Bayesian inference of microseismic event location (with fixed isotropic moment tensor) to replace the expensive solution of the elastic wave equation for each set of source coordinates explored in parameter space. Other recent studies have also used deep-learning approaches for fast approximate computations of synthetic seismograms (e.g. Moseley et al., 2018, 2020b) and for earthquake detection and location (e.g. Perol et al., 2018). The very nature of all of these supervised learning methods, including the one presented in our paper, represents a purely data-driven approach to the use of machine learning in geophysics. While very powerful, these methods are all potentially prone to lack of generalization beyond the training data considered. In contrast to this approach, physics-informed machine learning (e.g. Arridge et al., 2019; Karpatne et al., 2017; Raissi et al., 2019) aims to train algorithms to solve the physical equations underlying the model, as recently applied to seismology, e.g. in Song et al. (2021); Moseley et al. (2020a); Waheed et al. (2020, 2021). These machine learning methods represent a very promising avenue as an application of machine learning that is not purely data-driven and therefore blind to the underlying physics of the system. Physics-informed and supervised learning approaches may indeed provide complementary information and be used as independent cross-checks on the same problem, complementing each method's strengths and weaknesses.
In this paper, we build on the method developed in D18 by training multiple generative models, based on deep-learning algorithms, to learn to predict the seismic traces corresponding to a given source location for fixed moment tensor components. Similar to D18, we consider an isotropic moment tensor for our sources; a follow-up paper (Piras et al., 2021) extends the methodologies proposed here to different source mechanisms (compensated linear vector dipole and double couple; see Sect. 4 for a discussion). Once trained, our generative models can replace the forward modelling of the seismograms at each likelihood evaluation in the posterior inference analysis. We show that the newly proposed generative models are more accurate than the results of D18. In addition, the emulators we develop are faster by a factor of 𝒪(102), less computationally demanding, and easier to store than the D18 surrogate model. We also demonstrate how our new emulators make it possible in practice to perform Bayesian inference of a microseismic source location. We validate our results by carrying out a comparison of our results with a common non-linear location method based on travel time estimates (Lomax et al., 2000).
In Sect. 2, we present our generative models and the general emulation framework. We first describe the preprocessing operations operated on the seismograms to facilitate the training of our new generative models, which are subsequently outlined in detail together with general notes on their training, validation and testing. In Sect. 3 we apply the emulation framework to the same test case studied by D18, and we compare the results achieved by the different methodologies. We also use our best performing model to show that we can accelerate accurate Bayesian inference of a simulated microseismic event and compare the estimated source location with that retrieved by a standard non-linear location method. Finally, we conclude in Sect. 4 with a discussion of our main findings and their future applications.
In this section we describe the deep generative models that we train as emulators of the seismic traces given their source location. Our final goal is to develop fast algorithms that can learn the mapping between source location and seismic traces recorded by receivers in a geophysical domain.
We start in Sect. 2.1 describing the preprocessing operated on the seismic traces for feature selection and dimensionality reduction. We then describe the algorithms for emulation of the preprocessed seismic traces in Sect. 2.2. These methods are machine learning algorithms that can, in principle, be applied to seismograms recorded in any geophysical scenario; in fact, these algorithms have been applied to areas beyond geophysics (see, e.g. Auld et al., 2007, 2008, for applications to cosmology). While we initially present our emulators without referring to any particular geophysical scenario, for concreteness we also present a choice of the methods' hyperparameters (e.g. the number of layers and nodes of the neural networks employed) based on their application to the test case later described in Sect. 3. We report these specific hyperparameter choices to provide an example of a practical successful implementation of the machine learning algorithms, but we stress again that the generative models presented in Sect. 2.2 are applicable to any geophysical scenario, provided enough representative training samples and a velocity model are available. They may, however, require different hyperparameter choices, depending on the specific domain considered. As discussed in more detail in Sect. 3.2, this hyperparameter tuning is not computationally expensive because our models are very easy to train.
Training, validation, and testing procedures for our generative models are described in Sect. 2.3, with emphasis on the metrics used to compare the accuracies of the different algorithms. We note that the number of training, validation, and testing samples required for each method may vary according to the specific geophysical domain considered; for example, larger geophysical domains may require a larger number of training samples, reflecting the increased variability in the seismic traces. Once again, in Sect. 2.3 we discuss a training procedure that has produced successful results on the test case considered in Sect. 3. Applications to different geophysical scenarios may need slightly different tuning of the hyperparameters involved in the training procedure, but the general technique shown in 2.3 can be easily adapted to incorporate these changes.
In order to train fast emulators to replace the simulation of microseismic traces for a given source location we need to generate representative examples of the seismograms to be learnt, given a fixed velocity model for the geophysical scenario considered. The complexity of the forward modelling of seismic traces by means of, e.g. pseudo-spectral methods (see, e.g. Faccioli et al., 1997), implies that only a relatively small number of training samples can realistically be generated. In turn this means that the emulation of seismic traces by means of even just a simple neural network (which will be described in Sect. 2.2.1) will only lead to overfitting the training set. This issue can be relieved by applying some form of preprocessing to the data in order to reduce the number of relevant features that have to be learnt by the emulators. In addition, a compression method can be employed to even further reduce the dimensionality of the mapping, on the condition that the performed compression is efficient in preserving the information carried by the original signal.
To preprocess our seismograms we first identify the maximum positive amplitude Ai and the corresponding time index ti in each seismogram, labelled by index , in our training set of Ntrain = 2000 samples (the same used by D18). We then isolate one random seismic event in our training set and store the value of its maximum positive amplitude A* and its corresponding time index t*. We normalize all of our training seismograms to the amplitude of this reference peak and shift them so that their peak location corresponds to the reference peak location (see Fig. 1), replacing the missing time components with zeros. Operating this preprocessing leaves us with two additional parameters for each seismic trace: a normalizing factor and a time shift . This preprocessing is encouraged by the structure of the signal, which is localized in the form of spikes preceded by absence of signal, corresponding to the sudden arrival of the P wave at the sensor location. The amplitudes Ai and time indices ti depend mainly on the distance of the seismic source from the sensor. By rescaling all training seismograms to the reference amplitude A* and time index t* we allow the deep-learning algorithm to “concentrate” on learning the rest of the signal, which instead depends on the properties of the heterogeneous medium encountered by the wave while propagating to the sensor. We verified that all numerical conclusions of our analysis do not depend significantly on the specific choice of the reference seismogram. In particular, parameter contours (cf. Sect. 3.2.2) obtained with emulators trained on seismic traces preprocessed using different random reference seismograms show deviations much smaller than 0.05σ. Therefore, in our analysis we choose the reference seismogram completely at random, as this choice does not have any effect on the final algorithm performance.
A consequence of this type of preprocessing is that, in order to recover the original seismograms, one also needs to learn the coefficients and . We model each of them with a Gaussian process (GP, Rasmussen and Williams, 2005) that maps the input source coordinates to the output amplitude and time shift . We include the distances di from the receiver in the set of coordinates, as we performed several tests with and without including the distances and found that including them helps the GP learn the mapping between inputs and outputs.
When performing GP regression given a generic function f(θ) of parameters θ, we assume
where the kernel represents the covariance between two points in parameter space and may depend on additional hyperparameters, collectively denoted as ψ. In our case and are modelled as functions of the coordinates using a GP each. For the geophysical domain studied in Sect. 3, a Matérn kernel K in its automatic relevance discovery (ARD) version (Neal, 1996; Rasmussen and Williams, 2005), defined as
outperforms other common kernels such as radial basis functions (Rasmussen and Williams, 2005), producing correlation coefficients between target and predicted () in the testing set greater than 0.99. The hyperparameters of the Matérn ARD kernel are a signal standard deviation σf and a characteristic length scale σm for each input feature (the source location, in our case). We optimize these parameters while training our GPs, which we implement using the software GPy. Figure 2 presents the general emulation framework, showing in particular how the and produced by the trained GPs described above combine with the emulated preprocessed seismogram to produce the final emulation output.
2.2 Machine learning algorithms
Here we present in detail the algorithms we developed for emulation of the seismic traces. Given a set of coordinates , each method outputs a seismogram preprocessed following the procedure described in Sect. 2.1. This means that for each method, we also need to train two GPs to learn the mapping between source location and the coefficients (), as described in Sect. 2.1. In Fig. 3 we provide a schematic summarizing the mapping between source coordinates and seismograms for each emulation framework described below. The specific architectures and hyperparameters represented in Fig. 3 are those optimized for the application described in Sect. 3.
2.2.1 Direct neural network mapping between source location and seismograms (“NN direct”)
The first method we propose is a simple direct mapping between source location and preprocessed seismograms, without any intermediate data compression. The mapping is learnt by a fully connected neural network, which consists of a stack of layers, each made of a certain number of neurons. Each layer maps the input of the previous layer θin to an output θout via
where w and b are called the network weights and bias, respectively, and 𝒜 is the activation function, which is introduced in order to be able to model non-linear mappings. The output of each layer becomes the input to the following layer, and the number of neurons in each layer determines the shape of w and b. Training the neural network consists of optimizing the weights and biases to minimize a specific loss function which quantifies the deviation of the predicted output from the target training sample. The optimization is performed by back-propagating the gradient of the loss function with respect to the networks parameters (Rumelhart et al., 1988).
For the specific application considered in Sect. 3, after experimenting with different architectures and activation functions, we find our best results are achieved with a neural network made of three hidden layers, with 64, 128, and 256 hidden units each, and a Leaky ReLU (Maas, 2013) activation function for each hidden layer, except the last one where we maintain a linear activation. This architecture leads to 2D correlation coefficients R2D (cf. Eq. 12) on the testing set ∼ 5 % higher than all other architectures we tried. The Leaky ReLU activation function for an input x is defined as follows:
where we set the hyperparameter α=0.2, and we use a learning rate of 10−3. The Leaky rectified linear unit activation function (ReLU) is a variant of the ReLU, which improves on a limitation of the ReLU activation function, sometimes referred to as “dying ReLU”, whereby large weight updates mean that the summed input to the activation function is always negative, regardless of the input to the network (Xu et al., 2015). This means that a node with this problem will forever output an activation value of 0. We verified experimentally that Leaky ReLU indeed performs better than ReLU and other common activation functions, leading to 2D correlation coefficients R2D (cf. Eq. 12) on the test seismic traces typically ∼ 10 % higher than those obtained with other activation functions. We choose the mean squared error (MSE) as our loss function:
between predicted and original seismograms and S. Figure 3a summarizes the emulation framework with direct NN between source coordinates and preprocessed seismograms.
2.2.2 Principal component analysis compression and neural network (“PCA+NN”)
The second method proposed makes use of a signal compression stage prior to the emulation step. We first perform principal component analysis (PCA) of the preprocessed seismograms in the training set. PCA is a technique for dimensionality reduction performed by eigenvalue decomposition of the data covariance matrix. This identifies the principal vectors, maximizing the variance of the data when projected onto those vectors. The projections of each data point onto the principal axes are the “principal components” of the signal. By retaining only a limited number of these components, discarding the ones that carry less variance, one achieves dimensionality reduction. For example, in our application to the test case described in Sect. 3, we retain only the first NPCA = 20 principal components, as we find that in this case the 2D correlation coefficient between original and reconstructed seismograms is R2D∼ 0.95. We can then model the seismograms as linear combinations of the PCA basis functions fi,
where the coefficients are unknown non-linear functions of the source coordinates. We train a NN to learn this mapping. In other words, contrary to the direct mapping between coordinates and seismogram components, we train a NN to learn to predict the PCA basis coefficients ci given a set of coordinates. Figure 3b summarizes the emulation framework in this case. We find that a neural network architecture similar to the one employed in the direct mapping approach, with three layers and Leaky ReLU activation function, also performs well for this task, leading to R2D coefficients greater than 0.9. The number of nodes in each hidden layer is reduced to 50, and we still minimize the MSE between predicted and original PCA coefficients.
2.2.3 Principal component analysis compression and Gaussian process regression (“PCA+GP”)
Once PCA has been performed on the training set, as an alternative to a neural network one can train multiple GPs to learn the mapping between the source coordinates and the PCA coefficients. We train one GP for each PCA component. Figure 3c summarizes the emulation framework for this approach.
2.2.4 Autoencoder compression and neural network (“AE+NN”)
An autoencoder (AE) is a neural network with equal number of neurons in the input and output layers, trained to reproduce the input in the output (Hinton and Salakhutdinov, 2006). An autoencoder is typically made of an encoder followed by a decoder. The encoder network maps the input signal into a central layer (latent space), usually with fewer neurons with respect to the input to achieve dimensionality reduction. The decoder network receives as an input the output layer of the encoder and learns to map these compressed features back to the original input signals of the encoder. Together, encoder and decoder form a “funnel-like” structure for the AE network, as shown in Fig. 4. In seismology, autoencoders have been studied by Valentine and Trampert (2012), who used them to compress seismic traces, and they are generally used as a non-linear alternative to PCA.
Once the AE has been trained, the new input signals can be compressed into the central features of the AE. Our aim is to learn the mapping between the source coordinates and these features. For example, this can be achieved with an additional neural network. Once this NN is trained, it can be used to generate new encoded features of the AE from new coordinates, decoding new features into preprocessed seismograms. This procedure is summarized in Fig. 3d.
In our test case of Sect. 3, we find that a fully connected architecture with 501, 256, 128, 64, and 5 nodes for each layer in the encoder (from the input to the latent space, and symmetric decoder) with Leaky ReLU activation function produces the best results in compressing the seismograms (leading to higher 2D correlation coefficients on the testing set, cf. Eq. 12). Hence, we encode our seismograms in zdim = 5 central features; using a higher number of central features does not lead to significant improvements in the reconstruction performance, as discussed in Sect. 3.2. We also experimented with a convolutional architecture but noticed that it did not yield better accuracy, while also slowing down the training considerably.
2.2.5 Autoencoder compression and Gaussian process regression (“AE+GP”)
Similar to what we did with the PCA+GP method described in Sect. 2.2.3, one can train GPs to predict the encoded features given source coordinates. The predicted encoded features are then decoded by the trained decoder to generate new preprocessed seismograms. The scheme is summarized in Fig. 3e.
2.2.6 Conditional variational autoencoder (“CVAE”)
In general, the encoded features in the latent space of an autoencoder have no specific structure, as the only requirement is for the reconstructed data points to be similar to the input points. However, it is possible to enforce a desired distribution over the latent space, which is driven by our preliminary knowledge of the problem and is therefore called a prior distribution. This is one of the advantages of variational autoencoders (VAEs, Kingma and Welling, 2013). In this case, the model becomes fully probabilistic, and the loss function to maximize consists of the ELBO (evidence lower bound), which is defined as follows:
where x indicates the seismograms, z the encoded features, and 𝔼z the expectation value over . Additionally, p(z) refers to the prior distribution we wish to impose in latent space, qθ(z|x) to the encoder distribution, and pϕ(x|z) to the decoder distribution; θ and ϕ indicate the learnable parameters of the encoder and of the decoder, respectively. Finally, DKL refers to the Kullback–Leibler divergence (Kullback, 1959), which is a measure of distance between distributions; see Appendix B for further details.
In simple terms, when maximizing the objective in Eq. (8) with respect to θ and ϕ, we demand the encoded distribution to match the prior p(z) as close as possible, while requiring that the decoded data points resemble the input data. For a full derivation of the ELBO and further details about VAEs, see, e.g. Kingma and Welling (2013); Doersch (2016); Odaibo (2019), and references therein.
VAEs can be used both as a compression algorithm and a generative method. Since we want to map source coordinates to seismograms, we choose to employ a supervised version of VAEs, called conditional variational autoencoders (CVAEs, Sohn et al., 2015), which proposes maximizing this slightly altered loss function:
where c refers to the coordinates associated to the seismograms x, and the expectation value is over .
In our analysis, we set a latent space size of zdim=5. Moreover, we choose the encoding to be a multivariate normal distribution with mean given by the encoder and covariance matrix . We choose a multivariate normal distribution with zero mean and the same covariance matrix Σ as our prior p(z|c), and we employ a deterministic as our decoding distribution. We estimate the expectation value in Eq. (9) using a Monte Carlo approximation, and we calculate the KL divergence in closed form as both and p(z|c) are multivariate normal distributions; see Appendix B for the full derivation. The choice of Σ is made in order to limit the spread of points in latent space, such that we can approximate the desired deterministic mapping with the probabilistic model offered by the CVAE. Once trained, we can feed a set of coordinates c and a vector to the decoder to obtain a seismogram; with our setup, we verified that using a sample or the mean value z=0 has no significant impact on the final performance of the model. Figure 3f summarizes the emulation framework making use of the CVAE trained decoder, while the architecture of the full CVAE, with hyperparameters optimized for application to the test case of Sect. 3, is shown in detail in Fig. 5.
2.2.7 Wasserstein generative adversarial networks − gradient penalty (“WGAN-GP”)
One of the main lines of research in generative models is based on generative adversarial networks (GANs, Goodfellow et al., 2014). In this framework, two neural networks, called generator (G) and discriminator (D), are trained simultaneously with two different goals. While G maps noise to candidate fake samples which resemble the training data to fool the discriminator, D is trained to distinguish between these fake samples and the real data points.
More formally, we can define a value function as follows:
where x refers to the training data sampled from the data distribution pdata(x), and z to a noise variable sampled from some prior p(z). The discriminator is thus trained to maximize V(D), while the generator aims at minimizing V(D); the two networks play a minimax game until a Nash equilibrium is (hopefully) reached (Goodfellow et al., 2014; Che et al., 2016; Oliehoek et al., 2018).
In practice, despite generating sharp images, GANs have proved to be quite unstable at training time. Moreover, it has been shown how vanilla GANs are prone to mode collapse, where the generator only focuses on a few modes of the data distribution and yields new samples with low diversity (see, e.g. Metz et al., 2016; Che et al., 2016).
Many alternatives to vanilla GANs have been proposed to address these issues. We focus here on Wasserstein GANs – gradient penalty (WGAN-GP; Arjovsky et al., 2017; Gulrajani et al., 2017). To avoid confusion, we stress that the acronym “GP” is used to indicate a Gaussian process throughout the paper, while it refers to the “gradient penalty” variant of the WGAN algorithm only when quoted as “WGAN-GP”. In short, we still consider two networks, a generator G and a critic C, which are trained to minimize the following objective:
where c refers to the coordinates, is a linear combination of the real and generated data, λ≥0 is a penalty coefficient for the regularization term, and refers to the L2 norm of the critic's gradient with respect to . See Appendix C for further details. Figure 3c summarizes the emulation framework making use of the generator of the WGAN-GP, whose full architecture is described in detail in Fig. 6.
In our experiments, we chose λ=10, and trained the critic ncrit = 100 times for every generator weight update. Both our generator and discriminator are made of fully connected layers with various numbers of hidden neurons. We set the dimension of the latent zdim=64, and . Note that the choice of how to include the conditional information in the architecture is not unique, and we experimented with different combinations without significant differences. Once the algorithm has been trained, a new seismogram is obtained by feeding the generator with a latent vector and a set of coordinates.
Finally, note that, in this case only, we standardized the data x after the rescaling described in Sect. 2.1. We calculated the mean μ and the standard deviation σ over all seismograms x and trained our model on .
2.3 Training, validation, and testing procedure
We describe here the methodology followed to train our models and test their accuracy. We remark that the training and testing of any machine learning algorithm should be performed on a case-by-case basis, in order to match the accuracy requirements dictated by the specific problem considered (in this case, the emulation of seismic traces given a certain velocity model). For concreteness, we present here the details of training and testing our models for application to the test case in Sect. 3.
All our models are trained on the same 2000 simulated events used in D18. For optimization and testing purposes, we divide the remaining 2000 samples (from the pool of 4000 events generated in total by D18) into a validation set and a testing set of 1000 events each. Differently from D18, in this paper we use a validation set to tune the hyperparameters of our deep-learning models. To provide an unbiased estimate of the performance of the final tuned models, we quote our definitive results evaluating the accuracy of each model on the testing set, which is never “seen” by the model at any point in the training or optimization procedures.
Similar to D18, our accuracy performance is quantified in terms of the R2D coefficient, a standard statistic commonly used in time series analysis to quantify the correlation between two signals. Given a batch of the true seismograms G and the corresponding emulated ones P, the R2D coefficient is defined as
where and are the mean over all samples and time components of the ground truth Gij and predicted seismograms Pij. Given its normalization, the R2D coefficient ranges between values of −1, denoting perfect anti-correlation, and +1, indicating perfect correlation; a vanishing correlation coefficient denotes absence of correlation.
When training our NNs, all implemented in tensorflow(Abadi et al., 2015), we monitor the value of the validation loss to choose the total number of epochs, waiting 100 epochs after the loss stopped decreasing and restoring the model with the lowest validation loss value. In other words, we early stop (Yao et al., 2007) based on the validation loss with a patience equal to 100 epochs. Moreover, we optimize our algorithms calculating the final R2D coefficient, as defined in Eq. (12), over different combinations of the hyperparameters, choosing the values that yield the highest R2D. The optimization procedure is performed using the adaptive learning rate method Adam (Kingma and Ba, 2014) with default parameters. The optimization of the network hyperparameters is entirely performed on the validation set; the testing set is left unseen by the networks until the very last stage of the analysis, when it is used to calculate the results quoted in Table 1.
Since one of our goals is to compare our new emulation methods with the one previously developed in D18, we train and test them on the same geophysical scenario considered there. To train and test our algorithms we use the same microseismic traces that were forward modelled in D18 for training and testing purposes.
3.1 Simulation setup
We briefly recap here the characteristics of the simulated geophysical domain and microseismic traces, referring to D18 for further details. We consider a geophysical framework where we record seismic traces in a marine environment. Sensors are placed at the seabed to record both pressure and three-component particle velocity of the propagating medium. As was the case in D18, we assume that our recorded seismic traces are generated by explosive isotropic sources. For isotropic sources, considering only the pressure wave and ignoring the particle velocity is sufficient to determine the location of the event in the studied domain, as shown in D18. We consider the seismic traces to be noiseless when building the emulator, while some noise is added to the simulated recorded seismogram when inferring the coordinates' posterior distribution, as we will show in Sect. 3.2.
Forward simulations of seismic traces are obtained by solving the elastic wave equation given a 3D heterogenous velocity and density model for the propagating medium, shown in Fig. 7. The model specifies values of the propagation velocities for P and S waves (Vp,Vs), as well as the density ρ of the propagating medium, discretized on a 3D grid of voxels. The solution of the elastic wave equation is a computationally challenging task, which can be accelerated using GPUs (Das et al., 2017). This is implemented in the software k-wave (Treeby et al., 2014), a pseudospectral method employed by D18 to generate their training and testing samples, which we also use in our analysis. The GPU software allows for the computation of the acoustic pressure measured at specified receiver locations. A total of 4000 microseismic traces are generated in total with a NVIDIA P100 GPU, given their random locations within a predefined domain and a specified form for their moment tensor. The value of the diagonal components of the moment tensor is set equal to 1 MPa, following Collettini and Barchi (2002). The coordinates of the simulated sources are sampled using Latin hypercube sampling on a 3D grid of 81 × 81 × 301 grid points, corresponding to a real geological model (the same used in D18) of dimensions 1 km × 1 km × 3 km. The temporal sampling interval for the solution of the elastic wave equation is 0.8 ms, which ensures stability of the numerical solver. The synthetic traces have a total duration of 2 s each. After generation, all seismograms are downsampled to a sampling interval of 4 ms to reduce computational storage. This way, each seismic trace is ultimately a time series composed of Nt=501 time components. Note that, as explained previously, similarly to D18, we augment each of our coordinate set with their distance from the receiver , as we noted that this helps the training of the generative models, in particular the Gaussian processes defined in Sect. 2.1. This is due to the fact that the amplitude and time shift coefficients for each seismic trace are strongly dependent on the distance of the source from the receiver.
3.2 Comparison with Das et al. (2018)
In this section we summarize our main findings. We start in Sect. 3.2.1 by describing the accuracy performance of all our new methods and compare them with that achieved by D18. In Sect. 3.2.2 we then move to our inference results, describing how we simulated a microseismic measurement and used our generative models to accelerate Bayesian inference of the event coordinates, again comparing against the results obtained applying the method described in D18.
3.2.1 Performance of the generative models
In Table 1 we report summary statistics for the performance of our generative models. Our goal is to critically compare the different methods, highlighting their strengths and weaknesses, so that the reader can decide to adopt the one that fits best their primary interests and available resources. To perform this comparison, similarly to D18, we consider an experimental setup with only one central receiver at planar coordinates (x = 0.5 km, y = 0.5 km) in the detection plane z = 2.43 km (see Fig. 9). In the following paragraphs we will then consider a more complicated geometrical setup for the detection of microseismic events.
Considerations of accuracy in terms of reconstructed seismograms are important for applications to posterior inference analysis, to avoid biases and/or misestimates of the uncertainty associated to the inferred parameters. In our case achieving higher accuracy is crucial to guarantee unbiased and accurate estimation of the microseismic source location. For this reason, in Table 1 we cite the R2D statistic defined in Eq. (12) as a means to quantify the accuracy of our methods, similarly to what was done in D18. The R2D coefficient is evaluated on the testing set, after training and validation of each method, according to the procedure described in Sect. 2.3.
All of our new methods provide a R2D statistic higher than the one reported by D18 on their testing set. We note that in D18 the testing set was composed of 2000 events, whereas here we split those 2000 events in a validation and testing set of 1000 samples each. However, we checked that all of our numerical conclusions are unchanged considering a larger testing set composed of the same 2000 events used by D18. We also checked that training the D18 emulator (augmented with the two GPs for the () coefficients) on the seismograms preprocessed following Sect. 2.1 leads to values of R2D worse than those obtained applying the D18 method without preprocessing. Hence, for our comparison we decided to leave the D18 method unchanged from its original version, i.e. without performing the preprocessing of Sect. 2.1 prior to training.
The NN direct model, described in Sect. 2.2.1, provides the highest R2D value among our proposed methods. This is due to the combination of two factors: the relatively simple structure of the seismograms, given the isotropic nature of their moment tensor, and the preprocessing operated on the training seismograms. On the one hand, isotropic sources are characterized by strong and very localized P-wave peaks, which clearly dominate over the rest of the signal. This simplifies the form of the signal with respect to, e.g. pure compensated linear vector dipole (CLVD) and double-couple (DC) events, characterized by more complicated signal structure (Vavryčuk, 2015; Das et al., 2017). On the other hand, even with the relatively simple structure of the isotropic seismograms, the training of a NN to map coordinates to seismic traces is extremely challenging due to the reduced number of training samples available. It is for this reason that we operated the preprocessing on the training seismograms described in Sect. 2.1. This has the advantage of extracting information regarding the source-sensor distance, encoded mainly in the location and amplitude of the P-wave peak of each seismic trace. By isolating these features into the parameters , we simplify the task for our NN or any other method learning the mapping between source coordinates and seismograms. This approach relies on being able to train methods that learn efficiently the mapping between coordinates and coefficients. Fortunately, this mapping is not too complicated, depending mainly on the distance of the source from the sensor, and this is quite simple to learn for the GPs described in Sect. 2.1, which, as we verified experimentally, show higher accuracy than NNs in learning the coefficients.
Figure 8 shows the reconstruction accuracy of three models among the ones considered in Table 1, namely the D18 method and the two models proposed in this paper that yield the lowest and highest R2D coefficients (the WGAN-GP and NN direct methods, respectively). We evaluate the predictions of these three models for three random coordinates among those of the testing set and check how the predictions compare with the original seismograms. We notice how in some cases the D18 method fails to produce accurate predictions (as in the case of the seismogram shown in the second and third column in Fig. 8). The WGAN-GP and NN direct methods instead manage to yield more accurate predictions in these cases, in particular regarding the location and amplitude of the P-wave peak, crucial for localization purposes. From Fig. 8 we can appreciate how even the WGAN-GP method, whose accuracy is the worst among the methods proposed in this paper (cf. Table 1), reconstructs the seismograms in the second and third column better than the D18 method.
Speed considerations are also important when evaluating the performance of the models. In general, applications of deep learning to Bayesian analysis may often be possible only making use of high-performance computing (HPC) infrastructure. If this is not available, applications to real parameter estimation frameworks may be fatally compromised. Therefore, it is important to notice that all our proposed models can be efficiently run on a simple laptop, without the need of any HPC platform. If HPC infrastructure is available, our models can be sped up even further. In particular, running all generative models on GPUs would lead to a speed-up of at least an order of magnitude (Wang et al., 2019).
Importantly, however, even without this HPC acceleration we find that all our models are ∼ 1–2 orders of magnitude faster to train and to evaluate than the method described in D18. We stress here that the advantage of our models in terms of speed relies not only on requiring considerably less time to train but also (and arguably more importantly) in predicting a seismogram much faster than with the D18 method. This point is essential for applications to parameter inference, e.g. through MCMC techniques, where a forward model needs to be computed at each likelihood evaluation. A single evaluation time for our models is reduced by up to 2 orders of magnitude with respect to that of D18, which in turns means that Bayesian inference of microseismic sources will be similarly faster (see Sect. 3.2.2). Our emulators run on a common laptop CPU provide a 𝒪(105) speed-up compared to direct simulation of the seismic trace with a pseudo-spectral method run on a GPU. The training time required by each method is also significantly lower than in D18. We note that this last property makes the training of our models much less demanding in terms of computational resources. We also note that the creation of a training dataset, with a few thousand seismograms generated by solution of the elastic wave equation, is a computational overhead cost that we share with the analysis of D18, and therefore its generation time is not reported here for any of the methods in Table 1, including D18 (see Sect. 4 for a discussion on how to reduce this overhead simulation time in future work).
Among our proposed methods, the fastest to evaluate is the PCA+NN method described in Sect. 2.2.2. This was expected, as this model is composed of a relatively small NN and a reconstruction through the predicted PCA coefficients. Both operations essentially boil down to matrix multiplications, which can be executed with highly optimized software libraries. We also notice that the methods requiring GP predictions (PCA+GP and AE+GP in Table 1) are the ones that perform worse in terms of evaluation and training speed. Again, this was expected as it is due to the nature of GP regression itself. Contrary to NNs, GPs are non-parametric methods that need to take into account the entire training dataset each time they make a prediction. At inference time they need to keep in memory the whole training set and the computational cost of prediction scales (cubically) with the number of training samples (Liu et al., 2018). This also affects the D18 method, in an even more exacerbated form since the number of GPs involved in that method is higher.
Related to the difference between GP and NN regression are the storage size requirements of the different methods. Models employing NNs are less demanding than GPs in terms of memory requirements, mainly because they do not need to keep memory of the training data. Within NN architectures, the simpler ones are, intuitively, the lightest to store. PCA+NN is again the best performing method in this regard, winning in particular over AE+NN since the latter requires the storage of weights and biases for two NNs.
3.2.2 Inference results
Now that we have quantified the performance of our generative models, we want to apply them to the Bayesian inference of a microseismic event location. For this purpose, we simulate the detection of a microseismic event and wish to infer the posterior distribution of its coordinates. The posterior distribution of a set of parameters θ for a given model or hypothesis H and a data set D is given by Bayes' theorem (e.g. MacKay, 2003)
The posterior distribution is the product of the likelihood function and the prior distribution Pr(θ|H) on the parameters, normalized by the evidence Pr(D|H), usually ignored in parameter estimation problems since it is independent of the parameters θ. In this work we employ the algorithm MultiNest (Feroz et al., 2009) for multi-modal nested sampling (Skilling, 2006), as implemented in the software PyMultiNest (Buchner et al., 2014), to sample the posterior distribution of our model parameters (i.e. the source coordinates).
We simulate the observation of a microseismic isotropic event by generating a noiseless trace given specified coordinates () = (0.375 km, 0.3 km, 1.57 km). Our goal is to derive posterior distribution contours on the coordinates , which represent our parameters. Following D18, we add random Gaussian noise to each component of the noiseless trace, with standard deviation σ = 250 in the same arbitrary units as the seismograms' amplitude. The resulting seismic trace, measured at multiple receivers, is shown in Fig. 9a. Similarly to D18, we assume a Gaussian likelihood. We stress here that the particular shape considered for the noise modelling and the likelihood function are not restrictive: our methodologies are easily applicable to more complicated noise models or likelihood forms, while we chose to use the same investigated by D18 for a direct and fair comparison.
Instead of repeating the analysis for each proposed generative model, we decide to use the one that has been shown in Table 1 to achieve greater accuracy, i.e. the direct neural network mapping between coordinates and seismograms described in Sect. 2.2.1. We simulate an experimental setup with multiple receivers on the detection plane z = 2.43 km, shown in Fig. 9b. D18 reported a maximum likelihood calculation for up to 23 receivers placed on the same plane. Here, our aim is to test the performance of our models at inference time, while we do not wish to carry out a detailed analysis for optimization of the receivers geometry. In particular, we wish to compare the D18 emulator with ours at inference time. Thus, we do not consider all 23 receivers considered by D18. While we find that considering only one receiver is obviously not enough to achieve significant constraints on the coordinates, after experimenting with different configurations and number of receivers we find that considering four receivers, placed in the upper diagonal part of the detection plane, as shown in Fig. 9, already leads to significant constraints on the event coordinates, with 1σ marginalized errors O (0.001) km. This is true if we consider our NN direct method, whose accuracy is higher than the one of D18. Indeed, repeating the inference analysis with the D18 emulator, given the same receiver configuration, leads to constraints ∼ 3 times less tight on the coordinates and at a considerable increase in computation time: 66 h of computation using 24 central processing units (CPUs), compared to the 1.7 h required by the NN direct on a single CPU. The fact that such tighter constraints can be achieved with our emulator, even if making use of the information coming from only four receivers, is due to the increased accuracy of our method, evident from the R2D values reported in Table 1.
Figure 10 shows the posterior contour plots for the four-receiver configuration described above, obtained with our NN direct generative model and the emulator of D18. The numerical results are summarized in Table 2, reporting the prior ranges and mean and marginalized 68 % credibility interval on the coordinates. We notice that the x and y coordinates are less constrained than the z coordinate. This is due to the layered structure of the density and velocity model (cf. Fig. 7), with much more variability along z than along the horizontal directions. A full comparison between the D18 and NN direct methods would require us to perform the inference process using data from all 23 receivers. However, we found that implementing the D18 method with all 23 receivers involves significant computational complication, even when making use of highly parallelized HPC implementations. We remark that the D18 method fails with few detectors and is computationally expensive with many, while the NN direct method proposed in this paper works well with just four detectors and can be expected to work very well, and at lower cost, with many.
3.3 Comparison with arrival-time-based non-linear location
In order to check the accuracy of our emulators, we perform a comparison of the inference results that we obtain with our surrogate model with the results obtained from a non-linear probabilistic location method. The widely used algorithm NonLinLoc (Lomax et al., 2000) allows the determination of source locations based on arrival time data using a probabilistic approach. It implements the equal differential time formulation (EDT; Zhou, 1994; Font et al., 2004; Lomax, 2005), which uses relative arrival time between stations to remove the origin time from the parameter space. In this work we consider the origin time to be at t=0, and we do not include it in our parameter space, so we do not strictly need the EDT formulation. However, we stick to it to produce results easily comparable with standard procedures. In the notation of Lomax et al. (2009) and the EDT formulation, the likelihood of the observed arrival times takes the following form:
where the indices a, b run over the receivers, and are observed arrival times, and are theoretical estimates for the travel times, the uncertainties σa, σb combine errors in the arrival time theoretical calculations and observations, and N is the total number of observations (N=1 in our test case). The NonLinLoc software uses this likelihood function to sample the posterior distribution of the model parameters (i.e. the coordinates of the recorded seismic event) given specified priors, which we take here to be uniform in the same ranges considered in Sect. 3.2.2. While we use this likelihood function for comparison with NonLinLoc, we do not sample the posterior distribution using the sampling algorithms implemented in the software package. Instead, we build an independent implementation that uses PyMultiNest for sampling the posterior distribution, for comparison with Sect. 3.2.2, noting that the inference results are independent of the algorithm used for posterior sampling.
The theoretical computations of the arrival times given specified coordinates () in the simulated 3D domain are obtained with the algorithm Pykonal (White et al., 2020), which implements a fast marching method (Sethian, 1996) to solve the eikonal equation in Cartesian or spherical coordinates in two or three dimensions.
Our goal is to verify that our methodology provides estimates of the posterior probability distribution for the event location that are in good agreement with those obtained from the NonLinLoc method. To obtain this comparison, we consider the same four receivers shown in Fig. 9b. The simulated observation is also the same one considered in the comparison with the D18 method and shown in Fig. 9a. In particular, the noise properties of the observed waveform for our method are the same considered in Sect. 3.2.2, i.e. Gaussian noise with standard deviation σ=250 in the arbitrary units of pressure used in this work. For the arrival time observation of the NonLinLoc method, we consider an error in the manual picking of the arrival time of 0.005 s, following Smith (2019).
The inference results for the posterior distribution of the coordinates are reported in Table 2 and shown in Fig. 11, superimposed with our constraints obtained with the NN direct method. Clearly, with the latter we obtain constraints in good agreement with the NonLinLoc method, while being tighter, as expected, since we are using the full waveform information rather than the arrival time only. However, we also notice that this comparison is strongly dependent on the uncertainty associated with the estimated arrival time in the NonLinLoc method and the fact that we neglect possible errors associated with the theoretical predictions for the ray-traced estimates of the travel times from Pykonal. For this reason, we emphasize here that this comparison should not be regarded as a way to show that our method certainly provides tighter constraints on the source coordinates, although this could be expected since we are considering the full waveform information as opposed to merely inverting the arrival times. We leave a proper comparison of the uncertainties associated with both approaches to future work, but we can already notice that both methods give results in good agreement.
In this paper we developed new generative models to accelerate Bayesian inference of microseismic event locations. Our geophysical setup was similar to the one used in Das et al. (2018, D18) to train an emulator with the aim of speeding up the source location inference process. This was achieved by replacing the computationally expensive solution of the elastic wave equation at each point in the parameter space explored by, e.g. Markov Chain Monte Carlo (MCMC) techniques for posterior distribution sampling. In both D18 and this work, emulators were trained to learn the mapping between source coordinates and seismic traces recorded by the sensor.
All models developed in this paper were trained on the same 2000 forward simulated seismograms used by D18 when training their emulator. However, our models are based on deep-learning architectures and make minimal use of Gaussian process (GP) regression, which is instead performed multiple times in the method proposed by D18. This makes all of our models faster to train and evaluate compared to the previous emulator, achieving a speed-up factor of up to 𝒪(102), as well as reducing the storage requirements of the models. Our trained emulators are capable of producing synthetic seismic trace for a given velocity model with a speed-up factor over pseudo-spectral methods of 𝒪(105). For example, it takes ∼ 10 ms to compute a 2 s synthetic trace for a given source model on a common laptop CPU, compared to ∼ 1 h using the pseudo-spectral method implemented in the software k-Wave, which is run on a GPU. Crucially, this acceleration does not happen at the expense of accuracy; on the contrary, our models provide improved constraints on the source coordinates.
We showed this first by calculating the 2D correlation coefficient for the seismograms of the test set. The values obtained with all our models were higher than those obtained by D18, indicating the higher accuracy achieved. Secondly, we repeated the simulated experiment devised by D18, with sensors placed at the seabed of a 3D marine environment where our simulated sources were randomly located. We showed that using information coming from only four receivers situated on the detection plane we were able to provide accurate and tight constraints on the source coordinates, whereas the D18 method struggled to provide any significant constraint given the same setup and would likely need additional information from more sensors to achieve comparable constraints. As a result of the speed-up obtained at evaluation time, we were able to perform the inference process on a single CPU in ∼ 1.7 h, compared to ∼ 66 h of calculation over the 24 CPUs required by the D18 method.
We also compared our inference results with those obtained from arrival time inversion, following the methodology implemented in the software NonLinLoc (Lomax et al., 2000). We found that our full waveform constraints are, as expected, tighter than those obtained from arrival time inversion; however, we notice that a comparison of the constraints obtained with the two methodologies is not straightforward, as it depends on various modelling choices, most importantly the error associated with the arrival time estimate. Therefore, we argue that the comparison carried out in this paper should rather be regarded as a validation for our newly proposed method.
A complete Bayesian hierarchical model for source location has been developed in the software Bayesloc (Myers et al., 2007, 2009). We believe that the implementation of our emulators in this framework could benefit greatly the speed of execution of the Bayesloc software, with potential application to, e.g. the study of nuclear explosions as in Myers et al. (2007, 2009). We also notice that an arguably faster method for source location exists, which makes use of the time travel information derived from simulated waveforms (Vasco et al., 2019). This method is a variation of the grid search method of Nelson and Vidale (1990), with travel time calculations obtained from full waveform simulations instead of the solution of the eikonal equation. We remark that this method may be preferable to ours in terms of speed, since it scales with the number of receivers in the recording network, thanks to the reciprocity relation (e.g. Chapman, 2004) used in the calculation of the travel time fields, by placing a source in the receivers location and solving the elastodynamic equation. However, we also notice that the method of Vasco et al. (2019) ultimately makes use only of arrival time estimates; hence, it is possible that our full waveform inversion may lead to tighter constraints, as seen in Sect. 3.3 (although the same caveats on the comparison performed there would equally apply when comparing with the method of Vasco et al., 2019). We also notice that the method proposed in Vasco et al. (2019) is not presented within a Bayesian framework, whereas all of our emulators are. This is a key characteristic of the methods developed in our paper, in view of integration of our generative models within Bayesian frameworks for joint inversion of moment tensor components and location.
In conclusion, we provided the community with a collection of deep generative models that can very efficiently accelerate Bayesian inference of microseismic sources. The ultimate goal here would be to integrate our emulators within existing methodologies and software for joint location and moment tensor components inversion, as for example implemented in MTfit (Pugh and White, 2018). We believe that the results obtained in this paper sufficiently prove the accuracy of the emulators developed, making them ready for integration within MTfit.
The performances of our emulators in terms of accuracy are all comparable and improved with respect to the D18 method. Speed considerations may therefore be invoked in the decision process for a particular method. However, we notice that our framework is valid only for microseismic events characterized by isotropic moment tensor. Considering more complicated forms of the moment tensor will likely require additional complications, first of all considering seismic traces recorded for longer times, since the signal structure will be in general more complicated. Extensions of this work to non-isotropic sources, possibly in combination with other source inversion techniques (e.g. Minson et al., 2013; Weston et al., 2014; Frietsch et al., 2019; Vasyura-Bathke et al., 2020) would then allow for an extension of the parameter space to be explored, including for example the moment tensor components for characterization of the source mechanism. Additionally, applications to real analyses will need to implement more realistic models for the noise than the one we considered when performing Bayesian inference. We plan to perform a joint moment tensor and location inversion on a real field dataset in future work. We note that an accurate characterization of the noise properties and the extension of the inversion procedure to moment tensor components will likely require larger training sets. In this sense, we believe the development of the generative models presented in this paper is a crucial step towards this goal. Basing our generative models on deep-learning architectures, in particular reducing the use of GP regression, makes our newly developed emulators ideal for scaling to the bigger training sets required for applications to real data. It is indeed well known that GPs scale very badly with the dimension of the training dataset (see, e.g. Liu et al., 2018), whereas deep-learning methods like ours are designed to scale up efficiently and perform at their best with large training sets. The issue remains regarding the necessity of producing such large training sets, which requires considerable computational resources. To face the demands in this sense for future extensions of this work, we advocate the use of Bayesian optimization (see, e.g. Frazier, 2018, for a review) to optimize the simulation of training seismograms. Armed with an increased number of training samples to better characterize the noise properties of the seismograms, replacing this new noise model in the analysis should be straightforward, thanks to the modularity and flexibility of the framework developed in this paper and implemented in our open-source repository.
We note that for a different velocity model our emulators would need to be retrained on a new set of seismic traces. We note that this is a limitation shared by other forward modelling approaches (e.g. Moseley et al., 2020a) and inherent to the fact that in these data-driven approaches one emulates seismic traces assuming a model. Even if a re-training of the emulators is needed, the modularity of our framework implies that the only major change would be in replacing the old velocity model with a new one and repeating the training procedure. The user of our open-source software should only have to minimally modify the implementation of the deep-learning models. We expect that similar, if not the same, architectures should perform equally well on velocity models that are slowly evolving over time. For models with mildly stronger heterogeneity, we anticipate our models to achieve a similar performance to that shown in this paper. With stronger heterogeneity we anticipate more training samples to be required, in order to achieve an optimal performance of the emulators. Nevertheless, given the speed-up of our approach, such new optimizations should be computationally feasible. We also note that the dependence of our framework on a specific velocity model may be greatly alleviated by employing transfer learning techniques (see, e.g. Weiss et al., 2016 for a review, and Waheed et al., 2020 for a recent application in geophysics). In transfer learning, the training of a machine learning algorithm in a specific domain is used to efficiently train the algorithm on a different but related problem. This may be particularly successful in the microseismic context considered in this paper, where velocity models for a given geophysical domain are expected to vary relatively slowly over time.
We expect our methodology for waveform emulation to be improved by including physics-based information in the emulation framework, following recent work in physics-informed neural networks (PINNs; Rudy et al., 2017; Weinan and Bing, 2017; Raissi et al., 2019; Bar and Sochen, 2019; Li et al., 2020), including recent applications to seismology (e.g. Waheed et al., 2021). This is the route that has been recently followed by Smith et al. (2020) in the development of Eikonet, a deep-learning solution of the eikonal equation based on PINNs (see also Song et al., 2021; Waheed et al., 2020). It would be interesting to apply a similar approach to our waveform emulation framework by solving the elastic wave partial differential equation by back projection over the network while simultaneously fitting the simulated waveforms. Such an approach might help remove the mesh dependence of the full waveform simulations, enhancing the flexibility of our method. In addition, Eikonet has been very recently applied to hypocenter inversion (Smith et al., 2021), which makes the case even stronger for further exploring the possibility of using PINNs within the context of waveform emulation, as recently explored in 2D configurations in Moseley et al. (2018, 2020b, a) with extremely promising results.
Here we briefly summarize, for comparison, the surrogate model developed in D18 for fast emulation of isotropic microseismic traces, given their source locations on a 3D grid. We report here the main steps of the procedure, referring to D18 for all details.
We first compress the training seismograms, isolating in each of them the 100 dominant components in absolute values and storing their amplitudes and time indices.
We then train a GP for each dominant component and for each index. Thus, in total there will be 100 ⋅ 2 = 200 GPs to train. Each of the 100 GPs for the signal part will learn to predict the mapping between coordinates and one sorted dominant component in the seismograms; the corresponding GP for the time index will learn to predict the temporal index associated with that dominant component.
Once the GPs are trained, for each set of coordinates the 100 predictions for the dominant signal components and the 100 predictions for their indices will produce a compressed version of the seismogram, where the (predicted) subdominant components are set to zero.
B1 Definition and properties
Given two probability distributions P and Q of a continuous random variable X, one possible way of measuring their distance is the Kullback–Leibler divergence (KL divergence, Kullback, 1959), which is defined as follows:
where p and q are the probability densities of P and Q, respectively. It is easy to show that and that P=Q almost everywhere; this is in line with the idea of being a way of measuring the distance between P and Q. However, we also note that the KL divergence is not symmetric , that it does not satisfy the triangle inequality, and that it is part of a bigger class of divergences called f divergences (see, e.g. Gibbs and Su, 2002; Sason and Verdú, 2015; Arjovsky et al., 2017, and references therein).
B2 Calculation of the loss function
In Sect. 2.2.6, we introduced the KL divergence in the loss function of the conditional variational autoencoder (CVAE). In that instance, we calculate , where both and p(z|c) are multivariate normal distributions. In particular, we choose and , where Σ is a diagonal matrix with all entries equal to σ2=0.0012, and μ(x,c) is the output of the encoder network of the CVAE.
In our case, since and μ2=0, we can write the following equation:
where zdim=5 is the chosen dimensionality of the latent space.
In Sect. 2.2.7 we explained how standard generative adversarial networks (GANs) are prone to training instabilities and mode collapse; therefore, in this work we chose to employ a variant called Wasserstein GAN – gradient penalty (WGAN-GP; Arjovsky et al., 2017; Gulrajani et al., 2017). In this algorithm, two networks, called generator (G) and critic (C), are trained to minimize the Wasserstein-1 distance between the data distribution and the generative model distribution, implicitly defined by (Arjovsky et al., 2017). The Wasserstein-1 distance is also known as the Earth mover's distance, as it can intuitively be thought as the minimum cost to transport a certain amount of “earth” from one “pile” to another (see, e.g. Rubner et al., 1998, for more details). In our implementation, we additionally constrain the gradient norm of the critic's output with respect to its input to be at most one everywhere, such that the critic lies within the space of 1-Lipschitz functions (Gulrajani et al., 2017). Finally, we include the coordinate information and use the Kantorovich–Rubinstein duality (Villani, 2008), to express our optimization problem as the one shown in Eq. (11).
ASM developed the theoretical framework and methodology, as well as the software implementation of the generative models described in the paper. He also generated the synthetic data used for training, validated the models, and wrote the article. DP was involved in the implementation, validation of the models, and writing. AMGF, MPH, and BJ were involved in the review and conceptualization of this work and contributed to the writing.
The authors declare that they have no conflict of interest.
Publisher's note: Copernicus Publications remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work has been partially enabled by funding from Royal Dutch Shell plc and the UCL Cosmoparticle Initiative. Some of the computations have been performed on the Wilkes High Performance GPU computer cluster at the University of Cambridge; we are grateful to Stuart Rankin and Greg Willatt for their technical support. We wish to express our deepest gratitude to Saptarshi Das for useful discussions and support during the initial phase of this project. We also thank Stephen Bourne, Xi Chen, Detlef Hohl, Jonathan Smith, and Teh-Ru Alex Song for useful discussions. We acknowledge the use of the software GetDist (Lewis, 2019) for producing contour plots. Davide Piras is supported by the STFC UCL Centre for Doctoral Training in Data Intensive Science. Ana Margarida Godinho Ferreira acknowledges funding from NERC grant NE/N011791/1.
This work has been partially enabled by funding from Royal Dutch Shell plc and the UCL Cosmoparticle Initiative. Davide Piras is supported by the STFC UCL Centre for Doctoral Training in Data Intensive Science. Ana Margarida Godinho Ferreira received funding from NERC grant NE/N011791/1.
This paper was edited by Michal Malinowski and reviewed by two anonymous referees.
Abadi, M., Agarwal, A., Barham, P., Brevdo, E., Chen, Z., Citro, C., Corrado, G. S., Davis, A., Dean, J., Devin, M., Ghemawat, S., Goodfellow, I., Harp, A., Irving, G., Isard, M., Jia, Y., Jozefowicz, R., Kaiser, L., Kudlur, M., Levenberg, J., Mané, D., Monga, R., Moore, S., Murray, D., Olah, C., Schuster, M., Shlens, J., Steiner, B., Sutskever, I., Talwar, K., Tucker, P., Vanhoucke, V., Vasudevan, V., Viégas, F., Vinyals, O., Warden, P., Wattenberg, M., Wicke, M., Yu, Y., and Zheng, X.: TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems, available at: https://www.tensorflow.org/ (last access: 20 July 2021), software available from tensorflow.org, 2015. a
Auld, T., Bridges, M., Hobson, M., and Gull, S.: Fast cosmological parameter estimation using neural networks, Mon. Not. R. Astron. Soc., 376, L11–L15, https://doi.org/10.1111/j.1745-3933.2006.00276.x, 2007. a
Auld, T., Bridges, M., and Hobson, M. P.: cosmonet: fast cosmological parameter estimation in non-flat models using neural networks, Mon. Not. R. Astron. Soc., 387, 1575–1582, https://doi.org/10.1111/j.1365-2966.2008.13279.x, 2008. a
Baig, A. and Urbancic, T.: Microseismic moment tensors: A path to understanding frac growth, The Leading Edge, 29, 320–324, 2010. a
Buchner, J., Georgakakis, A., Nandra, K., Hsu, L., Rangel, C., Brightman, M., Merloni, A., Salvato, M., Donley, J., and Kocevski, D.: X-ray spectral modelling of the AGN obscuring region in the CDFS: Bayesian model selection and catalogue, Astron. Astrophys., 564, A125, https://doi.org/10.1051/0004-6361/201322971, 2014. a
Cesca, S. and Grigoli, F.: Full waveform seismological advances for microseismic monitoring, Adv. Geophys., 56, 169–228, 2015. a
Collettini, C. and Barchi, M. R.: A low-angle normal fault in the Umbria region (Central Italy): a mechanical model for the related microseismicity, Tectonophysics, 359, 97–115, https://doi.org/10.1016/S0040-1951(02)00441-9, 2002. a
Craiu, R. V. and Rosenthal, J. S.: Bayesian Computation Via Markov Chain Monte Carlo, Annu. Rev. Stat. Appl., 1, 179–201, https://doi.org/10.1146/annurev-statistics-022513-115540, 2014. a
Das, S., Chen, X., and Hobson, M. P.: Fast GPU-Based Seismogram Simulation From Microseismic Events in Marine Environments Using Heterogeneous Velocity Models, IEEE Transactions on Computational Imaging, 3, 316–329, 2017. a, b, c
Das, S., Chen, X., Hobson, M. P., Phadke, S., van Beest, B., Goudswaard, J., and Hohl, D.: Surrogate regression modelling for fast seismogram generation and detection of microseismic events in heterogeneous velocity models, Geophys. J. Int., 215, 1257–1290, https://doi.org/10.1093/gji/ggy283, 2018. a, b, c, d
Faccioli, E., Maggio, F., Paolucci, R., and Quarteroni, A.: 2D and 3D elastic wave propagation by a pseudo-spectral domain decomposition method, J. Seismol., 1, 237–251, 1997. a
Feroz, F., Hobson, M., and Bridges, M.: MultiNest: an efficient and robust Bayesian inference tool for cosmology and particle physics, Mon. Not. R. Astron. Soc., 398, 1601–1614, https://doi.org/10.1111/j.1365-2966.2009.14548.x, 2009. a
Font, Y., Kao, H., Lallemand, S., Liu, C.-S., and Chiao, L.-Y.: Hypocentre determination offshore of eastern Taiwan using the Maximum Intersection method, Geophys. J. Int., 158, 655–675, 2004. a
Frietsch, M., Ferreira, A. M. G., Funning, G. J., and Weston, J.: Multiple fault modelling combining seismic and geodetic data: the importance of simultaneous subevent inversions, Geophys. J. Int., 218, 958–976, https://doi.org/10.1093/gji/ggz205, 2019. a
Gajewski, D. and Tessmer, E.: Reverse modelling for seismic event characterization, Geophys. J. Int., 163, 276–284, 2005. a
Geiger, L.: Probability method for the determination of earthquake epicenters from arrival time only, Bull. St. Louis. Univ, 8, 56–71, 1912. a
Gibbs, A. L. and Su, F. E.: On Choosing and Bounding Probability Metrics, Interdiscipl. Sci. Rev., 70, 419–435, https://doi.org/10.1111/j.1751-5823.2002.tb00178.x, 2002. a
Kaderli, J., McChesney, M. D., and Minkoff, S. E.: Microseismic event estimation in noisy data via full waveform inversion, in: SEG Technical Program Expanded Abstracts 2015, pp. 1159–1164, Society of Exploration Geophysicists, 2015. a
Karpatne, A., Atluri, G., Faghmous, J. H., Steinbach, M., Banerjee, A., Ganguly, A., Shekhar, S., Samatova, N., and Kumar, V.: Theory-Guided Data Science: A New Paradigm for Scientific Discovery from Data, IEEE T. Knowl. Data En., 29, 2318–2331, https://doi.org/10.1109/tkde.2017.2720168, 2017. a
Käufl, P., Valentine, A. P., O'Toole, T. B., and Trampert, J.: A framework for fast probabilistic centroid-moment-tensor determination—inversion of regional static displacement measurements, Geophys. J. Int., 196, 1676–1693, https://doi.org/10.1093/gji/ggt473, 2013. a
Kennett, B. L. and Sambridge, M. S.: Earthquake location—Genetic algorithms for teleseisms, Phys. Earth Planet. In., 75, 103–110, 1992. a
Kingma, D. P. and Ba, J.: Adam: A Method for Stochastic Optimization, 2014. a
Li, J., Kuehl, H., Droujinine, A., and Blokland, J.-W.: Microseismic and induced seismicity simultaneous location and moment tensor inversion: Moving beyond picks with a robust full-waveform method, 2535–2539, https://doi.org/10.1190/segam2016-13950421.1, 2016. a
Li, L., Tan, J., Schwarz, B., Staněk, F., Poiata, N., Shi, P., Diekmann, L., Eisner, L., and Gajewski, D.: Recent Advances and Challenges of Waveform-Based Seismic Location Methods at Multiple Scales, Rev. Geophys., 58, e2019RG000667, https://doi.org/10.1029/2019RG000667, 2020. a
Li, Z., Kovachki, N., Azizzadenesheli, K., Liu, B., Bhattacharya, K., Stuart, A., and Anandkumar, A.: Neural Operator: Graph Kernel Network for Partial Differential Equations, arXiv [preprint], arXiv:2003.03485, 2020. a
Lomax, A., Virieux, P., Volant, P., and Berge, C.: Probabilistic earthquake location in 3D and layered models: introduction of a Metropolis–Gibbs method and comparison with linear locations, 101–134, 2000. a, b, c
Lomax, A., Michelini, A., and Curtis, A.: Earthquake Location, Direct, Global-Search Methods, in: Encyclopedia of Complexity and Systems Science, edited by: Meyers, R., Springer New York, New York, NY, 1–33, https://doi.org/10.1007/978-3-642-27737-5_150-2, 2009. a, b, c, d, e
Maas, A. L.: Rectifier Nonlinearities Improve Neural Network Acoustic Models, 2013. a
Minson, S., Simons, M., and Beck, J.: Bayesian inversion for finite fault earthquake source models I—Theory and algorithm, Geophys. J. Int., 194, 1701–1726, 2013. a
Mukuhira, Y., Asanuma, H., Ito, T., and Häring, M. O.: Physics-based seismic evaluation method: Evaluating possible seismic moment based on microseismic information due to fluid stimulation, Geophysics, 81, KS195–KS205, https://doi.org/10.1190/geo2015-0648.1, 2016. a
Mustać, M. and Tkalčić, H.: Point source moment tensor inversion through a Bayesian hierarchical model, Geophys. J. Int., 204, 311–323, 2016. a
Neal, R. M.: Bayesian Learning for Neural Networks, Springer-Verlag, Berlin, Heidelberg, 1996. a
O'Toole, T. B.: Studies of earthquakes and microearthquakes using near-field seismic and geodetic observations, PhD thesis, 2013. a
Pesicek, J., Child, D., Artman, B., and Cieślik, K.: Picking versus stacking in a modern microearthquake location: Comparison of results from a surface passive seismic monitoring array in Oklahoma, Geophysics, 79, KS61–KS68, https://doi.org/10.1190/geo2013-0404.1, 2014. a
Piras, D., Spurio Mancini, A., Joachimi, B., and Hobson, M. P.: Towards fast machine-learning-assisted Bayesian posterior inference of realistic microseismic events, arXiv [preprint], arXiv:2101.04724, 2021. a
Raissi, M., Perdikaris, P., and Karniadakis, G. E.: Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations, J. Comput. Phys., 378, 686–707, https://doi.org/10.1016/j.jcp.2018.10.045, 2019. a, b
Rodriguez, I. V., Sacchi, M., and Gu, Y. J.: Simultaneous recovery of origin time, hypocentre location and seismic moment tensor using sparse representation theory, Geophys. J. Int., 188, 1188–1202, https://doi.org/10.1111/j.1365-246X.2011.05323.x, 2012. a
Rubner, Y., Tomasi, C., and Guibas, L. J.: A metric for distributions with applications to image databases, in: Sixth International Conference on Computer Vision (IEEE Cat. No.98CH36271), 59–66, 1998. a
Rumelhart, D. E., Hinton, G. E., and Williams, R. J.: Learning Representations by Back-Propagating Errors, MIT Press, Cambridge, MA, USA, p. 696–699, 1988. a
Sambridge, M. and Mosegaard, K.: Monte Carlo methods in geophysical inverse problems, Rev. Geophys., 40, 3–1, 2002. a
Shekar, B. and Sethi, H. S.: Full-waveform inversion for microseismic events using sparsity constraints, Geophysics, 84, KS1–KS12, 2019. a
Šílenỳ, J.: Earthquake source parameters and their confidence regions by a genetic algorithm with a 'memory', Geophys. J. Int., 134, 228–242, 1998. a
Smith, J. D., Azizzadenesheli, K., and Ross, Z. E.: Eikonet: Solving the eikonal equation with deep neural networks, IEEE T. Geosci. Remote, 1–12, 2020. a
Smith, J. D., Ross, Z. E., Azizzadenesheli, K., and Muir, J. B.: HypoSVI: Hypocenter inversion with Stein variational inference and Physics Informed Neural Networks, arXiv [preprint], arXiv:2101.03271, 2021. a
Sohn, K., Lee, H., and Yan, X.: Learning Structured Output Representation using Deep Conditional Generative Models, in: Advances in Neural Information Processing Systems 28, edited by: Cortes, C., Lawrence, N. D., Lee, D. D., Sugiyama, M., and Garnett, R., Curran Associates, Inc., available at: http://papers.nips.cc/paper/5775-learning-structured-output-representation-using-deep-conditional-generative-models.pdf (last access: 20 July 2021), 3483–3491, 2015. a
Song, C., Alkhalifah, T., and Waheed, U. B.: Solving the frequency-domain acoustic VTI wave equation using physics-informed neural networks, Geophys. J. Int., 225, 846–859, https://doi.org/10.1093/gji/ggab010, 2021. a, b
Spurio Mancini, A.: code repository for accelerating Bayesian microseismic event location with deep learning [code], available at: https://github.com/alessiospuriomancini/seismoML, last access: 20 July 2021. a
Valentine, A. P. and Trampert, J.: Data space reduction, quality assessment and searching of seismograms: autoencoder networks for waveform data, Geophys. J. Int., 189, 1183–1202, https://doi.org/10.1111/j.1365-246X.2012.05429.x, 2012. a
Vasyura-Bathke, H., Dettmer, J., Steinberg, A., Heimann, S., Isken, M. P., Zielke, O., Mai, P. M., Sudhaus, H., and Jónsson, S.: The Bayesian earthquake analysis tool, Seismol. Res. Lett., 91, 1003–1018, 2020. a
Wang, H.: Microseismic imaging using a source-independent full-waveform inversion method, in: SEG Technical Program Expanded Abstracts 2016, pp. 2596–2600, Society of Exploration Geophysicists, 2016. a
Wéber, Z.: Probabilistic local waveform inversion for moment tensor and hypocentral location, Geophys. J. Int., 165, 607–621, 2006. a
White, M. C., Fang, H., Nakata, N., and Ben-Zion, Y.: PyKonal: A Python Package for Solving the Eikonal Equation in Spherical and Cartesian Coordinates Using the Fast Marching Method, Seismol. Res. Lett., 91, 2378–2389, 2020. a
Willacy, C., van Dedem, E., Minisini, S., Li, J., Blokland, J.-W., Das, I., and Droujinine, A.: Full-waveform event location and moment tensor inversion for induced seismicity, Geophysics, 84, KS39–KS57, https://doi.org/10.1190/geo2018-0212.1, 2019. a
Wuestefeld, A., Greve, S. M., Näsholm, S. P., and Oye, V.: Benchmarking earthquake location algorithms: A synthetic comparison, Geophysics, 83, KS35–KS47, 2018. a
Xuan, R. and Sava, P.: Probabilistic microearthquake location for reservoir monitoring, Geophysics, 75, MA9–MA26, 2010. a
Zhou, H.-W.: Rapid three-dimensional hypocentral determination using a master station method, J. Geophys. Res.-Sol. Ea., 99, 15439–15455, 1994. a