-
Constraining Nucleosynthesis in Two CEMP Progenitors Using Fluorine
Authors:
A. Mura-Guzmán,
D. Yong,
C. Abate,
A. Karakas,
C. Kobayashi,
H. Oh,
S. Chun,
G. Mace,
.
Abstract:
We present new fluorine abundance estimations in two carbon enhanced metal-poor (CEMP) stars, HE 1429-0551 and HE 1305+0007. HE 1429-0551 is also enriched in slow neutron-capture process (s-process) elements, a CEMP-s, and HE 1305+0007 is enhanced in both, slow and rapid neutron-capture process elements, a CEMP-s/r. The F abundances estimates are derived from the vibration-rotation transition of t…
▽ More
We present new fluorine abundance estimations in two carbon enhanced metal-poor (CEMP) stars, HE 1429-0551 and HE 1305+0007. HE 1429-0551 is also enriched in slow neutron-capture process (s-process) elements, a CEMP-s, and HE 1305+0007 is enhanced in both, slow and rapid neutron-capture process elements, a CEMP-s/r. The F abundances estimates are derived from the vibration-rotation transition of the HF molecule at 23358.6 A using high-resolution infrared spectra obtained with the Immersion Grating Infrared Spectrometer (IGRINS) at the 4m-class Lowell Discovery Telescope. Our results include a F abundance measurement in HE 1429-0551 of A(F) = +3.93 ([F/Fe] = +1.90) at [Fe/H] = -2.53, and a F upper limit in HE 1305+0007 of A(F) < +3.28 ([F/Fe] < +1.00) at [Fe/H] = -2.28. Our new derived F abundance in HE 1429-0551 makes this object the most metal-poor star where F has been detected. We carefully compare these results with literature values and state-of-the-art CEMP-s model predictions including detailed AGB nucleosynthesis and binary evolution. The modelled fluorine abundance for HE 1429-0551 is within reasonable agreement with our observed abundance, although is slightly higher than our observed value. For HE 1429-0551, our findings support the scenario via mass transfer by a primary companion during its thermally-pulsing phase. Our estimated upper limit in HE 1305+0007, along with data from the literature, shows large discrepancies compared with AGB models. The discrepancy is principally due to the simultaneous s- and r-process element enhancements which the model struggles to reproduce.
△ Less
Submitted 28 August, 2020; v1 submitted 23 August, 2020;
originally announced August 2020.
-
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Authors:
Carmine Abate,
Matteo Busi,
Stelios Tsampas
Abstract:
The most prominent formal criterion for secure compilation is full abstraction, the preservation and reflection of contextual equivalence. Recent work introduced robust compilation, defined as the preservation of robust satisfaction of hyperproperties, i.e., their satisfaction against arbitrary attackers. In this paper, we initially set out to compare these two approaches to secure compilation. To…
▽ More
The most prominent formal criterion for secure compilation is full abstraction, the preservation and reflection of contextual equivalence. Recent work introduced robust compilation, defined as the preservation of robust satisfaction of hyperproperties, i.e., their satisfaction against arbitrary attackers. In this paper, we initially set out to compare these two approaches to secure compilation. To that end, we provide an exact description of the hyperproperties that are robustly satisfied by programs compiled with a fully abstract compiler, and show that they can be meaningless or trivial. We then propose a novel criterion for secure compilation formulated in the framework of Mathematical Operational Semantics (MOS), guaranteeing both full abstraction and the preservation of robust satisfaction of hyperproperties in a more sensible manner.
△ Less
Submitted 20 September, 2021; v1 submitted 26 June, 2020;
originally announced June 2020.
-
Trace-Relating Compiler Correctness and Secure Compilation
Authors:
Carmine Abate,
Roberto Blanco,
Stefan Ciobaca,
Adrien Durier,
Deepak Garg,
Catalin Hritcu,
Marco Patrignani,
Éric Tanter,
Jérémy Thibault
Abstract:
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution. This definition requires, however, the set of traces of the source and target langu…
▽ More
Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution. This definition requires, however, the set of traces of the source and target languages to be exactly the same, which is not the case when the languages are far apart or when observations are fine-grained. To overcome this issue, we study a generalized compiler correctness definition, which uses source and target traces drawn from potentially different sets and connected by an arbitrary relation. We set out to understand what guarantees this generalized compiler correctness definition gives us when instantiated with a non-trivial relation on traces. When this trace relation is not equality, it is no longer possible to preserve the trace properties of the source program unchanged. Instead, we provide a generic characterization of the target trace property ensured by correctly compiling a program that satisfies a given source property, and dually, of the source trace property one is required to show in order to obtain a certain target property for the compiled code. We show that this view on compiler correctness can naturally account for undefined behavior, resource exhaustion, different source and target values, side-channels, and various abstraction mismatches. Finally, we show that the same generalization also applies to many secure compilation definitions, which characterize the protection of a compiled program against linked adversarial code.
△ Less
Submitted 23 February, 2020; v1 submitted 11 July, 2019;
originally announced July 2019.
-
Slowly, slowly in the wind: 3D hydrodynamical simulations of wind mass transfer and angular-momentum loss in AGB binary systems
Authors:
M. I. Saladino,
O. Pols,
C. Abate
Abstract:
Wind mass transfer in binary systems with AGB donor stars plays a fundamental role in the formation of a variety of objects, including barium stars and CEMP stars. We carry out a comprehensive set of SPH simulations of wind-losing AGB stars in binaries, for a variety of binary mass ratios, orbital separations, initial wind velocities and rotation rates of the donor star. The initial parameters of…
▽ More
Wind mass transfer in binary systems with AGB donor stars plays a fundamental role in the formation of a variety of objects, including barium stars and CEMP stars. We carry out a comprehensive set of SPH simulations of wind-losing AGB stars in binaries, for a variety of binary mass ratios, orbital separations, initial wind velocities and rotation rates of the donor star. The initial parameters of the simulated systems are chosen to match the expected progenitors of CEMP stars. We find that the strength of interaction between the wind and the stars depends on both the wind-velocity-to-orbital-velocity ratio ($v_\infty/v_\mathrm{orb}$) and the binary mass ratio. Strong interaction occurs for close systems and comparable mass ratios, and gives rise to a complex morphology of the outflow and substantial angular-momentum loss, which leads to a shrinking of the orbit. As the orbital separation increases and the mass of the companion star decreases, the morphology of the outflow, as well as the angular-momentum loss, become more similar to the spherically symmetric wind case. We also explore the effects of tidal interaction and find that for orbital separations up to 7-10 AU, depending on mass ratio, spin-orbit coupling of the donor star occurs at some point during the AGB phase. If the initial wind velocity is relatively low, we find that corotation of the donor star results in a modified outflow morphology that resembles wind Roche-lobe overflow. In this case the mass-accretion efficiency and angular-momentum loss differ from those found for a non-rotating donor. Finally, we provide a relation for both the mass-accretion efficiency and angular-momentum loss as a function of $v_\infty/v_\mathrm{orb}$ and the binary mass ratio that can be easily implemented in a population synthesis code to study populations of barium stars, CEMP stars and other products of interaction in AGB binaries.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
Understanding the orbital periods of CEMP-s stars
Authors:
Carlo Abate,
Onno R. Pols,
Richard J. Stancliffe
Abstract:
The chemical enrichments detected in CEMP-$s$ stars are believed to be the consequence of a mass-transfer episode from a now extinct AGB primary star. This hypothesis is borne out by the fact that most CEMP-$s$ stars exhibit RV variations suggesting that they are in binary systems. We use the period distribution of an observed sample of CEMP-$s$ stars to investigate the constraints it imposes on o…
▽ More
The chemical enrichments detected in CEMP-$s$ stars are believed to be the consequence of a mass-transfer episode from a now extinct AGB primary star. This hypothesis is borne out by the fact that most CEMP-$s$ stars exhibit RV variations suggesting that they are in binary systems. We use the period distribution of an observed sample of CEMP-$s$ stars to investigate the constraints it imposes on our models of binary evolution and on the properties of the metal-poor binary population in the Galactic halo. We simulate binary populations using different assumptions about the initial period distribution and the mass-transfer process, and we compare the predicted period distributions of our synthetic CEMP-$s$ stars with the observed one. With a set of default assumptions often made in binary population-synthesis studies, the percentage of observed CEMP-$s$ systems with periods shorter than 2000 days is underestimated by almost a factor of 3, and by a factor of 2 between 3000 and 10000 days, while 40% of the simulated systems have periods longer than 10000 days, which is approximately the longest measured period among CEMP-$s$ stars. To reconcile the results of the models with the orbital properties of observed CEMP-$s$ stars, one or both of the following conditions are necessary: ($i$) the specific angular momentum carried away by the material that escapes the binary system is 2-5 times higher than currently predicted by analytical models and hydrodynamical simulations of wind mass transfer, and ($ii$) the initial period distribution of very metal-poor binary stars is significantly different from that observed in the solar vicinity and weighted towards periods shorter than about 10000 days. Our simulations show that some, perhaps all, of the observed CEMP-$s$ stars with apparently constant RV could be undetected binaries with periods longer than 10000 days, but (...)
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Authors:
Carmine Abate,
Roberto Blanco,
Deepak Garg,
Catalin Hritcu,
Marco Patrignani,
Jérémy Thibault
Abstract:
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.)
We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust property preservation, i.e., the preservation of properties satisfied against arbitrary adversarial contexts. We study robustly preserving various classes of trace properties such as safety, of hyperproperties such as n…
▽ More
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.)
We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust property preservation, i.e., the preservation of properties satisfied against arbitrary adversarial contexts. We study robustly preserving various classes of trace properties such as safety, of hyperproperties such as noninterference, and of relational hyperproperties such as trace equivalence. This leads to many new secure compilation criteria, some of which are easier to practically achieve and prove than full abstraction, and some of which provide strictly stronger security guarantees. For each of the studied criteria we propose an equivalent "property-free" characterization that clarifies which proof techniques apply. For relational properties and hyperproperties, which relate the behaviors of multiple programs, our formal definitions of the property classes themselves are novel. We order our criteria by their relative strength and show several collapses and separation results. Finally, we adapt existing proof techniques to show that even the strongest of our secure compilation criteria, the robust preservation of all relational hyperproperties, is achievable for a simple translation from a statically typed to a dynamically typed language.
△ Less
Submitted 17 May, 2019; v1 submitted 12 July, 2018;
originally announced July 2018.
-
The R-Process Alliance: Discovery of the first metal-poor star with a combined r- and s-process element signature
Authors:
Maude Gull,
Anna Frebel,
Madelyn G. Cain,
Vinicius M. Placco,
Alexander P. Ji,
Carlo Abate,
Rana Ezzeddine,
Amanda I. Karakas,
Terese T. Hansen,
Charli Sakari,
Erika M. Holmbeck,
Rafael M. Santucci,
Andrew R. Casey,
Timothy C. Beers
Abstract:
We present a high-resolution (R~35,000), high signal-to-noise (S/N>200) Magellan/MIKE spectrum of the star RAVE J094921.8-161722, a bright (V=11.3) metal-poor red giant star with [Fe/H] = -2.2, identified as a carbon-enhanced metal-poor (CEMP) star from the RAVE survey. We report its detailed chemical abundance signature of light fusion elements and heavy neutron-capture elements. We find J0949-16…
▽ More
We present a high-resolution (R~35,000), high signal-to-noise (S/N>200) Magellan/MIKE spectrum of the star RAVE J094921.8-161722, a bright (V=11.3) metal-poor red giant star with [Fe/H] = -2.2, identified as a carbon-enhanced metal-poor (CEMP) star from the RAVE survey. We report its detailed chemical abundance signature of light fusion elements and heavy neutron-capture elements. We find J0949-1617 to be a CEMP star with s-process enhancement that must have formed from gas enriched by a prior r-process event. Light neutron-capture elements follow a low-metallicity s-process pattern, while the heavier neutron-capture elements above Eu follow an r-process pattern. The Pb abundance is high, in line with an s-process origin. Thorium is also detected, as expected from an r-process origin, as Th is not produced in the s-process. We employ nucleosynthesis model predictions that take an initial r-process enhancement into account, and then determine the mass transfer of carbon and s-process material from a putative more massive companion onto the observed star. The resulting abundances agree well with the observed pattern. We conclude that J0949-1617 is the first bonafide CEMP-r+s star identified. This class of objects has previously been suggested to explain stars with neutron-capture element patterns that originate from neither the r- or s-process alone. We speculate that J0949-1617 formed in an environment similar to those of ultra-faint dwarf galaxies like Tucana III and Reticulum II, which were enriched in r-process elements by one or multiple neutron star mergers at the earliest times.a
△ Less
Submitted 2 June, 2018;
originally announced June 2018.
-
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Authors:
Carmine Abate,
Arthur Azevedo de Amorim,
Roberto Blanco,
Ana Nora Evans,
Guglielmo Fachini,
Catalin Hritcu,
Théo Laurent,
Benjamin C. Pierce,
Marco Stronati,
Jérémy Thibault,
Andrew Tolmach
Abstract:
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by accessing an array out of bounds.
Our criterion is the first to model dynamic compromise in a system of mutually distrustful components with clearly s…
▽ More
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by accessing an array out of bounds.
Our criterion is the first to model dynamic compromise in a system of mutually distrustful components with clearly specified privileges. It articulates how each component should be protected from all the others---in particular, from components that have encountered undefined behavior and become compromised. Each component receives secure compilation guarantees---in particular, its internal invariants are protected from compromised components---up to the point when this component itself becomes compromised, after which we assume an attacker can take complete control and use this component's privileges to attack other components. More precisely, a secure compilation chain must ensure that a dynamically compromised component cannot break the safety properties of the system at the target level any more than an arbitrary attacker-controlled component (with the same interface and privileges, but without undefined behaviors) already could at the source level.
To illustrate the model, we construct a secure compilation chain for a small unsafe language with buffers, procedures, and components, targeting a simple abstract machine with built-in compartmentalization. We give a machine-checked proof in Coq that this compiler satisfies our secure compilation criterion. Finally, we show that the protection guarantees offered by the compartmentalized abstract machine can be achieved at the machine-code level using either software fault isolation or a tag-based reference monitor.
△ Less
Submitted 29 November, 2019; v1 submitted 2 February, 2018;
originally announced February 2018.
-
TOPoS: IV. Chemical abundances from high-resolution observations of seven EMP stars
Authors:
P. Bonifacio,
E. Caffau,
M. Spite,
F. Spite,
L. Sbordone,
L. Monaco,
P. François,
B. Plez,
P. Molaro,
A. J. Gallagher,
R. Cayrel,
N. Christlieb,
R. S. Klessen,
A. Koch,
H. -G. Ludwig,
M. Steffen,
S. Zaggia,
C. Abate
Abstract:
Extremely metal-poor stars provide us with indirect information on the first generations of massive stars. The TOPoS survey has been designed to increase the census of these stars and to provide a chemical inventory that is as detailed as possible. Seven of the most iron-poor stars have been observed with the UVES spectrograph at the ESO VLT Kueyen 8.2m telescope to refine their chemical compositi…
▽ More
Extremely metal-poor stars provide us with indirect information on the first generations of massive stars. The TOPoS survey has been designed to increase the census of these stars and to provide a chemical inventory that is as detailed as possible. Seven of the most iron-poor stars have been observed with the UVES spectrograph at the ESO VLT Kueyen 8.2m telescope to refine their chemical composition. We analysed the spectra based on 1D LTE model atmospheres, but also used 3D hydrodynamical simulations of stellar atmospheres. We measured carbon in six of the seven stars: all are carbon-enhanced and belong to the low-carbon band, defined in the TOPoS II paper. We measured lithium (A(Li)=1.9) in the most iron-poor star (SDSS J1035+0641, [Fe/H] < -5.2 ). We were also able to measure Li in three stars at [Fe/H]~ -4.0, two of which lie on the Spite plateau. We confirm that SDSS J1349+1407 is extremely rich in Mg, but not in Ca. It is also very rich in Na. Several of our stars are characterised by low alpha-to-iron ratios. The lack of high-carbon band stars at low metallicity can be understood in terms of evolutionary timescales of binary systems. The detection of Li in SDSS J1035+0641 places a strong constraint on theories that aim at solving the cosmological lithium problem. The Li abundance of the two warmer stars at [Fe/H]~ -4.0 places them on the Spite plateau, while the third, cooler star, lies below. We argue that this suggests that the temperature at which Li depletion begins increases with decreasing [Fe/H]. SDSS J1349+1407 may belong to a class of Mg-rich EMP stars. We cannot assess if there is a scatter in alpha-to-iron ratios among the EMP stars or if there are several discrete populations. However, the existence of stars with low alpha-to-iron ratios is supported by our observations.
△ Less
Submitted 11 January, 2018;
originally announced January 2018.
-
Three-dimensional hydrodynamical simulations of mass transfer in binary systems by a free wind
Authors:
Zheng-Wei Liu,
Richard J. Stancliffe,
Carlo Abate,
Elvijs Matrozis
Abstract:
A large fraction of stars in binary systems are expected to undergo mass and angular momentum exchange at some point in their evolution, which can drastically alter the chemical and dynamical properties and fates of the systems. Interaction by stellar wind is an important process in wide binaries. However, the details of wind mass transfer are still not well understood. We perform three-dimensiona…
▽ More
A large fraction of stars in binary systems are expected to undergo mass and angular momentum exchange at some point in their evolution, which can drastically alter the chemical and dynamical properties and fates of the systems. Interaction by stellar wind is an important process in wide binaries. However, the details of wind mass transfer are still not well understood. We perform three-dimensional hydrodynamical simulations of wind mass transfer in binary systems to explore mass accretion efficiencies and geometries of mass outflows, for a range of mass ratios from 0.05 to 1.0. In particular, we focus on the case of a free wind, in which some physical mechanism accelerates the expelled wind material balancing the gravity of the mass-losing star with the wind velocity comparable to the orbital velocity of the system. We find that the mass accretion efficiency and accreted specific angular momentum increase with the mass ratio of the system. For an adiabatic wind, we obtain that the accretion efficiency onto the secondary star varies from about 0.1% to 8% for mass ratios between 0.05 and 1.0.
△ Less
Submitted 19 September, 2017; v1 submitted 11 August, 2017;
originally announced August 2017.
-
How much mass and angular momentum can the progenitors of carbon-enriched stars accrete?
Authors:
E. Matrozis,
C. Abate,
R. J. Stancliffe
Abstract:
The chemically peculiar barium stars, CH stars, and most CEMP stars are all believed to be the products of mass transfer in binary systems from a now extinct AGB primary star. The mass of the AGB star and the orbital parameters of the system are the key factors usually considered when determining how much mass is transferred onto the lower-mass main-sequence companion. What is usually neglected, h…
▽ More
The chemically peculiar barium stars, CH stars, and most CEMP stars are all believed to be the products of mass transfer in binary systems from a now extinct AGB primary star. The mass of the AGB star and the orbital parameters of the system are the key factors usually considered when determining how much mass is transferred onto the lower-mass main-sequence companion. What is usually neglected, however, is the angular momentum of the accreted material, which should spin up the accreting star. If the star reaches critical rotation, further accretion should cease until the excess angular momentum is somehow dealt with. If the star cannot redistribute or lose the angular momentum while the primary is on the AGB, the amount of mass accreted could be much lower than otherwise expected. Here we present calculations, based on detailed stellar evolution models, of the mass that can be accreted by putative progenitors of Ba and CEMP stars before they reach critical rotation under the assumption that no angular momentum loss occurs during the mass transfer. We consider different accretion rates and values of specific angular momentum. The most stringent limits on the accreted masses result from considering accretion from a Keplerian accretion disk, which is likely present during the formation of most extrinsically-polluted carbon-enriched stars. Our calculations indicate that in this scenario only about 0.05 solar masses of material can be added to the accreting star before it reaches critical rotation, which is much too low to explain the chemical enrichment of many Ba and CEMP stars. Either the specific angular momentum of the accreted material has to effectively be lower by about a factor of ten than the Keplerian value, or significant angular momentum losses must occur for substantial accretion to take place.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
What is the role of wind mass transfer in the progenitor evolution of Type Ia Supernovae?
Authors:
Carlo Abate
Abstract:
Type Ia supernovae (SNe Ia) are thermonuclear explosions of carbon-oxygen white dwarfs (WDs) that accrete mass from a binary companion, which can be either a non-degenerate star (a main-sequence star or a giant) or an other WD in a binary merger (single- and double-degenerate scenario, respectively). In population-synthesis studies of SNe Ia the contribution of asymptotic giant branch (AGB) stars…
▽ More
Type Ia supernovae (SNe Ia) are thermonuclear explosions of carbon-oxygen white dwarfs (WDs) that accrete mass from a binary companion, which can be either a non-degenerate star (a main-sequence star or a giant) or an other WD in a binary merger (single- and double-degenerate scenario, respectively). In population-synthesis studies of SNe Ia the contribution of asymptotic giant branch (AGB) stars to either scenario is marginal. However, most of these studies adopt simplified assumptions to compute the effects of wind mass loss and accretion in binary systems. This work investigates the impact of wind mass transfer on a population of binary stars and discusses the role of AGB stars as progenitors of SNe Ia.
△ Less
Submitted 25 July, 2017;
originally announced July 2017.
-
How plausible are the proposed formation scenarios of CEMP-r/s stars?
Authors:
Carlo Abate,
Richard J. Stancliffe,
Zheng-Wei Liu
Abstract:
CEMP-$r/s$ stars are metal-poor stars with enhanced abundances of carbon and heavy elements associated with the slow ($s$-) and rapid ($r$-) neutron-capture process. It is believed that carbon and $s$-elements were accreted from the wind of an AGB primary star, a scenario that is generally accepted to explain the formation of CEMP stars that are only enhanced in $s$-elements (CEMP-$s$ stars). The…
▽ More
CEMP-$r/s$ stars are metal-poor stars with enhanced abundances of carbon and heavy elements associated with the slow ($s$-) and rapid ($r$-) neutron-capture process. It is believed that carbon and $s$-elements were accreted from the wind of an AGB primary star, a scenario that is generally accepted to explain the formation of CEMP stars that are only enhanced in $s$-elements (CEMP-$s$ stars). The origin of $r$-element-enrichment in CEMP-$r/s$ stars is debated and many formation scenarios have been put forward. We aim to determine the likelihood of the scenarios proposed to explain the formation of CEMP-$r/s$ stars. We calculate the frequency of CEMP-$r/s$ stars among CEMP-$s$ stars for a variety of scenarios, and we compare it with that determined from an observed sample of CEMP-$r/s$ stars collected from the literature. The theoretical frequency of CEMP-$r/s$ stars predicted in most scenarios underestimates the observed ratio by at least a factor of 5. If the enrichments in $s$- and $r$-elements are independent, the model ratio of CEMP-$r/s$ to CEMP-$s$ stars is about 22%, that is approximately consistent with the lowest estimate of the observed ratio. However, this model predicts that about one third of all carbon-normal stars have [Ba/Fe] and [Eu/Fe] higher than 1, and that 40% of all CEMP stars have [Ba/Eu]$\le0$. Stars with these properties are at least ten times rarer in our observed sample. The $intermediate$ or $i$-process, which is supposedly active in some circumstances during the AGB phase, could provide an explanation of the origin of CEMP-$r/s$ stars, similar to that of CEMP-$s$ stars, in the context of wind mass accretion in binary systems. Further calculations of the nucleosynthesis of the $i$-process and of the detailed evolution of late AGB stars are needed to investigate if this scenario predicts a CEMP-$r/s$ star frequency consistent with the observations.
△ Less
Submitted 5 January, 2016;
originally announced January 2016.
-
Hubble Space Telescope Near-Ultraviolet Spectroscopy of Bright CEMP-s Stars
Authors:
Vinicius M. Placco,
Timothy C. Beers,
Inese I. Ivans,
Dan Filler,
Julie A. Imig,
Ian U. Roederer,
Carlo Abate,
Terese Hansen,
John J. Cowan,
Anna Frebel,
James E. Lawler,
Hendrik Schatz,
Christopher Sneden,
Jennifer S. Sobeck,
Wako Aoki,
Verne V. Smith,
Michael Bolte
Abstract:
We present an elemental-abundance analysis, in the near-ultraviolet (NUV) spectral range, for the bright carbon-enhanced metal-poor (CEMP) stars HD196944 (V = 8.40, [Fe/H] = -2.41) and HD201626 (V = 8.16, [Fe/H] = -1.51), based on data acquired with the Space Telescope Imaging Spectrograph (STIS) on the Hubble Space Telescope. Both of these stars belong to the sub-class CEMP-s, and exhibit clear o…
▽ More
We present an elemental-abundance analysis, in the near-ultraviolet (NUV) spectral range, for the bright carbon-enhanced metal-poor (CEMP) stars HD196944 (V = 8.40, [Fe/H] = -2.41) and HD201626 (V = 8.16, [Fe/H] = -1.51), based on data acquired with the Space Telescope Imaging Spectrograph (STIS) on the Hubble Space Telescope. Both of these stars belong to the sub-class CEMP-s, and exhibit clear over-abundances of heavy elements associated with production by the slow neutron-capture process. HD196944 has been well-studied in the optical region, but we are able to add abundance results for six species (Ge, Nb, Mo, Lu, Pt, and Au) that are only accessible in the NUV. In addition, we provide the first determination of its orbital period, P=1325 days. HD201626 has only a limited number of abundance results based on previous optical work -- here we add five new species from the NUV, including Pb. We compare these results with models of binary-system evolution and s-process element production in stars on the asymptotic giant branch, aiming to explain their origin and evolution. Our best-fitting models for HD 196944 (M1,i = 0.9Mo, M2,i = 0.86Mo, for [Fe/H]=-2.2), and HD 201626 (M1,i = 0.9Mo , M2,i = 0.76Mo , for [Fe/H]=-2.2; M1,i = 1.6Mo , M2,i = 0.59Mo, for [Fe/H]=-1.5) are consistent with the current accepted scenario for the formation of CEMP-s stars.
△ Less
Submitted 24 August, 2015;
originally announced August 2015.
-
Modelling the observed properties of carbon-enhanced metal-poor stars using binary population synthesis
Authors:
C. Abate,
O. R. Pols,
R. J. Stancliffe,
R. G. Izzard,
A. I. Karakas,
T. C. Beers,
Y. S. Lee
Abstract:
The stellar population in the Galactic halo is characterised by a large fraction of CEMP stars. Most CEMP stars are enriched in $s$-elements (CEMP-$s$ stars), and some of these are also enriched in $r$-elements (CEMP-$s/r$ stars). One formation scenario proposed for CEMP stars invokes wind mass transfer in the past from a TP-AGB primary star to a less massive companion star which is presently obse…
▽ More
The stellar population in the Galactic halo is characterised by a large fraction of CEMP stars. Most CEMP stars are enriched in $s$-elements (CEMP-$s$ stars), and some of these are also enriched in $r$-elements (CEMP-$s/r$ stars). One formation scenario proposed for CEMP stars invokes wind mass transfer in the past from a TP-AGB primary star to a less massive companion star which is presently observed. We generate low-metallicity populations of binary stars to reproduce the observed CEMP-star fraction. In addition, we aim to constrain our wind mass-transfer model and investigate under which conditions our synthetic populations reproduce observed abundance distributions. We compare the CEMP fractions and the abundance distributions determined from our synthetic populations with observations. Several physical parameters of the binary stellar population of the halo are uncertain, e.g. the initial mass function, the mass-ratio and orbital-period distributions, and the binary fraction. We vary the assumptions in our model about these parameters, as well as the wind mass-transfer process, and study the consequent variations of our synthetic CEMP population. The CEMP fractions calculated in our synthetic populations vary between 7% and 17%, a range consistent with the CEMP fractions among very metal-poor stars recently derived from the SDSS/SEGUE data sample. The results of our comparison between the modelled and observed abundance distributions are different for CEMP-$s/r$ stars and for CEMP-$s$ stars. For the latter, our simulations qualitatively reproduce the observed distributions of C, Na, Sr, Ba, Eu, and Pb. Contrarily, for CEMP-$s/r$ stars our model cannot reproduce the large abundances of neutron-rich elements such as Ba, Eu, and Pb. This result is consistent with previous studies, and suggests that CEMP-$s/r$ stars experienced a different nucleosynthesis history to CEMP-$s$ stars.
△ Less
Submitted 17 July, 2015;
originally announced July 2015.
-
Carbon-enhanced metal-poor stars: a window on AGB nucleosynthesis and binary evolution. II. Statistical analysis of a sample of 67 CEMP-$s$ stars
Authors:
C. Abate,
O. R. Pols,
R. G. Izzard,
A. I. Karakas
Abstract:
Many observed CEMP stars are found in binary systems and show enhanced abundances of $s$-elements. The origin of the chemical abundances of these CEMP-$s$ stars is believed to be accretion in the past of enriched material from a primary star in the AGB phase. We investigate the mechanism of mass transfer and the process of nucleosynthesis in low-metallicity AGB stars by modelling the binary system…
▽ More
Many observed CEMP stars are found in binary systems and show enhanced abundances of $s$-elements. The origin of the chemical abundances of these CEMP-$s$ stars is believed to be accretion in the past of enriched material from a primary star in the AGB phase. We investigate the mechanism of mass transfer and the process of nucleosynthesis in low-metallicity AGB stars by modelling the binary systems in which the observed CEMP-$s$ stars were formed. For this purpose we compare a sample of $67$ CEMP-$s$ stars with a grid of binary stars generated by our binary evolution and nucleosynthesis model. We classify our sample CEMP-$s$ stars in three groups based on the observed abundance of europium. In CEMP$-s/r$ stars the europium-to-iron ratio is more than ten times higher than in the Sun, whereas it is lower than this threshold in CEMP$-s/nr$ stars. No measurement of europium is currently available for CEMP-$s/ur$ stars. On average our models reproduce well the abundances observed in CEMP-$s/nr$ stars, whereas in CEMP-$s/r$ stars and CEMP-$s/ur$ stars the abundances of the light-$s$ elements are systematically overpredicted by our models and in CEMP-$s/r$ stars the abundances of the heavy-$s$ elements are underestimated. In all stars our modelled abundances of sodium overestimate the observations. This discrepancy is reduced only in models that underestimate the abundances of most of the $s$-elements. Furthermore, the abundance of lead is underpredicted in most of our model stars. These results point to the limitations of our AGB nucleosynthesis model, particularly in the predictions of the element-to-element ratios. Finally, in our models CEMP-$s$ stars are typically formed in wide systems with periods above 10000 days, while most of the observed CEMP-$s$ stars are found in relatively close orbits with periods below 5000 days.
△ Less
Submitted 16 July, 2015;
originally announced July 2015.
-
Pre-explosion companion stars in Type Iax supernovae
Authors:
Zheng-Wei Liu,
Richard J. Stancliffe,
Carlo Abate,
Bo Wang
Abstract:
Type Iax supernovae (SNe Iax) are proposed as one new sub-class of SNe Ia since they present observational properties that are sufficiently distinct from the bulk of SNe Ia. SNe Iax are the most common of all types of peculiar SNe by both number and rate, with an estimated rate of occurrence of about 5-30% of the total SN Ia rate. However, the progenitor systems of SNe Iax are still uncertain. Ana…
▽ More
Type Iax supernovae (SNe Iax) are proposed as one new sub-class of SNe Ia since they present observational properties that are sufficiently distinct from the bulk of SNe Ia. SNe Iax are the most common of all types of peculiar SNe by both number and rate, with an estimated rate of occurrence of about 5-30% of the total SN Ia rate. However, the progenitor systems of SNe Iax are still uncertain. Analyzing pre-explosion images at SN Iax positions provides a direct way to place strong constraints on the nature of progenitor systems of SNe Iax. In this work, we predict pre-explosion properties of binary companion stars in a variety of potential progenitor systems by performing detailed binary evolution calculations with the one-dimensional stellar evolution code STARS. This will be helpful for constraining progenitor systems of SNe Iax from their pre-explosion observations. With our binary evolution calculations, it is found that the non-degenerate helium (He) companion star to both a massive C/O WD (> 1.1 solar mass) and a hybrid C/O/Ne WD can provide an explanation for the observations of SN~2012Z-S1, but the hybrid WD+He star scenario is more favorable.
△ Less
Submitted 29 July, 2015; v1 submitted 16 June, 2015;
originally announced June 2015.
-
Carbon-enhanced metal-poor stars: a window on AGB nucleosynthesis and binary evolution. I. Detailed analysis of 15 binary stars with known orbital periods
Authors:
C. Abate,
O. R. Pols,
A. I. Karakas,
R. G. Izzard
Abstract:
AGB stars are responsible for producing a variety of elements, including carbon, nitrogen, and the heavy elements produced in the slow neutron-capture process ($s$-elements). There are many uncertainties involved in modelling the evolution and nucleosynthesis of AGB stars, and this is especially the case at low metallicity, where most of the stars with high enough masses to enter the AGB have evol…
▽ More
AGB stars are responsible for producing a variety of elements, including carbon, nitrogen, and the heavy elements produced in the slow neutron-capture process ($s$-elements). There are many uncertainties involved in modelling the evolution and nucleosynthesis of AGB stars, and this is especially the case at low metallicity, where most of the stars with high enough masses to enter the AGB have evolved to become white dwarfs and can no longer be observed. The stellar population in the Galactic halo is of low mass ($\lesssim 0.85M_{\odot}$) and only a few observed stars have evolved beyond the first giant branch. However, we have evidence that low-metallicity AGB stars in binary systems have interacted with their low-mass secondary companions in the past. The aim of this work is to investigate AGB nucleosynthesis at low metallicity by studying the surface abundances of chemically peculiar very metal-poor stars of the halo observed in binary systems. To this end we select a sample of 15 carbon- and $s$-element-enhanced metal-poor (CEMP-$s$) halo stars that are found in binary systems with measured orbital periods. With our model of binary evolution and AGB nucleosynthesis, we determine the binary configuration that best reproduces, at the same time, the observed orbital period and surface abundances of each star of the sample. The observed periods provide tight constraints on our model of wind mass transfer in binary stars, while the comparison with the observed abundances tests our model of AGB nucleosynthesis.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
AGB nucleosynthesis at low metallicity: what can we learn from carbon- and s-elements-enhanced metal-poor stars
Authors:
Carlo Abate,
Onno R. Pols,
Robert G. Izzard,
Amanda I. Karakas
Abstract:
CEMP-s stars are very metal-poor stars with enhanced abundances of carbon and s-process elements. They form a significant proportion of the very metal-poor stars in the Galactic halo and are mostly observed in binary systems. This suggests that the observed chemical anomalies are due to mass accretion in the past from an asymptotic giant branch (AGB) star. Because CEMP-s stars have hardly evolved…
▽ More
CEMP-s stars are very metal-poor stars with enhanced abundances of carbon and s-process elements. They form a significant proportion of the very metal-poor stars in the Galactic halo and are mostly observed in binary systems. This suggests that the observed chemical anomalies are due to mass accretion in the past from an asymptotic giant branch (AGB) star. Because CEMP-s stars have hardly evolved since their formation, the study of their observed abundances provides a way to probe our models of AGB nucleosynthesis at low metallicity. To this end we included in our binary evolution model the results of the latest models of AGB nucleosynthesis and we simulated a grid of 100,000 binary stars at metallicity Z=0.0001 in a wide range of initial masses and separations. We compared our modelled stars with a sample of 60 CEMP-s stars from the SAGA database of metal-poor stars. For each observed CEMP-s star of the sample we found the modelled star that reproduces best the observed abundances. The result of this comparison is that we are able to reproduce simultaneously the observed abundance of the elements affected by AGB nucleosynthesis (e.g. C, Mg, s-elements) for about 60% of the stars in the sample.
△ Less
Submitted 25 October, 2013;
originally announced October 2013.
-
The elusive origin of Carbon-Enhanced Metal-Poor stars
Authors:
C. Abate,
O. R. Pols,
R. G. Izzard,
S. S. Mohamed,
S. E. de Mink
Abstract:
Carbon-enhanced metal-poor (CEMP) stars count for 9-25% of all the very metal-poor stars of the halo. In at least some CEMP stars the chemical enrichment is believed to be due to wind mass transfer in the past from an AGB donor star on to a low-mass companion. However, binary population synthesis models predict much lower CEMP fractions. As an alternative to the canonical Bondi-Hoyle-Lyttleton (BH…
▽ More
Carbon-enhanced metal-poor (CEMP) stars count for 9-25% of all the very metal-poor stars of the halo. In at least some CEMP stars the chemical enrichment is believed to be due to wind mass transfer in the past from an AGB donor star on to a low-mass companion. However, binary population synthesis models predict much lower CEMP fractions. As an alternative to the canonical Bondi-Hoyle-Lyttleton (BHL) wind accretion model, recent hydrodynamical simulations suggest an efficient mode of wind mass transfer, called wind Roche-lobe overflow (WRLOF), can reproduce observations of AGB winds in binary systems. We use our population synthesis model to test the consequences of WRLOF on a population of CEMP stars. Compared to previous predictions based on the BHL model we find a modest increase of the fraction of CEMP stars and substantial differences in the distributions of carbon and periods in the population of CEMP stars.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
Wind Roche-lobe overflow: Application to carbon-enhanced metal-poor stars
Authors:
C. Abate,
O. R. Pols,
R. G. Izzard,
S. S. Mohamed,
S. E. de Mink
Abstract:
Carbon-enhanced metal-poor stars (CEMP) are observed as a substantial fraction of the very metal-poor stars in the Galactic halo. Most CEMP stars are also enriched in s-process elements and these are often found in binary systems. This suggests that the carbon enrichment is due to mass transfer in the past from an asymptotic giant branch (AGB) star on to a low-mass companion. Models of binary popu…
▽ More
Carbon-enhanced metal-poor stars (CEMP) are observed as a substantial fraction of the very metal-poor stars in the Galactic halo. Most CEMP stars are also enriched in s-process elements and these are often found in binary systems. This suggests that the carbon enrichment is due to mass transfer in the past from an asymptotic giant branch (AGB) star on to a low-mass companion. Models of binary population synthesis are not able to reproduce the observed fraction of CEMP stars without invoking non-standard nucleosynthesis or a substantial change in the initial mass function. This is interpreted as evidence of missing physical ingredients in the models. Recent hydrodynamical simulations show that efficient wind mass transfer is possible in the case of the slow and dense winds typical of AGB stars through a mechanism called wind Roche-lobe overflow (WRLOF), which lies in between the canonical Bondi-Hoyle-Lyttleton (BHL) accretion and Roche-lobe overflow. WRLOF has an effect on the accretion efficiency of mass transfer and on the angular momentum lost by the binary system. The aim of this work is to understand the overall effect of WRLOF on the population of CEMP stars. To simulate populations of low-metallicity binaries we combined a synthetic nucleosynthesis model with a binary population synthesis code. In this code we implemented the WRLOF mechanism. We used the results of hydrodynamical simulations to model the effect of WRLOF on the accretion efficiency and we took the effect on the angular momentum loss into account by assuming a simple prescription. As a result the number of CEMP stars predicted by our model increases by a factor 1.2-1.8 compared to earlier results that consider the BHL prescription. Moreover, higher enrichments of carbon are produced and the final orbital period distribution is shifted towards shorter periods.
△ Less
Submitted 18 February, 2013;
originally announced February 2013.