Exchange operator formalism for N-body spin models with near-neighbors interactions

We present a detailed analysis of the spin models with near-neighbors interactions constructed in our previous paper [Phys. Lett. B 605 (2005) 214] by a suitable generalization of the exchange operator formalism. We provide a complete description of a certain flag of finite-dimensional spaces of spin functions preserved by the Hamiltonian of each model. By explicitly diagonalizing the Hamiltonian in the latter spaces, we compute several infinite families of eigenfunctions of the above models in closed form in terms of generalized Laguerre and Jacobi polynomials.Comment: RevTeX, 31 pages, no figures; important additional conten

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Minimal size of a barchan dune

Barchans are dunes of high mobility which have a crescent shape and propagate under conditions of unidirectional wind. However, sand dunes only appear above a critical size, which scales with the saturation distance of the sand flux [P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002); B. Andreotti, P. Claudin, and S. Douady, Eur. Phys. J. B {\bf{28,}} 321 (2002); G. Sauermann, K. Kroy, and H. J. Herrmann, Phys. Rev. E {\bf{64,}} 31305 (2001)]. It has been suggested by P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002) that this flux fetch distance is itself constant. Indeed, this could not explain the proto size of barchan dunes, which often occur in coastal areas of high litoral drift, and the scale of dunes on Mars. In the present work, we show from three dimensional calculations of sand transport that the size and the shape of the minimal barchan dune depend on the wind friction speed and the sand flux on the area between dunes in a field. Our results explain the common appearance of barchans a few tens of centimeter high which are observed along coasts. Furthermore, we find that the rate at which grains enter saltation on Mars is one order of magnitude higher than on Earth, and is relevant to correctly obtain the minimal dune size on Mars.Comment: 11 pages, 10 figure

Towards a spatially and temporally constant Karakorum fault slip rate

Abstract HKT-ISTP 2013 A

Structure of isobaric analog states in 91Nb populated by the 90Zr(a,t) reaction

Decay via proton emission of isobaric analog states (IAS's) in $^{91}{Nb}$ was studied using the $^{90}{Zr}(\alpha,t)$ reaction at $E_\alpha$=180 MeV. This study provides information about the damping mechanism of these states. Decay to the ground state and low-lying phonon states in $^{90}{Zr}$ was observed. The experimental data are compared with theoretical predictions wherein the IAS `single-particle' proton escape widths are calculated in a continuum RPA approach. The branching ratios for decay to the phonon states are explained using a simple model.Comment: 3 figures. submitted to Phys. Lett.

Calogero-Moser models with noncommutative spin interactions

We construct integrable generalizations of the elliptic Calogero-Sutherland-Moser model of particles with spin, involving noncommutative spin interactions. The spin coupling potential is a modular function and, generically, breaks the global spin symmetry of the model down to a product of U(1) phase symmetries. Previously known models are recovered as special cases.Comment: Version to appear in Phys. Rev. Let

Ketamine Modulates Theta and Gamma Oscillations

Ketamine, an N-methyl-D-aspartate (NMDA) receptor glutamatergic antagonist, has been studied as a model of schizophrenia when applied in subanesthetic doses. In EEG studies, ketamine affects sensory gating and alters the oscillatory characteristics of neuronal signals in a complexmanner. We investigated the effects of ketamine on in vivo recordings from the CA3 region of mouse hippocampus referenced to the ipsilateral frontal sinus using a paired-click auditory gating paradigm. One issue of particular interest was elucidating the effect of ketamine on background network activity, poststimulus evoked and induced activity. We find that ketamine attenuates the theta frequency band in both background activity and in poststimulus evoked activity. Ketamine also disrupts a late, poststimulus theta power reduction seen in control recordings. In the gamma frequency range, ketamine enhances both background and evoked power, but decreases relative induced power. These findings support a role for NMDA receptors in mediating the balance between theta and gamma responses to sensory stimuli, with possible implications for dysfunction in schizophrenia

Classification of integrable Weingarten surfaces possessing an sl(2)-valued zero curvature representation

In this paper we classify Weingarten surfaces integrable in the sense of soliton theory. The criterion is that the associated Gauss equation possesses an sl(2)-valued zero curvature representation with a nonremovable parameter. Under certain restrictions on the jet order, the answer is given by a third order ordinary differential equation to govern the functional dependence of the principal curvatures. Employing the scaling and translation (offsetting) symmetry, we give a general solution of the governing equation in terms of elliptic integrals. We show that the instances when the elliptic integrals degenerate to elementary functions were known to nineteenth century geometers. Finally, we characterize the associated normal congruences

Accelerated Data-Flow Analysis

Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states. Even if no termination guarantee is provided in theory, successful results were obtained in practice by different tools implementing this framework. In this paper, the acceleration framework is extended to data-flow analysis. Compared to a classical widening/narrowing-based abstract interpretation, the loss of precision is controlled here by the choice of the abstract domain and does not depend on the way the abstract value is computed. Our approach is geared towards precision, but we don't loose efficiency on the way. Indeed, we provide a cubic-time acceleration-based algorithm for solving interval constraints with full multiplication

Quantum Inozemtsev model, quasi-exact solvability and N-fold supersymmetry

Inozemtsev models are classically integrable multi-particle dynamical systems related to Calogero-Moser models. Because of the additional q^6 (rational models) or sin^2(2q) (trigonometric models) potentials, their quantum versions are not exactly solvable in contrast with Calogero-Moser models. We show that quantum Inozemtsev models can be deformed to be a widest class of partly solvable (or quasi-exactly solvable) multi-particle dynamical systems. They posses N-fold supersymmetry which is equivalent to quasi-exact solvability. A new method for identifying and solving quasi-exactly solvable systems, the method of pre-superpotential, is presented.Comment: LaTeX2e 28 pages, no figure