62 research outputs found

    Impact of high CO2 on the geochemistry of the coralline algae Lithothamnion glaciale

    Get PDF
    Coralline algae are a significant component of the benthic ecosystem. Their ability to withstand physical stresses in high energy environments relies on their skeletal structure which is composed of high Mg-calcite. High Mg-calcite is, however, the most soluble form of calcium carbonate and therefore potentially vulnerable to the change in carbonate chemistry resulting from the absorption of anthropogenic CO2 by the ocean. We examine the geochemistry of the cold water coralline alga Lithothamnion glaciale grown under predicted future (year 2050) high pCO2 (589 μatm) using Electron microprobe and NanoSIMS analysis. In the natural and control material, higher Mg calcite forms clear concentric bands around the algal cells. As expected, summer growth has a higher Mg content compared to the winter growth. In contrast, under elevated CO2 no banding of Mg is recognisable and overall Mg concentrations are lower. This reduction in Mg in the carbonate undermines the accuracy of the Mg/Ca ratio as proxy for past temperatures in time intervals with significantly different carbonate chemistry. Fundamentally, the loss of Mg in the calcite may reduce elasticity thereby changing the structural properties, which may affect the ability of L. glaciale to efficiently function as a habitat former in the future ocean

    Automatic Generation of Invariants for Circular Derivations in {SUP(LA)} 1

    Get PDF
    The hierarchic combination of linear arithmetic and firstorder logic with free function symbols, FOL(LA), results in a strictly more expressive logic than its two parts. The SUP(LA) calculus can be turned into a decision procedure for interesting fragments of FOL(LA). For example, reachability problems for timed automata can be decided by SUP(LA) using an appropriate translation into FOL(LA). In this paper, we extend the SUP(LA) calculus with an additional inference rule, automatically generating inductive invariants from partial SUP(LA) derivations. The rule enables decidability of more expressive fragments, including reachability for timed automata with unbounded integer variables. We have implemented the rule in the SPASS(LA) theorem prover with promising results, showing that it can considerably speed up proof search and enable termination of saturation for practically relevant problems

    A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

    Get PDF
    We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two transformations turn any system of linear mixed constraints into a bounded system, i.e., a system for which termination can be achieved easily. Existing approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from proofs, only explore a finite search space after application of our two transformations. Instead of generating a priori bounds for the variables, e.g., as suggested by Papadimitriou, unbounded variables are eliminated through the two transformations. The transformations orient themselves on the structure of an input system instead of computing a priori (over-)approximations out of the available constants. Experiments provide further evidence to the efficiency of the transformations in practice. We also present a polynomial method for converting certificates of (un)satisfiability from the transformed to the original system

    Dietary effects on multi-element composition of European eel (Anguilla anguilla) otoliths

    Get PDF
    Otolith microchemistry is widely used as a tool to track individual migration pathways of diadromous fish under the assumption that the elemental composition of fish otoliths is directly influenced by the physicochemical properties of the surrounding water. Nevertheless, several endogenous factors are reported to affect element incorporation into fish otoliths and might lead to misinterpretations of migration studies. This study experimentally examined the influence of eight different diets on the microchemical composition of European eel (Anguilla anguilla) otoliths using laser ablation inductively coupled plasma mass spectrometry (LA-ICP-MS). Seven natural prey types and one artificial diet were fed during 8 weeks in freshwater circuits. Results show for the first time that food has no significant influence on the incorporation of Na, Sr, Ba, Mg, Mn, Cu and Y into European eel otoliths. This indicates that the incorporation of elements usually chosen for migration studies is not affected by diet and that individual feeding behaviour of A. anguilla will not lead to any misinterpretation of migration pathways

    Calcium isotope (δ<sup>44/40</sup>Ca ) variations of Neogene planktonic foraminifera

    Get PDF
    Measurements of the calcium isotopic composition (δ44/40Ca) of planktonic foraminifera from the western equatorial Pacific and the Indian sector of the Southern Ocean show variations of about 0.6‰ over the past 24 Myr. The stacked δ44/40Ca record of Globigerinoides trilobus and Globigerina bulloides indicates a minimum in δ44/40Casw (seawater calcium) at 15 to 16 Ma and a subsequent general increase toward the present, interrupted by a second minimum at 3 to 5 Ma. Applying a coupled calcium/carbon cycle model, we find two scenarios that can explain a large portion of the observed δ44/40Casw variations. In both cases, variations in the Ca input flux to the ocean without proportional changes in the carbonate flux are invoked. The first scenario increases the riverine calcium input to the ocean without a proportional increase of the carbonate flux. The second scenario generates an additional calcium flux from the exchange of Ca by Mg during dolomitization. In both cases the calcium flux variations lead to drastic changes in the seawater Ca concentrations on million year timescales. Our δ44/40Casw record therefore indicates that the global calcium cycle may be much more dynamic than previously assumed

    Selected isotope ratio measurements of light metallic elements (Li, Mg, Ca, and Cu) by multiple collector ICP-MS

    Get PDF
    The unique capabilities of multiple collector inductively coupled mass spectrometry (MC-ICP-MS) for high precision isotope ratio measurements in light elements as Li, Mg, Ca, and Cu are reviewed in this paper. These elements have been intensively studied at the Geological Survey of Israel (GSI) and other laboratories over the past few years, and the methods used to obtain high precision isotope analyses are discussed in detail. The scientific study of isotopic fractionation of these elements is significant for achieving a better understanding of geochemical and biochemical processes in nature and the environment

    Boron isotopes in foraminifera : systematics, biomineralisation, and CO2 reconstruction

    Get PDF
    Funding: Fellowship from University of St Andrews, $100 (pending) from Richard Zeebe, UK NERC grants NE/N003861/1 and NE/N011716/1.The boron isotope composition of foraminifera provides a powerful tracer for CO2 change over geological time. This proxy is based on the equilibrium of boron and its isotopes in seawater, which is a function of pH. However while the chemical principles underlying this proxy are well understood, its reliability has previously been questioned, due to the difficulty of boron isotope (δ11B) analysis on foraminferal samples and questions regarding calibrations between δ11B and pH. This chapter reviews the current state of the δ11B-pH proxy in foraminfera, including the pioneering studies that established this proxy’s potential, and the recent work that has improved understanding of boron isotope systematics in foraminifera and applied this tracer to the geological record. The theoretical background of the δ11B-pH proxy is introduced, including an accurate formulation of the boron isotope mass balance equations. Sample preparation and analysis procedures are then reviewed, with discussion of sample cleaning, the potential influence of diagenesis, and the strengths and weaknesses of boron purification by column chromatography versus microsublimation, and analysis by NTIMS versus MC-ICPMS. The systematics of boron isotopes in foraminifera are discussed in detail, including results from benthic and planktic taxa, and models of boron incorporation, fractionation, and biomineralisation. Benthic taxa from the deep ocean have δ11B within error of borate ion at seawater pH. This is most easily explained by simple incorporation of borate ion at the pH of seawater. Planktic foraminifera have δ11B close to borate ion, but with minor offsets. These may be driven by physiological influences on the foraminiferal microenvironment; a novel explanation is also suggested for the reduced δ11B-pH sensitivities observed in culture, based on variable calcification rates. Biomineralisation influences on boron isotopes are then explored, addressing the apparently contradictory observations that foraminifera manipulate pH during chamber formation yet their δ11B appears to record the pH of ambient seawater. Potential solutions include the influences of magnesium-removal and carbon concentration, and the possibility that pH elevation is most pronounced during initial chamber formation under favourable environmental conditions. The steps required to reconstruct pH and pCO2 from δ11B are then reviewed, including the influence of seawater chemistry on boron equilibrium, the evolution of seawater δ11B, and the influence of second carbonate system parameters on δ11B-based reconstructions of pCO2. Applications of foraminiferal δ11B to the geological record are highlighted, including studies that trace CO2 storage and release during recent ice ages, and reconstructions of pCO2 over the Cenozoic. Relevant computer codes and data associated with this article are made available online.Publisher PDFPeer reviewe

    Evaluation strategies for isotope ratio measurements of single particles by LA-MC-ICPMS

    Get PDF
    Data evaluation is a crucial step when it comes to the determination of accurate and precise isotope ratios computed from transient signals measured by multi-collector–inductively coupled plasma mass spectrometry (MC-ICPMS) coupled to, for example, laser ablation (LA). In the present study, the applicability of different data evaluation strategies (i.e. ‘point-by-point’, ‘integration’ and ‘linear regression slope’ method) for the computation of (235)U/(238)U isotope ratios measured in single particles by LA-MC-ICPMS was investigated. The analyzed uranium oxide particles (i.e. 9073-01-B, CRM U010 and NUSIMEP-7 test samples), having sizes down to the sub-micrometre range, are certified with respect to their (235)U/(238)U isotopic signature, which enabled evaluation of the applied strategies with respect to precision and accuracy. The different strategies were also compared with respect to their expanded uncertainties. Even though the ‘point-by-point’ method proved to be superior, the other methods are advantageous, as they take weighted signal intensities into account. For the first time, the use of a ‘finite mixture model’ is presented for the determination of an unknown number of different U isotopic compositions of single particles present on the same planchet. The model uses an algorithm that determines the number of isotopic signatures by attributing individual data points to computed clusters. The (235)U/(238)U isotope ratios are then determined by means of the slopes of linear regressions estimated for each cluster. The model was successfully applied for the accurate determination of different (235)U/(238)U isotope ratios of particles deposited on the NUSIMEP-7 test samples. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00216-012-6674-3) contains supplementary material, which is available to authorized users
    • …
    corecore