Strings and branes in plane waves

An overview of string theory in the maximally supersymmetric plane-wave background is given, and some supersymmetric D-branes are discussed.Comment: 12 pages, LateX, needs fortschritte.sty; to appear in the proceedings of the 36th International Symposium Ahrenshoop on the Theory of Elementary Particles: Recent Developments in String/M-Theory and Field Theory, Berlin, Germany, 26-30 Aug 200

Extending the Logic IM-SPDL with Impulse and State Rewards

This report presents the logic SDRL (Stochastic Dynamic Reward Logic), an extension of the stochastic logic IM-SPDL, which supports the specication of complex performance and dependability requirements. SDRL extends IM-SPDL with the possibility to express impulse- and state reward measures.\ud The logic is interpreted over extended action-based Markov reward model (EMRM), i.e. transition systems containing both immediate and Markovian transitions, where additionally the states and transitions can be enriched with rewards.\ud We define ne the syntax and semantics of the new logic and show that SDRL provides powerful means to specify path-based properties with timing and reward-based restrictions.\ud In general, paths can be characterised by regular expressions, also called programs, where the executability of a program may depend on the validity of test formulae. For the model checking of SDRL time- and reward-bounded path formulae, a deterministic program automaton is constructed from the requirement. Afterwards the product transition\ud system between this automaton and the EMRM is built and subsequently transformed into a continuous time Markov reward model (MRM) on which numerical\ud analysis is performed.\u

Localized Support for Injection Point Election in Hybrid Networks

Ad-hoc networks, a promising trend in wireless technology, fail to work properly in a global setting. In most cases, self-organization and cost-free local communication cannot compensate the need for being connected, gathering urgent information just-in-time. Equipping mobile devices additionally with GSM or UMTS adapters in order to communicate with arbitrary remote devices or even a fixed network infrastructure provides an opportunity. Devices that operate as intermediate nodes between the ad-hoc network and a reliable backbone network are potential injection points. They allow disseminating received information within the local neighborhood. The effectiveness of different devices to serve as injection point differs substantially. For practical reasons the determination of injection points should be done locally, within the ad-hoc network partitions. We analyze different localized algorithms using at most 2-hop neighboring information. Results show that devices selected this way spread information more efficiently through the ad-hoc network. Our results can also be applied in order to support the election process for clusterheads in the field of clustering mechanisms.Comment: The Sixth International Conference on Networking (ICN 2007

Higher Spins & Strings

It is natural to believe that the free symmetric product orbifold CFT is dual to the tensionless limit of string theory on AdS3 x S3 x T4. At this point in moduli space, string theory is expected to contain a Vasiliev higher spin theory as a subsector. We confirm this picture explicitly by showing that the large level limit of the N=4 cosets of arXiv:1305.4181, that are dual to a higher spin theory on AdS3, indeed describe a closed subsector of the symmetric product orbifold. Furthermore, we reorganise the full partition function of the symmetric product orbifold in terms of representations of the higher spin algebra (or rather its $W_{\infty}$ extension). In particular, the unbroken stringy symmetries of the tensionless limit are captured by a large chiral algebra which we can describe explicitly in terms of an infinite sum of $W_{\infty}$ representations, thereby exhibiting a vast extension of the conventional higher spin symmetry.Comment: 47 pages; ancillary file included; v2. typos corrected, minor changes in Sec.

Axiomatic Conformal Field Theory

A new rigorous approach to conformal field theory is presented. The basic objects are families of complex-valued amplitudes, which define a meromorphic conformal field theory (or chiral algebra) and which lead naturally to the definition of topological vector spaces, between which vertex operators act as continuous operators. In fact, in order to develop the theory, M\"obius invariance rather than full conformal invariance is required but it is shown that every M\"obius theory can be extended to a conformal theory by the construction of a Virasoro field. In this approach, a representation of a conformal field theory is naturally defined in terms of a family of amplitudes with appropriate analytic properties. It is shown that these amplitudes can also be derived from a suitable collection of states in the meromorphic theory. Zhu's algebra then appears naturally as the algebra of conditions which states defining highest weight representations must satisfy. The relationship of the representations of Zhu's algebra to the classification of highest weight representations is explained.Comment: 51 pages, plain TE