Kruskal's Tree Theorem for Acyclic Term Graphs

In this paper we study termination of term graph rewriting, where we restrict our attention to acyclic term graphs. Motivated by earlier work by Plump we aim at a definition of the notion of simplification order for acyclic term graphs. For this we adapt the homeomorphic embedding relation to term graphs. In contrast to earlier extensions, our notion is inspired by morphisms. Based on this, we establish a variant of Kruskal's Tree Theorem formulated for acyclic term graphs. In proof, we rely on the new notion of embedding and follow Nash-Williams' minimal bad sequence argument. Finally, we propose a variant of the lexicographic path order for acyclic term graphs.Comment: In Proceedings TERMGRAPH 2016, arXiv:1609.0301

Biochemical markers of ongoing joint damage in rheumatoid arthritis - current and future applications, limitations and opportunities

Rheumatoid arthritis (RA) is a chronic systemic autoimmune disease associated with potentially debilitating joint inflammation, as well as altered skeletal bone metabolism and co-morbid conditions. Early diagnosis and aggressive treatment to control disease activity offers the highest likelihood of preserving function and preventing disability. Joint inflammation is characterized by synovitis, osteitis, and/or peri-articular osteopenia, often accompanied by development of subchondral bone erosions, as well as progressive joint space narrowing. Biochemical markers of joint cartilage and bone degradation may enable timely detection and assessment of ongoing joint damage, and their use in facilitating treatment strategies is under investigation. Early detection of joint damage may be assisted by the characterization of biochemical markers that identify patients whose joint damage is progressing rapidly and who are thus most in need of aggressive treatment, and that, alone or in combination, identify those individuals who are likely to respond best to a potential treatment, both in terms of limiting joint damage and relieving symptoms. The aims of this review are to describe currently available biochemical markers of joint metabolism in relation to the pathobiology of joint damage and systemic bone loss in RA; to assess the limitations of, and need for additional, novel biochemical markers in RA and other rheumatic diseases, and the strategies used for assay development; and to examine the feasibility of advancement of personalized health care using biochemical markers to select therapeutic agents to which a patient is most likely to respond

Citrullination Licenses Calpain to Decondense Nuclei in Neutrophil Extracellular Trap Formation

Neutrophils respond to various stimuli by decondensing and releasing nuclear chromatin characterized by citrullinated histones as neutrophil extracellular traps (NETs). This achieves pathogen immobilization or initiation of thrombosis, yet the molecular mechanisms of NET formation remain elusive. Peptidyl arginine deiminase-4 (PAD4) achieves protein citrullination and has been intricately linked to NET formation. Here we show that citrullination represents a major regulator of proteolysis in the course of NET formation. Elevated cytosolic calcium levels trigger both peptidylarginine deiminase-4 (PAD4) and calpain activity in neutrophils resulting in nuclear decondensation typical of NETs. Interestingly, PAD4 relies on proteolysis by calpain to achieve efficient nuclear lamina breakdown and chromatin decondensation. Pharmacological or genetic inhibition of PAD4 and calpain strongly inhibit chromatin decondensation of human and murine neutrophils in response to calcium ionophores as well as the proteolysis of nuclear proteins like lamin B1 and high mobility group box protein 1 (HMGB1). Taken together, the concerted action of PAD4 and calpain induces nuclear decondensation in the course of calcium-mediated NET formation

Induction of inflammatory and immune responses by HMGB1–nucleosome complexes: implications for the pathogenesis of SLE

Autoantibodies against double-stranded DNA (dsDNA) and nucleosomes represent a hallmark of systemic lupus erythematosus (SLE). However, the mechanisms involved in breaking the immunological tolerance against these poorly immunogenic nuclear components are not fully understood. Impaired phagocytosis of apoptotic cells with consecutive release of nuclear antigens may contribute to the immune pathogenesis. The architectural chromosomal protein and proinflammatory mediator high mobility group box protein 1 (HMGB1) is tightly attached to the chromatin of apoptotic cells. We demonstrate that HMGB1 remains bound to nucleosomes released from late apoptotic cells in vitro. HMGB1–nucleosome complexes were also detected in plasma from SLE patients. HMGB1-containing nucleosomes from apoptotic cells induced secretion of interleukin (IL) 1β, IL-6, IL-10, and tumor necrosis factor (TNF) α and expression of costimulatory molecules in macrophages and dendritic cells (DC), respectively. Neither HMGB1-free nucleosomes from viable cells nor nucleosomes from apoptotic cells lacking HMGB1 induced cytokine production or DC activation. HMGB1-containing nucleosomes from apoptotic cells induced anti-dsDNA and antihistone IgG responses in a Toll-like receptor (TLR) 2–dependent manner, whereas nucleosomes from living cells did not. In conclusion, HMGB1–nucleosome complexes activate antigen presenting cells and, thereby, may crucially contribute to the pathogenesis of SLE via breaking the immunological tolerance against nucleosomes/dsDNA

The need for comparative data in spondyloarthritis

