Warm water deuterium fractionation in IRAS 16293-2422 - The high-resolution ALMA and SMA view

Measuring the water deuterium fractionation in the inner warm regions of low-mass protostars has so far been hampered by poor angular resolution obtainable with single-dish ground- and space-based telescopes. Observations of water isotopologues using (sub)millimeter wavelength interferometers have the potential to shed light on this matter. Observations toward IRAS 16293-2422 of the 5(3,2)-4(4,1) transition of H2-18O at 692.07914 GHz from Atacama Large Millimeter/submillimeter Array (ALMA) as well as the 3(1,3)-2(2,0) of H2-18O at 203.40752 GHz and the 3(1,2)-2(2,1) transition of HDO at 225.89672 GHz from the Submillimeter Array (SMA) are presented. The 692 GHz H2-18O line is seen toward both components of the binary protostar. Toward one of the components, "source B", the line is seen in absorption toward the continuum, slightly red-shifted from the systemic velocity, whereas emission is seen off-source at the systemic velocity. Toward the other component, "source A", the two HDO and H2-18O lines are detected as well with the SMA. From the H2-18O transitions the excitation temperature is estimated at 124 +/- 12 K. The calculated HDO/H2O ratio is (9.2 +/- 2.6)*10^(-4) - significantly lower than previous estimates in the warm gas close to the source. It is also lower by a factor of ~5 than the ratio deduced in the outer envelope. Our observations reveal the physical and chemical structure of water vapor close to the protostars on solar-system scales. The red-shifted absorption detected toward source B is indicative of infall. The excitation temperature is consistent with the picture of water ice evaporation close to the protostar. The low HDO/H2O ratio deduced here suggests that the differences between the inner regions of the protostars and the Earth's oceans and comets are smaller than previously thought.Comment: Accepted for publication in Astronomy & Astrophysic

The deuterium fractionation of water on solar-system scales in deeply-embedded low-mass protostars

(Abridged) The water deuterium fractionation (HDO/H$_2$O abundance ratio) has traditionally been used to infer the amount of water brought to Earth by comets. Measuring this ratio in deeply-embedded low-mass protostars makes it possible to probe the critical stage when water is transported from clouds to disks in which icy bodies are formed. We present sub-arcsecond resolution observations of HDO in combination with H$_2^{18}$O from the PdBI toward the three low-mass protostars NGC 1333-IRAS 2A, IRAS 4A-NW, and IRAS 4B. The resulting HDO/H$_2$O ratio is $7.4\pm2.1\times10^{-4}$ for IRAS 2A, $19.1\pm5.4\times10^{-4}$ for IRAS 4A-NW, and $5.9\pm1.7\times10^{-4}$ for IRAS 4B. Derived ratios agree with radiative transfer models within a factor of 2-4 depending on the source. Our HDO/H$_2$O ratios for the inner regions (where $T>100$ K) of four young protostars are only a factor of 2 higher than those found for pristine, solar system comets. These small differences suggest that little processing of water occurs between the deeply embedded stage and the formation of planetesimals and comets.Comment: 10 pages, 6 figures, accepted for publication in Astronomy and Astrophysic

Subarcsecond resolution observations of warm water towards three deeply embedded low-mass protostars

