Evidence for bipolar jets in late stages of AGB winds

Bipolar expansion at various stages of evolution has been recently observed in a number of AGB stars. The expansion is driven by bipolar jets that emerge late in the evolution of AGB winds. The wind traps the jets, resulting in an expanding, elongated cocoon. Eventually the jets break-out from the confining spherical wind, as recently observed in W43A. This source displays the most advanced evolutionary stage of jets in AGB winds. The earliest example is IRC+10011, where the asymmetry is revealed in high-resolution near-IR imaging. In this source the jets turned on only ~200 years ago, while the spherical wind is ~4000 years old.Comment: 6 pages, to appear in "Asymmetrical Planetary Nebulae III" editors M. Meixner, J. Kastner, N. Soker, & B. Balick (ASP Conf. Series

Vacuum structure of a modified MIT Bag

An alternative to introducing and subsequently renormalizing classical parameters in the expression for the vacuum energy of the MIT bag for quarks is proposed in the massless case by appealing to the QCD trace anomaly and scale separation due to asymptotic freedom. The explicit inclusion of gluons implies an unrealistically low separation scale.Comment: 5 pages, 2 figure

A powerful computational crystallography method to study ice polymorphism

Classical Molecular Dynamics (MD) simulations are employed as a tool to investigate structural properties of ice crystals under several temperature and pressure conditions. All ice crystal phases are analyzed by means of a computational protocol based on a clustering approach following standard MD simulations. The MD simulations are performed by using a recently published classical interaction potential for oxygen and hydrogen in bulk water, derived from neutron scattering data, able to successfully describe complex phenomena such as proton hopping and bond formation/breaking. The present study demonstrates the ability of the interaction potential model to well describe most ice structures found in the phase diagram of water and to estimate the relative stability of sixteen known phases through a cluster analysis of simulated powder diagrams of polymorphs obtained from MD simulations. The proposed computational protocol is suited for automated crystal structure identification.Comment: RevTex 4.1, 7 figures - to be published in the Journal of Chemical Physic

Quantum walk versus classical wave: Distinguishing ground states of quantum magnets by spacetime dynamics

We investigate wave packet spreading after a single spin flip in prototypical two-dimensional ferromagnetic and antiferromagnetic quantum spin systems. We find characteristic spatial magnon density profiles: While the ferromagnet shows a square-shaped pattern reflecting the underlying lattice structure, as exhibited by quantum walkers, the antiferromagnet shows a circular-shaped pattern which hides the lattice structure and instead resembles a classical wave pattern. We trace these fundamentally different behaviors back to the distinctly different magnon energy-momentum dispersion relations and also provide a real-space interpretation. Our findings point to opportunities for real-time, real-space imaging of quantum magnets both in materials science and in quantum simulators

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

Nuclear fission: The "onset of dissipation" from a microscopic point of view

Semi-analytical expressions are suggested for the temperature dependence of those combinations of transport coefficients which govern the fission process. This is based on experience with numerical calculations within the linear response approach and the locally harmonic approximation. A reduced version of the latter is seen to comply with Kramers' simplified picture of fission. It is argued that for variable inertia his formula has to be generalized, as already required by the need that for overdamped motion the inertia must not appear at all. This situation may already occur above T=2 MeV, where the rate is determined by the Smoluchowski equation. Consequently, comparison with experimental results do not give information on the effective damping rate, as often claimed, but on a special combination of local stiffnesses and the friction coefficient calculated at the barrier.Comment: 31 pages, LaTex, 9 postscript figures; final, more concise version, accepted for publication in PRC, with new arguments about the T-dependence of the inertia; e-mail: [email protected]

X-ray monitoring of classical novae in the central region of M31. III. Autumn and winter 2009/10, 2010/11 and 2011/12

[Abridged] Classical novae (CNe) represent the major class of supersoft X-ray sources (SSSs) in the central region of our neighbouring galaxy M31. We performed a dedicated monitoring of the M31 central region, aimed to detect SSS counterparts of CNe, with XMM-Newton and Chandra between Nov and Mar of the years 2009/10, 2010/11 and 2011/12. In total we detected 24 novae in X-rays. Seven of these sources were known from previous observations, including the M31 nova with the longest SSS phase, M31N~1996-08b, which was found to fade below our X-ray detection limit 13.8 yr after outburst. Of the new discoveries several novae exhibit significant variability in their short-term X-ray light curves with one object showing a suspected period of about 1.3 h. We studied the SSS state of the most recent outburst of a recurrent nova which had previously shown the shortest time ever observed between two outbursts (about 5 yr). The total number of M31 novae with X-ray counterpart was increased to 79 and we subjected this extended catalogue to detailed statistical studies. Four previously indicated correlations between optical and X-ray parameters could be confirmed and improved. We found indications that the multi-dimensional parameter space of nova properties might be dominated by a single physical parameter. We discuss evidence for a different X-ray behaviour of novae in the M31 bulge and disk. Exploration of the multi-wavelength parameter space of optical and X-ray measurements is shown to be a powerful tool for examining properties of extragalactic nova populations. While there are hints that the different stellar populations of M31 (bulge vs disk) produce dissimilar nova outbursts, there is also growing evidence that the overall behaviour of an average nova might be understood in surprisingly simple terms.Comment: 39 pages (half of them for 9 tables), 14 figures, accepted for publication in A&A; updated after language editing stag