A note on shell models for MHD Turbulence

We investigate the time evolution of two different (GOY-like) shell models which have been recently proposed to describe the gross features of MHD turbulence. We see that, even if they are formally of the same type sharing with MHD equations quadratic couplings and similar conserved quantities, fundamental differences exist which are related to the ideal invariants.Comment: 6 pages, 5 figures.eps, to appear in Europhysics Letter

Measuring the LISA test mass magnetic proprieties with a torsion pendulum

Achieving the low frequency LISA sensitivity requires that the test masses acting as the interferometer end mirrors are free-falling with an unprecedented small degree of deviation. Magnetic disturbances, originating in the interaction of the test mass with the environmental magnetic field, can significantly deteriorate the LISA performance and can be parameterized through the test mass remnant dipole moment $\vec{m}_r$ and the magnetic susceptibility $\chi$. While the LISA test flight precursor LTP will investigate these effects during the preliminary phases of the mission, the very stringent requirements on the test mass magnetic cleanliness make ground-based characterization of its magnetic proprieties paramount. We propose a torsion pendulum technique to accurately measure on ground the magnetic proprieties of the LISA/LTP test masses.Comment: 6 pages, 3 figure

Mixture or mosaic? Genetic patterns in UK grey squirrels support a human-mediated ‘long-jump’ invasion mechanism

Aim Clarifying whether multiple introductions of a species remain relatively isolated or merge and interbreed is essential for understanding the dynamics of invasion processes. Multiple introductions from different sources can result in a mixture of genetically distinct populations, increasing the total genetic diversity. This mixing can resolve the ‘genetic paradox’, whereby in spite of the relatively small numbers of introduced individuals, the augmented diversity due to this mixing increases adaptability and the ability of the species to spread in new environments. Here, we aim to assess whether the expansion of a successful invader, the Eastern grey squirrel, was partly driven by the merger of multiple introductions and the effects of such a merger on diversity. Location UK, Ireland. Methods We analysed the genetic variation at 12 microsatellite loci of 381 individuals sampled from one historical and 14 modern populations of grey squirrels. Results Our data revealed that current UK population structure resembles a mosaic, with minimal interpopulation mixing and each element reflecting the genetic make-up of historic introductions. The genetic diversity of each examined population was lower than a US population or a historical UK population. Numbers of releases in a county did not correlate with county-level genetic diversity. Inbreeding coefficients remain high, and effective population sizes remain small. Main conclusions Our results support the conclusion that rapid and large-scale expansion in this species in the UK was not driven by a genetic mixing of multiple introduced populations with a single expansion front, but was promoted by repeated translocations of small propagules. Our results have implications for the management of grey squirrels and other invasive species and also demonstrate how invaders can overcome the genetic paradox, if spread is facilitated by human-mediated dispersal

Persistence of small-scale anisotropy of magnetic turbulence as observed in the solar wind

The anisotropy of magnetophydrodynamic turbulence is investigated by using solar wind data from the Helios 2 spacecraft. We investigate the behaviour of the complete high-order moment tensors of magnetic field increments and we compare the usual longitudinal structure functions which have both isotropic and anisotropic contributions, to the fully anisotropic contribution. Scaling exponents have been extracted by an interpolation scaling function. Unlike the usual turbulence in fluid flows, small-scale magnetic fluctuations remain anisotropic. We discuss the radial dependence of both anisotropy and intermittency and their relationship.Comment: 7 pages, 2 figures, in press on Europhys. Let

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

The MEV project: design and testing of a new high-resolution telescope for Muography of Etna Volcano

The MEV project aims at developing a muon telescope expressly designed for the muography of Etna Volcano. In particular, one of the active craters in the summit area of the volcano would be a suitable target for this experiment. A muon tracking telescope with high imaging resolution was built and tested during 2017. The telescope is a tracker based on extruded scintillating bars with WLS fibres and featuring an innovative read-out architecture. It is composed of three XY planes with a sensitive area of \SI{1}{m^2}; the angular resolution does not exceeds \SI{0.4}{\milli\steradian} and the total angular aperture is about $\pm$\SI{45}{\degree}. A special effort concerned the design of mechanics and electronics in order to meet the requirements of a detector capable to work in a hostile environment such as the top of a tall volcano, at a far distance from any facility. The test phase started in January 2017 and ended successfully at the end of July 2017. An extinct volcanic crater (the Monti Rossi, in the village of Nicolosi, about 15km from Catania) is the target of the measurement. The detector acquired data for about 120 days and the preliminary results are reported in this work

Review of the Laguerre-Gauss mode technology research program at Birmingham

Gravitational wave detectors from the advanced generation onwards are expected to be limited in sensitivity by thermal noise of the optics, making the reduction of this noise a key factor in the success of such detectors. A proposed method for reducing the impact of this noise is to use higher-order Laguerre-Gauss (LG) modes for the readout beam, as opposed to the currently used fundamental mode. We present here a synopsis of the research program undertaken by the University of Birmingham into the suitability of LG mode technology for future gravitational wave detectors. This will cover our previous and current work on this topic, from initial simulations and table-top LG mode experiments up to implementation in a prototype scale suspended cavity and high-power laser bench

Non-gaussian probability distribution functions in two dimensional Magnetohydrodynamic turbulence

Intermittency in MHD turbulence has been analyzed using high resolution 2D numerical simulations. We show that the Probability Distribution Functions (PDFs) of the fluctuations of the Elsasser fields, magnetic field and velocity field depend on the scale at hand, that is they are self-affine. The departure of the PDFs from a Gaussian function can be described through the scaling behavior of a single parameter lambda_r^2 obtained by fitting the PDFs with a given curve stemming from the analysis of a multiplicative model by Castaing et al. (1990). The scaling behavior of the parameter lambda_r^2 can be used to extract informations about the intermittency. A comparison of intermittency properties in different MHD turbulent flows is also performed.Comment: 7 pages, with 5 figure