Detecting the signatures of helium in type Iax supernovae

Recent studies have argued that the progenitor system of type Iax supernovae must consist of a carbon-oxygen white dwarf accreting from a helium star companion. Based on existing explosion models invoking the pure deflagration of carbon-oxygen white dwarfs, we investigate the likelihood of producing spectral features due to helium in type Iax supernovae. From this scenario, we select those explosion models producing ejecta and $^{56}$Ni masses that are broadly consistent with those estimated for type Iax supernovae (0.014 - 0.478~$M_{\odot}$ and $\sim0.003$ - 0.183~$M_{\odot}$, respectively). To this end, we present a series of models of varying luminosities ($-18.4 \lesssim M_{\rm{V}} \lesssim -14.5$~mag) with helium abundances accounting for up to $\sim$36\% of the ejecta mass, and covering a range of epochs beginning a few days before B$-$band maximum to approximately two weeks after maximum. We find that the best opportunity for detecting \ion{He}{i} features is at near-infrared wavelengths, and in the post-maximum spectra of the fainter members of this class. We show that the optical spectrum of SN~2007J is potentially consistent with a large helium content (a few 10$^{-2}~M_{\odot}$), but argue that current models of accretion and material stripping from a companion struggle to produce compatible scenarios. We also investigate the presence of helium in all objects with near-infrared spectra. We show that SNe~2005hk, 2012Z, and 2015H contain either no helium or their helium abundances are constrained to much lower values ($\lesssim$10$^{-3}~M_{\odot}$). Our results demonstrate the differences in helium content among type Iax supernovae, perhaps pointing to different progenitor channels. Either SN~2007J is an outlier in terms of its progenitor system, or it is not a true member of the type Iax supernova class.Comment: 15 pages, 12 figures, 2 tables. Accepted for publication in Astronomy and Astrophysic

Fluent temporal logic for discrete-time event-based models

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM

Helical structures from an isotropic homopolymer model

We present Monte Carlo simulation results for square-well homopolymers at a series of bond lengths. Although the model contains only isotropic pairwise interactions, under appropriate conditions this system shows spontaneous chiral symmetry breaking, where the chain exists in either a left- or a right-handed helical structure. We investigate how this behavior depends upon the ratio between bond length and monomer radius.Comment: 10 pages, 3 figures, accepted for publication by Physical Review Letter

Probing the Dawn of Galaxies at z~9-12: New Constraints from HUDF12/XDF and CANDELS Data

We present a comprehensive analysis of z>8 galaxies based on ultra-deep WFC3/IR data. We constrain the evolution of the UV luminosity function (LF) and luminosity densities from z~11 to z~8 by exploiting all the WFC3/IR data over the Hubble Ultra-Deep Field from the HUDF09 and the new HUDF12 program, in addition to the HUDF09 parallel field data, as well as wider area WFC3/IR imaging over GOODS-South. Galaxies are selected based on the Lyman Break Technique in three samples centered around z~9, z~10 and z~11, with seven z~9 galaxy candidates, and one each at z~10 and z~11. We confirm a new z~10 candidate (with z=9.8+-0.6) that was not convincingly identified in our first z~10 sample. The deeper data over the HUDF confirms all our previous z>~7.5 candidates as genuine high-redshift candidates, and extends our samples to higher redshift and fainter limits (H_160~29.8 mag). We perform one of the first estimates of the z~9 UV LF and improve our previous constraints at z~10. Extrapolating the lower redshift UV LF evolution should have revealed 17 z~9 and 9 z~10 sources, i.e., a factor ~3x and 9x larger than observed. The inferred star-formation rate density (SFRD) in galaxies above 0.7 M_sun/yr decreases by 0.6+-0.2 dex from z~8 to z~9, in good agreement with previous estimates. The low number of sources found at z>8 is consistent with a very rapid build-up of galaxies across z~10 to z~8. From a combination of all current measurements, we find a best estimate of a factor 10x decrease in the SFRD from z~8 to z~10, following (1+z)^(-11.4+-3.1). Our measurements thus confirm our previous finding of an accelerated evolution beyond z~8, and signify a rapid build-up of galaxies with M_UV<-17.7 within only ~200 Myr from z~10 to z~8, in the heart of cosmic reionization.Comment: 21 pages, 13 figures, 6 tables; submitted to Ap