Tectonics, volcanism, landscape structure and human evolution in the African Rift

Tectonic movements and volcanism in the African Rift have usually been considered of relevance to human evolution only at very large geographical and chronological scales, principally in relation to longterm topographic and climatic variation at the continental scale. At the more loca1 scale of catchment basins and individual sites, tectonic features are generally considered to be at worst disruptive and at best incidental features enhancing the preservation and exposure of early sites. We demonstrate that recent lava flows and fault scarps in a tectonically active region create a distinctive landscape structure with a complex and highly differentiated topography of enclosures, barriers and fertile basins. This landscape structure has an important potential impact on the co-evolution of prey-predator interactions and on interspecific relationships more generally. In particular, we suggest that it would have offered unique opportunities for the development of a hominid niche characterised by bipedalism, meat-eating and stone tool use. These landscape features are best appreciated by looking at areas which today have rapid rates of tectonic movement and frequent volcanic activity, as in eastern Afar and Djibouti. These provide a better analogy for the Plio-Pleistocene environments occupied by early hominids than the present-day landscapes where their fossil remains and artefacts have been discovered. The latter areas are now less active than was the case when the sites were formed. They have also been radically transfomed by ongoing geomorphological processes in the intervening millennia. Thus, previous attempts to reconstruct the local landscape setting adjacent to these early hominid sites necessarily rely on limited geological windows into the ancient land surface and thus tend to filter out small-scale topographic detail because it cannot be reliably identified. It is precisely this local detail that we consider to be of importance in understanding the environmental contribution to co-evolutionary developments

Chronology for climate change: Developing age models for the biogeochemical ocean flux study cores

We construct age models for a suite of cores from the northeast Atlantic Ocean by means of accelerator mass spectrometer dating of a key core, BOFS 5K, and correlation with the rest of the suite. The effects of bioturbation and foraminiferal species abundance gradients upon the age record are modeled using a simple equation. The degree of bioturbation is estimated by comparing modeled profiles with dispersal of the Vedde Ash layer in core 5K, and we find a mixing depth of roughly 8 cm for sand-sized material. Using this value, we estimate that age offsets between unbioturbated sediment and some foraminifera species after mixing may be up to 2500 years, with lesser effect on fine carbonate (<10 mu m) ages. The bioturbation model illustrates problems associated with the dating of ''instantaneous'' events such as ash layers and the ''Heinrich'' peaks of ice-rafted detritus. Correlations between core 5K and the other cores from the BOFS suite are made on the basis of similarities in the downcore profiles of oxygen and carbon isotopes, magnetic susceptibility, water and carbonate content, and via marker horizons in X radiographs and ash beds

On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov\u27s Principle in First-Order Logic and Arithmetic

Intuitionistic first-order logic extended with a restricted form of Markov\u27s principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study intuitionistic first-order logic extended with unrestricted Markov\u27s principle. Starting from classical natural deduction, we restrict the excluded middle and we obtain a natural deduction system and a parallel Curry-Howard isomorphism for the logic. We show that proof terms for existentially quantified formulas reduce to a list of individual terms representing all possible witnesses. As corollary, we derive that the logic is Herbrand constructive: whenever it proves any existential formula, it proves also an Herbrand disjunction for the formula. Finally, using the techniques just introduced, we also provide a new computational interpretation of Arithmetic with Markov\u27s principle

Incremental growth of normal faults: Insights from a laser-equipped analog experiment

