Modal Interface Automata

De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components. However, neither IA nor IOMTS consider conjunction that is needed in practice when a component shall satisfy multiple interfaces, while Larsen's MTS-conjunction is not closed and Bene\v{s} et al.'s conjunction on disjunctive MTS does not treat internal transitions. In addition, IOMTS-parallel composition exhibits a compositionality defect. This article defines conjunction (and also disjunction) on IA and disjunctive MTS and proves the operators to be 'correct', i.e., the greatest lower bounds (least upper bounds) wrt. IA- and resp. MTS-refinement. As its main contribution, a novel interface theory called Modal Interface Automata (MIA) is introduced: MIA is a rich subset of IOMTS featuring explicit output-must-transitions while input-transitions are always allowed implicitly, is equipped with compositional parallel, conjunction and disjunction operators, and allows a simpler embedding of IA than Nyman's. Thus, it fixes the shortcomings of related work, without restricting designers to deterministic interfaces as Raclet et al.'s modal interface theory does.Comment: 28 page

Circular String-Instabilities in Curved Spacetime

We investigate the connection between curved spacetime and the emergence of string-instabilities, following the approach developed by Loust\'{o} and S\'{a}nchez for de Sitter and black hole spacetimes. We analyse the linearised equations determining the comoving physical (transverse) perturbations on circular strings embedded in Schwarzschild, Reissner-Nordstr\"{o}m and de Sitter backgrounds. In all 3 cases we find that the "radial" perturbations grow infinitely for $r\rightarrow 0$ (ring-collapse), while the "angular" perturbations are bounded in this limit. For $r\rightarrow\infty$ we find that the perturbations in both physical directions (perpendicular to the string world-sheet in 4 dimensions) blow up in the case of de Sitter space. This confirms results recently obtained by Loust\'{o} and S\'{a}nchez who considered perturbations around the string center of mass.Comment: 24 pages Latex + 2 figures (not included). Observatoire de Paris, Meudon No. 9305

Effect of short-term probiotic Enterococcus faecium SF68 dietary supplementation in overweight and obese cats without comorbidities

Obesity in cats is associated with metabolic abnormalities and increased susceptibility to diseases such as diabetes mellitus. Studies in mouse models and human beings have shown that probiotics can reduce food intake, promote weight loss and improve metabolic profile. Studies assessing the effects of probiotics on these same parameters are absent in cats. Therefore, the aim of this study was to determine if probiotic Enterococcus faecium strain SF68 dietary supplementation reduces food intake, promotes weight loss and improves metabolic profile in overweight and obese cats without comorbidities. Twenty overweight and obese specific pathogen-free cats without comorbidities were acclimatised to a dry diet for four weeks. After exclusion of four cats for unrelated reasons, eight cats received a daily oral probiotic for eight weeks and eight control cats received no probiotic. All cats were fed ad libitum with food intake measured daily and bodyweight weekly. Blood was collected at three time points: after four weeks of acclimatisation to the diet, after eight weeks of intervention and after six weeks of washout for measurement of glucose, triglyceride, cholesterol, fructosamine, insulin, leptin, total adiponectin and deuterium oxide for body composition. There were no differences in food intake, metabolic parameters and body composition between the probiotic and control groups after eight weeks of intervention and six weeks of washout (P≥0.050). Short-term use of E faecium SF68 dietary supplementation had no significant effect on food intake, bodyweight, body composition or metabolic parameters in overweight and obese specific pathogen-free cats without comorbidities

A dynamical and kinematical model of the Galactic stellar halo and possible implications for galaxy formation scenarios

We re-analyse the kinematics of the system of blue horizontal branch field (BHBF) stars in the Galactic halo (in particular the outer halo), fitting the kinematics with the model of radial and tangential velocity dispersions in the halo as a function of galactocentric distance r proposed by Sommer-Larsen, Flynn & Christensen (1994), using a much larger sample (almost 700) of BHBF stars. The basic result is that the character of the stellar halo velocity ellipsoid changes markedly from radial anisotropy at the sun to tangential anisotropy in the outer parts of the Galactic halo (r greater than approx 20 kpc). Specifically, the radial component of the stellar halo's velocity ellipsoid decreases fairly rapidly beyond the solar circle, from approx 140 +/- 10 km/s at the sun, to an asymptotic value of 89 +/- 19 km/s at large r. The rapid decrease in the radial velocity dispersion is matched by an increase in the tangential velocity dispersion, with increasing r. Our results may indicate that the Galaxy formed hierarchically (partly or fully) through merging of smaller subsystems - the 'bottom-up' galaxy formation scenario, which for quite a while has been favoured by most theorists and recently also has been given some observational credibility by HST observations of a potential group of small galaxies, at high redshift, possibly in the process of merging to a larger galaxy (Pascarelle et al 1996).Comment: Latex, 16 pages. 2 postscript figures. Submitted to the Astrophysical Journal. also available at http://astro.utu.fi/~cflynn/outerhalo.htm

From the WZWN Model to the Liouville Equation: Exact String Dynamics in Conformally Invariant AdS Background

It has been known for some time that the SL(2,R) WZWN model reduces to Liouville theory. Here we give a direct and physical derivation of this result based on the classical string equations of motion and the proper string size. This allows us to extract precisely the physical effects of the metric and antisymmetric tensor, respectively, on the {\it exact} string dynamics in the SL(2,R) background. The general solution to the proper string size is also found. We show that the antisymmetric tensor (corresponding to conformal invariance) generally gives rise to repulsion, and it precisely cancels the dominant attractive term arising from the metric. Both the sinh-Gordon and the cosh-Gordon sectors of the string dynamics in non-conformally invariant AdS spacetime reduce here to the Liouville equation (with different signs of the potential), while the original Liouville sector reduces to the free wave equation. Only the very large classical string size is affected by the torsion. Medium and small size string behaviours are unchanged. We also find illustrative classes of string solutions in the SL(2,R) background: dynamical closed as well as stationary open spiralling strings, for which the effect of torsion is somewhat like the effect of rotation in the metric. Similarly, the string solutions in the 2+1 BH-AdS background with torsion and angular momentum are fully analyzed.Comment: 24 pages including 4 postscript figures. Enlarged version including a section on string solutions in 2+1 black hole background. To be published in Phys. Rev. D., December 199

Topological Quantum Computation

The theory of quantum computation can be constructed from the abstract study of anyonic systems. In mathematical terms, these are unitary topological modular functors. They underlie the Jones polynomial and arise in Witten-Chern-Simons theory. The braiding and fusion of anyonic excitations in quantum Hall electron liquids and 2D-magnets are modeled by modular functors, opening a new possibility for the realization of quantum computers. The chief advantage of anyonic computation would be physical error correction: An error rate scaling like e^{-\a\l}, where \l is a length scale, and $\alpha$ is some positive constant. In contrast, the \qpresumptive" qubit-model of quantum computation, which repairs errors combinatorically, requires a fantastically low initial error rate (about $10^{-4}$) before computation can be stabilized