MC-Simulation of the Transverse Double Spin Asymmetry for RHIC

Using {\sc Sphinx tt}, a new MC simulation program for transverse polarized nucleon--nucleon scattering based on {\sc Pythia~5.6}, we calculate the transverse double spin asymmetry $A^{TT}$ in the Drell-Yan process. If one assumes (quite arbitrarily) that the transversity parton distribution $\delta q(x,Q^2)$ equals the helicity distribution $\Delta q(x,Q^2)$ at some low $Q_0^2$ scale, the resulting asymmetry is of order 1\%. In this case is $A^{TT}$ would hardly be be measurable with PHENIX at RHIC.Comment: 17 pages, 5 figure

Dissolved noble gases and stable isotopes as tracers of preferential fluid flow along faults in the Lower Rhine Embayment, Germany

Groundwater in shallow unconsolidated sedimentary aquifers close to the Bornheim fault in the Lower Rhine Embayment (LRE), Germany, has relatively low δ2H and δ18O values in comparison to regional modern groundwater recharge, and 4He concentrations up to 1.7 × 10−4 cm3 (STP) g–1 ± 2.2 % which is approximately four orders of magnitude higher than expected due to solubility equilibrium with the atmosphere. Groundwater age dating based on estimated in situ production and terrigenic flux of helium provides a groundwater residence time of ∼107 years. Although fluid exchange between the deep basal aquifer system and the upper aquifer layers is generally impeded by confining clay layers and lignite, this study’s geochemical data suggest, for the first time, that deep circulating fluids penetrate shallow aquifers in the locality of fault zones, implying  that sub-vertical fluid flow occurs along faults in the LRE. However, large hydraulic-head gradients observed across many faults suggest that they act as barriers to lateral groundwater flow. Therefore, the geochemical data reported here also substantiate a conduit-barrier model of fault-zone hydrogeology in unconsolidated sedimentary deposits, as well as corroborating the concept that faults in unconsolidated aquifer systems can act as loci for hydraulic connectivity between deep and shallow aquifers. The implications of fluid flow along faults in sedimentary basins worldwide are far reaching and of particular concern for carbon capture and storage (CCS) programmes, impacts of deep shale gas recovery for shallow groundwater aquifers, and nuclear waste storage sites where fault zones could act as potential leakage pathways for hazardous fluids

Modelling the nucleon wave function from soft and hard processes

Current light-cone wave functions for the nucleon are unsatisfactory since they are in conflict with the data of the nucleon's Dirac form factor at large momentum transfer. Therefore, we attempt a determination of a new wave function respecting theoretical ideas on its parameterization and satisfying the following constraints: It should provide a soft Feynman contribution to the proton's form factor in agreement with data; it should be consistent with current parameterizations of the valence quark distribution functions and lastly it should provide an acceptable value for the \jp \to N \bar N decay width. The latter process is calculated within the modified perturbative approach to hard exclusive reactions. A simultaneous fit to the three sets of data leads to a wave function whose $x$-dependent part, the distribution amplitude, shows the same type of asymmetry as those distribution amplitudes constrained by QCD sum rules. The asymmetry is however much more moderate as in those amplitudes. Our distribution amplitude resembles the asymptotic one in shape but the position of the maximum is somewhat shifted.Comment: 32 pages RevTex + PS-file with 5 figures in uu-encoded, compressed fil

Continuity, Deconfinement, and (Super) Yang-Mills Theory