Water is present during all stages of star formation: as ice in the cold outer parts of protostellar envelopes and dense inner regions of circumstellar disks, and as gas in the envelopes close to the protostars, in the upper layers of circumstellar disks and in regions of powerful outflows and shocks. In this paper we probe the mechanism regulating the warm gas-phase water abundance in the innermost hundred AU of deeply embedded (Class~0) low-mass protostars, and investigate its chemical relationship to other molecular species during these stages. Millimeter wavelength thermal emission from the para-H2-18O 3(1,3)-2(2,0) (Eu=203.7 K) line is imaged at high angular resolution (0.75"; 190 AU) with the IRAM Plateau de Bure Interferometer towards the deeply embedded low-mass protostars NGC 1333-IRAS2A and NGC 1333-IRAS4A. Compact H2-18O emission is detected towards IRAS2A and one of the components in the IRAS4A binary; in addition CH3OCH3, C2H5CN, and SO2 are detected. Extended water emission is seen towards IRAS2A, possibly associated with the outflow. The detections in all systems suggests that the presence of water on <100 AU scales is a common phenomenon in embedded protostars. We present a scenario in which the origin of the emission from warm water is in a flattened disk-like structure dominated by inward motions rather than rotation. The gas-phase water abundance varies between the sources, but is generally much lower than a canonical abundance of 10^-4, suggesting that most water (>96 %) is frozen out on dust grains at these scales. The derived abundances of CH3OCH3 and SO2 relative to H2-18O are comparable for all sources pointing towards similar chemical processes at work. In contrast, the C2H5CN abundance relative to H2-18O is significantly lower in IRAS2A, which could be due to different chemistry in the sources.Comment: 12 pages, 9 figure

On C*-algebras generated by pairs of q-commuting isometries

We consider the C*-algebras O_2^q and A_2^q generated, respectively, by isometries s_1, s_2 satisfying the relation s_1^* s_2 = q s_2 s_1^* with |q| < 1 (the deformed Cuntz relation), and by isometries s_1, s_2 satisfying the relation s_2 s_1 = q s_1 s_2 with |q| = 1. We show that O_2^q is isomorphic to the Cuntz-Toeplitz C*-algebra O_2^0 for any |q| < 1. We further prove that A_2^{q_1} is isomorphic to A_2^{q_2} if and only if either q_1 = q_2 or q_1 = complex conjugate of q_2. In the second part of our paper, we discuss the complexity of the representation theory of A_2^q. We show that A_2^q is *-wild for any q in the circle |q| = 1, and hence that A_2^q is not nuclear for any q in the circle.Comment: 18 pages, LaTeX2e "article" document class; submitted. V2 clarifies the relationships between the various deformation systems treate

Automated translation of VDM-SL to JML-annotated Java

When a system specified using the Vienna Development Method (VDM) is realised using code-generation, no guarantees are currently made about the correctness of the generated code. In this technical report, we improve code-generation of  VDM models by taking contract-based elements such as invariants and pre- and postconditions into account during the code-generation process. The contract-based elements of the Vienna Development Method Specification Language (VDM-SL) are translated into corresponding constructs in the Java Modelling Language (JML) and used to validate the generated code against the properties of the VDM model. VDM-SL and JML are both Design-by-Contract (DbC) languages, with the difference that VDM-SL supports abstract modelling and system specification, while JML is used for detailed specification of Java classes and interfaces. We describe the semantic differences between the contract-based elements of VDM-SL and JML and formulate the translation as a set of rules. We further demonstrate how dynamic JML assertion checks can be used to ensure the consistency of VDM’s subtypes when a model is code-generated. The translator is fully automated and produces JML-annotated Java programs that can be checked for correctness using JML tools. Specifically, it is shown how such analysis can be performed using the OpenJML runtime assertion checker. The translation is demonstrated using a case study example of an Automated Teller Machine and several other VDM-SL models, which have been used to validate and asses the translation

Enhancing System Realisation in Formal Model Development

Software for mission-critical systems is sometimes analysed using formal specification to increase the chances of the system behaving as intended. When sufficient insights into the system have been obtained from the formal analysis, the formal specification is realised in the form of a software implementation. One way to realise the system's software is by automatically generating it from the formal specification -- a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code -- especially while requiring automation of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration of formal methods tools into the software development life cycle, and which leverage the formal specification in the subsequent validation of the system. The tools developed use a new code generation infrastructure that has been built as part of this PhD project and implemented in the Overture tool -- a formal methods tool that supports the Vienna Development Method. The development of the code generation infrastructure has involved the re-design of the software architecture of Overture. The new architecture brings forth the reuse and extensibility features of Overture to take into account the needs and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using it

Desulfotomaculum arcticum sp nov., a novel spore-formin, moderately thermophilic, sulfate-reducing bacterium isolated from a permanently cold fjord sediment of Svalbard

Strain 15T is a novel spore-forming, sulfate-reducing bacterium isolated from a permanently cold fjord sediment of Svalbard. Sulfate could be replaced by sulfite or thiosulfate. Hydrogen, formate, lactate, propionate, butyrate, hexanoate, methanol, ethanol, propanol, butanol, pyruvate, malate, succinate, fumarate, proline, alanine and glycine were used as electron donors in the presence of sulfate. Growth occurred with pyruvate as sole substrate. Optimal growth was observed at pH 7·1–7·5 and concentrations of 1–1·5 % NaCl and 0·4 % MgCl2. Strain 15T grew between 26 and 46·5 °C and optimal growth occurred at 44 °C. Therefore, strain 15T apparently cannot grow at in situ temperatures of Arctic sediments from where it was isolated, and it was proposed that it was present in the sediment in the form of spores. The DNA G+C content was 48·9 mol%. Strain 15T was most closely related to Desulfotomaculum thermosapovorans MLFT (93·5 % 16S rRNA gene sequence similarity). Strain 15T represents a novel species, for which the name Desulfotomaculum arcticum sp. nov. is proposed. The type strain is strain 15T (=DSM 17038T=JCM 12923T)

Acetate, lactate, propionate, and isobutyrate as electron donors for iron and sulfate reduction in Arctic marine sediments, Svalbard

The contribution of volatile fatty acids (VFA) as e–-donors for anaerobic terminal oxidation of organic carbon through iron and sulfate reduction was studied in Arctic fjord sediment. Dissolved inorganic carbon, Fe2+, VFA concentrations, and sulfate reduction were monitored in slurries from the oxidized (0–2 cm) and the reduced (5–9 cm) zone. In the 0–2 cm layer, 2/3 of the mineralization could be attributed to sulfate reduction and 1/3 to iron reduction. In the 5–9 cm layer, sulfate reduction was the sole mineralization process. Acetate and lactate turnover rates were measured by radiotracer. Inhibition of sulfate reduction with selenate resulted in the accumulation of acetate, propionate, and isobutyrate. The acetate turnover rates determined by radiotracer and accumulation after inhibition were similar. VFA turnover accounted for 21% and 52% of the mineralization through sulfate reduction in the 0–2 and 5–9 cm layer, respectively. Acetate and lactate turnover in the inhibited 0–2 cm slurry was attributed to iron reduction and accounted for 10% and 2% of the iron reduction. Therefore, 88% and 79% of the iron and sulfate reduction in the 0–2 cm layer, respectively, must be fueled by alternative e−-donors. The accumulation of VFA in the selenate–inhibited 0–2 cm slurry did not enhance iron reduction, indicating that iron reducers were not limited by VFA availability

Filamentous bacteria inhabiting the sheaths of marine Thioploca spp. on the Chilean continental shelf

A new component of the benthic Thioploca mat microbial ecosystem on the Chilean continental shelf was detected by epifluorescence microscopy: filamentous, bacterial endobionts of 4–5-μm filament diameter and length sometimes exceeding 1 mm. These filaments were identified as growing within Thioploca sheaths located between the sediment surface and c. 5 cm depth. Their location coincided with maximal biomass and biovolume of Thioploca filaments in surficial sediments, and with maximal abundance and activity of sulfate-reducing bacterial populations near the sediment/water interface. FISH and environmental characteristics support the working hypothesis that these endobiont populations are members of the filamentous, sulfate-reducing bacterial genus Desulfonema. Found at several sampling stations over a decade-long interval (1994–2006), these populations appear to be a stable component of the Chilean Thioploca mat ecosystem