Equivalent String Networks and Uniqueness of BPS States

We analyze string networks in 7-brane configurations in IIB string theory. We introduce a complex parameter M characterizing equivalence classes of networks on a fixed 7-brane background and specifying the BPS mass of the network as M_{BPS} = | M |. We show that M can be calculated without knowing the particular representative of the BPS state. Based on detailed examination of backgrounds with three and four 7-branes we argue that equivalent networks may not be simultaneously BPS, an essential requirement of consistency.Comment: 28 pages, LaTeX, 18 eps figure

An Algebra of Hierarchical Graphs and its Application to Structural Encoding

We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects. In particular, we propose the use of our graph formalism as a convenient way to describe configurations in process calculi equipped with inherently hierarchical features such as sessions, locations, transactions, membranes or ambients. The graph syntax can be seen as an intermediate representation language, that facilitates the encodings of algebraic specifications, since it provides primitives for nesting, name restriction and parallel composition. In addition, proving soundness and correctness of an encoding (i.e. proving that structurally equivalent processes are mapped to isomorphic graphs) becomes easier as it can be done by induction over the graph syntax

Hierarchical models for service-oriented systems

We present our approach to the denotation and representation of hierarchical graphs: a suitable algebra of hierarchical graphs and two domains of interpretations. Each domain of interpretation focuses on a particular perspective of the graph hierarchy: the top view (nested boxes) is based on a notion of embedded graphs while the side view (tree hierarchy) is based on gs-graphs. Our algebra can be understood as a high-level language for describing such graphical models, which are well suited for defining graphical representations of service-oriented systems where nesting (e.g. sessions, transactions, locations) and linking (e.g. shared channels, resources, names) are key aspects

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

The equivalence theorem and the Bethe-Salpeter equation

We solve the Bethe-Salpeter equation for two-particle scattering in a field-theoretical model using two lagrangians related by a field transformation. The kernel of the equation consists of the sum of all tree-level diagrams for each lagrangian. The solutions differ even if all four external particles are put on the mass shell, which implies that observables calculated by solving the Bethe-Salpeter equation depend on the representation of the theory. We point out that this violation of the equivalence theorem has a simple explanation and should be expected for any Bethe-Salpeter equation with a tree-level kernel. Implications for dynamical models of hadronic interactions are discussed.Comment: 10 pages, 4 figures, using REVTeX. Fig. 2 corrected, results unchanged, to be published in Phys. Lett.

On the likely dominance of WIMP annihilation to fermion pair+W/Z (and implication for indirect detection)

Arguably, the most popular candidate for Dark Matter (DM) is a massive, stable, Majorana fermion. However, annihilation of Majorana DM to two fermions often features a helicity-suppressed s-wave rate. Radiating a gauge boson via electroweak (EW) and electromagnetic (EM) bremsstrahlung removes this s-wave suppression. The main purpose of this talk is to explain in some detail why the branching ratio to a fermion pair is likely suppressed while the decay to the pair plus a W/Z is not. In doing so, we investigate the general conditions for s-wave suppression and un-suppression using Fierz transformations and partial wave expansions. Suppression for the 2-to-2 process is sufficiently severe that the EW and EM bremsstrahlung are likely to be the dominant modes of gauge-singlet Majorana DM annihilation. We end this talk with a discussion of the challenge presented by space-based data for Majorana DM models, given that the enhanced rate to radiated W and Z gauge bosons and their dominant decay via hadronic channels tends to produce more anti-protons than are observed.Comment: 22 pages, including five sets of figures and two tables; expands upon talk presented at the CETUP* Dark Matter Workshop, Lead, South Dakota, July 201

Kinetics and mechanism of the interconversion of inverse bicontinuous cubic mesophases

This paper describes time-resolved x-ray diffraction data monitoring the transformation of one inverse bicontinuous cubic mesophase into another, in a hydrated lipid system. The first section of the paper describes a mechanism for the transformation that conserves the topology of the bilayer, based on the work of Charvolin and Sadoc, Fogden and Hyde, and Benedicto and O'Brien in this area. We show a pictorial representation of this mechanism, in terms of both the water channels and the lipid bilayer. The second section describes the experimental results obtained. The system under investigation was 2:1 lauric acid: dilauroylphosphatidylcholine at a hydration of 50% water by weight. A pressure-jump was used to induce a phase transition from the gyroid (Q(II)(G)) to the diamond (Q(II)(D)) bicontinuous cubic mesophase, which was monitored by time-resolved x-ray diffraction. The lattice parameter of both mesophases was found to decrease slightly throughout the transformation, but at the stage where the Q(II)(D) phase first appeared, the ratio of lattice parameters of the two phases was found to be approximately constant for all pressure-jump experiments. The value is consistent with a topology-preserving mechanism. However, the polydomain nature of our sample prevents us from confirming that the specific pathway is that described in the first section of the paper. Our data also reveal signals from two different intermediate structures, one of which we have identified as the inverse hexagonal (H-II) mesophase. We suggest that it plays a role in the transfer of water during the transformation. The rate of the phase transition was found to increase with both temperature and pressure-jump amplitude, and its time scale varied from the order of seconds to minutes, depending on the conditions employed