Abstract
Natural arches, pillars and other exotic sandstone formations have always been attracting attention for their unusual shapes and amazing mechanical balance that leave a strong impression of intelligent design rather than the result of a stochastic process. It has been recently demonstrated that these shapes could have been the result of the negative feedback between stress and erosion that originates in fundamental laws of friction between the rock’s constituent particles. Here we present a deeper analysis of this idea and bridge it with the approaches utilized in shape and topology optimisation. It appears that the processes of natural erosion, driven by stochastic surface forces and MohrCoulomb law of dry friction, can be viewed within the framework of local optimisation for minimum elastic strain energy. Our hypothesis is confirmed by numerical simulations of the erosion using the topologicalshape optimisation model. Our work contributes to a better understanding of stochastic erosion and feasible landscape formations that could be found on Earth and beyond.
Introduction
Unusual sandstone formations, such as natural arches, balanced rocks, natural pillars etc. (Fig. 1), have always been a source of amazement and curiosity for many generations of geologists (see^{1} for the detailed overview of the research efforts in this area, since antiquity till the end of the 20th century). It was always clear that these formations have been sculpted by wind and water, but until recently, the reason for their nontrivial shapes remained a mystery. The first rigorous experimental and theoretical study of the erosion mechanisms behind the formation of natural arches was carried out by Bruthans, J. et al.^{2}. The cornerstone idea behind this excellent work is the negative feedback between stress and erosion, conditioned by grain interlocking due to geostatic (gravitational) stresses. Using this simple basis, authors provide a qualitative explanation of the mechanisms of formation of exotic geostuctures that is further supported by the experiments and numerical stress analysis. For example, an arch forms when the original structure has two localized support points, causing stress concentrations. Weathering, abrasion and wind deflation removes the granular material in the regions subjected to relatively small compressive stresses, leaving more stressed and consolidated material intact, which, after many loops of erosion, leads to a distinctive natural arch structure.
This idea, undoubtedly fascinating by itself, looks even more interesting in a light of recently emerged engineering techniques of shape and topology optimisation. It appears that one can build an exact correspondence between natural erosion and hardkill algorithms of shape optimisation. This leads to a number of interesting considerations, which constitute the core of our work. In particular, we demonstrate that the negative feedback between stress and erosion, discovered in^{2}, leads to shape optimisation of the rock, locally minimising its elastic strain energy. Below we illustrate this idea with a simple analytical model of erosion and the numerical modelling, based on the approaches, developed in the field of shape and topology optimisation.
A simplified model of erosion
Natural wind or water erosion is extremely complex multiphysics process, involving elastic deformations, fluid flow, frictional forces, electrochemistry, microcracks, biogenic factors etc.^{1,3}. However, its most important features can be extracted with elementary considerations. In order to bridge the natural erosion with shape optimisation, we suggest the following simplistic yet predictive model of erosion. Hereafter we will be talking about one particular kind of erosion  wind deflation, which acts uniformly on the whole surface of the eroded rock, unlike abrasion or water erosion that are often highly nonuniform, and cause uneven structures like the one shown in Fig. 1(c). A realistic model of a sandstone erosion with abrasive particles, which has been identified as an important mechanism of wind erosion of a sandstone (e.g.^{4}), can be easily developed based on similar principles. We limit our consideration to sandstonelike materials that are well described by MohrCoulomb failure criterion.
Assume that the volume of the stone is composed of regularly arranged cubic particles (voxels) (Fig. 2(a)). Particles are bound together with cohesive forces that do not depend on local stress state, and frictional forces, that depend linearly on local compressive stress (MohrCoulomb law of dry friction). Consider the case when principal compressive stresses are cooriented with voxel faces (σ _{3} = 0 due to tractionfree boundary condition on the surface). Assume now that the surface face of each voxel is subjected to a stochastic drag force, changing randomly with time. In order to separate a voxel from the surface, the normal component of the drag force should exceed certain critical value, conditioned by the cohesion between the particle surfaces c and the coefficient of dry friction μ. Summing up cohesive and frictional contributions from four sides of the voxel, we obtain the following expression for this critical value:
It is easy to demonstrate that the last invariant expression holds true for arbitrary orientation of principal stresses σ _{1} and σ _{2} with respect to the voxel grid. In order to simplify our consideration, we did not take into account different coordinations of the particles, assuming that every surface particle is confined by its 4 nearest neighbours.
The process of a particle separation cannot be instantaneous  it takes certain characteristic time δt, during which the normal component of the drag force should exceed the critical force. For simplicity, we assume that this time is constant and does not depend on the local stress and the magnitude of the nonequilibrated normal component of the drag force. Irrespectively of the distribution of the drag force p(F _{ n }), we can define the average number of particles separated from the surface with the area S on the timeline Δt as:
Relationships 1 and 2 establish the negative feedback between stress and erosion, pointed out in^{2}. The distribution for the stochastic drag force is unknown^{5}; however, we can develop a simple model of erosion using two reasonable assumptions. First  we assume that the distribution of drag force is the same at every point of the rock’s surface (this can be accepted for the case of uniform wind deflation). Second  particle detachment from the surface of the rock corresponds to the tail of the distribution p(F _{ n }), i.e. it is a relatively rare event (Fig. 2(b)).
In order to illustrate the basic features of uniform erosion defined by (1), (2), consider simple onedimensional example  the erosion of a rectangular block under uniaxial compression (Fig. 2(c)). The block is eroded along one of its faces. The uniform compression with vertical force F causes a compression stress F/l(s − x(t)), increasing with the propagation of erosion front x(t). For the purpose of illustration, let us assume the exponential decay of the drag force distribution (one can show that any other distribution that are often used to describe wind variations (Gaussian, Raleigh or Weibull^{5}) would yield qualitatively similar results):
Then the equation (2) straightforwardly leads to the following ordinary differential equation for the erosion process:
The derivation of this equation and its analytical solution is presented in the supplementary material. Figure 2(d,e) give an illustration of this solution in terms of the position of the erosion front x and trace of the stress tensor tr(σ) as a function of time, for two different time scales. One can observe that as long as the principal stress σ _{1} is growing due to shrinkage of the crosssection S = l · (s − x(t)), the propagation of the erosion front slows down rapidly. In our model problem the block that is initially quickly eroded on a time scale of minutes, becomes then stable on geological time scales. These observations lead us to two important conclusions:

(i)
If erosion facilitates stress concentration (which is the case for freestanding structures), the erosion process slows down with time, reaching at some point a very stable shape, almost unaffected by further erosion. This model property fully agrees with conclusions made in^{2}.

(ii)
due to the strong dependence of erosion rate on the local stress, in the case of nonuniform local stress distribution, the eroded rock will tend to attain a shape of the local level surface of the function of the kind:
Figure 2(f) gives a qualitative illustration of this effect: relatively small change in local stress causes the dramatic change in the erosion rate, which leads to shaping the eroded material along level lines of (5). One should note, however, that, as in any other hardkill optimisation, (5) may not hold globally in more complex configurations, where material removal at one surface point can lead to stress concentration increase in another. The level of stress reached in stable configurations depends on a number of problem parameters  geometry of the problem, magnitudes of surface and volume loads, cohesion, friction angle and intensity of erosion (see supplementary material for the parameters of the model example showcased in Fig. 2).
In other words, our simple model leads us to a conclusion that natural erosion works similarly to a hardkill method of shape optimisation (see, e.g.^{6,7,8,9}). Within such shape optimisation techniques, we seek for the shape and topology of a domain that, given a certain set of constraints, minimizes the cost functional, e.g. strain energy stored by the elastic domain. In such procedures, optimisation is carried out by successive material removal according to a certain sensitivity function. This sensitivity function can be based on either a rigorous derivation (topological derivatives^{9}) or to be purely heuristic (e.g. von Mises stress in ESO^{6}). Such sensitivity function in our case is defined by the physics of the erosion process and is nothing but a trace (first invariant) of a stress tensor. This sensitivity does not precisely coincide with any sensitivities associated with the cost functionals commonly studied in shape optimisation. However, our numerical experiments showcased below indicate that the trace of a stress tensor can serve as a successful heuristic criterion for the local minimisation of the elastic strain energy.
The reason for that is simple. Rigorous algorithms of hardkill energy minimisation are based on the successive material removal along the level lines of a topological derivative^{9}  the sensitivity of the strain energy functional to an introduction of a spherical cavity at a point x inside the domain. In presence of a constant body force the analytical expression for topological derivative has the following form (d = 2, 3 for 2D and 3D cases correspondingly):
Consider first 2D case. If the hardkill algorithm removes material only near the traction free surface of the material (${\sigma}_{2}\ll {\sigma}_{1}$), then the level lines of a topological derivative are described with a simple equation
which is equivalent both to level lines of von Mises stress $\left(\sqrt{{\sigma}_{1}^{2}+{\sigma}_{2}^{2}{\sigma}_{1}{\sigma}_{2}}\right)$ and stress trace (σ _{1} + σ _{2}) under the same condition. Therefore, in case of twodimensional surface erosion problems like the formation of slender arches the stress trace coincides with the exact analytical criteria for the material removal in a hardkill optimisation algorithm.
In general 3D case we have two dominant principal stresses near traction free surface (σ _{1}, ${\sigma}_{2}\gg {\sigma}_{3}$), and therefore, similar equivalence between different material removal criteria does require an additional condition (${\sigma}_{2}\ll {\sigma}_{1}$) to be met. This is the case for a wide class of structures, including i.e. most of the 3D structures considered in our work. Therefore, the erosion processes are capable to optimise shapes in both 2D and 3D setting.
At this point we can capitalize the major point of our work  stochastic wind erosion (deflation) works as shape optimisation, locally minimising the elastic strain energy stored in a freestanding natural structure.
It is important to capitalize that both hardkill methods of energy minimisation and our erosion model are fundamentally unable to provide global energy minimisation, i.e. finding a unique and globally optimal shape minimizing the elastic energy. This is due to the obvious constraints imposed by unidirectional material removal, and (in case of erosion) material elimination only on the surface of the domain. Clearly, such optimisation procedures prohibit vast classes of the optimal solutions that could be reached by adding material or nucleating cavities within the domain. Therefore, in our work we talk only about local minimisation of the elastic strain energy.
The simple model described above can serve as a basis for the predictive numerical modelling of the erosion. Although direct MonteCarlo numerical simulation of a stochastic destruction is possible, it is limited to a relatively small number of constituent particles and timesteps, and therefore can not resolve realistic length and time scales. Instead, we opt for deterministic modelling approach based on the developments in the field of shape optimisation. We build our model of erosion based on the following simplification: we assume that the erosion rate is constant, however, there exists a critical value of the stress trace σ _{ c }, after which the erosion stops completely (such assumption agrees with the interpretation suggested in^{2}). As a baseline, we utilize a combination of SIMP(Solid Isotropic Material with Penalization) scheme of stiffness interpolation^{10} and the hardkill strategy of material removal. The details pertaining to our modelling technique are discussed in the Methods section. Below we discuss a set of examples that demonstrate that this relatively simple numerical modelling technique captures all the important features of uniform erosion of a sandstone.
Numerical simulations
Here we consider few illustrative examples that demonstrate the validity of our ideas and predictive power of our simple numerical model of erosion. All the examples utilized the following mechanical properties of a sandstone: E = 10 GPa, ν = 0.3, D = 2000 kg/m ^{3}. Critical stress after which the erosion rate was considered negligible was accepted to be σ _{ c } = 30 kPa.
Consider first a twodimensional example demonstrating the formation of arch shape by an erosion process. The initial domain is composed of 150 × 150 × 1 regular grid of cubic finite elements (15 × 15 × 0.1 m). The only loading in the system is the gravitational body force. The erosion is initialized at every surface element excluding 30 elements forming two separated support spots at the base of the square block. Figure 3(a) gives the evolution of the eroded shape with time (see also video 1 in the supplementary information).
The resulting arch strongly resembles the famous “Gateway Arch” in St. Louis, USA. Despite common misconception, the shape of that arch is not a catenary, but a “flattened catenary” – subclass of a “weighted catenary” (see the extensive discussion in^{11,12})  the line formed by a hanging chain with nonuniform weight distribution. The analysis of displacements and principal stress components in the structure, generated by our optimisation procedure, indicates that resulting structure belongs to a class of “weighted catenary” curves, i.e. the only principal stress at its every crosssection is coaligned with the median line of the structure (Fig. 3(a)). Such structures are known to be locally optimal in terms of minimum strain energy, since any deviation from the weighted catenary will result in bending of the structure, inducing significant increase in a stored strain energy. Therefore, we can clearly see that our optimisation procedure, based on the physically just model of erosion, creates structures locally minimising their elastic strain energy.
The second important example illustrates how our simple erosion mechanism leads to selfbalancing of massive structures, like ones shown in Fig. 1(c,d). The original domain consists of 150 × 75 × 1 elements (15 × 7.5 × 0.1 m). Elements along the bottom of the block are rigidly fixed. It is loaded by a gravitational body force, and by vertical offcenter concentrated force, which, using direct kinematic links, is transferred to all upper surface nodes of the block. This system of kinematic links models a massive body resting on the eroded foundation. The erosion starts at the two side surfaces of the block. Figure 3(b) gives four consequent snapshots of the shape of the foundation with added maps of a trace of the stress tensor (see also video 2 in the supplementary information). We can see that the erosion process initiates with the same rate on left and right side. However, initial asymmetry of the loading causes stress concentration at the left side, which slows down the erosion. The erosion on the right side develops with an unchanged rate, until the asymmetry of the loading is alleviated. The erosion process results in a pillar that is ideally centered with the axis of the applied force. This example illustrates how the dependence of the erosion on the trace of the stress tensor creates a negative feedback loop, stabilizing a massive geological formation.
Next three examples demonstrate the application of our algorithm to more realistic threedimensional structures. The first one is the realistic 3D model of a natural arch, similar to ones presented in Fig. 1(a,b). We start with a rectangular block of material consisting of 50 × 50 × 20 elements (5 × 5 × 2 m). We define two support spots (2 × 20 elements) along bottom edges of the domain. Figure 4(a) and video 3 in the supplementary information gives the time evolution of the eroded shape. One can see that the erosion resulted in a threedimensional weighted catenary arch with a complex crosssection, similar to ones found in nature. Figure 4(b) gives the time evolution of the cubic eroded block (50 × 50 × 50 elements, 5 × 5 × 5 m)) with four spots of support (5 × 5 elements each). Although the resulting structure does not remind any geological formation on Earth or beyond, it is just as physically feasible as the other considered examples. The last benchmark is the model of a “stone mushroom” depicted in Fig. 1(d). It is modeled as a cubic eroded foundation (50 × 50 × 50 elements, 5 × 5 × 5 m)) loaded with the gravitational body force and the additional concentrated traction acting on a spot in the center of the upper side of the cube (10 × 10 elements) imitating the piece of rock that is not subjected to erosion. The resulting conical structure reproduces well the existing geological formations.
Sizes of the structures observed in the simulation agree well with the sizes observed in nature. We note that the lower bound on admissible structure size is roughly defined by the length scale l = σ _{ c }/ρg, defining spatial scale where the gravityinduced stresses are comparable with the strength of material. In our case l = 1.5 m, meaning that arch structures can not be observed at smaller scales. For more accurate discussion on spatial scalings of catenary arch structures the reader is referred to^{11,12}.
Discussion
Here we discuss the main findings pointed out above as well as their immediate implications. First, under certain conditions, differential laws of natural erosion, that originate in the fundamental law of dry friction, lead to optimal shapes that locally minimise the elastic strain energy stored in the rock bulk. This amazing property is nothing but a manifestation of the fundamental physical principle of minimum potential energy. It states that a continuous or discontinuous system shall transit to a state that minimizes the total potential energy with leftowers of the energy converted to kinetic energy (heat). The key feature of sandstone erosion that enables explicit energy minimisation is an interplay between continuous and discontinuous behaviors. Sufficient contact between sandstone particles leads to continuous elastic fields induced in a compressed sandstone. These fields serve as a mechanism that links local isolated events of particle detachments for the sandstone surface into a continuous mechanism of local minimisation of the potential energy.
Second interesting observation is that this natural mechanism of energy minimisation almost precisely coincides with socalled “hardkill” optimisation algorithm of topology optimisation^{6,7,8}. Strictly speaking, natural erosion can be viewed as a Monte Carlo variant of a “hardkill” local energy minimisation. The possibility of physical realisation of a mathematical optimisation algorithm raises an interesting question of finding other physical processes that can be harnessed for industrial production of optimal structures (particularly, at a nanoscale).
The third important outcome of our work is a fully functional code for realistic numerical modelling of the erosion of a sandstone and similar materials. Our numerical modelling completely affirmed the earlier suggested hypothesis that the formation and selfbalancing of massive geostructures is conditioned by the negative feedback between stress and erosion. Therefore, our results provide the researchers with quantitative instruments for realistic modelling of physically admissible eroded shapes. This can be a helpful instrument, for example, for the analysis of geostructures found on Mars, where eroded sandstone structures are ubiquitous.
Concluding remarks
In this work, we tried to develop an exciting idea of a negative feedback between stress and erosion, present in sandstonelike materials, offered in^{2}. This has resulted in a number of interesting findings. We have shown that under a set of physically meaningful conditions natural erosion works as a hardkill method of shape optimisation. It was demonstrated that the criterion linking stress and erosion, which originates from the fundamental laws of dry friction, leads us to a conclusion that erosion leads to local minimisation of the elastic strain energy of the resulting structure. We have shown that in spite of the stochastic nature the results of the erosion process can be modeled with deterministic shape optimisation approaches. We conclude that the local energy minimisation is nothing but a manifestation of principle of minimum potential energy. Our results provide the researchers with quantitative instruments for realistic modelling of physically admissible eroded shapes.
Methods
Numerical modelling of natural erosion
As a baseline of our numerical modelling technique, we utilize SIMP (Solid Isotropic Material with Penalization) scheme of stiffness interpolation in the discretized domain^{10,13}. At every iteration of the optimisation process, the problem is represented as a regular two or threedimensional mesh of finite elements with varying densities. In our case, we allow for variation of densities only in the vicinity of the surface, which is defined as an interface between elements with zero and nonzero densities. Such formulation imitates the surface erosion, that can cause only a limited class of topology changes, and reliably excludes numerical artifacts inherent to “hardkill” optimisation methods^{14}.
The model utilizes finite element method (FEM) modelling of the elastic behavior of a sandstone. Every ith finite element of an initial domain has the associated density ρ _{ i } ∈ [0, 1]; at the initial moment of the simulation all the ρ _{ i } = 1. Gravitational body force with the magnitude g · D · ρ _{ i } is applied to every finite element (D is specific gravity of the sandstone).
The elastic properties of ith finite element are described in terms of its Young’s modulus E _{ i } and Poisson’s ratio ν _{ i }. The latter does not depend on the element density; a relationship between Young’s modulus of ith finite element E _{ i } and its density ρ _{ i } is given by:
where E _{max}, E _{min} are minimum and maximum admissible Young’s moduli, p is the parameter of penalization. Maximum modulus E _{max} corresponds to actual modulus of a sandstone, E _{min} is taken to be very small, but nonzero, in order to avoid singularities when manipulating with FEM stiffness matrices.
The erosion of the material occurs only in the elements in the vicinity of the surface. Within our approach, an element is considered to be a surface element if it has nonzero density and at least one of its neighbours has zero density. Two elements are considered to be neighbours if the distance between their centers does not exceed R _{ c }, which corresponds to few sizes of a finite element.
The density distribution ρ _{ i } at n + 1th time step for ith element is defined as follows:
where θ ∈ [0, 1], σ _{ c }  critical value of the stress trace function.
It is known that the discretizations with intermediate densities often lead to certain numerical difficulties, such as checkerboard instabilities and mesh dependency of the solution^{14}. In order to avoid these, we use the approach based on density filtering: when computing mechanical characteristics according to (8), the density ρ is replaced with the filtered density $\overline{\rho}$. Filtering operation performs weighted averaging over neighboring elements, as described in^{15}.
The algorithm described above is implemented in ABAQUS^{16} using the modification of the structural topology optimisation plugin, UOPTI, developed previously^{17}.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Change history
Correction 13 April 2018
A correction to this article has been published and is linked from the HTML and PDF versions of this paper. The error has not been fixed in the paper.
References
 1.
Turkington, A. V. & Paradise, T. R. Sandstone weathering: a century of research and innovation. Geomorphology 67, 229–253 (2005).
 2.
Bruthans, J. et al. Sandstone landforms shaped by negative feedback between stress and erosion. Nature Geosci. 7, 597–601 (2014).
 3.
Young, R. W., Wray, R. A. L. & Young, A. R. M. Sandstone Landforms (Cambridge Univ. Press, 2009).
 4.
Loope, D. B. & Mason, J. A. Wind erosion of the winddeposited Navajo Sandstone, USA. Geology Today 25, 65–70 (2009).
 5.
Tuller, S. & Brett, A. The characteristics of wind velocity that favor the fitting of a Weibull distribution in wind speed analysis. J. Appl. Meteorol. 23, 124–134 (1984).
 6.
Xie, Y. & Steven, G. A simple evolutionary procedure of strucutral optimization. Computers and Structures 49(5), 885–896 (1993).
 7.
Xie, Y. M. & Steven, G. P. Evolutionary Structural Optimization (Springer, 1997).
 8.
Querin, O., Steven, G. & Xie, Y. Evolutionary structural optimisation (ESO) using a bidirectional algorithm. Engineering Computations 15(8), 1031–1048 (1998).
 9.
Novotny, A., Feijoo, R., Taroco, E. & Padra, C. Topological sensitivity anal ysis for threedimensional linear elasticity problem. Computational Methods in Applied Mechanics and Engineering 196, 4354–4364 (2007).
 10.
