the Creative Commons Attribution 4.0 License.
Special issue: The Loop 3D stochastic geological modelling platform – development...
Blockworlds 0.1.0: a demonstration of antialiased geophysics for probabilistic inversions of implicit and kinematic geological models
 ^{1}School of Mathematics and Statistics, The University of Sydney, Darlington, NSW 2008, Australia
 ^{2}Centre for Exploration Targeting, School of Earth Sciences, The University of Western Australia, Crawley, WA 6009, Australia
 ^{3}Department of Mathematics and Statistics, The University of Western Australia, Crawley, WA 6009, Australia
 ^{4}CSIRO Mineral Resources, Kensington, WA 6151, Australia
 ^{5}RING Team, GeoRessources, Université de Lorraine, 54000, Nancy, France
 ^{6}CSIRO Data61, Eveleigh, NSW 2015, Australia
 ^{7}ARC Industrial Transformation and Training Centre in Data Analytics for Resources and the Environment (DARE), Australia
 ^{1}School of Mathematics and Statistics, The University of Sydney, Darlington, NSW 2008, Australia
 ^{2}Centre for Exploration Targeting, School of Earth Sciences, The University of Western Australia, Crawley, WA 6009, Australia
 ^{3}Department of Mathematics and Statistics, The University of Western Australia, Crawley, WA 6009, Australia
 ^{4}CSIRO Mineral Resources, Kensington, WA 6151, Australia
 ^{5}RING Team, GeoRessources, Université de Lorraine, 54000, Nancy, France
 ^{6}CSIRO Data61, Eveleigh, NSW 2015, Australia
 ^{7}ARC Industrial Transformation and Training Centre in Data Analytics for Resources and the Environment (DARE), Australia
Correspondence: Richard Scalzo (richard.scalzo@sydney.edu.au)
Hide author detailsCorrespondence: Richard Scalzo (richard.scalzo@sydney.edu.au)
Parametric geological models such as implicit or kinematic models provide lowdimensional, interpretable representations of 3D geological structures. Combining these models with geophysical data in a probabilistic joint inversion framework provides an opportunity to directly quantify uncertainty in geological interpretations. For best results, care must be taken with the intermediate step of rendering parametric geology in a finiteresolution discrete basis for the geophysical calculation. Calculating geophysics from naively voxelized geology, as exported from commonly used geological modeling tools, can produce a poor approximation to the true likelihood, degrading posterior inference for structural parameters. We develop a simple integrated Bayesian inversion code, called Blockworlds, showcasing a numerical scheme to calculate antialiased rock properties over regular meshes for use with gravity and magnetic sensors. We use Blockworlds to demonstrate antialiasing in the context of an implicit model with kinematic action for simple tectonic histories, showing its impact on the structure of the likelihood for gravity anomaly.
Geological modeling of subsurface structures is critical to decisionmaking across numerous application areas, including mining, groundwater, resource exploration, natural hazard assessment, and engineering, yet is also subject to considerable uncertainty (e.g., Pirot et al., 2015; Linde et al., 2017; Witter et al., 2019; Quigley et al., 2019; Wang et al., 2020). Uncertainty arises in numerous places within the modelbuilding workflow, including sparse, noisy, and/or heterogeneous geological observations and rock property measurements; the indirect nature of geophysical measurements; the nonuniqueness of inverse problem solutions; and the ambiguity of geological interpretations (Lindsay et al., 2013). Rigorous quantification of uncertainty is therefore critical to decisionmaking informed by models, and is becoming an increasingly active area of research in geology and geophysics (Rawlinson et al., 2014; Bond, 2015; Jessell et al., 2018; Wellmann and Caumon, 2018).
Bayesian methods provide a probabilistically coherent framework for reasoning about uncertainty (Tarantola and Valette, 1982; Mosegaard and Tarantola, 1995; Mosegaard and Sambridge, 2002). Although not the only way to account for uncertainty in earth science settings, Bayesian reasoning enables the natural integration of heterogeneous data and expert knowledge (Jessell et al., 2010; Bosch, 2016; Beardsmore et al., 2016), guides the acquisition of additional data for maximum information gain (e.g., Pirot et al., 2019b), enables selection among competing conceptual models (e.g., Brunetti et al., 2019; Pirot et al., 2019a), and optimizes management of risk in decisionmaking over possible outcomes (e.g., Varouchakis et al., 2019).
Bayesian methods are used in both geology and geophysics, but with different framing for inference problems. In the geophysics community, where quantitative inversion frameworks have been in use for decades (Backus and Gilbert, 1967, 1968, 1970), the core problem is framed as a nonparametric imaging of the subsurface. The model parameters directly define discretized spatial fields of rock properties, from which forward geophysics are calculated to reproduce observations. Model structures rich enough to be useful are often very highdimensional, and variations in spatial scales and resolutions make the full covariance matrix cumbersome and impractical to evaluate (Rawlinson et al., 2014). Although the discrete geophysical image representation may naturally reflect the geological interpretation (for example, in the transdimensional inversions reviewed in Sambridge et al., 2012), this is not usually the case, and much effort goes into developing models with priors or regularizing terms to constrain the outputs of geophysical inversions to be geologically reasonable. Examples include the hierarchical Bayesian “lithologic tomography” of Bosch (1999) and Bosch et al. (2001), structurecoupled multiphysics approaches (Gallardo and Meju, 2011; de Pasquale et al., 2019), and flexible models based on Voronoi tessellations or multipoint statistics (e.g., Cordua et al., 2012; Pirot et al., 2017). Levelset methods (Osher and Sethian, 1988; Santosa, 1996; Li et al., 2017; Zheglova et al., 2018; Giraud et al., 2021a) solve for the boundaries of discrete rock units; these methods are more parsimonious than traditional volumetric inversions but still invert for a flexible, highdimensional description of static 3D properties.
In contrast, the core problem in geology is to interpret observations in terms of geological histories and processes (Frodeman, 1995). This becomes important in the structural geology of oreforming systems, where details of the history become important and flexible treatment of 3D geological structures as random fields is inadequate (Wellmann et al., 2017). The mineral exploration community has developed 3D geological forward models that can capture much of the complexity of real systems (e.g., Perrouty et al., 2014). Implicit models (Houlding, 1994) represent interfaces between geological units as isosurfaces of a scalar field defined over 3D space. The popular industry software package 3D GeoModeller (Calcagno et al., 2008) and the opensource code GemPy (de la Varga et al., 2019) interpolate this scalar field directly from structural geological observations by cokriging (Lajaunie et al., 1997). Kinematic models (Jessell, 1981) use a parametrized description of volume deformations produced by tectonic events; the opensource package Noddy (Jessell and Valenta, 1993) is commonly used. The recently released opensource package LoopStructural (Grose et al., 2020) combines elements of cokriging and kinematic implicit models for additional geological richness and realism. For models with no constraints from geophysics, geological uncertainty can be quantified by generating Monte Carlo realizations (Metropolis and Ulam, 1949) of geological datasets (PakyuzCharrier et al., 2018a, b, 2019). In a Bayesian treatment, this amounts to drawing samples from the prior (Wellmann et al., 2017).
Conditioning geological forward models on geophysical observations makes it tractable to perform full posterior inference in an interpretable parameter space of reduced dimension. This can be done using sampling methods such as Markov chain Monte Carlo methods (MCMC; Metropolis et al., 1953; Hastings, 1970), which are becoming increasingly sophisticated and widely used in geological and geophysical modeling (Mosegaard and Tarantola, 1995; Mosegaard and Sambridge, 2002; Sambridge et al., 2012). Additionally, parametric geology naturally obeys constraints imposed by the forward geological process, and can be used for inference over that process, unlike nonparametric geophysical inversions that incorporate a static, voxelized geological model as a prior mean (Giraud et al., 2017, 2018, 2019a, b; Ogarko et al., 2021; Giraud et al., 2021b). Kinematic models are especially well suited for this approach since they represent geological hypotheses in terms of structural observations and event histories but avoid the full computational burden of dynamic processbased simulations. Performing Bayesian inference over kinematic model parameters could open the door to more general Bayesian model selection over geological histories or conceptual models.
Probabilistic inversion workflows that incorporate forward geophysics based on forwardmodeled 3D structural geology are, to date, still uncommon, owing in part to computational challenges faced by sampling algorithms. The pyNoddy code (Wellmann et al., 2016) provided a wrapper to Noddy to enable Monte Carlo sampling of 3D block models and potential fields, but not posterior sampling of an inversion conditioned on gravity or magnetic data. The Obsidian distributed inversion code (McCalman et al., 2014) implemented a geological model of a layered sedimentary basin with explicit unit boundaries to explore geothermal potential (Beardsmore et al., 2016); it featured multiple geophysical sensors and a paralleltempered MCMC sampler for complete exploration of multimodal posteriors. Obsidian has been extended with new withinchain MCMC proposals inside the paralleltempered framework (Scalzo et al., 2019) and a new sensor likelihood for field observations of surface lithostratigraphy (Olierook et al., 2020), but the limitations of its geological model make it an unlikely engine for generalpurpose inversions. Wellmann et al. (2017) present a workflow that uses GeoModeller to render the geology, Noddy for calculation of geophysical fields, and pymc2 (Patil et al., 2010) for MCMC sampling. GemPy's support for information other than structural geological measurements is as yet fairly limited, but includes forward modeling of gravity sensors and topology.
This paper describes a simple Bayesian inversion framework, called Blockworlds, which to our knowledge is the first to perform full posterior inference based on forward geophysics from an implicit geological model with kinematic elements. Although not yet intended to serve as a productionready geological modeling package, Blockworlds' design addresses an obstacle for inversion workflows that resample the parametrized 3D geometry of geological units onto a discrete volumetric mesh for geophysical calculations. Discontinuous changes in rock properties across unit interfaces may become undersampled unless the mesh is chosen to align with those interfaces (Wellmann and Caumon, 2018); since implicit and kinematic geological models naturally represent geology volumetrically, this alignment is not easily made without first evaluating the model, incurring additional computational overhead. Flexible geophysical inversions can adjust rock properties in individual boundary voxels to partially compensate for the loss of accuracy, but models that condition rock properties directly on geological parameters lose much of this freedom. This can result in artifacts in the likelihood that hinder convergence of estimation methods, degrade posterior inference over structural parameters, and preclude the use of posterior derivative information.
To address the issue of undersampled interfaces, Blockworlds incorporates numerical antialiasing into its discretization step. Antialiasing to address undersampling has a long history in computer graphics (Crow, 1977; Catmull, 1978; Cook, 1986; Öztireli, 2020) and in geophysics, for example, finitedifference solutions of seismic wave equations (Backus, 1962; Muir et al., 1992; Moczo et al., 2002; Capdeville et al., 2010; Koene et al., 2021). Obsidian antialiases physical rock properties using volume averages in voxels with partial unit membership, though this is not mentioned in associated publications (McCalman et al., 2014; Beardsmore et al., 2016), and the implementation depends upon the Obsidian parametrization. Blockworlds' prescription is more general, operating on the scalar field values that define interface positions in all implicit models, and thus can be straightforwardly implemented for implicit models using other types of interpolation schemes such as cokriging.
This paper is organized as follows. Section 2 explains the aliasing effect, including its influence on the likelihood, and describes the algorithm used in Blockworlds to address it. Section 3 describes how Blockworlds evaluates kinematic event histories, then introduces a set of synthetic kinematic geological models we use as benchmarks. Section 4 summarizes gravity inversion experiments based on these models, demonstrating the influence of antialiasing on MCMC sampling. Section 5 discusses future directions, including the use of antialiasing with other geophysical sensors and curvilinear coordinate systems, and we conclude in Sect. 6.
2.1 Chaining forward models in geophysics calculations from structural geology
The forward modeling of observations falls under the calculation of the likelihood p(dθ), which describes the probability of observing data d given that the causal process generating the data has true parameters θ. A Bayesian inversion proceeds by combining the likelihood with a prior p(θ) that describes the strength of belief, in terms of probability, that the causal process has true parameters θ before any data are taken into account. In nonparametric geophysical inversions, the prior includes regularization terms that penalize undesirable solutions. In parametric inversions, the choice of parametrization corresponds to a strong regularization on the discretized geology, with the prior distribution providing further constraints. The posterior distribution p(θd), describing probabilistic beliefs about θ once the data have been taken into account, is then determined through Bayes's theorem:
For parameter estimation, the unnormalized righthand side can then be sampled using MCMC algorithms for full uncertainty quantification.
While some measurements, such as structural observations, can be computed directly from a continuous functional form for the geological forward model, the calculation of likelihoods based on simulation of geophysical sensors may require discretization of the geology. The likelihood terms in this case each involve the composition of two forward models:

