The first ultracompact Roche lobe-filling hot subdwarf binary

We report the discovery of the first short period binary in which a hot subdwarf star (sdOB) fills its Roche lobe and started mass transfer to its companion. The object was discovered as part of a dedicated high-cadence survey of the Galactic Plane named the Zwicky Transient Facility and exhibits a period of Porb=39.3401(1) min, making it the most compact hot subdwarf binary currently known. Spectroscopic observations are consistent with an intermediate He-sdOB star with an effective temperature of Teff=42,400±300 K and a surface gravity of log(g)=5.77±0.05. A high-signal-to noise GTC+HiPERCAM light curve is dominated by the ellipsoidal deformation of the sdOB star and an eclipse of the sdOB by an accretion disk. We infer a low-mass hot subdwarf donor with a mass MsdOB=0.337±0.015 M⊙ and a white dwarf accretor with a mass MWD=0.545±0.020 M⊙. Theoretical binary modeling indicates the hot subdwarf formed during a common envelope phase when a 2.5−2.8 M⊙ star lost its envelope when crossing the Hertzsprung Gap. To match its current Porb, Teff, log(g), and masses, we estimate a post-common envelope period of Porb≈150 min, and find the sdOB star is currently undergoing hydrogen shell burning. We estimate that the hot subdwarf will become a white dwarf with a thick helium layer of ≈0.1 M⊙ and will merge with its carbon/oxygen white dwarf companion after ≈17 Myr and presumably explode as a thermonuclear supernova or form an R CrB star

A new class of Roche lobe–filling hot subdwarf binaries

We present the discovery of the second binary with a Roche lobe–filling hot subdwarf transferring mass to a white dwarf (WD) companion. This 56 minute binary was discovered using data from the Zwicky Transient Facility. Spectroscopic observations reveal an He-sdOB star with an effective temperature of T eff = 33,700 ± 1000 K and a surface gravity of log(g) = 5.54 ± 0.11. The GTC+HiPERCAM light curve is dominated by the ellipsoidal deformation of the He-sdOB star and shows an eclipse of the He-sdOB by an accretion disk as well as a weak eclipse of the WD. We infer a He-sdOB mass of M sdOB = 0.41 ± 0.04 M ⊙ and a WD mass of M WD = 0.68 ± 0.05 M ⊙. The weak eclipses imply a WD blackbody temperature of 63,000 ± 10,000 K and a radius R WD = 0.0148 ± 0.0020 R ⊙ as expected for a WD of such high temperature. The He-sdOB star is likely undergoing hydrogen shell burning and will continue transferring mass for ≈1 Myr at a rate of 10−9 M ⊙ yr−1, which is consistent with the high WD temperature. The hot subdwarf will then turn into a WD and the system will merge in ≈30 Myr. We suggest that Galactic reddening could bias discoveries toward preferentially finding Roche lobe–filling systems during the short-lived shell-burning phase. Studies using reddening-corrected samples should reveal a large population of helium core–burning hot subdwarfs with T eff ≈ 25,000 K in binaries of 60–90 minutes with WDs. Though not yet in contact, these binaries would eventually come into contact through gravitational-wave emission and explode as a subluminous thermonuclear supernova or evolve into a massive single WD

Sistema de reprodução em populações de Eschweilera ovata (Cambess.) Miers Mating system in Eschweilera ovata (Cambess.) Miers populations

