Lindblad dynamics of the quantum spherical model

The purely relaxational non-equilibrium dynamics of the quantum spherical model as described through a Lindblad equation is analysed. It is shown that the phenomenological requirements of reproducing the exact quantum equilibrium state as stationary solution and the associated classical Langevin equation in the classical limit $g\to 0$ fix the form of the Lindblad dissipators, up to an overall time-scale. In the semi-classical limit, the models' behaviour become effectively the one of the classical analogue, with a dynamical exponent $z=2$, and an effective temperature $T_{\rm eff}$, renormalised by the quantum coupling $g$. A distinctive behaviour is found for a quantum quench, at zero temperature, deep into the ordered phase $g\ll g_c(d)$, for $d>1$ dimensions. Only for $d=2$ dimensions, a simple scaling behaviour holds true, with a dynamical exponent $z=1$, while for dimensions $d\ne 2$, logarithmic corrections to scaling arise. The spin-spin correlator, the growing length scale and the time-dependent susceptibility show the existence of several logarithmically different length scales.Comment: 61 pages, 14 figure

On the predictive power of Local Scale Invariance

Local Scale Invariance (LSI) is a theory for anisotropic critical phenomena designed in the spirit of conformal invariance. For a given representation of its generators it makes non-trivial predictions about the form of universal scaling functions. In the past decade several representations have been identified and the corresponding predictions were confirmed for various anisotropic critical systems. Such tests are usually based on a comparison of two-point quantities such as autocorrelation and response functions. The present work highlights a potential problem of the theory in the sense that it may predict any type of two-point function. More specifically, it is argued that for a given two-point correlator it is possible to construct a representation of the generators which exactly reproduces this particular correlator. This observation calls for a critical examination of the predictive content of the theory.Comment: 17 pages, 2 eps figure

Ammonia in the hot core W51-IRS2: 12 new maser lines and a maser component with a velocity drift

With the 100-m telescope at Effelsberg, 19 ammonia (NH3) maser lines have been detected toward the prominent massive star forming region W51-IRS2. Eleven of these inversion lines, the (J,K) = (6,2), (5,3), (7,4), (8,5), (7,6), (7,7), (9,7), (10,7), (9,9), (10,9), and (12,12) transitions, are classified as masers for the first time in outer space. All detected masers are related to highly excited inversion doublets. The (5,4) maser originates from an inversion doublet 340 K above the ground state, while the (12,12) transition, at 1450 K, is the most highly excited NH3 maser line so far known. Strong variability is seen not only in ortho- but also in para-NH3 transitions. Bright narrow emission features are observed, for the first time, in (mostly) ortho-ammonia transitions, at V ~ 45 km/s, well separated from the quasi-thermal emission near 60 km/s. These features were absent 25 years ago and show a velocity drift of about +0.2 km/s/yr. The component is likely related to the SiO maser source in W51-IRS2 and a possible scenario explaining the velocity drift is outlined. The 57 km/s component of the (9,6) maser line is found to be strongly linearly polarized. Maser emission in the (J,K) to (J+1,K) inversion doublets is strictly forbidden by selection rules for electric dipole transitions in the ground vibrational state. However, such pairs (and even triplets with (J+2,K)) are common toward W51-IRS2. Similarities in line widths and velocities indicate that such groups of maser lines arise from the same regions, which can be explained by pumping through vibrational excitation. The large number of NH3 maser lines in W51-IRS2 is most likely related to the exceptionally high kinetic temperature and NH3 column density of this young massive star forming region.Comment: Accepted for publication in Astronomy & Astrophysics, 11 pages, 12 postscript figures, 1 tabl

Dynamic Package Interfaces - Extended Version

A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can cause a runtime error or latent invariant violations. These protocols can extend across different, potentially unboundedly many, objects, and are specified informally in the documentation. As a result, ensuring that a client does not violate the protocol is hard. We introduce dynamic package interfaces (DPI), a formalism to explicitly capture the protocol of a package. The DPI of a package is a finite set of rules that together specify how any set of interacting objects of the package can evolve through method calls and under what conditions an error can happen. We have developed a dynamic tool that automatically computes an approximation of the DPI of a package, given a set of abstraction predicates. A key property of DPI is that the unbounded number of configurations of objects of a package are summarized finitely in an abstract domain. This uses the observation that many packages behave monotonically: the semantics of a method call over a configuration does not essentially change if more objects are added to the configuration. We have exploited monotonicity and have devised heuristics to obtain succinct yet general DPIs. We have used our tool to compute DPIs for several commonly used Java packages with complex protocols, such as JDBC, HashSet, and ArrayList.Comment: The only changes compared to v1 are improvements to the Abstract and Introductio

Kinetics of the long-range spherical model

The kinetic spherical model with long-range interactions is studied after a quench to $T < T_c$ or to $T = T_c$. For the two-time response and correlation functions of the order-parameter as well as for composite fields such as the energy density, the ageing exponents and the corresponding scaling functions are derived. The results are compared to the predictions which follow from local scale-invariance.Comment: added "fluctuation-dissipation ratios"; fixed typo

On the identification of quasiprimary scaling operators in local scale-invariance

The relationship between physical observables defined in lattice models and the associated (quasi-)primary scaling operators of the underlying field-theory is revisited. In the context of local scale-invariance, we argue that this relationship is only defined up to a time-dependent amplitude and derive the corresponding generalizations of predictions for two-time response and correlation functions. Applications to non-equilibrium critical dynamics of several systems, with a fully disordered initial state and vanishing initial magnetization, including the Glauber-Ising model, the Frederikson-Andersen model and the Ising spin glass are discussed. The critical contact process and the parity-conserving non-equilibrium kinetic Ising model are also considered.Comment: 12 pages, Latex2e with IOP macros, 2 figures included; final for

From dynamical scaling to local scale-invariance: a tutorial

Dynamical scaling arises naturally in various many-body systems far from equilibrium. After a short historical overview, the elements of possible extensions of dynamical scaling to a local scale-invariance will be introduced. Schr\"odinger-invariance, the most simple example of local scale-invariance, will be introduced as a dynamical symmetry in the Edwards-Wilkinson universality class of interface growth. The Lie algebra construction, its representations and the Bargman superselection rules will be combined with non-equilibrium Janssen-de Dominicis field-theory to produce explicit predictions for responses and correlators, which can be compared to the results of explicit model studies. At the next level, the study of non-stationary states requires to go over, from Schr\"odinger-invariance, to ageing-invariance. The ageing algebra admits new representations, which acts as dynamical symmetries on more general equations, and imply that each non-equilibrium scaling operator is characterised by two distinct, independent scaling dimensions. Tests of ageing-invariance are described, in the Glauber-Ising and spherical models of a phase-ordering ferromagnet and the Arcetri model of interface growth.Comment: 1+ 23 pages, 2 figures, final for

Ageing in disordered magnets and local scale-invariance

The ageing of the bond-disordered two-dimensional Ising model quenched to below its critical point is studied through the two-time autocorrelator and thermoremanent magnetization (TRM). The corresponding ageing exponents are determined. The form of the scaling function of the TRM is well described by the theory of local scale-invariance.Comment: Latex2e, with epl macros, 7 pages, final for