International audienceWe conducted a laser-equipped analog experiment aimed at quasi-continuously monitoring the growth of a dense population of normal faults in homogeneous conditions. To further understand the way geological faults progressively gain in slip and length as they accumulate more strain, we measured with great precision the incremental slip and length changes that the analog faults sustain as they grow. These measurements show that the analog faults share common features with the natural ones. In particular, during their growth, the faults develop and maintain cumulative slip profiles that are generally triangular and asymmetric. The growth takes place through two distinct phases: an initial, short period of rapid lateral lengthening, followed by a longer phase of slip accumulation with little or no lengthening. The incremental slip is found to be highly variable in both space (along the faults) and time, resulting in variable slip rates. In particular, ‘short- and long-term' slip rates are markedly different. We also find that slip measurements at local points on fault traces do not contain clear information on the slip increment repeat mode. Finally, while the fault growth process is highly heterogeneous when considered at the scale of a few slip events, it appears homogeneous and self-similar at longer time scales which integrate many slip increments. This is likely to be the result of a feedback between stress heterogeneities and slip development. The long-term scale homogeneity also implies that the long-term faulting process is primarily insensitive to the short-term heterogeneities that are rapidly smoothed or redistributed. We propose a new conceptual scenario of fault growth that integrates the above observations and we suggest that faults grow in a bimodal way as a result of a self-driven and self-sustaining process

Location of largest earthquake slip and fast rupture controlled by along-strike change in fault structural maturity due to fault growth

Earthquake slip distributions are asymmetric along strike, but the reasons for the asymmetry are unknown. We address this question by establishing empirical relations between earthquake slip profiles and fault properties. We analyze the slip distributions of 27 large continental earthquakes in the context of available information on their causative faults, in particular on the directions of their long-term lengthening. We find that the largest slips during each earthquake systematically occurred on that half of the ruptured fault sections most distant from the long-term fault propagating tips, i.e., on the most mature half of the broken fault sections. Meanwhile, slip decreased linearly over most of the rupture length in the direction of long-term fault propagation, i.e., of decreasing structural maturity along strike. We suggest that this earthquake slip asymmetry is governed by along-strike changes in fault properties, including fault zone compliance and fault strength, induced by the evolution of off-fault damage, fault segmentation, and fault planarity with increasing structural maturity. We also find higher rupture speeds in more mature rupture sections, consistent with predicted effects of low-velocity damage zones on rupture dynamics. Since the direction(s) of long-term fault propagation can be determined from geological evidence, it might be possible to anticipate in which direction earthquake slip, once nucleated, may increase, accelerate, and possibly lead to a large earthquake. Our results could thus contribute to earthquake hazard assessment and Earthquake Early Warning

Segmentation of Fault Networks Determined from Spatial Clustering of Earthquakes

We present a new method of data clustering applied to earthquake catalogs, with the goal of reconstructing the seismically active part of fault networks. We first use an original method to separate clustered events from uncorrelated seismicity using the distribution of volumes of tetrahedra defined by closest neighbor events in the original and randomized seismic catalogs. The spatial disorder of the complex geometry of fault networks is then taken into account by defining faults as probabilistic anisotropic kernels, whose structures are motivated by properties of discontinuous tectonic deformation and previous empirical observations of the geometry of faults and of earthquake clusters at many spatial and temporal scales. Combining this a priori knowledge with information theoretical arguments, we propose the Gaussian mixture approach implemented in an Expectation-Maximization (EM) procedure. A cross-validation scheme is then used and allows the determination of the number of kernels that should be used to provide an optimal data clustering of the catalog. This three-steps approach is applied to a high quality relocated catalog of the seismicity following the 1986 Mount Lewis ($M_l=5.7$) event in California and reveals that events cluster along planar patches of about 2 km$^2$, i.e. comparable to the size of the main event. The finite thickness of those clusters (about 290 m) suggests that events do not occur on well-defined euclidean fault core surfaces, but rather that the damage zone surrounding faults may be seismically active at depth. Finally, we propose a connection between our methodology and multi-scale spatial analysis, based on the derivation of spatial fractal dimension of about 1.8 for the set of hypocenters in the Mnt Lewis area, consistent with recent observations on relocated catalogs

Damage in step-overs may enable large cascading earthquakes

Seismic hazard analysis relies on the ability to predict whether an earthquake will terminate at a fault tip or propagate onto adjacent faults, cascading into a larger, more devastating event. While ruptures are expected to arrest at fault discontinuities larger than 4–5 km, scientists are often puzzled by much larger rupture jumps. Here we show that material properties between faults significantly affect the ability to arrest propagating ruptures. Earthquake simulations accounting for fault step-over zones weakened by accumulated damage provide new insights into rupture propagation. Revealing that lowered rigidity and material interfaces promote rupture propagation, our models show for the first time that step-overs as wide as 10 km may not constitute effective earthquake barriers. Our results call for re-evaluation of seismic hazard analyses that predict rupture length and earthquake magnitude based on historic records and fault segmentation models