Zhou, M. & Rozvany, G. The COC algorithm, Part II: topological, geometrical and generalized shape optimization. Computer Methods in Applied Mechanics and Engineering 89, 309–336 (1991).
 11.
Osserman, R. How the Gateway Arch Got its Shape. Nexus Network Journal 12, 167–189 (2010).
 12.
Osserman, R. Mathematics of the Gateway Arch. Notices of the AMS 57, 220–229 (2010).
 13.
Bendsoe, M. & Sigmund, O. Topology Optimization: Theory, Methods, and Applications, (Springer Science and Business Media, Heidelberg, 2003).
 14.
Sigmund, O. & Petersson, J. Numerical instabilities in topology optimization: A survey on procedures dealing with checkerboards, meshdependencies and local minima. Struct. Optim. 16, 68–75 (1998).
 15.
Sigmund, O. A 99 line topology optimization code written in Matlab. Struct. Multidisc. Optim. 21, 120–127 (2001).
 16.
Abaqus Analysis User Manual, Version 6.14. http://www.3ds.com/productsservices/ (2014).
 17.
Safonov, A. A. & Fedulov, B. N. Universal Optimization Software UOPTI. http://uopti.com/.
Acknowledgements
Authors gratefully acknowledge the financial support from Russian National Foundation under the grant 151100033. Igor Ostanin acknowledges the additional support from Russian Foundation for Basic Research under grant 163160100.
Author information
Affiliations
Center for Computational and DataIntensive Science and Engineering, Skolkovo Institute of Science and Technology, Moscow, Russia
 Igor Ostanin
 & Ivan Oseledets
Center for Design, Manufacturing and Materials, Skolkovo Institute of Science and Technology, Moscow, Russia
 Alexander Safonov
Authors
Search for Igor Ostanin in:
Search for Alexander Safonov in:
Search for Ivan Oseledets in:
Contributions
I. Ostanin suggested the idea of natural shape optimisation by the erosion, and drafted a theoretical proof of the hypothesis of minimisation of strain energy by the erosion. He prepared most of the submitted manuscript. A. Safonov performed all the numerical simulations presented in the manuscript. I. Oseledets provided guidance, administrative and managerial support of the project.
Competing Interests
The authors declare that they have no competing interests.
Corresponding author
Correspondence to Igor Ostanin.
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.