259 research outputs found

    Solution of the two identical ion Penning trap final state

    Get PDF
    We have derived a closed form analytic expression for the asymptotic motion of a pair of identical ions in a high precision Penning trap. The analytic solution includes the effects of special relativity and the Coulomb interaction between the ions. The existence and physical relevance of such a final state is supported by a confluence of theoretical, experimental and numerical evidence.Comment: 5 pages and 2 figure

    Completeness for Flat Modal Fixpoint Logics

    Full text link
    This paper exhibits a general and uniform method to prove completeness for certain modal fixpoint logics. Given a set \Gamma of modal formulas of the form \gamma(x, p1, . . ., pn), where x occurs only positively in \gamma, the language L\sharp (\Gamma) is obtained by adding to the language of polymodal logic a connective \sharp\_\gamma for each \gamma \epsilon. The term \sharp\_\gamma (\varphi1, . . ., \varphin) is meant to be interpreted as the least fixed point of the functional interpretation of the term \gamma(x, \varphi 1, . . ., \varphi n). We consider the following problem: given \Gamma, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language L\sharp (\Gamma) on Kripke frames. We prove two results that solve this problem. First, let K\sharp (\Gamma) be the logic obtained from the basic polymodal K by adding a Kozen-Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective \sharp\_\gamma. Provided that each indexing formula \gamma satisfies the syntactic criterion of being untied in x, we prove this axiom system to be complete. Second, addressing the general case, we prove the soundness and completeness of an extension K+ (\Gamma) of K\_\sharp (\Gamma). This extension is obtained via an effective procedure that, given an indexing formula \gamma as input, returns a finite set of axioms and derivation rules for \sharp\_\gamma, of size bounded by the length of \gamma. Thus the axiom system K+ (\Gamma) is finite whenever \Gamma is finite

    Ursodeoxycholic Acid Improves Mitochondrial Function and Redistributes Drp1 in Fibroblasts from Patients with either Sporadic or Familial Alzheimer's Disease

    Get PDF
    Alzheimer's disease (AD) is the leading cause of dementia worldwide. Mitochondrial abnormalities have been identified in many cell types in AD, with deficits preceding the development of the classical pathological aggregations. Ursodeoxycholic acid (UDCA), a treatment for primary biliary cirrhosis, improves mitochondrial function in fibroblasts derived from Parkinson's disease (PD) patients as well as several animal models of AD and PD. In this paper, we investigated both mitochondrial function and morphology in fibroblasts from patients with both sporadic and familial AD. We show that both sporadic AD (sAD) and PSEN1 fibroblasts share the same impairment of mitochondrial membrane potential and alterations in mitochondrial morphology. Mitochondrial respiration, however, was decreased in sAD fibroblasts and increased in PSEN1 fibroblasts. Morphological changes seen in AD fibroblasts include reduced mitochondrial number and increased mitochondrial clustering around the cell nucleus as well as an increased number of long mitochondria. We show here for the first time in AD patient tissue that treatment with UDCA increases mitochondrial membrane potential and respiration as well as reducing the amount of long mitochondria in AD fibroblasts. In addition we show reductions in Dynamin-related protein 1 (Drp1) level; particularly the amount localised to mitochondria in both sporadic AD and familial patient fibroblasts. Drp1 protein amount and localization were increased after UDCA treatment. The restorative effects of UDCA are abolished when Drp1 is knocked down. This paper highlights the potential use of UDCA as a treatment for neurodegenerative disease

    Constraints on Cosmic Strings from the LIGO-Virgo Gravitational-Wave Detectors

    Get PDF
    Cosmic strings can give rise to a large variety of interesting astrophysical phenomena. Among them, powerful bursts of gravitational waves (GWs) produced by cusps are a promising observational signature. In this Letter we present a search for GWs from cosmic string cusps in data collected by the LIGO and Virgo gravitational wave detectors between 2005 and 2010, with over 625 days of live time. We find no evidence of GW signals from cosmic strings. From this result, we derive new constraints on cosmic string parameters, which complement and improve existing limits from previous searches for a stochastic background of GWs from cosmic microwave background measurements and pulsar timing data. In particular, if the size of loops is given by the gravitational backreaction scale, we place upper limits on the string tension (Newton's Constant x mass per unit length) below 10(exp 8) in some regions of the cosmic string parameter space

    Defective removal of ribonucleotides from DNA promotes systemic autoimmunity

    Get PDF
    Genome integrity is continuously challenged by the DNA damage that arises during normal cell metabolism. Biallelic mutations in the genes encoding the genome surveillance enzyme ribonuclease H2 (RNase H2) cause Aicardi-Goutières syndrome (AGS), a pediatric disorder that shares features with the autoimmune disease systemic lupus erythematosus (SLE). Here we determined that heterozygous parents of AGS patients exhibit an intermediate autoimmune phenotype and demonstrated a genetic association between rare RNASEH2 sequence variants and SLE. Evaluation of patient cells revealed that SLE- and AGS-associated mutations impair RNase H2 function and result in accumulation of ribonucleotides in genomic DNA. The ensuing chronic low level of DNA damage triggered a DNA damage response characterized by constitutive p53 phosphorylation and senescence. Patient fibroblasts exhibited constitutive upregulation of IFN-stimulated genes and an enhanced type I IFN response to the immunostimulatory nucleic acid polyinosinic:polycytidylic acid and UV light irradiation, linking RNase H2 deficiency to potentiation of innate immune signaling. Moreover, UV-induced cyclobutane pyrimidine dimer formation was markedly enhanced in ribonucleotide-containing DNA, providing a mechanism for photosensitivity in RNase H2-associated SLE. Collectively, our findings implicate RNase H2 in the pathogenesis of SLE and suggest a role of DNA damage-associated pathways in the initiation of autoimmunity

    All-sky search for long-duration gravitational wave transients with initial LIGO

    Get PDF
    We present the results of a search for long-duration gravitational wave transients in two sets of data collected by the LIGO Hanford and LIGO Livingston detectors between November 5, 2005 and September 30, 2007, and July 7, 2009 and October 20, 2010, with a total observational time of 283.0 days and 132.9 days, respectively. The search targets gravitational wave transients of duration 10-500 s in a frequency band of 40-1000 Hz, with minimal assumptions about the signal waveform, polarization, source direction, or time of occurrence. All candidate triggers were consistent with the expected background; as a result we set 90% confidence upper limits on the rate of long-duration gravitational wave transients for different types of gravitational wave signals. For signals from black hole accretion disk instabilities, we set upper limits on the source rate density between 3.4×10-5 and 9.4×10-4 Mpc-3 yr-1 at 90% confidence. These are the first results from an all-sky search for unmodeled long-duration transient gravitational waves. © 2016 American Physical Society

    Search for Tensor, Vector, and Scalar Polarizations in the Stochastic Gravitational-Wave Background

    Get PDF
    The detection of gravitational waves with Advanced LIGO and Advanced Virgo has enabled novel tests of general relativity, including direct study of the polarization of gravitational waves. While general relativity allows for only two tensor gravitational-wave polarizations, general metric theories can additionally predict two vector and two scalar polarizations. The polarization of gravitational waves is encoded in the spectral shape of the stochastic gravitational-wave background, formed by the superposition of cosmological and individually unresolved astrophysical sources. Using data recorded by Advanced LIGO during its first observing run, we search for a stochastic background of generically polarized gravitational waves. We find no evidence for a background of any polarization, and place the first direct bounds on the contributions of vector and scalar polarizations to the stochastic background. Under log-uniform priors for the energy in each polarization, we limit the energy densities of tensor, vector, and scalar modes at 95% credibility to Ω0T<5.58×10-8, Ω0V<6.35×10-8, and Ω0S<1.08×10-7 at a reference frequency f0=25 Hz. © 2018 American Physical Society

    All-sky search for long-duration gravitational wave transients with initial LIGO

    Get PDF
    We present the results of a search for long-duration gravitational wave transients in two sets of data collected by the LIGO Hanford and LIGO Livingston detectors between November 5, 2005 and September 30, 2007, and July 7, 2009 and October 20, 2010, with a total observational time of 283.0 days and 132.9 days, respectively. The search targets gravitational wave transients of duration 10-500 s in a frequency band of 40-1000 Hz, with minimal assumptions about the signal waveform, polarization, source direction, or time of occurrence. All candidate triggers were consistent with the expected background; as a result we set 90% confidence upper limits on the rate of long-duration gravitational wave transients for different types of gravitational wave signals. For signals from black hole accretion disk instabilities, we set upper limits on the source rate density between 3.4×10-5 and 9.4×10-4 Mpc-3 yr-1 at 90% confidence. These are the first results from an all-sky search for unmodeled long-duration transient gravitational waves. © 2016 American Physical Society

    Search for gravitational waves from Scorpius X-1 in the second Advanced LIGO observing run with an improved hidden Markov model

    Get PDF
    We present results from a semicoherent search for continuous gravitational waves from the low-mass x-ray binary Scorpius X-1, using a hidden Markov model (HMM) to track spin wandering. This search improves on previous HMM-based searches of LIGO data by using an improved frequency domain matched filter, the J-statistic, and by analyzing data from Advanced LIGO's second observing run. In the frequency range searched, from 60 to 650 Hz, we find no evidence of gravitational radiation. At 194.6 Hz, the most sensitive search frequency, we report an upper limit on gravitational wave strain (at 95% confidence) of h095%=3.47×10-25 when marginalizing over source inclination angle. This is the most sensitive search for Scorpius X-1, to date, that is specifically designed to be robust in the presence of spin wandering. © 2019 American Physical Society
    corecore