Chemical Evolution of the Galaxy Based on the Oscillatory Star Formation History

We model the star formation history (SFH) and the chemical evolution of the Galactic disk by combining an infall model and a limit-cycle model of the interstellar medium (ISM). Recent observations have shown that the SFH of the Galactic disk violently variates or oscillates. We model the oscillatory SFH based on the limit-cycle behavior of the fractional masses of three components of the ISM. The observed period of the oscillation ($\sim 1$ Gyr) is reproduced within the natural parameter range. This means that we can interpret the oscillatory SFH as the limit-cycle behavior of the ISM. We then test the chemical evolution of stars and gas in the framework of the limit-cycle model, since the oscillatory behavior of the SFH may cause an oscillatory evolution of the metallicity. We find however that the oscillatory behavior of metallicity is not prominent because the metallicity reflects the past integrated SFH. This indicates that the metallicity cannot be used to distinguish an oscillatory SFH from one without oscillations.Comment: 21 pages LaTeX, to appear in Ap

Self-Regulation of Star Formation in Low Metallicity Clouds

We investigate the process of self-regulated star formation via photodissociation of hydrogen molecules in low metallicity clouds. We evaluate the influence region's scale of a massive star in low metallicity gas clouds whose temperatures are between 100 and 10000 Kelvin. A single O star can photodissociate hydrogen molecules in the whole of the host cloud. If metallicity is smaller than about 10^{-2.5} of the solar metallicity, the depletion of coolant of the the host cloud is very serious so that the cloud cannot cool in a free-fall time, and subsequent star formation is almost quenched. On the contrary, if metallicity is larger than about 10^{-1.5} of the solar metallicity, star formation regulation via photodissociation is not efficient. The typical metallicity when this transition occurs is about 1/100 of the solar metallicity. This indicates that stars do not form efficiently before the metallicity becomes larger than about 1/100 of the solar metallicity and we considered that this value becomes the lower limit of the metallicity of luminous objects such as galaxies.Comment: 14 pages, including 5 figures, To appear in ApJ, Vol. 53

Constraints on changes in fundamental constants from a cosmologically distant OH absorber/emitter

We have detected the four 18cm OH lines from the $z \sim 0.765$ gravitational lens toward PMN J0134-0931. The 1612 and 1720 MHz lines are in conjugate absorption and emission, providing a laboratory to test the evolution of fundamental constants over a large lookback time. We compare the HI and OH main line absorption redshifts of the different components in the $z \sim 0.765$ absorber and the $z \sim 0.685$ lens toward B0218+357 to place stringent constraints on changes in $F \equiv g_p [\alpha^2/\mu]^{1.57}$. We obtain $[\Delta F/F] = (0.44 \pm 0.36^{\rm stat} \pm 1.0^{\rm syst}) \times 10^{-5}$, consistent with no evolution over the redshift range $0 < z < 0.7$. The measurements have a $2 \sigma$ sensitivity of $[\Delta \alpha/\alpha] < 6.7 \times 10^{-6}$ or $[\Delta \mu/\mu] < 1.4 \times 10^{-5}$ to fractional changes in $\alpha$ and $\mu$ over a period of $\sim 6.5$ Gyr, half the age of the Universe. These are among the most sensitive current constraints on changes in $\mu$.Comment: 4 pages, 3 figures. Final version, with minor changes to match the version in print in Phys. Rev. Let

Modular termination verification for non-blocking concurrency

© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a thread’s concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other

The History of Cosmological Star Formation: Three Independent Approaches and a Critical Test Using the Extragalactic Background Light

Taking three independent approaches, we investigate the simultaneous constraints set on the cosmic star formation history from various observations, including stellar mass density and extragalactic background light (EBL). We compare results based on: 1) direct observations of past light-cone, 2) a model using local fossil evidence constrained by SDSS observations at z~0 (the `Fossil' model), and 3) theoretical ab initio models from three calculations of cosmic star formation history: (a) new (1024)^3 Total Variation Diminishing (TVD) cosmological hydrodynamic simulation, (b) analytic expression of Hernquist & Springel based on cosmological Smoothed Particle Hydrodynamics (SPH) simulations, and (c) semi-analytic model of Cole et al. We find good agreement among the three independent approaches up to the order of observational errors, except that all the models predict bolometric EBL of I_tot ~= 37-52 nW m^-2 sr^-1, which is at the lower edge of the the observational estimate by Hauser & Dwek. We emphasize that the Fossil model that consists of two components -- spheroids and disks --, when normalized to the local observations, provides a surprisingly simple but accurate description of the cosmic star formation history and other observable quantities. Our analysis suggests that the consensus global parameters at z=0 are: Omega_* = 0.0023+-0.0004, I_EBL = 43+-7 nW m^-2 sr^-1 rho_SFR=(1.06+-0.22)e-2 Msun yr^-1 Mpc^-3, j_bol = (3.1+-0.2)e8 Lsun Mpc^-3.Comment: 40 page, 10 figures. ApJ in press. Matched to the accepted versio

Reconstructing Deconstruction: High-Velocity Cloud Distance Through Disruption Morphology

We present Arecibo L-band Feed Array 21-cm observations of a sub-complex of HVCs at the tip of the Anti-Center Complex. These observations show morphological details that point to interaction with the ambient halo medium and differential drag within the cloud sub-complex. We develop a new technique for measuring cloud distances, which relies upon these observed morphological and kinematic characteristics, and show that it is consistent with H-alpha distances. These results are consistent with distances to HVCs and halo densities derived from models in which HVCs are formed from cooling halo gas.Comment: 8 pages, 2 figures, 1 tabe, Accepted to Ap

Octreotide for conservative management of postoperative chylothorax in the neonate

Chylothorax is a possible complication after thoracotomy. Treatment is initially conservative and includes drainage and correction of nutritional losses. Surgical treatment is reserved for cases not responsive to medical measures. The authors report on the clinical case of a premature neonate with a traumatic chylothorax secondary to esophageal atresia surgical correction. The use of octreotide allowed the resolution of the effusion without adverse effects and avoided the surgical treatment