Spondyloarthritis comprises a group of inflammatory diseases, characterised by inflammation within axial joints and/or peripheral arthritis, enthesitis and dactylitis. An increasing number of biologic treatments, including biosimilars, are available for the treatment of spondyloarthritis. Although there are a growing number of randomised controlled trials assessing treatments in spondyloarthritis, there is a paucity of data from head-to-head studies. Comparative data are required so that clinicians and payers have the level of evidence required to inform clinical decision-making and health economic assessments. In the absence of head-to-head studies, statistical methods such as network meta-analyses and matching-adjusted indirect comparisons (MAICs) are used for assessing comparative effectiveness. Network meta-analysis can be used to compare treatments for trials using a common comparator (e.g. placebo); however, for those without a common comparator or where considerable heterogeneity exists between the study populations, a MAIC that controls for differences in study design and baseline patient characteristics may be used. MAICs, unlike network meta-analyses, are of value for longer-term comparisons beyond the placebo-controlled phase of clinical trials, which is important for chronic diseases requiring long-term treatment, like spondyloarthritis. At present, there are a number of limitations that restrict the effectiveness of MAIC, such as the poor availability of individual patient-level data from trials, which results in patient-level data from one trial being compared with published whole-population data from another. Despite these limitations, drug reimbursement agencies are increasingly accepting MAIC as a means of comparative effectiveness and greater methodological guidance is needed. This report highlights a number of challenges that are specific to conducting comparative studies like MAIC in spondyloarthritis, including disease heterogeneity, the paucity of biomarkers and the duration of studies required for radiographic endpoints in this slow-progressing disease

Polymorphisms in the Hsp70 gene locus are genetically associated with systemic lupus erythematosus

Background Heat shock proteins (Hsps) play a role in the delivery and presentation of antigenic peptides and are thought to be involved in the pathogenesis of multifactorial diseases. Objective To investigate genes encoding cytosolic Hsp70 proteins for associations of allelic variants with systemic lupus erythematosus (SLE). Methods Case-control studies of two independent Caucasian SLE cohorts were performed. In a haplotype-tagging single-nucleotide polymorphism approach, common variants of HspA1L, HspA1A and HspA1B were genotyped and principal component analyses were performed for the cohort from the Oklahoma Medical Research Foundation (OMRF). Relative quantification of mRNA was carried out for each Hsp70 gene in healthy controls. Conditional regression analysis was performed to determine if allelic variants in Hsp70 act independently of HLA-DR3. Results On analysis of common genetic variants of HspA1L, HspA1A and HspA1B, a haplotype significantly associated with SLE in the Erlangen-SLE cohort was identified, which was confirmed in the OMRF cohort. Depending on the cohorts, OR ranging from 1.43 to 1.88 and 2.64 to 3.16 was observed for individuals heterozygous and homozygous for the associated haplotype, respectively. Patients carrying the risk haplotype or the risk allele more often displayed autoantibodies to Ro and La in both cohorts. In healthy controls bearing this haplotype, the amount of HspA1A mRNA was significantly increased, whereas total Hsp70 protein concentration was not altered. Conclusions Allelic variants of the Hsp70 genes are significantly associated with SLE in Caucasians, independently of HLA-DR3, and correlate with the presence of autoantibodies to Ro and La. Hence, the Hsp70 gene locus appears to be involved in SLE pathogenesis

Genome-wide association study of eosinophilic granulomatosis with polyangiitis reveals genomic loci stratified by ANCA status

Eosinophilic granulomatosis with polyangiitis (EGPA) is a rare inflammatory disease of unknown cause. 30% of patients have anti-neutrophil cytoplasmic antibodies (ANCA) specific for myeloperoxidase (MPO). Here, we describe a genome-wide association study in 676 EGPA cases and 6809 controls, that identifies 4 EGPA-associated loci through conventional case-control analysis, and 4 additional associations through a conditional false discovery rate approach. Many variants are also associated with asthma and six are associated with eosinophil count in the general population. Through Mendelian randomisation, we show that a primary tendency to eosinophilia contributes to EGPA susceptibility. Stratification by ANCA reveals that EGPA comprises two genetically and clinically distinct syndromes. MPO+\u2009ANCA EGPA is an eosinophilic autoimmune disease sharing certain clinical features and an HLA-DQ association with MPO+\u2009ANCA-associated vasculitis, while ANCA-negative EGPA may instead have a mucosal/barrier dysfunction origin. Four candidate genes are targets of therapies in development, supporting their exploration in EGPA

Caspase-8 promotes scramblase-mediated phosphatidylserine exposure and fusion of osteoclast precursors

Efficient cellular fusion of mononuclear precursors is the prerequisite for the generation of fully functional multinucleated bone-resorbing osteoclasts. However, the exact molecular factors and mechanisms controlling osteoclast fusion remain incompletely understood. Here we identify RANKL-mediated activation of caspase-8 as early key event during osteoclast fusion. Single cell RNA sequencing-based analyses suggested that activation of parts of the apoptotic machinery accompanied the differentiation of osteoclast precursors into mature multinucleated osteoclasts. A subsequent characterization of osteoclast precursors confirmed that RANKL-mediated activation of caspase-8 promoted the non-apoptotic cleavage and activation of downstream effector caspases that translocated to the plasma membrane where they triggered activation of the phospholipid scramblase Xkr8. Xkr8-mediated exposure of phosphatidylserine, in turn, aided cellular fusion of osteoclast precursors and thereby allowed generation of functional multinucleated osteoclast syncytia and initiation of bone resorption. Pharmacological blockage or genetic deletion of caspase-8 accordingly interfered with fusion of osteoclasts and bone resorption resulting in increased bone mass in mice carrying a conditional deletion of caspase-8 in mononuclear osteoclast precursors. These data identify a novel pathway controlling osteoclast biology and bone turnover with the potential to serve as target for therapeutic intervention during diseases characterized by pathologic osteoclast-mediated bone loss. Proposed model of osteoclast fusion regulated by caspase-8 activation and PS exposure. RANK/RANK-L interaction. Activation of procaspase-8 into caspase-8. Caspase-8 activates caspase-3. Active capase-3 cleaves Xkr8. Local PS exposure is induced. Exposed PS is recognized by the fusion partner. FUSION. PS is re-internalized