a mapping $g:\mathrm{\Theta}\to \mathcal{G}$ from the parameter space Θ into a space 𝒢 of discrete volumetric representations (such as block models); and

a mapping $f:\mathcal{G}\to \mathcal{D}$ from the space of discretizations into the space of possible realizations of the data.
Structural geology is chiefly concerned with the map g, and often reckons uncertainty not in terms of parameter variance, but in terms of the properties of an ensemble of discrete voxelized models (e.g., Wellmann and RegenauerLieb, 2012; Lindsay et al., 2012). Inversions of geophysical sensor data such as gravity, magnetism, conductivity, or seismic data are chiefly concerned with the map f. The accuracy of a parametric inversion will depend on the accuracy with which f∘g can be computed.
Although discretization methods such as adaptive meshes (Rawlinson et al., 2014) or basis functions aligned with geological features (Wellmann and Caumon, 2018) can improve the fidelity of g, these mappings are not guaranteed to be suitable for efficient and accurate computation of f. Furthermore, existing geological engines frequently export to a simple fixed basis that may be adequate for visualization in an interactive workflow but causes trouble in automated inversion workflows, producing the aliasing effects discussed in the next subsection.
2.2 Aliasing and its effects on the posterior
To show a straightforward example, we calculate the posterior density for the parameters of a uniformdensity spherical inclusion (sphere radius and mass density) given the gravitational signal. An analytic solution exists, so we can compare directly to the true posterior, and with only two parameters we can simply evaluate over a grid of parameter values rather than using MCMC. We model a 1 km^{3} cubical volume, and fix the sphere's position at the center. Gravity anomaly data were generated from the analytic model on an evenly spaced 20×20 survey grid at the surface (z=0), with Gaussian measurement noise at the level of 10 % of the signal amplitude added. We used version 0.14.0 of the SimPEG library (Cockett et al., 2015; Heagy et al., 2020) to generate meshes and calculate the action of the forward model for the gravity sensor in the inversion loop. To emphasize the role of the likelihood in a scenario with vague prior constraints, we use uniform priors on the mass density ρ (3.0±0.5) and radius R (300±100 m) of the sphere. Given spherical symmetry, the data constrain only the total mass M of the intrusion, and so the region of high posterior probability density follows the curve
Figure 1 shows the results of this exercise. Four discretizations of the sphere are shown: a coarse mesh, with the rock density for each cell queried from the true geology at the center of that cell; a higherresolution mesh, with cell sizes refined by a factor of 4 along each axis; a coarse mesh on which the rock density has been averaged throughout the cell, using the antialiasing scheme described in the next section; and a highresolution mesh using the same antialiasing scheme. The gravity fields are visually indistinguishable for all four versions, but the posteriors look very different.
When inverting on the coarse mesh with no antialiasing, the density in a given cell changes only when the sphere radius crosses over the center of one or more mesh cells, and then it changes discontinuously (see last row, first column of Fig. 1). This in turn induces spurious structure into the likelihood, and hence the posterior distribution of the inversion parameters. The numerical posterior becomes a collection of isolated modes scattered along the locus of degeneracy (dashed red line) between ρ (y axis) and R (x axis) on which the true parameters (red cross) lie, none of which appropriately quantify the uncertainty in the true analytic problem. These artifacts can be suppressed by refining the mesh, though at the cost of increasing the number of voxels (and the computation time); in this case, by a factor of 4^{3}=64. Importantly, the underlying posterior for this highresolution mesh is not free of discontinuities, but takes on a terraced appearance.
The inversions with antialiased geology result in continuous, even smooth, posteriors that trace the analytic solution and run at nearly the same speed. A closer look reveals that the coarsemesh antialiased posterior is slightly offset toward the bottom left relative to the analytic curve, while the finemesh posterior is not. This is a product of low mesh resolution, which the antialiasing approximation only partially mitigates (see Sect. 2.4). Each antialiased interface is treated locally as a plane surface. For a given gravity signal, spheres with a higher density have a smaller radius and thus higher curvature at the interface; the departure from the true posterior will grow as the sphere radius approaches the voxel size. The bias amounts to ∼1 % of the sphere's mass at the true parameter values, which the data are just sufficient to detect. Thus, while antialiasing may incidentally improve the accuracy of geophysical field calculations, its primary benefit is to reproduce the continuous structure of the underlying likelihood.
We will later directly test the influence of aliasing on the performance of MCMC, since the capacity for full posterior inference is one of the major advantages of parametric geological inversions. However, aliasing will cause problems for a broad variety of estimation algorithms. Even for fine mesh resolution, the likelihood is piecewise constant along spatially aliased geological parameters, and so components of the likelihood gradient in those directions are zero almost everywhere in a measuretheoretic sense. Methods such as Nelder–Mead (for optimization) and Metropolis random walk (for sampling) that do not rely on posterior gradient information will seem to work with a fine enough mesh, although at greater computational cost and with no warning of the extent of aliasing effects unless run multiple times from different starting points. Gradientbased methods, such as stochastic gradient descent or Hamiltonian Monte Carlo, will fail catastrophically, since the zero gradient of an aliased likelihood will not reflect its geometry. The covariance matrix used to estimate local uncertainty in the fit from an optimization algorithm will be singular, since the components of the Hessian along aliased directions will be zero. Finally, while the gravity inverse problems we consider in this paper are linear, an attempt to invert for parametric geology based on a nonlinear sensor would face discontinuous changes in the sensitivity kernel with parameters, with unpredictable effects on parameter estimation.
One could argue that the likelihood might be less badly aliased if the data constraints were weaker. Inflating the data errors can be viewed as a form of tempering, which we would expect to merge the multiple aliased modes. Figure 2 shows the results of inflating the errors in the “coarse aliased” discretization of the sphere problem by various factors until the isolated modes in the original problem have merged. The distribution becomes fully navigable only for data errors a factor of 5–10 times larger than our original problem – that is, for data errors comparable to the amplitude of the signal itself. Furthermore, the blockiness or terracing is a function of the discretization scale only, so that any estimation methods relying on gradients will break down along the aliased spatial parameters in the same way as before.
This kind of catastrophic breakdown occurs because of the restrictive conditioning of rock properties on parametric geology, so we do not expect the same kind of effect to arise in flexible geophysical inversions that derive their priors from discretized geological models (e.g., Giraud et al., 2021b). The geophysical sensor model is a smooth function of the rock properties, and so, when the rock properties are the primary model parameters, the likelihood remains smooth. Highly restrictive model error terms that are inconsistent with the data may still hamper performance or inference. While it would be interesting to examine nonzero voxelization model errors for the kind of parametric inversion we investigate in this paper, this is a technically complex issue that we defer to future work. For now we note simply that aliasing still arises even in a parametric model that is in other respects perfectly specified, and that treating it explicitly will remove aliasing contributions to model errors in future parametric inversions.
While our example may seem artificial, widely used geological modeling tools such as Noddy and GeoModeller usually export on rectangular meshes, with lithology or rock properties evaluated at the center of each mesh cell precisely as described above. Any ongoing development or support of geological modeling tools intended for use in probabilistic workflows should keep examples like this in mind. Complex structure imparted by faults, folding, dykes, and sills is highly sensitive to discretization. The situation may arise where the causative body for a strong geophysical anomaly, such as a thin and relatively magnetic or remanently magnetized dyke, is removed from the geological prior due to overly coarse discretization parameters, while a resulting strong magnetic response remains. Inversion schemes are not intended to address situations where the target is unintentionally removed from the data.
2.3 Fitting an antialiasing function
The main idea behind antialiasing is to produce rock property values in each mesh cell such that the response of a sensor to the antialiased model best approximates the action of the same sensor on the same geology exported to a higherresolution mesh. In this section, we will develop an antialiasing prescription for gravity anomaly, which responds linearly to mass density. We frame the problem as a regression that uses the position of a geological interface within a mesh cell to predict what the mean mass density would be for that cell in a highresolution model.
The top panel of Fig. 3 shows the geometry of the problem. For simplicity, we assume constant rock density within each unit, which reduces the problem to predicting the fraction of the cell's volume lying to either side of the interface. We further assume that the interface is flat at the spatial scale of a single mesh cell, so that it can be approximated by a plane surface defined by a point $\mathit{r}=({r}_{x},{r}_{y},{r}_{z})$ and a unit normal $\mathit{n}=({n}_{x},{n}_{y},{n}_{z})$. Due to the translational symmetry of a plane, the influence of r can be reduced to the projected distance u_{⟂} of the plane from the voxel center r_{0}. The unit normal n can be described in terms of two angles in spherical coordinates; due to the rotational symmetries of a cubical voxel, it is enough to specify the polar angle with respect to the normal to the cube face that a ray drawn from r_{0} along n intersects, and the azimuthal angle with respect to a coordinate system projected onto that cube face. Expressing the angles in terms of ratios of components of n results in three main predictive features:
where h is the voxel size, ${n}_{\mathrm{min}}=\mathrm{min}\mathit{\{}{n}_{x},{n}_{y},{n}_{z}\mathit{\}}$, ${n}_{\mathrm{max}}=\mathrm{max}\mathit{\{}{n}_{x},{n}_{y},{n}_{z}\mathit{\}}$, and r_{0} is the voxel center.
To train the regression, we generate a synthetic dataset of 1000 (r,n) pairs with which a plane interface might intersect a generic voxel. In each pair, r is distributed uniformly in space, and n uniformly in solid angle. We calculate the partial voxel volume beneath the plane numerically by mesh refinement to 20× higher resolution.
Figure 3 shows three different possible functional forms for the regression: a piecewise linear function of u_{⟂} alone; a linear regression model including interaction terms up to third order, where the regressors have been transformed by a hyperbolic tangent function to maintain boundary conditions and keep fractional volumes between 0 and 1; and a Gaussian process regression. A linear regression model based on the single feature u_{⟂} – the normal distance to the plane from the voxel center – can provide smooth antialiasing to 1 % RMS accuracy (5 % worstcase); the optimized form is
This functional form provides negligible computational overhead in our implementation as part of a MCMC inversion loop and has derivatives of all orders. Including orientation features in the linear regression results in negligible improvements in accuracy while increasing computation time. The Gaussian process does not provide meaningful improvement over the linear regression using u_{⟂} alone; it attains an accuracy of 0.3 % RMS (3 % in the worst case) using three features, but is many times slower to evaluate. We use Eq. (6) for further experiments in this paper.
2.4 Potential limitations of antialiasing
Since the antialiasing approximation amounts to a strong prior on submesh structure, understanding its limitations is critical in practical modeling. The approximation giving rise to Eqs. (3) and (6) will break down when interface curvature becomes significant. Common sense suggests that no length scale parameter in the inference problem should ever be less than the voxel size h. These situations can be difficult to detect from inside the inversion. Spatial scale parameters, such as fold wavelengths, may produce highcurvature interfaces only in some regions of parameter space. Curvature measured using the Hessian adds computational overhead and may miss structures beneath the Nyquist limit if evaluated on the same mesh as the inversion itself. However, as shown in Fig. 1, departures from the true posterior can occur even at higher resolution, depending upon the resolving power of the data and the structure of the likelihood.
Another drawback in antialiasing is that it ignores the relative orientations of interfaces in voxels spanning multiple interfaces. If only one interface passes through a voxel, Eq. (6) should result in a faithful representation of its density. If, however, that voxel is later faulted or brought up against an unconformity, the true mean density in the voxel depends on which of the two formations is preferentially replaced by the new obtruding unit; Eq. (6) will only give some mean value that is roughly correct when the two interfaces intersect at right angles. Antialiasing will thus become increasingly inaccurate with each successive application to a voxel. This effect can cause biases even in geologies with exactly flat interfaces; we expect it to be more pronounced in models with multiply faulted interfaces in regions where the geophysical sensitivity is the highest, for example, near the surface. Such regions of complexity can be identified by flagging voxels within a projected distance ${u}_{\u27c2}<h$ of an interface, and the additional uncertainty in the lithology can be treated explicitly – for example, by assigning latent variables in the statistical model to account for it.
Once an inversion has been performed, the best practice to assess bias will still be to repeat it with a different cell size. In the next section we will discuss metrics to evaluate the global agreement of posteriors based on different mesh sizes, allowing quantitative evaluation, online or offline, of the value to the user of running at a given mesh resolution.
To illustrate how antialiasing interacts with more realistic geological structures, Blockworlds implements a simplified kinematic model inspired by Noddy (Jessell, 1981; Jessell and Valenta, 1993). We chose to write our own demonstration code rather than modifying Noddy both for ease of prototyping and to demonstrate how antialiasing interacts with the kinematic calculations. We construct a range of 3D models and visualize slices through each Bayesian model posterior to demonstrate the influence of antialiasing on the calculations.
3.1 Kinematic model events
The action of kinematic events in Blockworlds is recursive, with each new event modifying the geology resulting from the events before it. Since the notation describing this action is complex, we include a summary of symbols defined in this subsection in Table 1.
Each event is parametrized by a collection of parameters θ_{i}, with ${\mathbf{\Theta}}_{i}=\mathit{\{}{\mathit{\theta}}_{\mathrm{0}},\phantom{\rule{0.125em}{0ex}}{\mathit{\theta}}_{\mathrm{1}},\phantom{\rule{0.125em}{0ex}}\mathrm{\dots},\phantom{\rule{0.125em}{0ex}}{\mathit{\theta}}_{i}\mathit{\}}$ denoting the collection of parameters for all events up to event i. We denote the function that renders 3D rock properties based on all events up to event i by g_{i}(rΘ_{i}). Although geology can be evaluated on a mesh of any desired resolution, in practice the recursive evaluation means that each event modifies rock properties as rendered on the same discrete mesh as the previous event.
The calculation begins with a basement layer of uniform density, ${g}_{\mathrm{0}}\left(\mathit{r}\right{\mathit{\rho}}_{\mathrm{0}})={\mathit{\rho}}_{\mathrm{0}}$, which has no interfaces and thus requires no antialiasing. The action of the antialiasing operator A for an interface between two subvolumes with spatial rock property fields g_{+} and g_{−} at a projected distance u_{⟂} from the voxel center is given by
where u_{⟂} and v(u_{⟂}) are given by Eqs. (3) and (6). The antialiasing must be applied in the comoving coordinate frame of each event, so that rock properties stored on the discrete rock property mesh are recursively averaged or transported by later events (see Fig. 4). Note also that u_{⟂}, and thus A, depends on the mesh spacing.
The Blockworlds code covers four elementary event types, each parametrized by its own scalar field that takes a zero value at the relevant interface:

Stratigraphic layer. ${\mathit{\theta}}_{i}=(\mathrm{\Delta}{z}_{i},{\mathit{\rho}}_{i})$ for a layer with thickness Δz_{i} and mass density ρ_{i}, which has the effect of laying a new layer down on top of the existing geology:
$$\begin{array}{}\text{(8)}& {g}_{i}\left(\mathit{r}{\mathbf{\Theta}}_{i}\right)=A\left[\mathit{r}\cdot {\mathit{u}}_{z}\mathrm{\Delta}{z}_{i};{g}_{i\mathrm{1}}\left(\mathit{r}\mathrm{\Delta}{z}_{i}{\mathit{u}}_{z}{\mathbf{\Theta}}_{i\mathrm{1}}\right),{\mathit{\rho}}_{i}\right].\end{array}$$ 
Fault. ${\mathit{\theta}}_{i}=({\mathit{r}}_{\mathrm{0},i},{\mathit{n}}_{i},{s}_{i})$ for a fault passing through a point r_{0,i} with unit normal n_{i} and dipslip displacement s_{i}. Our parametrization constrains $\mathit{r}=(x,y,\mathrm{0})$ to lie on the surface, and uses a polar representation for n derived from dip and dip direction (PakyuzCharrier et al., 2018b). Given these elements, we calculate $\mathit{v}=\frac{\left({\mathit{u}}_{z}\times \mathit{n}\right)\times \mathit{n}}{\left({\mathit{u}}_{z}\times \mathit{n}\right)\times \mathit{n}}$, resulting in a unit vector pointing in the dipslip direction parallel to the fault plane, with no strikeslip component. Then
$$\begin{array}{}\text{(9)}& \begin{array}{rl}{g}_{i}\left(\mathit{r}{\mathbf{\Theta}}_{i}\right)=& A\left[\left(\mathit{r}{\mathit{r}}_{\mathrm{0},i}\right)\cdot {\mathit{n}}_{i};{g}_{i\mathrm{1}}\left(\mathit{r}+s\mathit{v}{\mathbf{\Theta}}_{i\mathrm{1}}\right),\right)\\ & \left(\right)close="]">{g}_{i\mathrm{1}}\left(\mathit{r}{\mathbf{\Theta}}_{i\mathrm{1}}\right),\end{array}\end{array}$$which has the effect of displacing the geology in the halfspace ${u}_{\u27c2}>\mathrm{0}$ by the slip vector sv.

