Superposition with First-class {B}ooleans and Inprocessing Clausification

International audienceWe present a complete superposition calculus for first-order logic with an interpreted Boolean type. Our motivation is to lay the foundation for refutationally complete calculi in more expressive logics with Booleans, such as higher-order logic, and to make superposition work efficiently on problems that would be obfuscated when using clausification as preprocessing. Working directly on formulas, our calculus avoids the costly axiomatic encoding of the theory of Booleans into first-order logic and offers various ways to interleave clausification with other derivation steps. We evaluate our calculus using the Zipperposition theorem prover, and observe that, with no tuning of parameters, our approach is on a par with the state-of-the-art approach

The largest oxigen bearing organic molecule repository

We present the first detection of complex aldehydes and isomers in three typical molecular clouds located within 200pc of the center of our Galaxy. We find very large abundances of these complex organic molecules (COMs) in the central molecular zone (CMZ), which we attribute to the ejection of COMs from grain mantles by shocks. The relative abundances of the different COMs with respect to that of CH3OH are strikingly similar for the three sources, located in very different environments in the CMZ. The similar relative abundances point toward a unique grain mantle composition in the CMZ. Studying the Galactic center clouds and objects in the Galactic disk having large abundances of COMs, we find that more saturated molecules are more abundant than the non-saturated ones. We also find differences between the relative abundance between COMs in the CMZ and the Galactic disk, suggesting different chemical histories of the grain mantles between the two regions in the Galaxy for the complex aldehydes. Different possibilities for the grain chemistry on the icy mantles in the GC clouds are briefly discussed. Cosmic rays can play an important role in the grain chemistry. With these new detections, the molecular clouds in the Galactic center appear to be one of the best laboratories for studying the formation of COMs in the Galaxy.Comment: 20 pages, 4 figures, accepted in Ap

Added value of a regional coupled model: the case study for marine heatwaves in the Caribbean

There is an urgent need to improve capacity to predict marine heatwaves given their substantial negative impacts on marine ecosystems. Here we present the added value of a regional climate simulation, performed with the regional Coupled-Ocean–Atmosphere-Wave-Sediment Transport model COAWST, centered over the Caribbean – one of the first of its kind on a climatological scale. We show its added value with regards to temporal distribution of marine heatwaves, compared with state-of-the-art global models. In this region, global models tend to simulate too few heatwaves that last too long compared to the observation-based dataset of CoralTemp. The regional climate model agrees more favourably with the CoralTemp dataset, particularly in winter. While examining potential mechanisms behind the differences we find that the more realistic representation of marine heatwaves in the regional model arises from the sea surface temperatures ability to increase/decrease more quickly in the regional model than in the global model. The reason for this is two fold. Firstly, the regional model has a shallower mixed layer than the global model which results in a lower heat capacity that allows its sea surface temperatures to warm and cool more quickly. The second reason is found during days when marine heatwaves are increasing in intensity. During these days, reduced wind speeds leads to less latent heat release and a faster warming surface, more so in the regional model than in the global models.publishedVersio

DNA-Based Enzyme Reactors and Systems

Peer reviewe

A Search for Hydroxylamine (NH2OH) toward Select Astronomical Sources

Observations of 14 rotational transitions of hydroxylamine (NH2OH) using the NRAO 12 m Telescope on Kitt Peak are reported towards IRC+10216, Orion KL, Orion S, Sgr B2(N), Sgr B2(OH), W3IRS5, and W51M. Although recent models suggest the presence of NH2OH in high abundance, these observations resulted in non-detection. Upper limits are calculated to be as much as six orders of magnitude lower than predicted by models. Possible explanations for the lower than expected abundance are explored.Comment: 18 pages, 3 figures, 3 table

A search for ortho-benzyne (o-C6H4) in CRL 618

Polycyclic aromatic hydrocarbons (PAHs) have been proposed as potential carriers of the unidentified infrared bands (UIRs) and the diffuse interstellar bands (DIBs). PAHs are not likely to form by gas-phase or solid-state interstellar chemistry, but rather might be produced in the outflows of carbon-rich evolved stars. PAHs could form from acetylene addition to the phenyl radical (C6H5), which is closely chemically related to benzene (C6H6) and ortho-benzyne (o-C6H4). To date, circumstellar chemical models have been limited to only a partial treatment of benzene-related chemistry, and so the expected abundances of these species are unclear. A detection of benzene has been reported in the envelope of the proto-planetary nebula (PPN) CRL 618, but no other benzene-related species has been detected in this or any other source. The spectrum of o-C6H4 is significantly simpler and stronger than that of C6H5, and so we conducted deep Ku-, K- and Q-band searches for o-C6H4 with the Green Bank Telescope. No transitions were detected, but an upper limit on the column density of 8.4x10^13 cm^-2 has been determined. This limit can be used to constrain chemical models of PPNe, and this study illustrates the need for complete revision of these models to include the full set of benzene-related chemistry.Comment: 13 pages, 4 figures, to be published in The Astrophysical Journal Letter

