The AdS(5)xS(5) Semi-Symmetric Space Sine-Gordon Theory

The generalized symmetric space sine-Gordon theories are a series of 1+1-integrable field theories that are classically equivalent to superstrings on symmetric space spacetimes F/G. They are formulated in terms of a semi-symmetric space as a gauged WZW model with fermions and a potential term to deform it away from the conformal fixed point. We consider in particular the case of PSU(2,2|4)/Sp(2,2)xSp(4) which corresponds to AdS(5)xS(5). We argue that the infinite tower of conserved charges of these theories includes an exotic N=(8,8) supersymmetry that is realized in a mildy non-local way at the Lagrangian level. The supersymmetry is associated to a double central extension of the superalgebra psu(2|2)+psu(2|2) and includes a non-trivial R symmetry algebra corresponding to global gauge transformations, as well as 2-dimensional spacetime translations. We then explicitly construct soliton solutions and show that they carry an internal moduli superspace CP(2|1)xCP(2|1) with both bosonic and Grassmann collective coordinates. We show how to semi-classical quantize the solitons by writing an effective quantum mechanical system on the moduli space which takes the form of a co-adjoint orbit of SU(2|2)xSU(2|2). The spectrum consists of a tower of massive states in the short, or atypical, symmetric representations, just as the giant magnon states of the string world sheet theory, although here the tower is truncated.Comment: 39 pages, references adde

Classical and Quantum Solitons in the Symmetric Space Sine-Gordon Theories

We construct the soliton solutions in the symmetric space sine-Gordon theories. The latter are a series of integrable field theories in 1+1-dimensions which are associated to a symmetric space F/G, and are related via the Pohlmeyer reduction to theories of strings moving on symmetric spaces. We show that the solitons are kinks that carry an internal moduli space that can be identified with a particular co-adjoint orbit of the unbroken subgroup H of G. Classically the solitons come in a continuous spectrum which encompasses the perturbative fluctuations of the theory as the kink charge becomes small. We show that the solitons can be quantized by allowing the collective coordinates to be time-dependent to yield a form of quantum mechanics on the co-adjoint orbit. The quantum states correspond to symmetric tensor representations of the symmetry group H and have the interpretation of a fuzzy geometric version of the co-adjoint orbit. The quantized finite tower of soliton states includes the perturbative modes at the base.Comment: 53 pages, additional comments and small errors corrected, final journal versio

The persistent dynamic secrets of senescence

While the beneficial versus detrimental implications of the senescence-associated secretome remain an issue of debate, time-resolved analyses of its composition, regulatory mechanisms and functional consequences have been largely missing. The dynamic activity of NOTCH is now shown to direct two distinct senescence phenotypes, by first promoting a pro-senescent TGF-{beta}1-dependent secretome, followed by a second wave of pro-inflammatory, senescence-clearing cytokines

The Relativistic Avatars of Giant Magnons and their S-Matrix

The motion of strings on symmetric space target spaces underlies the integrability of the AdS/CFT correspondence. Although these theories, whose excitations are giant magnons, are non-relativistic they are classically equivalent, via the Polhmeyer reduction, to a relativistic integrable field theory known as a symmetric space sine-Gordon theory. These theories can be formulated as integrable deformations of gauged WZW models. In this work we consider the class of symmetric spaces CP^{n+1} and solve the corresponding generalized sine-Gordon theories at the quantum level by finding the exact spectrum of topological solitons, or kinks, and their S-matrix. The latter involves a trignometric solution of the Yang-Baxer equation which exhibits a quantum group symmetry with a tower of states that is bounded, unlike for magnons, as a result of the quantum group deformation parameter q being a root of unity. We test the S-matrix by taking the semi-classical limit and comparing with the time delays for the scattering of classical solitons. We argue that the internal CP^{n-1} moduli space of collective coordinates of the solitons in the classical theory can be interpreted as a q-deformed fuzzy space in the quantum theory. We analyse the n=1 case separately and provide a further test of the S-matrix conjecture in this case by calculating the central charge of the UV CFT using the thermodynamic Bethe Ansatz.Comment: 33 pages, important correction to S-matrix to ensure crossing symmetr

Thermithiobacillus