Fold. ${\mathit{\theta}}_{i}=({\mathit{n}}_{i},{\mathit{\psi}}_{i},{\mathit{\varphi}}_{i},{L}_{i},{B}_{i})$ for a fold defined by a unit vector n_{i}, pitch angle ψ_{i}, phase angle ϕ_{i}, wavelength L_{i} and amplitude B_{i}. Given n_{i}, we generate two unit vectors ${v}_{\mathrm{0}}=\frac{{\mathit{u}}_{z}\times \mathit{n}}{{\mathit{u}}_{z}\times \mathit{n}}$ and ${v}_{\mathrm{1}}=\frac{\left({\mathit{u}}_{z}\times \mathit{n}\right)\times \mathit{n}}{\left({\mathit{u}}_{z}\times \mathit{n}\right)\times \mathit{n}}$, defining an orthonormal structural frame $\mathit{\{}{\mathit{v}}_{\mathrm{0}},{\mathit{v}}_{\mathrm{1}},{\mathit{n}}_{i}\mathit{\}}$. Rock elements are displaced laterally by a vector field
$$\begin{array}{}\text{(10)}& \begin{array}{rl}\mathrm{\Delta}\mathit{r}& ={B}_{i}\mathrm{sin}(\mathrm{2}\mathit{\pi}\left(\mathit{r}\cdot {\mathit{n}}_{i}\right)/L+\mathit{\varphi})\\ & \times \left(\mathrm{sin}\left({\mathit{\psi}}_{i}\right){\mathit{v}}_{\mathrm{0}}+\mathrm{cos}\left(\mathit{\psi}\right){\mathit{v}}_{\mathrm{1}}\right)\end{array},\end{array}$$so that the rock properties after the fold are given by
$$\begin{array}{}\text{(11)}& {g}_{i}\left(\mathit{r}{\mathbf{\Theta}}_{i}\right)={g}_{i\mathrm{1}}\left(\mathit{r}+\mathrm{\Delta}\mathit{r}{\mathbf{\Theta}}_{i\mathrm{1}}\right).\end{array}$$ 
Spherical intrusion. ${\mathit{\theta}}_{i}=({\mathit{r}}_{\mathrm{0},i},{R}_{i},{\mathit{\rho}}_{i})$ for a sphere of radius R_{i} and uniform density ρ_{i} centered at r_{0,i}:
$$\begin{array}{}\text{(12)}& {g}_{i}\left(\mathit{r}{\mathbf{\Theta}}_{i}\right)=A\left[\mathit{r}{\mathit{r}}_{\mathrm{0},i}{R}_{i};{\mathit{\rho}}_{i},{g}_{i\mathrm{1}}\left(\mathit{r}{\mathbf{\Theta}}_{i\mathrm{1}}\right)\right].\end{array}$$
Figure 4 shows the action of the kinematic elements of the model alongside an antialiased version of the voxelized density volume, calculated over a 1 km^{3} rectilinear mesh $\mathrm{15}\times \mathrm{15}\times \mathrm{15}$ voxels on a side.
3.2 Setup of specific 3D models
We construct a series of 15 kinematic models with true configurations as shown in Fig. 5. Each model occupies a 1 km^{3} cubical volume, and is discretized on a rectilinear mesh with cubical voxels. All have three stratigraphic layers and two additional tectonic events, varying in order and positioning.
The first set of models focus on planar dipslip faults, with final configurations as follows:

Model 1: a typical graben structure with two intersecting faults, both exhibiting normal movement

Model 2: a negative flower structure resulting from transtension, where both a subvertical fault and highangle fault exhibit normal movement

Model 3: two reverse faults dipping at the same angle and away from each other

Model 4: two parallel subvertical faults of opposing displacement – the left fault with leftsideup movement, the right fault with rightsideup movement

Model 5: a positive flower structure resulting from transpression, where both a subvertical fault and highangle fault exhibit reverse movement

Model 6: two highangle faults, the left displaying thrust movement and the right displaying normal movement

Model 7: a similar scenario to Model 6, except the movement for both faults is reversed.
We also include some additional folded configurations, selected to test the anticipated limitations of antialiasing described in Sect. 2.4 (these use the same stratigraphic history as the twofault events except when parameter changes are explicitly noted):

Model 8: an upright, open fold of 500 m wavelength, with a westdipping, highangle reverse fault offsetting the fold limbs

Model 9: a tighter fold of wavelength 300 m, cut across by a lowangle reverse fault to create nearsurface voxels in the block model traversed by multiple interfaces

Model 10: a more extreme version of Model 9 created by reducing the fold wavelength to 150 m, near the Nyquist sampling limit for the coarse voxel size

Model 11: similar to Model 10, but with a deeper surface layer to create aliased voxels farther beneath the surface

Model 12: a folded fold, with two folds of wavelength 300 m and with the second upright fold at 70^{∘} azimuthal with respect to the first

Model 13: two upright folds of different wavelengths (300 and 500 m) with axes aligned

Model 14: a version of Model 13 with thinner surface stratigraphic layers (75 m each) to create nearsurface voxels with multiple parallel interfaces

