Expressiveness and Completeness in Abstraction

We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition Systems is strictly less expressive than the class of Generalised Kripke Modal Transition Systems (a generalised variant of Kripke Modal Transition Systems equipped with hypertransitions). Furthermore, we investigate the ability of an abstraction framework to prove a formula with a finite abstract model, a property known as completeness. We address the issue of completeness from a general perspective: the way it depends on certain abstraction parameters, as well as its relationship with expressiveness.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Branching bisimulation for probabilistic systems: characteristics and decidability

We address the concept of abstraction in the setting of probabilistic reactive systems, and study its formal underpinnings for the strictly alternating model of Hansson. In particular, we define the notion of branching bisimilarity and study its properties by studying two other equivalence relations, viz. coloured trace equivalence and branching bisimilarity using maximal probabilities. We show that both alternatives coincide with branching bisimilarity. The alternative characterisations have their own merits and focus on different aspects of branching bisimilarity. Coloured trace equivalence can be understood without knowledge of probability theory and is independent of the notion of a scheduler. Branching bisimilarity, rephrased in terms of maximal probabilities gives rise to an algorithm of polynomial complexity for deciding the equivalence. Together they give a better understanding of branching bisimilarity. Furthermore, we show that the notions of branching bisimilarity in the alternating model of Hansson and in the nonalternating model of Segala differ: branching bisimilarity in the latter setting turns out to discriminate between systems that are intuitively branching bisimilar

De Sitter Holography and the Cosmic Microwave Background

We interpret cosmological evolution holographically as a renormalisation group flow in a dual Euclidean field theory, as suggested by the conjectured dS/CFT correspondence. Inflation is described by perturbing around the infra-red fixed point of the dual field theory. The spectrum of the cosmic microwave background radiation is determined in terms of scaling violations in the field theory. The dark energy allows similar, albeit less predictive, considerations. We discuss the cosmological fine-tuning problems from the holographic perspective.Comment: 17 pages, 2 figures, uses JHEP style files; corrected and added reference

Energy funneling in a bent chain of Morse oscillators with long-range coupling

A bent chain of coupled Morse oscillators with long-range dispersive interaction is considered. Moving localized excitations may be trapped in the bending region. Thus chain geometry acts like an impurity. An energy funneling effect is observed in the case of random initial conditions.Comment: 6 pages, 12 figures. Submitted to Physical Review E, Oct. 13, 200

De Sitter Gravity and Liouville Theory

We show that the spectrum of conical defects in three-dimensional de Sitter space is in one-to-one correspondence with the spectrum of vertex operators in Liouville conformal field theory. The classical conformal dimensions of vertex operators are equal to the masses of the classical point particles in dS_3 that cause the conical defect. The quantum dimensions instead are shown to coincide with the mass of the Kerr-dS_3 solution computed with the Brown-York stress tensor. Therefore classical de Sitter gravity encodes the quantum properties of Liouville theory. The equality of the gravitational and the Liouville stress tensor provides a further check of this correspondence. The Seiberg bound for vertex operators translates on the bulk side into an upper mass bound for classical point particles. Bulk solutions with cosmological event horizons correspond to microscopic Liouville states, whereas those without horizons correspond to macroscopic (normalizable) states. We also comment on recent criticism by Dyson, Lindesay and Susskind, and point out that the contradictions found by these authors may be resolved if the dual CFT is not able to capture the thermal nature of de Sitter space. Indeed we find that on the CFT side, de Sitter entropy is merely Liouville momentum, and thus has no statistical interpretation in this approach.Comment: 22 pages, LateX2e; added references for section 1 and section 2; corrected typos; improved discussion in section

Anthropogenic Space Weather

Anthropogenic effects on the space environment started in the late 19th century and reached their peak in the 1960s when high-altitude nuclear explosions were carried out by the USA and the Soviet Union. These explosions created artificial radiation belts near Earth that resulted in major damages to several satellites. Another, unexpected impact of the high-altitude nuclear tests was the electromagnetic pulse (EMP) that can have devastating effects over a large geographic area (as large as the continental United States). Other anthropogenic impacts on the space environment include chemical release ex- periments, high-frequency wave heating of the ionosphere and the interaction of VLF waves with the radiation belts. This paper reviews the fundamental physical process behind these phenomena and discusses the observations of their impacts.Comment: 71 pages, 35 figure

Statistical gamma-ray decay studies at iThemba LABS

Abstract. A program to study the γ -ray decay from the region of high-level density has been established at iThemba LABS, where a high-resolution gamma-ray detector array is used in conjunction with silicon particle-telescopes. Results from two recent projects are presented: 1) The 74Ge(α, α γ ) reaction was used to investigate the Pygmy Dipole Resonance. The results were compared to (γ,γ ) data and indicate that the dipole states split into mixed isospin and relatively pure isovector excitations. 2) Data from the 95Mo(d,p) reaction were used to develop a novel method for the determination of spins for low-lying discrete levels utilizing statistical γ -ray decay in the vicinity of the neutron separation energy. These results provide insight into the competition of (γ ,n) and (γ,γ ) reactions and highlights the need to correct for angular momentum barrier effect

Enteric porcine viruses in farmed shellfish in Denmark

AbstractBivalve shellfish are at constant risk of being exposed to pathogens as a consequence of contamination of the shellfish beds with human or animal waste originating from sewage treatment plants or slurry fertilized fields. Consumption of contaminated oysters and mussels are frequently reported as causes of disease outbreaks caused by norovirus or hepatitis A virus. Other zoonotic pathogens such as hepatitis E virus (HEV), rotavirus (RV) and Salmonella from livestock may also be transmitted to shellfish via this route. In this study, 29 pooled samples from commercial Danish blue mussels were tested for porcine pathogens and indicator bacteria Escherichia coli (E. coli). All samples tested negative for HEV, RV and Salmonella, whereas E. coli and the highly stable porcine circovirus type 2 (PCV2) were detected in eight and 12 samples, respectively. This is the first study to report the detection of PCV2 in commercial mussels. Based on the detection of PCV2 in clean areas with low prevalence of the normally applied fecal indicator E. coli, testing for PCV2 may be a more sensitive and robust specific porcine waste indicator in shellfish harvesting areas

Observation of low-lying resonances in the quasicontinuum of 195,196Pt and enhanced astrophysical reaction rates

Abstract: Please refer to full text to view abstract