Large-scale Vortices in Protoplanetary Disks: On the observability of possible early stages of planet formation

We investigate the possibility of mapping large-scale anti-cyclonic vortices, resulting from a global baroclinic instability, as pre-cursors of planet formation in proto-planetary disks with the planned Atacama Large Millimeter Array (ALMA). On the basis of three-dimensional radiative transfer simulations, images of a hydrodynamically calculated disk are derived which provide the basis for the simulation of ALMA. We find that ALMA will be able to trace the theoretically predicted large-scale anti-cyclonic vortex and will therefore allow testing of existing models of this very early stage of planet formation in circumstellar disks.Comment: Accepted by ApJ (Letters section). A preprint version with high-quality figures can be downloaded from http://spider.ipac.caltech.edu/staff/swolf/homepage/public/preprints/ vortex.ps.g

Tracing planet-induced structures in circumstellar disks using molecular lines

Circumstellar disks are considered to be the birthplace of planets. Specific structures like spiral arms, gaps, and cavities are characteristic indicators of planet-disk interaction. Investigating these structures can provide insights into the growth of protoplanets and the physical properties of the disk. We investigate the feasibility of using molecular lines to trace planet-induced structures in circumstellar disks. Based on 3D hydrodynamic simulations of planet-disk interactions, we perform self-consistent temperature calculations and produce N-LTE molecular line velocity-channel maps and spectra of these disks using our new N-LTE line radiative transfer code Mol3D. Subsequently, we simulate ALMA observations using the CASA simulator. We consider two nearly face-on inclinations, 5 disk masses, 7 disk radii, and 2 different typical pre-main-sequence host stars (T Tauri, Herbig Ae). We calculate up to 141 individual velocity-channel maps for five molecules/isotopoloques in a total of 32 rotational transitions to investigate the frequency dependence of the structures indicated above. We find that the majority of protoplanetary disks in our parameter space could be detected in the molecular lines considered. However, unlike the continuum case, gap detection is not straightforward in lines. For example, gaps are not seen in symmetric rings but are masked by the pattern caused by the global (Keplerian) velocity field. We identify specific regions in the velocity-channel maps that are characteristic of planet-induced structures. Simulations of high angular resolution molecular line observations demonstrate the potential of ALMA to provide complementary information about the planet-disk interaction as compared to continuum observations. In particular, the detection of planet-induced gaps is possible under certain conditions.(abridged)Comment: 19 pages, 19 figures, accepted for publication in A&

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint. We prove a confluence result concerning the rule scheme and show its correctness. When algorithms are written in CHR, constraints represent both data and operations. CHR is already incremental by nature, i.e. constraints can be added at runtime. Logical retraction adds decrementality. Hence any algorithm written in CHR with justifications will become fully dynamic. Operations can be undone and data can be removed at any point in the computation without compromising the correctness of the result. We present two classical examples of dynamic algorithms, written in our prototype implementation of CHR with justifications that is available online: maintaining the minimum of a changing set of numbers and shortest paths in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Ferrimagnetism of MnV_2O_4 spinel

The spinel MnV_2O_4 is a two-sublattice ferrimagnet, with site A occupied by the Mn^{2+} ion and site B by the V^{3+} ion. The magnon of the system, the transversal fluctuation of the total magnetization, is a complicated mixture of the sublattice A and B transversal magnetic fluctuations. As a result, the magnons' fluctuations suppress in a different way the manganese and vanadium magnetic orders and one obtains two phases. At low temperature (0,T^*) the magnetic orders of the Mn and V ions contribute to the magnetization of the system, while at the high temperature (T^*,T_N), the vanadium magnetic order is suppressed by magnon fluctuations, and only the manganese ions have non-zero spontaneous magnetization. A modified spin-wave theory is developed to describe the two phases and to calculate the magnetization as a function of temperature. The anomalous $M(T)$ curve reproduces the experimentally obtained ZFC magnetization.Comment: 4 pages, one figur

HD 169142 in the eyes of ZIMPOL/SPHERE

We present new data of the protoplanetary disc surrounding the Herbig Ae/Be star HD 169142 obtained in the very broad-band (VBB) with the Zurich imaging polarimeter (ZIMPOL), a sub-system of the Spectro-Polarimetric High-contrast Exoplanet REsearch instrument (SPHERE) at the Very Large Telescope (VLT). Our Polarimetric Differential Imaging (PDI) observations probe the disc as close as 0.03" (3.5au) to the star and are able to trace the disc out to ~1.08" (~126au). We find an inner hole, a bright ring bearing substructures around 0.18" (21au), and an elliptically shaped gap stretching from 0.25" to 0.47" (29-55au). Outside of 0.47", the surface brightness drops off, discontinued only by a narrow annular brightness minimum at ~0.63"-0.74" (74-87au). These observations confirm features found in less-well resolved data as well as reveal yet undetected indications for planet-disc interactions, such as small-scale structures, star-disk offsets, and potentially moving shadows.Comment: Accepted for publication in MNRA

Electronic structure of single-crystalline Mgx_xAl1−x_{1-x}B2_2 probed by x-ray diffraction multipole refinements and polarization-dependent x-ray absorption spectroscopy

X-ray diffraction multipole refinements of single-crystalline Mg$_x$Al$_{1-x}$B$_2$ and polarization-dependent near-edge x-ray absorption fine structure at the B 1$s$ edge reveal a strongly anisotropic electronic structure. Comparing the data for superconducting compounds ($x= 0.8$, 1.0) with those for the non-superconductor ($x=0$) gives direct evidence for a rearrangement of the hybridizations of the boron $p_z$ bonds and underline the importance of holes in the $\sigma$-bonded covalent $sp^2$ states for the superconducting properties of the diborides. The data indicate that Mg is approximately divalent in MgB$_2$ and suggest predominantly ionic bonds between the Mg ions and the two-dimensional B rings. For AlB$_2$ ($x=0$), on the other hand, about 1.5 electrons per Al atom are transferred to the B sheets while the residual 1.5 electrons remain at the Al site which suggests significant covalent bonding between the Al ions and the B sheets. This finding together with the static electron deformation density points to almost equivalent electron counts on B sheets of MgB$_2$ and AlB$_2$\@, yet with a completely different electron/hole distribution between the $\sigma$ and $\pi$ bonds