3,537 research outputs found
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 -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
was studied using the reaction at =180 MeV.
This study provides information about the damping mechanism of these states.
Decay to the ground state and low-lying phonon states in 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
- …