We study the phase diagram of SU(2) Yang-Mills theory with one adjoint Weyl fermion on R^3xS^1 as a function of the fermion mass m and the compactification scale L. This theory reduces to thermal pure gauge theory as m->infinity and to circle-compactified (non-thermal) supersymmetric gluodynamics in the limit m->0. In the m-L plane, there is a line of center symmetry changing phase transitions. In the limit m->infinity, this transition takes place at L_c=1/T_c, where T_c is the critical temperature of the deconfinement transition in pure Yang-Mills theory. We show that near m=0, the critical compactification scale L_c can be computed using semi-classical methods and that the transition is of second order. This suggests that the deconfining phase transition in pure Yang-Mills theory is continuously connected to a transition that can be studied at weak coupling. The center symmetry changing phase transition arises from the competition of perturbative contributions and monopole-instantons that destabilize the center, and topological molecules (neutral bions) that stabilize the center. The contribution of molecules can be computed using supersymmetry in the limit m=0, and via the Bogomolnyi--Zinn-Justin (BZJ) prescription in the non-supersymmetric gauge theory. Finally, we also give a detailed discussion of an issue that has not received proper attention in the context of N=1 theories---the non-cancellation of nonzero-mode determinants around supersymmetric BPS and KK monopole-instanton backgrounds on R^3xS^1. We explain why the non-cancellation is required for consistency with holomorphy and supersymmetry and perform an explicit calculation of the one-loop determinant ratio.Comment: A discussion of the non-cancellation of the nonzero mode determinants around supersymmetric monopole-instantons in N=1 SYM on R^3xS^1 is added, including an explicit calculation. The non-cancellation is, in fact, required by supersymmetry and holomorphy in order for the affine-Toda superpotential to be reproduced. References have also been adde

Effects of mesenchymal stromal cells versus serum on tendon healing in a controlled experimental trial in an equine model

Abstract Background Mesenchymal stromal cells (MSC) have shown promising results in the treatment of tendinopathy in equine medicine, making this therapeutic approach seem favorable for translation to human medicine. Having demonstrated that MSC engraft within the tendon lesions after local injection in an equine model, we hypothesized that they would improve tendon healing superior to serum injection alone. Methods Quadrilateral tendon lesions were induced in six horses by mechanical tissue disruption combined with collagenase application 3 weeks before treatment. Adipose-derived MSC suspended in serum or serum alone were then injected intralesionally. Clinical examinations, ultrasound and magnetic resonance imaging were performed over 24 weeks. Tendon biopsies for histological assessment were taken from the hindlimbs 3 weeks after treatment. Horses were sacrificed after 24 weeks and forelimb tendons were subjected to macroscopic and histological examination as well as analysis of musculoskeletal marker expression. Results Tendons injected with MSC showed a transient increase in inflammation and lesion size, as indicated by clinical and imaging parameters between week 3 and 6 (p < 0.05). Thereafter, symptoms decreased in both groups and, except that in MSC-treated tendons, mean lesion signal intensity as seen in T2w magnetic resonance imaging and cellularity as seen in the histology (p < 0.05) were lower, no major differences could be found at week 24. Conclusions These data suggest that MSC have influenced the inflammatory reaction in a way not described in tendinopathy studies before. However, at the endpoint of the current study, 24 weeks after treatment, no distinct improvement was observed in MSC-treated tendons compared to the serum-injected controls. Future studies are necessary to elucidate whether and under which conditions MSC are beneficial for tendon healing before translation into human medicine

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain. To ensure these systems are safe and predictable, formal verification techniques are important, and can be cost-effective if they are both automated and scalable. In this paper, we present a verification approach for a diagrammatic state machine language that utilises theorem proving and a denotational semantics based on Unifying Theories of Programming (UTP). We provide the necessary theory to underpin state machines (including induction theorems for iterative processes), mechanise an action language for states and transitions, and use these to formalise the semantics. We then describe the verification approach, which supports infinite state systems, and exemplify it with a fully automated deadlock-freedom check. The work has been mechanised in our proof tool, Isabelle/UTP, and so also illustrates the use of UTP to build practical verification tools.Comment: 18 pages, 16th Intl. Conf. on Formal Aspects of Component Software (FACS 2018), October 2018, Pohang, South Kore

Delimitation of Funga as a valid term for the diversity of fungal communities: the Fauna, Flora & Funga proposal (FF&F)

As public policies and conservation requirements for biodiversity evolve there is a need for a term for the kingdom Fungi equivalent to Fauna and Flora. Thisneed is considered to be urgent in order to simplify projects oriented toward implemention of educational and conservation goals. In an informal meeting held duringthe IX Congreso Latinoamericano de Micología by the authors, the idea of clarifying this matter initiated an extensive search of pertinent terminologies. As a result ofthese discussions and reviews, we propose that the word Funga be employed as an accurate and encompassing term for these purposes. This supports the proposal of thethree Fs, Fauna, Flora and Funga, to highlight parallel terminology referring to treatments of these macrorganism of particular geographical areas. Alternative terms andproposals are acknowledged and discussedFil: Kuhar, José Francisco. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Furci, Giuliana. Fundación Fungi; ChileFil: Drechsler-Santos, Elisandro Ricardo. Universidade Federal de Santa Catarina; BrasilFil: Pfister, Donald H.. Harvard University; Estados Unido

