Interferometric Studies of the extreme binary, ϵ\epsilon Aurigae: Pre-eclipse Observations

We report new and archival K-band interferometric uniform disk diameters obtained with the Palomar Testbed Interferometer for the eclipsing binary star $\epsilon$ Aurigae, in advance of the start of its eclipse in 2009. The observations were inteded to test whether low amplitude variations in the system are connected with the F supergiant star (primary), or with the intersystem material connecting the star with the enormous dark disk (secondary) inferred to cause the eclipses. Cepheid-like radial pulsations of the F star are not detected, nor do we find evidence for proposed 6% per decade shrinkage of the F star. The measured 2.27 +/- 0.11 milli-arcsecond K band diameter is consistent with a 300 times solar radius F supergiant star at the Hipparcos distance of 625 pc. These results provide an improved context for observations during the 2009-2011 eclipse.Comment: Accepted for Ap.J. Letters, Oct. 200

Game semantic analysis of equivalence in IMJ

Using game semantics, we investigate the problem of verifying contextual equivalences in Interface Middleweight Java (IMJ), an imperative object calculus in which program phrases are typed using interfaces. Working in the setting where data types are non-recursive and restricted to finite domains, we identify the frontier between decidability and undecidability by reference to the structure of interfaces present in typing judgments. In particular, we show how to determine the decidability status of problem instances (over a fixed type signature) by examining the position of methods inside the term type and the types of its free identifiers. Our results build upon the recent fully abstract game semantics of IMJ. Decidability is proved by translation into visibly pushdown register automata over infinite alphabets with fresh-input recognition

The Persistence of Cool Galactic Winds in High Stellar Mass Galaxies Between z~1.4 and ~1

We present an analysis of the MgII 2796, 2803 and FeII 2586, 2600 absorption line profiles in coadded spectra of 468 galaxies at 0.7 < z < 1.5. The galaxy sample, drawn from the Team Keck Treasury Redshift Survey of the GOODS-N field, has a range in stellar mass (M_*) comparable to that of the sample at z~1.4 analyzed in a similar manner by Weiner et al. (2009; W09), but extends to lower redshifts and has specific star formation rates which are lower by ~0.6 dex. We identify outflows of cool gas from the Doppler shift of the MgII absorption lines and find that the equivalent width (EW) of absorption due to outflowing gas increases on average with M_* and star formation rate (SFR). We attribute the large EWs measured in spectra of the more massive, higher-SFR galaxies to optically thick absorbing clouds having large velocity widths. The outflows have hydrogen column densities N(H) > 10^19.3 cm^-2, and extend to velocities of ~500 km/s. While galaxies with SFR > 10 Msun/yr host strong outflows in both this and the W09 sample, we do not detect outflows in lower-SFR (i.e., log M_*/Msun < 10.5) galaxies at lower redshifts. Using a simple galaxy evolution model which assumes exponentially declining SFRs, we infer that strong outflows persist in galaxies with log M_*/Msun > 10.5 as they age between z=1.4 and z~1, presumably because of their high absolute SFRs. Finally, using high resolution HST/ACS imaging in tandem with our spectral analysis, we find evidence for a weak trend (at 1 sigma significance) of increasing outflow absorption strength with increasing galaxy SFR surface density.Comment: Submitted to ApJ. 25 pages, 19 figures, Figure 2 reduced in resolution. Uses emulateapj forma

Validation of the Wiedemann-Franz Law in solid and molten tungsten above 2000 K through thermal conductivity measurements via steady state temperature differential radiometry

We measure the thermal conductivity of solid and molten tungsten using Steady State Temperature Differential Radiometry. We demonstrate that the thermal conductivity can be well described by application of Wiedemann-Franz Law to electrical resistivity data, thus suggesting the validity of Wiedemann-Franz Law to capture the electronic thermal conductivity of metals in their molten phase. We further support this conclusion using ab initio molecular dynamics simulations with a machine-learned potential. Our results show that at these high temperatures, the vibrational contribution to thermal conductivity is negligible compared to the electronic component

CANDELS: The progenitors of compact quiescent galaxies at z~2

We combine high-resolution HST/WFC3 images with multi-wavelength photometry to track the evolution of structure and activity of massive (log(M*) > 10) galaxies at redshifts z = 1.4 - 3 in two fields of the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey (CANDELS). We detect compact, star-forming galaxies (cSFGs) whose number densities, masses, sizes, and star formation rates qualify them as likely progenitors of compact, quiescent, massive galaxies (cQGs) at z = 1.5 - 3. At z > 2 most cSFGs have specific star-formation rates (sSFR = 10^-9 yr^-1) half that of typical, massive SFGs at the same epoch, and host X-ray luminous AGN 30 times (~30%) more frequently. These properties suggest that cSFGs are formed by gas-rich processes (mergers or disk-instabilities) that induce a compact starburst and feed an AGN, which, in turn, quench the star formation on dynamical timescales (few 10^8 yr). The cSFGs are continuously being formed at z = 2 - 3 and fade to cQGs by z = 1.5. After this epoch, cSFGs are rare, thereby truncating the formation of new cQGs. Meanwhile, down to z = 1, existing cQGs continue to enlarge to match local QGs in size, while less-gas-rich mergers and other secular mechanisms shepherd (larger) SFGs as later arrivals to the red sequence. In summary, we propose two evolutionary scenarios of QG formation: an early (z > 2), fast-formation path of rapidly-quenched cSFGs that evolve into cQGs that later enlarge within the quiescent phase, and a slow, late-arrival (z < 2) path for SFGs to form QGs without passing through a compact state.Comment: Submitted to the Astrophysical Journal Letters, 6 pages, 4 figure