Ethik, Ökonomie und faire Preise – Eine explorative Analyse der Wirkungszusammenhänge im Schweizer Baugewerbe

This thesis examines the extent to which ethics in the form of an Ethics Management System (EMS) can support construction economics in fair pricing. A critical review of the literature on ethics, economics, and pricing management in the Swiss construction industry reveals that the economic market mechanism is unable to ensure fair pricing due to legal circumstances. Addressing this failure, this thesis focuses on how an EMS could secure price fairness between builders, construction service providers, and planners. This focus is achieved by addressing the current knowledge gap regarding causal links of an EMS on fair pricing from the perspective of public infrastructure construction projects carried out according to strict legal requirements. The research takes the form of an exploratory analysis, focusing on stakeholders of the aforementioned industry, using a qualitative methodology that involves face-to-face, semi-structured interviews with 26 construction industry experts in the German-speaking part of Switzerland and southern Germany between November 2019 and March 2020. However, to obtain a holistic view of the current situation, this exploratory analysis includes four other stakeholder groups such as the legal sector, education, building associations, and the media, in addition to the main players such as builders, construction service providers, and planners. This research project investigates what problems and difficulties these stakeholders perceive, how they define a fair price, and whether they comprehend the pricing process as fair. Furthermore, how ethics are sensed and how ethics are experienced and lived in everyday life. The evaluation revealed a uniform definition of price fairness among all experts. However, builders postulate the insufficient quality and costly claim management. Contractors and planners, on the other hand, complain about the low-price level and deadline pressure. Other stakeholder groups criticise the lack of empathy and the one-sided technical-process-oriented training of the construction service providers. The thesis presents a new understanding of how an EMS could unite the interests of these stakeholder groups and bring about price fairness beyond the market mechanism, to achieve the greatest possible profit for all parties involved

Two Applications of Logic Programming to Coq

The logic programming paradigm provides a flexible setting for representing, manipulating, checking, and elaborating proof structures. This is particularly true when the logic programming language allows for bindings in terms and proofs. In this paper, we make use of two recent innovations at the intersection of logic programming and proof checking. One of these is the foundational proof certificate (FPC) framework which provides a flexible means of defining the semantics of a range of proof structures for classical and intuitionistic logic. A second innovation is the recently released Coq-Elpi plugin for Coq in which the Elpi implementation of ?Prolog can send and retrieve information to and from the Coq kernel. We illustrate the use of both this Coq plugin and FPCs with two example applications. First, we implement an FPC-driven sequent calculus for a fragment of the Calculus of Inductive Constructions and we package it into a tactic to perform property-based testing of inductive types corresponding to Horn clauses. Second, we implement in Elpi a proof checker for first-order intuitionistic logic and demonstrate how proof certificates can be supplied by external (to Coq) provers and then elaborated into the fully detailed proof terms that can be checked by the Coq kernel

Icebergs in the North Atlantic: Modelling circulation changes and glacio-marine deposition

In order to investigate meltwater events in the North Atlantic, a simple iceberg generation, drift, and melting routine was implemented in a high-resolution OGCM. Starting from the modelled last glacial state, every 25th day cylindrical model icebergs 300 meters high were released at 32 specific points along the coasts. Icebergs launched at the Barents Shelf margin spread a light meltwater lid over the Norwegian and Greenland Seas, shutting down the deep convection and the anti-clockwise circulation in this area. Due to the constraining ocean circulation, the icebergs produce a tongue of relatively cold and fresh water extending eastward from Hudson Strait that must develop at this location, regardless of iceberg origin. From the total amount of freshwater inferred by the icebergs, the thickness of the deposited IRD could be calculated in dependance of iceberg sediment concentration. In this way, typical extent and thickness of Heinrich layers could be reproduced, running the model for 250 years of steady state with constant iceberg meltwater inflow