Prostaglandin D2-supplemented “functional eicosanoid testing and typing” assay with peripheral blood leukocytes as a new tool in the diagnosis of systemic mast cell activation disease: an explorative diagnostic study

Background: Systemic mast cell activation disease (MCAD) is characterized by an enhanced release of mast cell-derived mediators, including eicosanoids, which induce a broad spectrum of clinical symptoms. Accordingly, the diagnostic algorithm of MCAD presupposes the proof of increased mast cell mediator release, but only a few mediators are currently established as routine laboratory parameters. We thus initiated an explorative study to evaluate in vitro typing of individual eicosanoid pattern of peripheral blood leukocytes (PBLs) as a new diagnostic tool in MCAD. Methods: Using the “functional eicosanoid testing and typing” (FET) assay, we investigated the balance (i.e. the complex pattern of formation, release and mutual interaction) of prostaglandin E2 (PGE2) and peptido-leukotrienes (pLT) release from PBLs of 22 MCAD patients and 20 healthy individuals. FET algorithms thereby consider both basal and arachidonic acid (AA)-, acetylsalicylic acid (ASA)-, and substance P (SP)-triggered release of PGE2 and pLT. The FET assay was further supplemented by analyzing prostaglandin D2 (PGD2), as mast cell-specific eicosanoid. Results: We observed marked PGE2-pLT imbalances for PBLs of MCAD patients, as indicated by a markedly enhanced mean FET value of 1.75 ± 0.356 (range: 1.14–2.36), compared to 0.53 ± 0.119 (range: 0.36-0.75) for healthy individuals. In addition, mean PGD2 release from PBLs of MCAD patients was significantly, 6.6-fold higher than from PBLs of healthy individuals (946 ± 302.2 pg/ml versus 142 ± 47.8 pg/ml; P < 0.001). In contrast to healthy individuals, PGD2 release from PBLs of MCAD patients was markedly triggered by SP (mean: 1896 ± 389.7 pg/ml; P < 0.001), whereas AA and ASA caused individually varying effects on both PGD2 and pLT release. Conclusions: The new in-vitro FET assay, supplemented with analysis of PGD2, demonstrated that the individual patterns of eicosanoid release from PBLs can unambiguously distinguish MCAD patients from healthy individuals. Notably, in our analyses, the FET value and both basal and triggered PGD2 levels were not significantly affected by MCAD-specific medication. Thus, this approach may serve as an in-vitro diagnostic tool to estimate mast cell activity and to support individualized therapeutic decision processes for patients suffering from MCAD

A four-helix bundle stores copper for methane oxidation

Methane-oxidising bacteria (methanotrophs) require large quantities of copper for the membrane-bound (particulate) methane monooxygenase (pMMO). Certain methanotrophs are also able to switch to using the iron-containing soluble MMO (sMMO) to catalyse methane oxidation, with this switchover regulated by copper. MMOs are Nature’s primary biological mechanism for suppressing atmospheric levels of methane, a potent greenhouse gas. Furthermore, methanotrophs and MMOs have enormous potential in bioremediation and for biotransformations producing bulk and fine chemicals, and in bioenergy, particularly considering increased methane availability from renewable sources and hydraulic fracturing of shale rock. We have discovered and characterised a novel copper storage protein (Csp1) from the methanotroph Methylosinus trichosporium OB3b that is exported from the cytosol, and stores copper for pMMO. Csp1 is a tetramer of 4-helix bundles with each monomer binding up to 13 Cu(I) ions in a previously unseen manner via mainly Cys residues that point into the core of the bundle. Csp1 is the first example of a protein that stores a metal within an established protein-folding motif. This work provides a detailed insight into how methanotrophs accumulate copper for the oxidation of methane. Understanding this process is essential if the wide-ranging biotechnological applications of methanotrophs are to be realised. Cytosolic homologues of Csp1 are present in diverse bacteria thus challenging the dogma that such organisms do not use copper in this location