Ther.mi.thi.o.ba.cil'lus. L. fem. n. therma, a warm or hot bath; Gr. neut. n. theîon, sulfur, brimstone (transliterated to L. neut. n. thium); L. masc. n. bacillus, a short rod, a short wand; N.L. masc. n. Thermithiobacillus, sulfur rodlet from a warm bath, or warm sulfur rodlet. Proteobacteria / Acidithiobacillia / Acidithiobacillales / Thermithiobacillaceae / Thermithiobacillus Cells are short, rapidly motile rods with a single polar flagellum, which can be 3–6 times longer than the cell. Gram‐stain‐negative. Endospores, exospores, and cysts are not produced. Obligate chemolithoautotrophs, using reduced inorganic sulfur species such as thiosulfate, polythionates, elementary sulfur (viz. α‐S8), and sometimes hydrogen sulfide, bisulfide, or d‐ or p‐block sulfide minerals such as galena (PbS). Heterotrophy, methylotrophy, and the so‐called C1 autotrophy are not observed. Carbon assimilated from CO2 via the transaldolase variant of the Calvin–Benson–Bassham cycle. Carboxysomes are used for CO2 concentration. No vitamin auxotrophy. Obligately respiratory, with molecular oxygen as the only known terminal electron acceptor, though nitrate is reduced to nitrite under air. Usually isolated from environments with high Ca2+ and/or Mg2+ ions. Usually has a high tolerance to Mg2+ ions. Most strains grow in the range of 20–52 °C, though some have a narrower range, and from pH 4.0–5.5 to pH 8.0–8.7. Most strains grow best without NaCl, but for one strain, the optimum is 350 mM (2% w/v). The major respiratory quinone is ubiquinone‐8 (UQ‐8). Dominant fatty acids in thiosulfate‐grown cells are usually palmitic acid (C16:0), palmitoleic acid (C16:1), vaccenic acid (C18:1), and ω‐cyclohexylmargaric acid (C17:0 cyclo). The dominant polar lipids in the same cells are cardiolipin, phosphatidylethanolamine, phosphatidylglycerol, and aminoglycolipids. The G + C fraction of genomic DNA is around 58.5–67.0 mol%. Form IAc (carboxysomal) and Form IC (cytoplasmic) d‐ribulose 1,5‐bisphosphate carboxylase/oxygenase are used, as are forms aa 3 and cbb 3 cytochrome c oxidase and the bd‐I ubiquinol oxidase. DNA G + C content (mol%): 58.5–67.0. Type species: Thermithiobacillus tepidarius (Wood and Kelly 1985) Kelly and Wood 2000, 515VP (Thiobacillus thioparus Wood and Kelly 1985, 436)

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives

Giant magnons of string theory in the lambda background

The analogues of giant magnon configurations are studied on the string world sheet in the lambda background. This is a discrete deformation of the AdS(5)xS(5) background that preserves the integrability of the world sheet theory. Giant magnon solutions are generated using the dressing method and their dispersion relation is found. This reduces to the usual dyonic giant magnon dispersion relation in the appropriate limit and becomes relativistic in another limit where the lambda model becomes the generalized sine-Gordon theory of the Pohlmeyer reduction. The scattering of giant magnons is then shown in the semi-classical limit to be described by the quantum S-matrix that is a quantum group deformation of the conventional giant magnon S-matrix. It is further shown that in the small g limit, a sector of the S-matrix is related to the XXZ spin chain whose spectrum matches the spectrum of magnon bound states.Comment: 53 pages, 6 figures, final version to appear in JHE

Modified constraint-induced movement therapy or bimanual occupational therapy following injection of Botulinum toxin-A to improve bimanual performance in young children with hemiplegic cerebral palsy: a randomised controlled trial methods paper

<p>Abstract</p> <p>Background</p> <p>Use of Botulinum toxin-A (BoNT-A) for treatment of upper limb spasticity in children with cerebral palsy has become routine clinical practice in many paediatric treatment centres worldwide. There is now high-level evidence that upper limb BoNT-A injection, in combination with occupational therapy, improves outcomes in children with cerebral palsy at both the body function/structure and activity level domains of the International Classification of Functioning, Disability and Health. Investigation is now required to establish what amount and specific type of occupational therapy will further enhance functional outcomes and prolong the beneficial effects of BoNT-A.</p> <p>Methods/Design</p> <p>A randomised, controlled, evaluator blinded, prospective parallel-group trial. Eligible participants were children aged 18 months to 6 years, diagnosed with spastic hemiplegic cerebral palsy and who were able to demonstrate selective motor control of the affected upper limb. Both groups received upper limb injections of BoNT-A. Children were randomised to either the modified constraint-induced movement therapy group (experimental) or bimanual occupational therapy group (control). Outcome assessments were undertaken at pre-injection and 1, 3 and 6 months following injection of BoNT-A. The primary outcome measure was the Assisting Hand Assessment. Secondary outcomes included: the Quality of Upper Extremity Skills Test; Pediatric Evaluation of Disability Inventory; Canadian Occupational Performance Measure; Goal Attainment Scaling; Pediatric Motor Activity Log; modified Ashworth Scale and; the modified Tardieu Scale.</p> <p>Discussion</p> <p>The aim of this paper is to describe the methodology of a randomised controlled trial comparing the effects of modified constraint-induced movement therapy (a uni-manual therapy) versus bimanual occupational therapy (a bimanual therapy) on improving bimanual upper limb performance of children with hemiplegic cerebral palsy following upper limb injection of BoNT-A. The paper outlines the background to the study, the study hypotheses, outcome measures and trial methodology. It also provides a comprehensive description of the interventions provided.</p> <p>Trial Registration</p> <p>ACTRN12605000002684</p

Gameplay as a source of intrinsic motivation in a randomized controlled trial of auditory training

Background: Previous studies of frequency discrimination training (FDT) for tinnitus used repetitive task-based training programmes relying on extrinsic factors to motivate participation. Studies reported limited improvement in tinnitus symptoms. Purpose: To evaluate FDT exploiting intrinsic motivations by integrating training with computer-gameplay. Methods: Sixty participants were randomly assigned to train on a conventional taskbased training, or one of two interactive game-based training platforms over six weeks. Outcomes included assessment of motivation, tinnitus handicap, and performance on tests of attention. Results: Participants reported greater intrinsic motivation to train on the interactive game-based platforms, yet compliance of all three groups was similar (~70%) and changes in self-reported tinnitus severity were not significant. There was no difference between groups in terms of change in tinnitus severity or performance on measures of attention. Conclusion: FDT can be integrated within an intrinsically motivating game. Whilst this may improve participant experience, in this instance it did not translate to additional compliance or therapeutic benefit