Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201

CTMC calculations of electron capture and ionization in collisions of multiply charged ions with elliptical Rydberg atoms

We have performed classical trajectory Monte Carlo (CTMC) studies of electron capture and ionization in multiply charged (Q=8) ion-Rydberg atom collisions at intermediate impact velocities. Impact parallel to the minor and to the major axis, respectively, of the initial Kepler electron ellipse has been investigated. The important role of the initial electron momentum distribution found for singly charged ion impact is strongly disminished for higher projectile charge, while the initial spatial distribution remains important for all values of Q studied.Comment: 3 pages, 5 figure

Irreversibility and the arrow of time in a quenched quantum system

Irreversibility is one of the most intriguing concepts in physics. While microscopic physical laws are perfectly reversible, macroscopic average behavior has a preferred direction of time. According to the second law of thermodynamics, this arrow of time is associated with a positive mean entropy production. Using a nuclear magnetic resonance setup, we measure the nonequilibrium entropy produced in an isolated spin-1/2 system following fast quenches of an external magnetic field and experimentally demonstrate that it is equal to the entropic distance, expressed by the Kullback-Leibler divergence, between a microscopic process and its time-reverse. Our result addresses the concept of irreversibility from a microscopic quantum standpoint.Comment: 8 pages, 7 figures, RevTeX4-1; Accepted for publication Phys. Rev. Let

Influencing Factors on the Dielectric Breakdown Strength in F-gas Free High-voltage Switchgear

After being in the focus of sciences' and industry's research and development activities for many years, the investigation of possible SF6 gas-alternatives has been even more intensified after the revision of the European regulation on fluorinated gases in 2014. In this contribution the influencing factors on the dielectric breakdown of clean air are investigated for weak inhomogeneous field and gas pressures up to 10 bar. Modelling approaches and experimental data are compared

The PEP Survey: Infrared Properties of Radio-Selected AGN

By exploiting the VLA-COSMOS and the Herschel-PEP surveys, we investigate the Far Infrared (FIR) properties of radio-selected AGN. To this purpose, from VLA-COSMOS we considered the 1537, F[1.4 GHz]>0.06 mJy sources with a reliable redshift estimate, and sub-divided them into star-forming galaxies and AGN solely on the basis of their radio luminosity. The AGN sample is complete with respect to radio selection at all z<~3.5. 832 radio sources have a counterpart in the PEP catalogue. 175 are AGN. Their redshift distribution closely resembles that of the total radio-selected AGN population, and exhibits two marked peaks at z~0.9 and z~2.5. We find that the probability for a radio-selected AGN to be detected at FIR wavelengths is both a function of radio power and redshift, whereby powerful sources are more likely to be FIR emitters at earlier epochs. This is due to two distinct effects: 1) at all radio luminosities, FIR activity monotonically increases with look-back time and 2) radio activity of AGN origin is increasingly less effective at inhibiting FIR emission. Radio-selected AGN with FIR emission are preferentially located in galaxies which are smaller than those hosting FIR-inactive sources. Furthermore, at all z<~2, there seems to be a preferential (stellar) mass scale M ~[10^{10}-10^{11}] Msun which maximizes the chances for FIR emission. We find such FIR (and MIR) emission to be due to processes indistinguishable from those which power star-forming galaxies. It follows that radio emission in at least 35% of the entire AGN population is the sum of two contributions: AGN accretion and star-forming processes within the host galaxy.Comment: 13 pages, 14 figures, to appear in MNRA

Meeting the Sustainable Development Goals leads to lower world population growth

Here we show the extent to which the expected world population growth could be lowered by successfully implementing the recently agreed-upon Sustainable Development Goals (SDGs). The SDGs include specific quantitative targets on mortality, reproductive health, and education for all girls by 2030, measures that will directly and indirectly affect future demographic trends. Based on a multidimensional model of population dynamics that stratifies national populations by age, sex, and level of education with educational fertility and mortality differentials, we translate these goals into SDG population scenarios, resulting in population sizes between 8.2 and 8.7 billion in 2100. Because these results lie outside the 95% prediction range given by the 2015 United Nations probabilistic population projections, we complement the study with sensitivity analyses of these projections that suggest that those prediction intervals are too narrow because of uncertainty in baseline data, conservative assumptions on correlations, and the possibility of new policies influencing these trends. Although the analysis presented here rests on several assumptions about the implementation of the SDGs and the persistence of educational, fertility, and mortality differentials, it quantitatively illustrates the view that demography is not destiny and that policies can make a decisive difference. In particular, advances in female education and reproductive health can contribute greatly to reducing world population growth

The RNA-binding protein, ZFP36L2, influences ovulation and oocyte maturation

ZFP36L2 protein destabilizes AU-rich element-containing transcripts and has been implicated in female fertility. In the C57BL/6NTac mouse, a mutation in Zfp36l2 that results in the decreased expression of a form of ZFP36L2 in which the 29 N-terminal amino acid residues have been deleted, ΔN-ZFP36L2, leads to fertilized eggs that arrest at the two-cell stage. Interestingly, homozygous ΔN-Zfp36l2 females in the C57BL/6NTac strain release 40% fewer eggs than the WT littermates (Ramos et al., 2004), suggesting an additional defect in ovulation and/or oocyte maturation. Curiously, the same ΔN-Zfp36l2 mutation into the SV129 strain resulted in anovulation, prompting us to investigate a potential problem in ovulation and oocyte maturation. Remarkably, only 20% of ΔN-Zfp36l2 oocytes in the 129S6/SvEvTac strain matured ex vivo, suggesting a defect on the oocyte meiotic maturation process. Treatment of ΔN-Zfp36l2 oocytes with a PKA inhibitor partially rescued the meiotic arrested oocytes. Furthermore, cAMP levels were increased in ΔN-Zfp36l2 oocytes, linking the cAMP/PKA pathway and ΔN-Zfp36l2 with meiotic arrest. Since ovulation and oocyte maturation are both triggered by LHR signaling, the downstream pathway was investigated. Adenylyl cyclase activity was increased in ΔN-Zfp36l2 ovaries only upon LH stimulation. Moreover, we discovered that ZFP36L2 interacts with the 3′UTR of LHR mRNA and that decreased expression levels of Zfp36l2 correlates with higher levels of LHR mRNA in synchronized ovaries. Furthermore, overexpression of ZFP36L2 decreases the endogenous expression of LHR mRNA in a cell line. Therefore, we propose that lack of the physiological down regulation of LHR mRNA levels by ZFP36L2 in the ovaries is associated with anovulation and oocyte meiotic arrest.Fil: Ball, Christopher B.. University of North Carolina; Estados UnidosFil: Rodriguez, Karina F.. National Institutes of Health; Estados UnidosFil: Stumpo, Deborah J.. National Institutes of Health; Estados UnidosFil: Ribeiro Neto, Fernando. National Institutes of Health; Estados UnidosFil: Korach, Kenneth S.. National Institutes of Health; Estados UnidosFil: Blackshear, Perry J.. University of Duke; Estados Unidos. National Institutes of Health; Estados UnidosFil: Birnbaumer, Lutz. National Institutes of Health; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Ramos, Silvia B. V.. University of North Carolina; Estados Unido

Mid-infrared and optical spectroscopy of ultraluminous infrared galaxies: A comparison

New tools from Infrared Space Observatory (ISO) mid-infrared spectroscopy have recently become available to determine the power sources of dust-obscured ultraluminous infrared galaxies (ULIRGs). We compare ISO classifications - starburst or active galactic nucleus (AGN) - with classifications from optical spectroscopy, and with optical/near-infrared searches for hidden broad-line regions. The agreement between mid-infrared and optical classification is excellent if optical LINER spectra are assigned to the starburst group. The starburst nature of ULIRG LINERs strongly supports the suggestion that LINER spectra in infrared-selected galaxies, rather than being an expression of the AGN phenomenon, are due to shocks that are probably related to galactic superwinds. Differences between ISO and optical classification provide clues on the evolution of ULIRGs and on the configuration of obscuring dust. We find few ISO AGN with optical HII or LINER identification, suggesting that highly obscured AGN exist but are not typical for the ULIRG phenomenon in general. Rather, our results indicate that strong AGN activity, once triggered, quickly breaks the obscuring screen at least in certain directions, thus becoming detectable over a wide wavelength range.Comment: aastex, 1 eps figure. Accepted by ApJ (Letters