Model 15: a stratigraphy with a thinner surface layer (150 m) and a lowangle reverse fault that has been folded, again to create a final state with high complexity in nearsurface voxels.
We choose prior distributions for the parameters to simulate the realistic incorporation of structural geological knowledge, as shown in Tables 2 and 3. We use normal and lognormal distributions over nonnegative quantities, and von Mises–Fisher distributions over angular quantities, for simplicity and interpretability in terms of scale parameters, which reflect the precision of available structural information. The positions of the anchor points lying on the fault planes have very narrow priors (σ=1 m), appropriate for surface observation localized by GPS. The fault slip parameters reflect rough estimates (σ=150 m), an extent comparable to the true slip value for each fault. The polar representations of the fault directions are constrained by a von Mises–Fisher (vMF) distribution with κ=25, corresponding to a full width at half maximum of about 16^{∘} (PakyuzCharrier et al., 2018b). In each case, the prior mode rests at the true parameter values to ensure that misspecification of the prior does not complicate the aliasing effects we set out to examine.
For each model, we examine four regimes of resolution and aliasing. We consider a “coarse” $\mathrm{15}\times \mathrm{15}\times \mathrm{15}$ mesh (h=66.6 m) as well as a “fine” $\mathrm{75}\times \mathrm{75}\times \mathrm{75}$ mesh (h=13.3 m), both with and without antialiasing. The antialiased model on the fine mesh is taken to be the true model for the purposes of calculating a common synthetic forward gravity dataset against which to evaluate the likelihood.
We generate synthetic geophysics data based on the true model parameters, with measurements spaced evenly in a 20×20 grid at the surface (grid spacing of 50 m), and add independent Gaussian noise with a standard deviation σ_{0} of 5 % of the sample standard deviation of the data across the survey. Each data point y_{j} is thus generated according to
where f_{j}(θ) is the forward model for the geophysical measurement y_{j} given the geological parameters θ. In a realistic situation, we may not know the noise variance σ^{2} exactly, but we can account for our uncertain knowledge of it by including a hierarchical prior for σ^{2}. If we choose this prior to be an inverse gamma distribution,
the integral over σ^{2} can be solved analytically, saving the computational expense of sampling over σ^{2} by MCMC (see McCalman et al., 2014; Scalzo et al., 2019):
so that the likelihood has the form of a tdistribution with ν=2α degrees of freedom and scale parameter $\sqrt{\mathit{\beta}/\mathit{\alpha}}$. For our experiments, we choose α=2.5, $\mathit{\beta}=\mathrm{2.5}\times {\mathit{\sigma}}_{\mathrm{0}}^{\mathrm{2}}$, a weakly informative prior with a mean and mode close to the true variance used to generate the data. The full likelihood is then the product of the likelihoods for independent data points,
As with the earlier synthetic examples for a spherical intrusion, we used SimPEG (version 0.14.0; Cockett et al., 2015; Heagy et al., 2020) for the calculation of forward gravity. The SimPEG Simulation3DIntegral
class uses a closedform integral expression for the contribution to the gravitational field from a rectangular prism of constant density (Okabe, 1979; Li and Oldenburg, 1998): for example, for the zcomponent,
where $\mathit{r}=(x,y,z)$ is the location of the gravity sensor, ${\mathit{r}}_{ijk}=({x}_{i},{y}_{j},{z}_{k})$ runs over each corner of the prism, and ${\mathit{r}}^{\prime}=\mathit{r}{\mathit{r}}_{ijk}$ with ${r}^{\prime}=\left{\mathit{r}}^{\prime}\right$. This form is widely used in geophysics and is one of the benefits of working over rectangular meshes. The total gravity signal is then the sum of the contributions for each mesh cell. Since the expression is linear in the density for each mesh cell, the forward model sensitivities can be cached for fast likelihood evaluation.
3.3 Posterior slices and MCMC sampling
To illustrate some of the effects caused by aliasing and some of the limits of antialiasing, we visualize a series of twodimensional slices through the posterior distribution. Pairs of free parameters are scanned on a regular 30×30 grid centered on their true values, with all other parameters held fixed at their true values. This produces a set of figures similar to Fig. 1 for the kinematic models.
We also perform MCMC over the parameters of the kinematic models to demonstrate the impact of antialiasing on chain mixing. The aliased posterior has no useful derivative information for structural parameters, so we are limited to random walk proposals. For our tests, we choose the adaptive Metropolis random walk algorithm of Haario et al. (2001), which is used in contemporary studies such as Wellmann et al. (2017) and is the simplest algorithm likely to give good performance on posteriors with the kind of strong covariances seen in the conditional posterior slices. This algorithm starts from an initial guess θ_{0} and proposes a new value θ^{′} at time step t from a multivariate normal distribution centered on the current state θ_{t}:
where η_{d} is a global step size parameter that only depends on the dimension of the space, and
The covariance matrix of the proposal is estimated from the current chain history, so that after an initial nonadaptive random walk period of length t_{0} steps, the walk gradually transitions from an initialguess covariance Σ_{0} to match the estimated posterior covariance. States are accepted according to the usual Metropolis–Hastings criterion, setting ${\mathit{\theta}}_{t+\mathrm{1}}={\mathit{\theta}}^{\prime}$ with probability
and ${\mathit{\theta}}_{t+\mathrm{1}}={\mathit{\theta}}_{t}$ with probability 1−α. We use an adaptation length of t_{0}=1000 and an initial diagonal covariance matrix of step sizes set to 20 % of the prior width for each parameter (0.02 g cm^{−3} for densities, 10 m for layer thicknesses, 30 m for fault slips, and 3^{∘} for angular variables).
We use the coarse $\mathrm{15}\times \mathrm{15}\times \mathrm{15}$ mesh for calculations since this will give much faster results for MCMC and highlight the impact of aliasing on chain mixing. We run M=4 chains for N=10^{5} samples from the posterior of each model, with and without antialiasing. We initialize each chain with an independent prior draw and discard the first 20 % of samples as burnin. Each chain took 6 min to run on an Intel Core i7 2.6 GHz processor.
We use the integrated autocorrelation time to measure MCMC efficiency within each chain, and the potential scale reduction factor (PSRF; Gelman and Rubin, 1992) to estimate the extent of convergence to the true posterior. The autocorrelation time τ is the approximate number of chain iterates required to produce a single independent sample from the posterior, so that the chain length N divided by τ becomes one possible measure of effective sample size. The potential scale reduction factor $\widehat{R}$, formed from multiple chains, is the factor by which the posterior variance estimated from those chains could be further reduced by continuing to sample. A PSRF near 1 suggests that multiple chains from different starting conditions have achieved similar means and variances and thus are sampling from a common stationary distribution; a large PSRF shows a residual dependence on starting conditions. The PSRF is usually given for each parameter in a multidimensional chain; some dimensions may mix quickly, while others take a long time to converge.
Finally, to quantify the overall accuracy of the posterior density calculation, we use the Kullback–Liebler divergence
where $p\left(\mathit{\theta}\right)={p}_{\mathrm{lo}}\left(\mathit{\theta}\right\mathit{y})$ represents the posterior based on a lowresolution mesh (with or without antialiasing), and $q\left(\mathit{\theta}\right)={p}_{\mathrm{hi}}\left(\mathit{\theta}\right\mathit{y})$ represents the highresolution, antialiased posterior. D_{KL} is a global measure sensitive to biases and covariances across all parameters. Since it requires integration over the posterior, this metric is not available to check results of singlepoint optimization algorithms. We use the MCMC chain itself to calculate the integral, representing it as the difference in log probability density averaged over samples from the lowresolution posterior.
4.1 Posterior cross sections
Twodimensional slices through the posterior distribution for selected variable pairs are shown for Model 1 (in Fig. 6) and Model 6 (in Fig. 7). Although we do not include similar figures for every model in the main text, equivalent sets of plots for all models can be regenerated automatically by scripts in the Blockworlds repository.
Model 1 is relatively well behaved; the aliased posterior has a single dominant mode near the true value. This is a situation in which the aliasing effects function mainly to make the likelihood appear blocky and terraced. Although proposals that require derivatives of the likelihood will fail on this posterior, it can still be navigated by appropriately tuned random walks, or by the discontinuous Hamiltonian Monte Carlo sampler of Nishimura et al. (2020).
Nevertheless, the benefits of antialiasing are still clear. Merely increasing the mesh resolution of the coarse aliased model by a factor of 5 (and the computational cost by over 100×) is insufficient to completely suppress aliasing artifacts. The coarse aliased model fails to capture the full extent of the very strong correlation between the dip slips of the two faults, though the fine aliased model does so reasonably well. The posteriors of the two antialiased models deviate only negligibly from each other for all parameters.
Model 6 presents a more challenging case where a coarse mesh does not fully resolve structures close to the surface, resulting in bias for the lowresolution models. The layer thicknesses of the coarse aliased model are explicitly multimodal as the interfaces hover between depths, and the modes for several variables are significantly offset from their true values. These values become sharp modes in a broader parameter space, easily missed by any inappropriately scaled MCMC proposal. The fine aliased model reproduces the overall posterior shapes, with some distortions relative to the fine antialiased reference model. The coarse antialiased model produces a smooth posterior and recovers the correct overall correlations between parameters, but are somewhat offset from the true values.
The differences between low and highresolution models are, predictably, more dramatic for folded models where the priors do not exclude fold wavelengths close to the Nyquist limit for the coarse mesh scale, such as Models 10 and 11. Other models, such as Model 9, show that antialiasing gives much better results for fold wavelengths greater than the mesh scale. In Model 11, where the undersampled structure is positioned farther beneath the surface, the apparent effects are less apparent than in Model 10, but still appear in directly linked variables such as the fold wavelength.
The biases caused by aliasing seem to be strongest in angular variables such as fault directions. For Model 6, the bestfit dipslip angles are offset from the true values by more than 10^{∘}, corresponding to the extent through which the scan must sweep to obtain any difference in rock property for a few nearsurface voxels in the coarse aliased model. Antialiasing the coarsemesh model largely, but not completely, mitigates this bias. In Model 10, the layer thicknesses are the only model parameters that can be robustly estimated without refining the mesh to resolve structure.
These results confirm that our algorithm can reproduce the continuous behavior in an underlying posterior distribution, and can enable significant computational savings even for complex models as long as the interfaces are smooth on the mesh scale. It cannot – and is not intended to – recover more complex structures beneath the mesh scale that violate the core assumptions under which it was derived.
4.2 MCMC sampling
Table 4 shows the average, bestcase, and worstcase values of τ and $\widehat{R}$ across all model parameters, as well as the K–L divergence D_{KL}. The posterior is challenging to navigate and all chains have autocorrelation times of the order of hundreds to thousands of samples, comparable to the performance of Obsidian for the Moomba models (Scalzo et al., 2019). Chains for antialiased models have autocorrelation times that are shorter by a factor of 2–10 than chains for aliased models, owing to the smoother, more Gaussian structure of the posterior. Most dramatically, the aliased chains still have large PSRF for several variables, even after 10^{5} samples. The antialiased chains converge more consistently to the same distribution, with final PSRF values close to 1 for all variables for most models, and much closer to 1 than the aliased chains even for the more challenging, adversarial model configurations.
Models 5, 6, 10, 14, and 15 are challenging models for which the antialiased chain also has trouble mixing fully. An example trace plot from Model 5 is shown in Fig. 8. One of the chains in the antialiased version has fallen into a different mode from the other three, characterized by shifts in the thicknesses and densities of stratigraphic layers as well as a shift in the dip angle of the fault. In contrast, none of the four traces in the aliased model seems to be sampling from the same distribution; each chain has learned a different proposal scaling, and chains occasionally jump between modes at adjacent parameter values characteristic of the ones seen in lowerdimensional projections. Each chain, considered on its own, would give a very different impression of the uncertainty in the inversion. This qualitative behavior is characteristic of sampling for the other models.
Complementing the trace plots and MCMC performance metrics as a global measure of posterior inference accuracy, the K–L divergence shows that antialiasing usually improves correspondence with the reference posterior (the highresolution, antialiased posterior) by a large margin. Antialiased models with large values of D_{KL} correspond well with subNyquist structures or with regions of complexity close to the surface, confirming our intuition that inference in these models benefits from a finer mesh resolution. The aliased posteriors show differences from the highresolution posteriors spanning many orders of magnitude in probability density, averaged over those modes the chain was able to reach. Since the aliased chains did not in general mix well, their values of D_{KL} should be taken as indicative, whereas the antialiased chains with low $\widehat{R}$ represent more robust estimates of the true divergence.
To fully characterize uncertainty in truly multimodal problems, parallel tempering should be used to sample from all modes in proportion to their posterior probability. However, without antialiasing, the lowtemperature chain in the tempering scheme will mix poorly and will rely more heavily on swap proposals to explore the posterior. The modes that do appear in antialiased posteriors are also more likely to represent distinct interpretations, rather than poorly resolved strong correlations between variables.
We have experimentally demonstrated the use and benefit of antialiasing only for kinematic models acting on a regular rectangular mesh. However, we see several natural extensions to this work that extend the range and impact of antialiasing for parametric geological models. We describe these future directions in the following section.
5.1 Antialiasing in terms of the implicit scalar field
Although Blockworlds forward models geology through the action of parametrized tectonic events, it is still an implicit model in the sense that the unit interfaces are defined to be level sets of a scalar field, which we parametrize simply in terms of the distance to the interface. The mathematics of our antialiasing prescription generalizes to any differentiable scalar field, including those used in cokriging models that interpolate structural measurements (Lajaunie et al., 1997; Calcagno et al., 2008). These models will have different posterior geometries than kinematic models, since the modification of structural parameters produces more localized changes in the block models. However, we see no intrinsic reason why the following treatment for general scalar fields should not work just as well as for other types of implicit models, provided the interpolated geological structures have minimal curvature on the mesh scale.
For implicit geological models, each interface is defined as the level set Φ(r)=Φ_{0} of some scalar field Φ. The value of Φ corresponds roughly to depth or to geological time, but has no intrinsic physical meaning except to ensure that the geologic series of interfaces it defines are conformable. In interpolation models, the specific value Φ_{0} representing an interface is fixed by observations (from surface measurements or boreholes). In this case, u_{⟂} can be calculated easily by locally calibrating the scalar field to represent a physical distance in the neighborhood of an interface: for a voxel centered at r_{0}, a firstorder approximation of Φ gives
which, using Eq. (3) and writing the interface unit normal as $\mathit{n}=\mathrm{\nabla}\mathrm{\Phi}/\left\mathrm{\nabla}\mathrm{\Phi}\right$, can be rearranged to give
In this way, each voxel can be antialiased simply by evaluating the scalar field and its gradient at the voxel center. For cokriging models, the scalar field itself must be evaluated at the voxel centers to render it, and the field gradient can be evaluated straightforwardly using the same trained model by differentiating the kernel.
5.2 Antialiasing in curvilinear coordinates
The development of the antialiasing mapping in Sect. 2.3 and its generalization in Sect. 5.1 assume that each voxel is a cube. However, mesh cells with varying aspect ratios are common in geophysical inversions, for example in dealing with varying sensitivity with depth or with boundary conditions where high resolution is less important. It may also be useful for some problems to work in curvilinear coordinates.
Another useful avenue of future work would be to extend Eq. (23) to more general coordinate systems. Let $\mathit{J}=\partial \mathit{r}/\partial \mathit{u}$ be the Jacobian of the transformation from dimensionless coordinates u on a unit voxel to physical coordinates r, so that to first order $\mathit{u}={\mathit{J}}^{\mathrm{1}}(\mathit{r}{\mathit{r}}_{\mathrm{0}})$. Equation (3), defining the projection of a reference point in the voxel onto an interface running through the voxel, then becomes
and Eq. (3), defining u_{⟂} in terms of scalar field values for an implicit model, becomes
5.3 Antialiasing for other geophysical sensors
In this paper we have focused on gravity, since it is among the most widely used geophysical sensors in an exploration context and its linear response makes an antialiasing treatment straightforward. All of our results extend immediately to magnetic sensors given the strong mathematical equivalence, and may also be appropriate for linear forward models of other sensors such as thermal or electric conductivity, or for the slowness in traveltime tomography.
Useful schemes to antialias forwardmodeled geology may exist for other sensors, as long as the sensor action at scales smaller than the mesh spacing can be usefully approximated by a computationally simple function of the rock properties and the interface geometry. Frequencydependent sensors that probe a range of physical scales may require a frequencydependent antialiasing function, and similarly for sensors with anisotropic interactions with interfaces. While there is nothing fundamental that prevents antialiasing for sensors that respond nonlinearly to rock properties, mesh refinement may be more important in these cases to ensure the numerical accuracy, as well as the continuity, of the posterior. The framework in this paper treats only quantities defined at mesh cell centers; while it may be possible to derive similar relations for quantities defined on mesh cell faces and edges, as in finitevolume treatments of electromagnetic sensors, this represents future work.
Our experiments show the potential pitfalls of using oversimplified projections of 3D structural geology onto a volumetric basis for calculation of synthetic geophysics, and demonstrate an intuitive, efficient solution. Antialiasing reproduces the smooth behavior of the underlying posterior with respect to the geological parameters to enhance the convergence of optimization or the mixing of sampling methods and to enable the use of derivative information in these methods. Antialiasing enables a fixed volumetric basis to more faithfully represent sensor response to latent discrete geology with interfaces that are flat at the scale of a mesh cell, reducing the computational burden of forward geophysics in an inversion loop. Our algorithm is also coordinate invariant and can be combined with curvilinear meshes, and with mesh refinement techniques such as octrees (e.g., Haber and Heldmann, 2007), for even stronger results. Finally, the K–L divergence between versions of the log posterior using different mesh resolutions can be calculated using MCMC samples either online or in postprocessing as a diagnostic, allowing the user to determine how much the problem would benefit from additional mesh refinement.
We have focused on calculations over 3D Cartesian volumetric meshes because implicit and kinematic models are naturally volumetric, and because existing geological modeling codes already export rock properties onto meshes as block models. Introducing antialiasing into these geological models is a minimally invasive modification to enhance their use in MCMCbased Bayesian inversions. Other discretization schemes built to align with geological interfaces, such as pillar grids (Wellmann and Caumon, 2018), may mitigate aliasing along the pillar, but still suffer aliasing of features cutting across the pillar axis and are more limited in their representational power. Alternate methods for calculating gravity and magnetics, such as the Cauchy surface method (Zhdanov and Liu, 2013; Cai and Zhdanov, 2015) or finitevolume methods on tetrahedral meshes (Götze and Lahmeyer, 1988; Schmidt et al., 2020), require many fewer discrete elements than a 3D volumetric mesh to achieve a given accuracy, since they follow an explicit lowerdimensional discretization of each interface. These methods are most suitable for geological models that already parametrize unit interfaces explicitly. Using them with implicit models, or with kinematic models that work by deforming and transporting volumetric elements, would introduce additional computational overhead in tracking the positions of interfaces and updating an associated lowerdimensional mesh. The sensor response coefficients would then also have to be updated each time the model parameters are updated. There may still be geological use cases where tracking interfaces during the sampling process is more efficient than a finite volume solution involving every voxel, but we defer the examination of such cases to future work.
The accurate and efficient projection of these simple geological models onto meshes for geophysics calculations is a prerequisite to inversion for structural and kinematic parameters in more realistic situations. We can now take clear next steps towards MCMC sampling of kinematic histories for richer, higherdimensional models. In addition, we can now move towards the sampling of hierarchical geophysical inversions that use a parametric structural model as a mean function. This will enable voxelspace inversions for which the geological prior is expressed in terms of uncertain interpretable parameters, or inversions for geology that include uncertainty due to residual rock property variations constrained by geophysics. These would represent more complete probabilistic treatments of geological uncertainty in light of available constraints from geophysics.
In the definitions to follow, we follow notation introduced in Scalzo et al. (2019). Consider M Markov chains, each of length N and with ddimensional parameter vectors, which are run independently or in parallel. Let ${\mathit{\theta}}_{ki}^{\left[j\right]}$ denote parameter k of d, drawn at iteration [j] of N in chain i of M. Let
denote the sample mean of parameter k over the N iterates of chain i, and
denote the sample variance of parameter k over chain i. Let ${\stackrel{\mathrm{\u0303}}{\mathit{\theta}}}_{k}=\sum \mathrm{1}M\sum _{i=\mathrm{1}}^{M}{\widehat{\mathit{\theta}}}_{ki}$ denote the sample mean of ${\widehat{\mathit{\theta}}}_{ki}$ across all chains. To summarize the variation in parameter estimates across chains, let
denote the sample variance in ${\widehat{\mathit{\theta}}}_{ki}$ across chains, and
denote the sample mean of ${s}_{ki}^{\mathrm{2}}$ across chains. Thus, B_{k} is a measure of the variance in parameter estimates made from the history of samples in any single chain on its own, and W_{k} is a measure of the overall variance of a parameter within any single chain.
A1 Integrated autocorrelation time
The autocorrelation function, measuring the correlation between parameter draws separated by a lag l when treating each chain as a time series, is
The integrated autocorrelation time (IACT), the sum of the autocorrelation function over lags l, gives an estimate of the number of chain samples required to obtain an independent draw from the stationary distribution:
A2 Potential scale reduction factor
The potential scale reduction factor (PSRF) was introduced as a metric for chain convergence by Gelman and Rubin (1992). It measures the extent to which uncertainty in a parameter could be reduced by continuing to sample beyond the nominal chain length N. A simple version that is often implemented is
The behavior of the metric is driven by the ratio ${B}_{k}/{W}_{k}$, or the variance in parameter means from different chains as a fraction of the overall marginal variance in that parameter. This can be large because of small number of statistics in a unimodal problem, but it can also be large because of poor mixing between modes in a multimodal problem, which increases the autocorrelation between samples. Gelman and Rubin (1992) advocate searching for multiple modes in advance and drawing starting points for MCMC from an overdispersed approximation to the posterior. They also account for sampling variability, including correlation between samples, via the modified metric
where $\mathit{\nu}=\mathrm{2}{\widehat{V}}^{\mathrm{2}}/\widehat{\mathrm{var}}\left(\widehat{V}\right)$ represents the number of degrees of freedom in a tdistribution for ${\stackrel{\mathrm{\u0303}}{\mathit{\theta}}}_{k}$, with
We use the metric $\widehat{R}$ for our experiments, given that autocorrelation times can be quite long for our chains.
The version of the Blockworlds model code used in this paper is archived with Zenodo (https://doi.org/10.5281/zenodo.5759225; Scalzo, 2021). The datasets used in the inversions are synthetic and can be reproduced exactly by running a set of scripts from the command line that fix the random number seed used to generate those datasets, as described in the package manual.
The study was conceptualized by SC, who, with MJ, provided funding and resources. RS was responsible for project administration, designed the methodology, wrote the Blockworlds code resulting in v0.1, and carried out the main investigation and formal analysis under supervision from SC, EC, and MJ. RS and ML validated and visualized the results. RS wrote the original draft text, with contributions from ML, for which all coauthors provided a review and critical evaluation.
The contact author has declared that neither they nor their coauthors have any competing interests.
Publisher's note: Copernicus Publications remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Parts of this research were conducted by the Australian Research Council Industrial Transformation Training Centre in Data Analytics for Resources and the Environment (DARE), through project number IC190100031. The work has been supported by the Mineral Exploration Cooperative Research Centre, whose activities are funded by the Australian Government's Cooperative Research Centre Programme. This is MinEx CRC Document 2021/34. Mark Lindsay acknowledges funding from ARC DECRA DE190100431 and MinEx CRC. We thank Alistair Reid and Malcolm Sambridge for useful discussions.
This research has been supported by the Australian Research Council (grant nos. IC190100031 and DE190100431).
This paper was edited by Lutz Gross and reviewed by Florian Wellmann and two anonymous referees.
Backus, G. and Gilbert, F.: The Resolving Power of Gross Earth Data, Geophys. J. Royal Astron. Soc., 16, 169–205, https://doi.org/10.1111/j.1365246X.1968.tb00216.x, 1968. a
Backus, G. and Gilbert, F.: Uniqueness in the inversion of inaccurate gross Earth data, Philos. T. Roy. Soc. Lond A, 266, 123–192, https://doi.org/10.1111/j.1365246X.1968.tb00216.x, 1970. a
Backus, G. E.: Longwave elastic anisotropy produced by horizontal layering, J. Geophys. Res., 67, 4427–4440, 1962. a
Backus, G. E. and Gilbert, J. F.: Numerical Applications of a Formalism for Geophysical Inverse Problems, Geophys. J. Roy. Astron. Soc., 13, 247–276, https://doi.org/10.1111/j.1365246X.1967.tb02159.x, 1967. a
Beardsmore, G., DurrantWhyte, H., and Callaghan, S. O.: A Bayesian inference tool for geophysical joint inversions, ASEG Extended Abstracts 2016.1 (2016), 1–10, https://doi.org/10.1071/ASEG2016ab131, 2016. a, b, c
Bond, C. E.: Uncertainty in structural interpretation: Lessons to be learnt, J. Struct. Geol., 74, 185–200, https://doi.org/10.1016/j.jsg.2015.03.003, 2015. a
Bosch, M.: Lithologic tomography: From plural geophysical data to lithology estimation, J. Geophys. Res.Solid, 104, 749–766, https://doi.org/10.1029/1998JB900014, 1999. a
Bosch, M.: Inference Networks in Earth Models with Multiple Components and Data, in: Geophysical Monograph Series, edited by: Moorkamp, M., Lelièvre, P. G., Linde, N., and Khan, A., John Wiley & Sons, Inc, Hoboken, NJ, 29–47, https://doi.org/10.1002/9781118929063.ch3, 2016. a
Bosch, M., Guillen, A., and Ledru, P.: Lithologic tomography: an application to geophysical data from the Cadomian belt of northern Brittany, France, Tectonophysics, 331, 197–227, https://doi.org/10.1016/S00401951(00)002432, 2001. a
Brunetti, C., Bianchi, M., Pirot, G., and Linde, N.: Hydrogeological Model Selection Among Complex Spatial Priors, Water Resour. Res., 55, 6729–6753, https://doi.org/10.1029/2019WR024840, 2019. a
Cai, H. and Zhdanov, M.: Application of Cauchytype integrals in developing effective methods for depthtobasement inversion of gravity and gravity gradiometry data, Geophysics, 80, G81–G94, https://doi.org/10.1190/geo20140332.1, 2015. a
Calcagno, P., Chilès, J., Courrioux, G., and Guillen, A.: Geological modelling from field data and geological knowledge, Phys. Earth Planet. Inter., 171, 147–157, https://doi.org/10.1016/j.pepi.2008.06.013, 2008. a, b
Capdeville, Y., Guillot, L., and Marigo, J. J.: 1D nonperiodic homogenization for the seismic wave equation. Geophysical Journal International, Geophys. J. Int., 181, 897–910, 2010. a
Catmull, E.: A hiddensurface algorithm with antialiasing, in: Proceedings of the 5th Annual Conference on Computer Graphics and Interactive Techniques, Atlanta, Georgia, USA, 6–11, https://doi.org/10.1145/800248.807360, 1978. a
Cockett, R., Kang, S., Heagy, L. J., Pidlisecky, A., and Oldenburg, D. W.: SimPEG: An open source framework for simulation and gradient based parameter estimation in geophysical applications, Comput. Geosci., 85, 142–154, https://doi.org/10.1016/j.cageo.2015.09.015, 2015. a, b
Cook, R. L.: Stochastic sampling in computer graphics, ACM T. Graph., 5, 51–72, 1986. a
Cordua, K. S., Hansen, T. M., and Mosegaard, K.: Monte Carlo fullwaveform inversion of crosshole GPR data using multiplepoint geostatistical a priori information, Gwophysics, 77, H19–H31, https://doi.org/10.1190/geo20110170.1, 2012. a
Crow, F. C.: The aliasing porblem in computergenerated shaded images, Commun. ACM, 20, 799–805, 1977. a
de la Varga, M., Schaaf, A., and Wellmann, F.: GemPy 1.0: opensource stochastic geological modeling and inversion, Geosci. Model Dev., 12, 1–32, https://doi.org/10.5194/gmd1212019, 2019. a
de Pasquale, G., Linde, N., Doetsch, J., and Holbrook, W. S.: Probabilistic inference of subsurface heterogeneity and interface geometry using geophysical data, Geophys. J. Int., 217, 816–831, https://doi.org/10.1093/gji/ggz055, 2019. a
Frodeman, R.: Geological reasoning: Geology as an interpretive and historical science, Geol. Soc. Am. Bull., 107, 960–0968, https://doi.org/10.1130/00167606(1995)107<0960:GRGAAI>2.3.CO;2, 1995. a
Gallardo, L. A. and Meju, M. A.: Structurecoupled multiphysics imaging in geophysical sciences, Rev.f Geophys., 49, RG1003, https://doi.org/10.1029/2010RG000330, 2011. a
Gelman, A. and Rubin, D.: Inference from Iterative Simulation Using Multiple Sequences, Stat. Sci., 7, 457–472, 1992. a, b, c
Giraud, J., PakyuzCharrier, E., Jessell, M., Lindsay, M., Martin, R., and Ogarko, V.: Uncertainty reduction through geologically conditioned petrophysical constraints in joint inversion, Geophysics, 82, ID19–ID34, https://doi.org/10.1190/geo20160615.1, 2017. a
Giraud, J., PakyuzCharrier, E., Ogarko, V., Jessell, M., Lindsay, M., and Martin, R.: Impact of uncertain geology in constrained geophysical inversion, ASEG Extend. Abstr., 2018, 1, https://doi.org/10.1071/ASEG2018abM1_2F, 2018. a
Giraud, J., Lindsay, M., Ogarko, V., Jessell, M., Martin, R., and PakyuzCharrier, E.: Integration of geoscientific uncertainty into geophysical inversion by means of local gradient regularization, Solid Earth, 10, 193–210, https://doi.org/10.5194/se101932019, 2019a. a
Giraud, J., Ogarko, V., Lindsay, M., PakyuzCharrier, E., Jessell, M., and Martin, R.: Sensitivity of constrained joint inversions to geological and petrophysical input data uncertainties with posterior geological analysis, Geophys. J. Int., 218, 666–688, https://doi.org/10.1093/gji/ggz152, 2019b. a
Giraud, J., Lindsay, M., and Jessell, M.: Generalization of levelset inversion to an arbitrary number of geologic units in a regularized leastsquares framework, Geophysics, 86, R623–R637, https://doi.org/10.1190/geo20200263.1, 2021a. a
Giraud, J., Ogarko, V., Martin, R., Jessell, M., and Lindsay, M.: Structural, petrophysical, and geological constraints in potential field inversion using the Tomofastx v1.0 opensource code, Geosci. Model Dev., 14, 6681–6709, https://doi.org/10.5194/gmd1466812021, 2021b. a, b
Götze, H. and Lahmeyer, B.: Application of three‐dimensional interactive modeling in gravity and magnetics, Geophysics, 53, 1096–1108, https://doi.org/10.1190/1.1442546, 1988. a
Grose, L., Ailleres, L., Laurent, G., and Jessell, M.: LoopStructural 1.0: timeaware geological modelling, Geosci. Model Dev., 14, 3915–3937, https://doi.org/10.5194/gmd1439152021, 2021. a
Haario, H., Saksman, E., and Tamminen, J.: An Adaptive Metropolis Algorithm, Bernoulli, 223, ISBN 13507265, https://doi.org/10.2307/3318737, 2001. a
Haber, E. and Heldmann, S.: An octree multigrid method for quasistatic Maxwell's equations with highly discontinuous coefficients, J. Comput. Phys., 223, 783–796, https://doi.org/10.1016/j.jcp.2006.10.012, 2007. a
Hastings, W. K.: Monte Carlo sampling methods using Markov chains and their applications, Biometrika, 57, 97–109, https://doi.org/10.1093/biomet/57.1.97, 1970. a
Heagy, L., Kang, S., Fournier, D., Rosenkjaer, G. K., Capriotti, J., Astic, T., Cowan, D. C., Marchant, D., Mitchell, M., Kuttai, J., Werthmüller, D., Caudillo Mata, L. A., Ye, Z.K., Koch, F., Smithyman, B., Martens, K., Miller, C., Gohlke, C., … and Perez, F.: simpeg/simpeg: Simulation (v0.14.0), Zenodo [code], https://doi.org/10.5281/zenodo.3860973, 2020. a, b
Houlding, S. W.: 3D Geoscience modeling: computer techniques for geological characterization, Springer Verlag, 85–90, ISBN 3540580158, 1994. a
Jessell, M., PakyuzCharrier, E., Lindsay, M., Giraud, J., and de Kemp, E.: Assessing and Mitigating Uncertainty in ThreeDimensional Geologic Models in Contrasting Geologic Scenarios, in: Metals, Minerals, and Society, SEG – Society of Economic Geologists, https://doi.org/10.5382/SP.21.04, 2018. a
Jessell, M. W.: “Noddy” – An interactive Map creation Package, MS thesis, Imperial College of Science and Technology, London, UK, https://tectonique.net/noddy/ (last access: 11 April 2009), 1981. a, b
Jessell, M. W. and Valenta, R. K.: Structural geophysics: Integrated structural and geophysical modelling, in: Structural Geology and Personal Computers, edited by: De Paor, D. G., Elsevier, Oxford, UK, 303–324, https://doi.org/10.1016/S1874561X(96)800277, 1993. a, b
Jessell, M. W., Ailleres, L., and de Kemp, E. A.: Towards an integrated inversion of geoscientific data: What price of geology?, Tectonophysics, 490, 294–306, https://doi.org/10.1016/j.tecto.2010.05.020, 2010. a
Koene, E. F. M., Wittsten, J., and Robertsson, J. O. A.: Finitedifference modeling of 2D wave propagation in the vicinity of dipping interfaces: a comparison of antialiasing and equivalent medium approaches, https://doi.org/10.1093/gji/ggab444, 2021. a
Lajaunie, C., Courrioux, G., and Manuel, L.: Foliation fields and 3D cartography in geology: Principles of a method based on potential interpolation, Math. Geol., 29, 571–584, https://doi.org/10.1007/BF02775087, 1997. a, b
Li, W., Lu, W., Qian, J., and Li, Y.: A multiple levelset method for 3D inversion of magnetic data, Geophysics, 82, J61–J81, https://doi.org/10.1190/GEO20160530.1, 2017. a
Li, Y. and Oldenburg, D. W.: 3D inversion of gravity data, Geophysics, 63, 109–119, https://doi.org/10.1190/1.1444302, 1998. a
Linde, N., Ginsbourger, D., Irving, J., Nobile, F., and Doucet, A.: On uncertainty quantification in hydrogeology and hydrogeophysics, Adv. Water Resour., 110, 166–181, https://doi.org/10.1016/j.advwatres.2017.10.014, 2017. a
Lindsay, M., Jessell, M., Ailleres, L., Perrouty, S., de Kemp, E., and Betts, P.: Geodiversity: Exploration of 3D geological model space, Tectonophysics, 594, 27–37, https://doi.org/10.1016/j.tecto.2013.03.013, 2013. a
Lindsay, M. D., Aillères, L., Jessell, M. W., de Kemp, E. A., and Betts, P. G.: Locating and quantifying geological uncertainty in threedimensional models: Analysis of the Gippsland Basin, southeastern Australia, Tectonophysics, 546–547, 10–27, https://doi.org/10.1016/j.tecto.2012.04.007, 2012. a
McCalman, L., O'Callaghan, S. T., Reid, A., Shen, D., Carter, S., Krieger, L., Beardsmore, G. R., Bonilla, E. V., and Ramos, F. T.: Distributed Bayesian geophysical inversions, in: Proceedings of the ThirtyNinth Workshop on Geothermal Reservoir Engineering, Stanford University, Stanford, California, USA, 1–11, 2014. a, b, c
Metropolis, N. and Ulam, S.: The Monte Carlo Method, J. Am. Stat. Assoc., 44, 335–341, 1949. a
Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N., Teller, A. H., and Teller, E.: Equation of State Calculations by Fast Computing Machines, J. Chem. Phys., 21, 1087–1092, https://doi.org/10.1063/1.1699114, 1953. a
Moczo, P., Kristek, J., Vavrycuk, V., Archuleta, R. J., and Halada, L.: 3d heterogeneous staggeredgrid finitedifference modeling of seismic motion with volume harmonic and arithmetic averaging of elastic moduli and densities, Bull. Seismol. Soc. Am., 92, 3042–3066, 2002. a
Mosegaard, K. and Sambridge, M.: Monte Carlo analysis of inverse problems, Inverse Problems, 18, R29–R54, https://doi.org/10.1088/02665611/18/3/201, 2002. a, b
Mosegaard, K. and Tarantola, A.: Monte Carlo sampling of solutions to inverse problems, J. Geophys. Res.Solid, 100, 12431–12447, https://doi.org/10.1029/94JB03097, 1995. a, b
Muir, F., Dellinger, J., Etgen, J., and Nichols, D.: Modeling elastic fields across irregular boundaries, Geophysics, 57, 1189–1193, 1992. a
Nishimura, A., Dunson, D., and Lu, J.: Discontinuous Hamiltonian Monte Carlo for discrete parameters and discontinuous likelihoods, Biometrika, 107, 365–380, https://doi.org/10.1093/biomet/asz083, 2020. a
Ogarko, V., Giraud, J., Martin, R., and Jessell, M.: Disjoint interval bound constraints using the alternating direction method of multipliers for geologically constrained inversion: Application to gravity data, Geophysics, 86, G1–G11, https://doi.org/10.1190/geo20190633.1, 2021. a
Okabe, M.: Analytical expressions for gravity anomalies due to homogeneous polyhedral bodies and translations into magnetic anomalies, Geophysics, 44, 730, https://doi.org/10.1190/1.1440973, 1979. a
Olierook, H. K., Scalzo, R., Kohn, D., Chandra, R., Farahbakhsh, E., Clark, C., Reddy, S. M., and Müller, R. D.: Bayesian geological and geophysical data fusion for the construction and uncertainty quantification of 3D geological models, Geosci. Front., 12, 479–493, https://doi.org/10.1016/j.gsf.2020.04.015, 2020. a
Osher, S. and Sethian, J. A.: Fronts propagating with curvaturedependent speed: Algorithms based on HamiltonJacobi formulations, J. Comput. Phys., 79, 12–49, https://doi.org/10.1016/00219991(88)900022, 1988. a
Öztireli, A. C.: A Comprehensive Theory and Variational Framework for Antialiasing Sampling Patterns, Comput. Graph. Forum, 39, 133–148, 2020. a
PakyuzCharrier, E., Giraud, J., Ogarko, V., Lindsay, M., and Jessell, M.: Drillhole uncertainty propagation for threedimensional geological modeling using Monte Carlo, Tectonophysics, 747–748, 16–39, https://doi.org/10.1016/j.tecto.2018.09.005, 2018a. a
PakyuzCharrier, E., Lindsay, M., Ogarko, V., Giraud, J., and Jessell, M.: Monte Carlo simulation for uncertainty estimation on structural data in implicit 3D geological modeling, a guide for disturbance distribution selection and parameterization, Solid Earth, 9, 385–402, https://doi.org/10.5194/se93852018, 2018b. a, b, c
PakyuzCharrier, E., Jessell, M., Giraud, J., Lindsay, M., and Ogarko, V.: Topological analysis in Monte Carlo simulation for uncertainty propagation, Solid Earth, 10, 1663–1684, https://doi.org/10.5194/se1016632019, 2019. a
Patil, A., Huard, D., and Fonnesbeck, C. J.: PyMC: Bayesian stochastic modelling in Python, J. Stat. Softw., 35, 1–81, https://doi.org/10.18637/jss.v035.i04, 2010. a
Perrouty, S., Lindsay, M., Jessell, M., Aillères, L., Martin, R., and Bourassa, Y.: 3D modeling of the Ashanti Belt, southwest Ghana: Evidence for a lithostratigraphic control on gold occurrences within the Birimian Sefwi Group, Ore Geol. Rev., 63, 252–264, https://doi.org/10.1016/j.oregeorev.2014.05.011, 2014. a
Pirot, G., Renard, P., Huber, E., Straubhaar, J., and Huggenberger, P.: Influence of conceptual model uncertainty on contaminant transport forecasting in braided river aquifers, J. Hydrol., 531, 124–141, https://doi.org/10.1016/j.jhydrol.2015.07.036, 2015. a
Pirot, G., Linde, N., Mariethoz, G., and Bradford, J. H.: Probabilistic inversion with graph cuts: Application to the Boise Hydrogeophysical Research Site, Water Resour. Res., 53, 1231–1250, https://doi.org/10.1002/2016WR019347, 2017. a
Pirot, G., Huber, E., Irving, J., and Linde, N.: Reduction of conceptual model uncertainty using groundpenetrating radar profiles: Fielddemonstration for a braidedriver aquifer, J. Hydrol., 571, 254–264, https://doi.org/10.1016/j.jhydrol.2019.01.047, 2019a. a
Pirot, G., Krityakierne, T., Ginsbourger, D., and Renard, P.: Contaminant source localization via Bayesian global optimization, Hydrol. Earth Syst. Sci., 23, 351–369, https://doi.org/10.5194/hess233512019, 2019b. a
Quigley, M. C., Bennetts, L. G., Durance, P., Kuhnert, P. M., Lindsay, M. D., Pembleton, K. G., Roberts, M. E., and White, C. J.: The provision and utility of science and uncertainty to decisionmakers: earth science case studies, Environ. Syst. Decis., 39, 307–348, https://doi.org/10.1007/s10669019097280, 2019. a
Rawlinson, N., Fichtner, A., Sambridge, M., and Young, M. K.: Seismic Tomography and the Assessment of Uncertainty, in: Advances in Geophysics, vol. 55, Elsevier, 1–76, https://doi.org/10.1016/bs.agph.2014.08.001, 2014. a, b, c
Scalzo, R. A.: rscalzo/blockworlds: (v0.1.0beta.3), Zenodo [code], https://doi.org/10.5281/zenodo.5759225, 2021. a
Sambridge, M., Bodin, T., Gallagher, K., and Tkalcic, H.: Transdimensional inference in the geosciences, Philos. T. Roy. Soc. A, 371, 20110547, https://doi.org/10.1098/rsta.2011.0547, 2012. a, b
Santosa, F.: A levelset approach for inverse problems involving obstacles, ESAIM: Control, Optimisation and Calculus of Variations, 1, 17–33, https://doi.org/10.1051/cocv:1996101, 1996. a
Scalzo, R., Kohn, D., Olierook, H., Houseman, G., Chandra, R., Girolami, M., and Cripps, S.: Efficiency and robustness in Monte Carlo sampling for 3D geophysical inversions with Obsidian v0.1.2: setting up for success, Geosci. Model Dev., 12, 2941–2960, https://doi.org/10.5194/gmd1229412019, 2019. a, b, c, d
Schmidt, S., Anikiev, D., Götze, H.J., Gomez Garcia, A., Gomez Dacal, M. L., Meessen, C., Plonka, C., Rodriguez Piceda, C., Spooner, C., and ScheckWenderoth, M.: IGMAS+ – a tool for interdisciplinary 3D potential field modelling of complex geological structures, in: EGU General Assembly 2020, EGU20208383, https://doi.org/10.5194/egusphereegu20208383, 2020. a
Tarantola, A. and Valette, B.: Generalized nonlinear inverse problems solved using the least squares criterion, Rev. Geophys., 20, 219–232, https://doi.org/10.1029/RG020i002p00219, 1982. a
Varouchakis, E. A., Yetilmezsoy, K., and Karatzas, G. P.: A decisionmaking framework for sustainable management of groundwater resources under uncertainty: combination of Bayesian risk approach and statistical tools, Water Policy, 21, 602–622, https://doi.org/10.2166/wp.2019.128, 2019. a
Wang, Z., Yin, Z., Caers, J., and Zuo, R.: A Monte Carlobased framework for riskreturn analysis in mineral prospectivity mapping, Geosci. Front., 11, 2297–2308, https://doi.org/10.1016/j.gsf.2020.02.010, 2020. a
Wellmann, F. and Caumon, G.: 3D Structural geological models: Concepts, methods, and uncertainties, in: Advances in Geophysics, vol. 59, Elsevier, 1–121, https://doi.org/10.1016/bs.agph.2018.09.001, 2018. a, b, c, d
Wellmann, J. F. and RegenauerLieb, K.: Uncertainties have a meaning: Information entropy as a quality measure for 3D geological models, Tectonophysics, 526–529, 207–216, https://doi.org/10.1016/j.tecto.2011.05.001, 2012. a
Wellmann, J. F., Thiele, S. T., Lindsay, M. D., and Jessell, M. W.: pynoddy 1.0: an experimental platform for automated 3D kinematic and potential field modelling, Geosci. Model Dev., 9, 1019–1035, https://doi.org/10.5194/gmd910192016, 2016. a
Wellmann, J. F., de la Varga, M., Murdie, R. E., Gessner, K., and Jessell, M.: Uncertainty estimation for a geological model of the Sandstone greenstone belt, Western Australia – insights from integrated geological and geophysical inversion in a Bayesian inference framework, Geol. Soc. Lond. Spec. Publ., 453, 41–56, https://doi.org/10.1144/SP453.12, 2017. a, b, c, d
Witter, J. B., TrainorGuitton, W. J., and Siler, D. L.: Uncertainty and risk evaluation during the exploration stage of geothermal development: A review, Geothermics, 78, 233–242, https://doi.org/10.1016/j.geothermics.2018.12.011, 2019. a
Zhdanov, M. S. and Liu, X.: 3D Cauchytype integrals for terrain correction of gravity and gravity gradiometry data, Geophys. J. Int., 194, 249–268, https://doi.org/10.1093/gji/ggt120, 2013. a
Zheglova, P., Lelievre, P. G., and Farquharson, C. G.: Multiple levelset joint inversion of traveltime and gravity data with application to ore delineation: A synthetic study, Geophysics, 83, R13–R30, https://doi.org/10.1190/GEO20160675.1, 2018. a