O sistema de reprodução de duas populações de Eschweilera ovata foi quantificado por análise de isoenzimas em estrutura de progênies usando os modelos misto de reprodução e cruzamentos correlacionados. Desvios do modelo misto de reprodução foram evidenciados entre as freqüências alélicas dos óvulos e do pólen e pela heterogeneidade nas freqüências alélicas do pólen que fecundou as diferentes árvores. A taxa de cruzamento multilocos foi alta em ambas populações Camarugipe (t m =0,999&plusmn;0,004) e Itaparica (t m=0,985&plusmn;0,023). A alta variação na taxa de cruzamento individual (t variando de 0,320 a 1,000) indicou que a espécie não é auto-incompatível. Diferenças positivas e significativamente diferentes de zero foram detectadas entre a taxa de cruzamento multiloco e uniloco, indicando cruzamentos endogâmicos em ambas populações Camarugipe (t m-t s =0,066&plusmn;0,014) e Itaparica (t m-t s =0,073&plusmn;0,016) e possível estruturação genética espacial. Valores altos de cruzamentos biparentais foram detectados nas populações (Camarugipe, r p=0,577&plusmn;0,088; Itaparica r p =0,423&plusmn;0,070), demonstrando que as progênies são constituídas principalmente por misturas de meios-irmãos e irmãos-completos. O coeficiente de coancestria nas progênies de ambas as populações (Camarugipe, tetaxy=0,211; Itaparica tetaxy =0,191) foi superior ao esperado em progênies de meios irmãos (0,125). Os resultados foram discutidos sob a ótica de amostragens para melhoramento, conservação genética e coleta de sementes para recuperação ambiental.<br>The mating system of two populations of Eschweilera ovata was studied by allozymes analysis of progeny arrays using the mixed-mating model and correlated mating model. Deviations from mixed-mating model were evident from differences in pollen and ovule allele frequencies and allele frequency heterogeneity of pollen pools that fertilized the different trees. The multilocus outcrossing rate was high in both Camarugipe (t m=0.999&plusmn;0.004) and Itaparica populations (t m=0.985&plusmn;0.023). The high variation in individual outcrossing rate (t ranged from 0.320 to 1.000) indicated that the species is not self-incompatible. Positive differences and significantly different from zero between multilocus and single locus outcrossing rate were detected, indicating biparental inbreeding in both Camarugipe (t m - t s=0.066&plusmn;0.014) and Itaparica populations (t m - t s=0.073&plusmn;0.016) and possible spatial genetic structuring. Higher values of correlated mating were detected in the populations (Camarugipe, r p=0.577&plusmn;0.088; Itaparica r p=0.423&plusmn;0.070), showing that the families consisted mainly of half-sib and full-sib mixtures. The coancestry coefficient within families from both populations (Camarugipe, thetaxy=0.211; Itaparica thetaxy=0.191) was higher than the expected in half-sib families (0.125). The results were discussed from the point of view of sampling for improvement, genetic conservation and seed collection aiming at environmental recovery

Applying game semantics to compositional software modeling and verification

Abstract. We describe a software model checking tool founded on game semantics, highlight the underpinning theoretical results and discuss several case studies. The tool is based on an interpretation algorithm defined compositionally on syntax and thus can also handle open programs. Moreover, the models it produces are equationally fully abstract. These features are essential in the modeling and verification of software components such as modules and turn out to lead to very compact models of programs. 1 Introduction and Background Game Semantics has emerged as a powerful paradigm for giving semantics to a variety of programming languages and logical systems. It has been used to construct the first syntax-independent fully abstract models for a spectrum of programming languages ranging from purely functional languages to languages with non-functional features such as control operators and locally-scoped references [1-6]

Pollination of Habenaria pleiophylla Hoehne & Schlechter (Orchidaceae) by Heliconius erato phyllis Fabricius (Lepidoptera, Nymphalidae)

For the first time the pollination of a poorly known, terrestrial orchid, Habenaria pleiophylla Hoehne & Schlechter, 1921 (Orchidaceae) by a passion vine butterfly, Heliconius erato phyllis (Fabricius, 1775) (Lepidoptera, Nymphalidae) is reported. Number of pollinia-carrying individuals was determined on a population of H. erato phyllis in Horto Florestal Barba Negra, Barra do Ribeiro County, Rio Grande do Sul State. The pollination mechanism was described under laboratory conditions, in association with the butterfly feeding habit and the orchid flower morphology. Habenaria pleiophylla pollinia are cemented during nectar feeding on the ventral portion of the compound eyes near H. erato phyllis proboscis base. The pollinia are transferred to the stigma of other flowers during subsequent visits. Both males and females of H. eralo phyllis frequently visit H. pleiophylla flowers in the Barba Negra Forest. About forty percent of field collected adults had attached pollinia, ranging in number from one to 19 per individual. Thus, H. eralo phyllis may play an important role in the reproductive biology of this H. pleiophylla population