CLTs and asymptotic variance of time-sampled Markov chains

For a Markov transition kernel P and a probability distribution μ on nonnegative integers, a time-sampled Markov chain evolves according to the transition kernel Pμ = Σkμ(k)Pk. In this note we obtain CLT conditions for time-sampled Markov chains and derive a spectral formula for the asymptotic variance. Using these results we compare efficiency of Barker's and Metropolis algorithms in terms of asymptotic variance

Infrared spectroscopy of solid CO-CO2 mixtures and layers

The spectra of pure, mixed and layered CO and CO2 ices have been studied systematically under laboratory conditions using infrared spectroscopy. This work provides improved resolution spectra (0.5 cm-1) of the CO2 bending and asymmetric stretching mode, as well as the CO stretching mode, extending the existing Leiden database of laboratory spectra to match the spectral resolution reached by modern telescopes and to support the interpretation of the most recent data from Spitzer. It is shown that mixed and layered CO and CO2 ices exhibit very different spectral characteristics, which depend critically on thermal annealing and can be used to distinguish between mixed, layered and thermally annealed CO-CO2 ices. CO only affects the CO2 bending mode spectra in mixed ices below 50K under the current experimental conditions, where it exhibits a single asymmetric band profile in intimate mixtures. In all other ice morphologies the CO2 bending mode shows a double peaked profile, similar to that observed for pure solid CO2. Conversely, CO2 induces a blue-shift in the peak-position of the CO stretching vibration, to a maximum of 2142 cm-1 in mixed ices, and 2140-2146 cm-1 in layered ices. As such, the CO2 bending mode puts clear constraints on the ice morphology below 50K, whereas beyond this temperature the CO2 stretching vibration can distinguish between initially mixed and layered ices. This is illustrated for the low-mass YSO HH46, where the laboratory spectra are used to analyse the observed CO and CO2 band profiles and try to constrain the formation scenarios of CO2.Comment: Accepted in A&

Large scale grain mantle disruption in the Galactic Center

We present observations of C2H5OH toward molecular clouds in Sgr A, Sgr B2 and associated with thermal and non-thermal features in the Galactic center. C2H5OH emission in Sgr A and Sgr B2 is widespread, but not uniform. C2H5OH emission is much weaker or it is not detected in some molecular clouds in both complexes, in particular those with radial velocities between 70 and 120 km/s. While most of the clouds associated with the thermal features do not show C2H5OH emission, that associated with the Non-Thermal Radio Arc shows emission. The fractional abundance of C2H5OH in most of the clouds with radial velocities between 0 and 70 km/s in Sgr A and Sgr B2 is relatively high, of few 1e-8. The C2H5OH abundance decreases by more than one order of magnitude (aprox. 1e-9) in the clouds associated with the thermal features. The large abundance of C2H5OH in the gas-phase indicates that C2H5OH has formed in grains and released to gas-phase by shocks in the last aprox. 1e5 years.Comment: In press in Astrophysical Journal Letters 7 pages, 1 table, 1 figur

Effects of CO2 on H2O band profiles and band strengths in mixed H2O:CO2 ices

H2O is the most abundant component of astrophysical ices. In most lines of sight it is not possible to fit both the H2O 3 um stretching, the 6 um bending and the 13 um libration band intensities with a single pure H2O spectrum. Recent Spitzer observations have revealed CO2 ice in high abundances and it has been suggested that CO2 mixed into H2O ice can affect relative strengths of the 3 um and 6 um bands. We used laboratory infrared transmission spectroscopy of H2O:CO2 ice mixtures to investigate the effects of CO2 on H2O ice spectral features at 15-135 K. We find that the H2O peak profiles and band strengths are significantly different in H2O:CO2 ice mixtures compared to pure H2O ice. In all H2O:CO2 mixtures, a strong free-OH stretching band appears around 2.73 um, which can be used to put an upper limit on the CO2 concentration in the H2O ice. The H2O bending mode profile also changes drastically with CO2 concentration; the broad pure H2O band gives way to two narrow bands as the CO2 concentration is increased. This makes it crucial to constrain the environment of H2O ice to enable correct assignments of other species contributing to the interstellar 6 um absorption band. The amount of CO2 present in the H2O ice of B5:IRS1 is estimated by simultaneously comparing the H2O stretching and bending regions and the CO2 bending mode to laboratory spectra of H2O, CO2, H2O:CO2 and HCOOH.Comment: 12 pages, 11 figures, accepted by A&