Are observations of the galaxy cluster Abell 1689 consistent with a neutrino dark matter scenario?

Recent weak and strong lensing data of the galaxy cluster A1689 are modelled by dark fermions that are quantum degenerate within some core. The gas density, deduced from X-ray observations up to 1 Mpc and obeying a cored power law, is taken as input, while the galaxy mass density is modelled. An additional dark matter tail may arise from cold or warm dark matter, axions or non-degenerate neutrinos. The fit yields that the fermions are degenerate within a 430 kpc radius. The fermion mass is a few eV and the best case involves 3 active plus 3 sterile neutrinos of equal mass, for which we deduce $1.51 \pm 0.04$ eV. The eV mass range will be tested in the KATRIN experiment.Comment: 5 pages latex, 5 figures. Accepted for MNRAS Letter

Prediction for the neutrino mass in the KATRIN experiment from lensing by the galaxy cluster A1689

The KATRIN experiment in Karlsruhe Germany will monitor the decay of tritium, which produces an electron-antineutrino. While the present upper bound for its mass is 2 eV/$c^2$, KATRIN will search down to 0.2 eV$/c^2$. If the dark matter of the galaxy cluster Abell 1689 is modeled as degenerate isothermal fermions, the strong and weak lensing data may be explained by degenerate neutrinos with mass of 1.5 eV$/c^2$. Strong lensing data beyond 275 kpc put tension on the standard cold dark matter interpretation. In the most natural scenario, the electron antineutrino will have a mass of 1.5 eV/$c^2$, a value that will be tested in KATRIN.Comment: 13 pages, 5 figure

Continuum in the Excitation Spectrum of the S=1 Compound CsNiCl_3

Recent neutron scattering experiments on CsNiCl_3 reveal some features which are not well described by the nonlinear sigma model nor by numerical simulations on isolated S=1 spin chains. In particular, in real systems the intensity of the continuum of multiparticle excitations, at T=6K, is about 5 times greater than predicted. Also the gap is slightly higher and the correlation length is smaller. We propose a theoretical scenario where the interchain interaction is approximated by a staggered magnetic field, yielding to a correct prediction of the observed quantities.Comment: 4 pages, 2 figures (.eps), RevTe

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such as SCOOP have been proposed. Despite the practical importance of analysing SCOOP programs, there are currently no general verification approaches that operate directly on program code without additional annotations. One reason for this is the multitude of partially conflicting semantic formalisations for SCOOP (either in theory or by-implementation). Here, we propose a simple graph transformation system (GTS) based run-time semantics for SCOOP that grasps the most common features of all known semantics of the language. This run-time model is implemented in the state-of-the-art GTS tool GROOVE, which allows us to simulate, analyse, and verify a subset of SCOOP programs with respect to deadlocks and other behavioural properties. Besides proposing the first approach to verify SCOOP programs by automatic translation to GTS, we also highlight our experiences of applying GTS (and especially GROOVE) for specifying semantics in the form of a run-time model, which should be transferable to GTS models for other concurrent languages and libraries.Comment: In Proceedings GaM 2015, arXiv:1504.0244

Effective mapping of spin-1 chains onto integrable fermionic models. A study of string and Neel correlation functions

We derive the dominant contribution to the large-distance decay of correlation functions for a spin chain model that exhibits both Haldane and Neel phases in its ground state phase diagram. The analytic results are obtained by means of an approximate mapping between a spin-1 anisotropic Hamiltonian onto a fermionic model of noninteracting Bogolioubov quasiparticles related in turn to the XY spin-1/2 chain in a transverse field. This approach allows us to express the spin-1 string operators in terms of fermionic operators so that the dominant contribution to the string correlators at large distances can be computed using the technique of Toeplitz determinants. As expected, we find long-range string order both in the longitudinal and in the transverse channel in the Haldane phase, while in the Neel phase only the longitudinal order survives. In this way, the long-range string order can be explicitly related to the components of the magnetization of the XY model. Moreover, apart from the critical line, where the decay is algebraic, we find that in the gapped phases the decay is governed by an exponential tail multiplied by algebraic factors. As regards the usual two points correlation functions, we show that the longitudinal one behaves in a 'dual' fashion with respect to the transverse string correlator, namely both the asymptotic values and the decay laws exchange when the transition line is crossed. For the transverse spin-spin correlator, we find a finite characteristic length which is an unexpected feature at the critical point. We also comment briefly the entanglement features of the original system versus those of the effective model. The goodness of the approximation and the analytical predictions are checked versus density-matrix renormalization group calculations.Comment: 28 pages, plain LaTeX, 2 EPS figure

Spin Chains in an External Magnetic Field. Closure of the Haldane Gap and Effective Field Theories

We investigate both numerically and analytically the behaviour of a spin-1 antiferromagnetic (AFM) isotropic Heisenberg chain in an external magnetic field. Extensive DMRG studies of chains up to N=80 sites extend previous analyses and exhibit the well known phenomenon of the closure of the Haldane gap at a lower critical field H_c1. We obtain an estimate of the gap below H_c1. Above the lower critical field, when the correlation functions exhibit algebraic decay, we obtain the critical exponent as a function of the net magnetization as well as the magnetization curve up to the saturation (upper critical) field H_c2. We argue that, despite the fact that the SO(3) symmetry of the model is explicitly broken by the field, the Haldane phase of the model is still well described by an SO(3) nonlinear sigma-model. A mean-field theory is developed for the latter and its predictions are compared with those of the numerical analysis and with the existing literature.Comment: 11 pages, 4 eps figure

A study of the value of formal analysis in problem solving

Thesis (M.A.)--Boston University, 1949. This item was digitized by the Internet Archive

Alternative linear structures for classical and quantum systems

The possibility of deforming the (associative or Lie) product to obtain alternative descriptions for a given classical or quantum system has been considered in many papers. Here we discuss the possibility of obtaining some novel alternative descriptions by changing the linear structure instead. In particular we show how it is possible to construct alternative linear structures on the tangent bundle TQ of some classical configuration space Q that can be considered as "adapted" to the given dynamical system. This fact opens the possibility to use the Weyl scheme to quantize the system in different non equivalent ways, "evading", so to speak, the von Neumann uniqueness theorem.Comment: 32 pages, two figures, to be published in IJMP