Lithium Depletion Boundary in a Pre-Main Sequence Binary System

A lithium depletion boundary is detected in HIP 112312 (GJ 871.1 A and B), a \~12 Myr old pre-main sequence binary system. A strong (EW 300 mA) Li 6708 A absorption feature is seen at the secondary (~M4.5) while no Li 6708 A feature is detected from the primary (~M4). The physical companionship of the two stars is confirmed from common proper motions. Current theoretical pre-main sequence evolutionary models cannot simultaneously match the observed colors, brightnesses, and Li depletion patterns of this binary system. At the age upper limit of 20 Myr, contemporary theoretical evolutionary models predict too slow Li depletion. If true Li depletion is a faster process than predicted by theoretical models, ages of open clusters (Pleiades, alpha Persei, and IC 2391) estimated from the Li depletion boundary method are all overestimated. Because of the importance of the open cluster age scale, development of self-consistent theoretical models to match the HIP 112312 data is desirable.Comment: Accepted in ApJL. 5 pages total (3 tables, 3 figures

The epigenetic regulator ATF7ip inhibits Il2 expression, regulating Th17 responses.

T helper 17 cells (Th17) are critical for fighting infections at mucosal surfaces; however, they have also been found to contribute to the pathogenesis of multiple autoimmune diseases and have been targeted therapeutically. Due to the role of Th17 cells in autoimmune pathogenesis, it is important to understand the factors that control Th17 development. Here we identify the activating transcription factor 7 interacting protein (ATF7ip) as a critical regulator of Th17 differentiation. Mice with T cell-specific deletion of Atf7ip have impaired Th17 differentiation secondary to the aberrant overproduction of IL-2 with T cell receptor (TCR) stimulation and are resistant to colitis in vivo. ChIP-seq studies identified ATF7ip as an inhibitor of Il2 gene expression through the deposition of the repressive histone mark H3K9me3 in the Il2-Il21 intergenic region. These results demonstrate a new epigenetic pathway by which IL-2 production is constrained, and this may open up new avenues for modulating its production

Density, Velocity, and Magnetic Field Structure in Turbulent Molecular Cloud Models

We use 3D numerical MHD simulations to follow the evolution of cold, turbulent, gaseous systems with parameters representing GMC conditions. We study three cloud simulations with varying mean magnetic fields, but identical initial velocity fields. We show that turbulent energy is reduced by a factor two after 0.4-0.8 flow crossing times (2-4 Myr), and that the magnetically supercritical cloud models collapse after ~6 Myr, while the subcritical cloud does not collapse. We compare density, velocity, and magnetic field structure in three sets of snapshots with matched Mach numbers. The volume and column densities are both log-normally distributed, with mean volume density a factor 3-6 times the unperturbed value, but mean column density only a factor 1.1-1.4 times the unperturbed value. We use a binning algorithm to investigate the dependence of kinetic quantities on spatial scale for regions of column density contrast (ROCs). The average velocity dispersion for the ROCs is only weakly correlated with scale, similar to the mean size-linewidth relation for clumps within GMCs. ROCs are often superpositions of spatially unconnected regions that cannot easily be separated using velocity information; the same difficulty may affect observed GMC clumps. We analyze magnetic field structure, and show that in the high density regime, total magnetic field strengths increase with density with logarithmic slope 1/3 -2/3. Mean line-of-sight magnetic field strengths vary widely across a projected cloud, and do not correlate with column density. We compute simulated interstellar polarization maps at varying orientations, and determine that the Chandrasekhar-Fermi formula multiplied by a factor ~0.5 yields a good estimate of the plane-of sky magnetic field strength provided the dispersion in polarization angles is < 25 degrees.Comment: 56 pages, 25 figures; Ap.J., accepte

Discovery of seven T Tauri stars and a brown dwarf candidate in the nearby TW Hydrae Association

We report the discovery of five T Tauri star systems, two of which are resolved binaries, in the vicinity of the nearest known region of recent star formation, the TW Hydrae Association. The newly discovered systems display the same signatures of youth (namely high X-ray flux, large Li abundance and strong chromospheric activity) and the same proper motion as the original five members. These similarities firmly establish the group as a bona fide T Tauri association, unique in its proximity to Earth and its complete isolation from any known molecular clouds. At an age of ~10 Myr and a distance of ~50 pc, the association members are excellent candidates for future studies of circumstellar disk dissipation and the formation of brown dwarfs and planets. Indeed, as an example, our speckle imaging revealed a faint, very likely companion 2" north of CoD-33 7795 (TWA 5). Its color and brightness suggest a spectral type ~M8.5 which, at an age of ~10^7 years, implies a mass ~20 M(Jupiter).Comment: 6 pages, 4 figures and 1 table. AAS LaTeX aas2pp4.sty. To be published in Ap

Topological Orthoalgebras

We define topological orthoalgebras (TOAs) and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space is an example of a lattice-ordered TOA that is not a toplogical lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show that a compact TOA in which 0 is an isolated point is atomic and of finite height. We identify and study a particularly tractable class of TOAs, which we call {\em stably ordered}: those in which the upper-set generated by an open set is open. This includes all topological OMLs, and also the projection lattices of Hilbert spaces. Finally, we obtain a topological version of the Foulis-Randall representation theory for stably ordered TOAsComment: 16 pp, LaTex. Minor changes and corrections in sections 1; more substantial corrections in section

Transition-Event Durations in One Dimensional Activated Processes

Despite their importance in activated processes, transition-event durations -- which are much shorter than first passage times -- have not received a complete theoretical treatment. We therefore study the distribution of durations of transition events over a barrier in a one-dimensional system undergoing over-damped Langevin dynamics.Comment: 39 pages, 11 figure

Postprocessing for quantum random number generators: entropy evaluation and randomness extraction

Quantum random-number generators (QRNGs) can offer a means to generate information-theoretically provable random numbers, in principle. In practice, unfortunately, the quantum randomness is inevitably mixed with classical randomness due to classical noises. To distill this quantum randomness, one needs to quantify the randomness of the source and apply a randomness extractor. Here, we propose a generic framework for evaluating quantum randomness of real-life QRNGs by min-entropy, and apply it to two different existing quantum random-number systems in the literature. Moreover, we provide a guideline of QRNG data postprocessing for which we implement two information-theoretically provable randomness extractors: Toeplitz-hashing extractor and Trevisan's extractor.Comment: 13 pages, 2 figure

HST and Spitzer Observations of the HD 207129 Debris Ring

A debris ring around the star HD 207129 (G0V; d = 16.0 pc) has been imaged in scattered visible light with the ACS coronagraph on the Hubble Space Telescope and in thermal emission using MIPS on the Spitzer Space Telescope at 70 microns (resolved) and 160 microns (unresolved). Spitzer IRS (7-35 microns) and MIPS (55-90 microns) spectrographs measured disk emission at >28 microns. In the HST image the disk appears as a ~30 AU wide ring with a mean radius of ~163 AU and is inclined by 60 degrees from pole-on. At 70 microns it appears partially resolved and is elongated in the same direction and with nearly the same size as seen with HST in scattered light. At 0.6 microns the ring shows no significant brightness asymmetry, implying little or no forward scattering by its constituent dust. With a mean surface brightness of V=23.7 mag per square arcsec, it is the faintest disk imaged to date in scattered light.Comment: 28 pages, 8 figure

Presymplectic current and the inverse problem of the calculus of variations

The inverse problem of the calculus of variations asks whether a given system of partial differential equations (PDEs) admits a variational formulation. We show that the existence of a presymplectic form in the variational bicomplex, when horizontally closed on solutions, allows us to construct a variational formulation for a subsystem of the given PDE. No constraints on the differential order or number of dependent or independent variables are assumed. The proof follows a recent observation of Bridges, Hydon and Lawson and generalizes an older result of Henneaux from ordinary differential equations (ODEs) to PDEs. Uniqueness of the variational formulation is also discussed.Comment: v2: 17 pages, no figures, BibTeX; minor corrections, close to published versio

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures