Time variation of fundamental couplings and dynamical dark energy

Scalar field dynamics may give rise to a nonzero cosmological variation of fundamental constants. Within different scenarios based on the unification of gauge couplings, the various claimed observations and bounds may be combined in order to trace or restrict the time history of the couplings and masses. If the scalar field is responsible for a dynamical dark energy or quintessence, cosmological information becomes available for its time evolution. Combining this information with the time variation of couplings, one can determine the interaction strength between the scalar and atoms, which may be observed by tests of the Weak Equivalence Principle. We compute bounds on the present rate of coupling variation from experiments testing the differential accelerations for bodies with equal mass and different composition and compare the sensitivity of various methods. In particular, we discuss two specific models of scalar evolution: crossover quintessence and growing neutrino models.Comment: 26 pages, 2 figures; minor typos & added references, to be published in JCA

Summary of the NOW'98 Phenomenology Working Group

Summary of the Phenomenology Working Group at the Europhysics Neutrino Oscillation Workshop (NOW'98), 7-9 September 1998, Amsterdam.Comment: 66 page

Simultaneous Inference in General Parametric Models

Simultaneous inference is a common problem in many areas of application. If multiple null hypotheses are tested simultaneously, the probability of rejecting erroneously at least one of them increases beyond the pre-specified significance level. Simultaneous inference procedures have to be used which adjust for multiplicity and thus control the overall type I error rate. In this paper we describe simultaneous inference procedures in general parametric models, where the experimental questions are specified through a linear combination of elemental model parameters. The framework described here is quite general and extends the canonical theory of multiple comparison procedures in ANOVA models to linear regression problems, generalized linear models, linear mixed effects models, the Cox model, robust linear models, etc. Several examples using a variety of different statistical models illustrate the breadth of the results. For the analyses we use the R add-on package multcomp, which provides a convenient interface to the general approach adopted here

Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments

This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model. In the second experiment, the model was compared with an Event-B model, a new generation of B. The experiments assessed the ability of the model to present information and to promote problem domain understanding. The measurement focused on the efficiency in performing the comprehension tasks. The experiments employed a cross-over design and were conducted on third-year and masters students. The results suggest that the integration of semi-formal and formal notations expedites the subjects’ comprehension tasks with accuracy even with limited hours of training

String Propagation in Bianchi Type I models: Dynamical anisotropy Damping and Consequences

A generic ansatz is introduced which provides families of exact solutions to the equations of motion and constraints for null-strings in Bianchi type I cosmological models. This is achieved irrespective of the form of the metric. Within classes of dilaton cosmologies a backreaction mapping relation is established where the null string leads to more or less anisotropic members of the family. The equations of motion and constraints for the generic model are casted in their first order form and integrated both analytically and numerically.Comment: 37 pages, 11 figure

Vacua of M-theory and N=2 strings

String and membrane dynamics may be unified into a theory of 2+2 dimensional self-dual world-volumes living in a 10+2 dimensional target space. Some of the vacua of this M-theory are described by the N=(2,1) heterotic string, whose target space theory describes the world-volume dynamics of 2+2 dimensional `M-branes'. All classes of string and membrane theories are realized as particular vacua of the N=(2,1) string: Type IIA/B strings and supermembranes arise in the standard moduli space of toroidal compactifications, while type ${\rm I}'$ and heterotic strings arise from a $\bf Z_2$ orbifold of the N=2 algebra. Yet another vacuum describes M-theory on a ${\bf T}^5/{\bf Z}_2$ orientifold, the type I string on ${\bf T}^4$, and the six-dimensional self-dual string. We find that open membranes carry `Chan-Paton fields' on their boundaries, providing a common origin for gauge symmetries in M-theory. The world-volume interactions of M-brane fluctuations agree with those of Born-Infeld effective dynamics of the Dirichlet two-brane in the presence of a non-vanishing electromagnetic field on the brane.Comment: 31 pages, harvmac; two figure