Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This paper extends the approach to any prop, making it a general tool for graphical languages manipulation

SZX-Calculus: Scalable Graphical Quantum Reasoning

We introduce the Scalable ZX-calculus (SZX-calculus for short), a formal and compact graphical language for the design and verification of quantum computations. The SZX-calculus is an extension of the ZX-calculus, a powerful framework that captures graphically the fundamental properties of quantum mechanics through its complete set of rewrite rules. The ZX-calculus is, however, a low level language, with each wire representing a single qubit. This limits its ability to handle large and elaborate quantum evolutions. We extend the ZX-calculus to registers of qubits and allow compact representation of sub-diagrams via binary matrices. We show soundness and completeness of the SZX-calculus and provide two examples of applications, for graph states and error correcting codes

Completeness of Graphical Languages for Mixed States Quantum Mechanics

There exist several graphical languages for quantum information processing, like quantum circuits, ZX-Calculus, ZW-Calculus, etc. Each of these languages forms a dagger-symmetric monoidal category (dagger-SMC) and comes with an interpretation functor to the dagger-SMC of (finite dimension) Hilbert spaces. In the recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of the extension of these languages beyond pure quantum mechanics, in order to reason on mixed states and general quantum operations, i.e. completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map which allows one to get rid of a quantum system, operation which is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction, which transforms any dagger-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However this construction fails for some fringe cases like the Clifford+T quantum mechanics, as the category does not have enough isometries

The arthritis-associated HLA-B*27:05 allele forms more cell surface B27 dimer and free heavy chain ligands for KIR3DL2 than HLA-B*27:09

Objectives. HLA-B*27:05 is associated with AS whereas HLA-B*27:09 is not associated. We hypothesized that different interactions with KIR immune receptors could contribute to the difference in disease association between HLA-B*27:05 and HLAB*27:09. Thus, the objective of this study was to compare the formation of β2m-free heavy chain (FHC) including B27 dimers (B272) by HLA-B*27:05 and HLA-B*27:09 and their binding to KIR immunoreceptors. Methods. We studied the formation of HLA-B*27:05 and HLA-B*27:09 heterotrimers and FHC forms including dimers in vitro and in transfected cells. We investigated HLA-B*27:05 and HLA-B*27:09 binding to KIR3DL1, KIR3DL2 and LILRB2 by FACS staining with class I tetramers and by quantifying interactions with KIR3DL2CD3ε-reporter cells and KIR3DL2-expressing NK cells. We also measured KIR expression on peripheral blood NK and CD4 T cells from 18 HLA-B*27:05 AS patients, 8 HLA-B27 negative and 12 HLA-B*27:05+ and HLA-B*27:09+ healthy controls by FACS staining. Results. HLA-B*27:09 formed less B272 and FHC than HLA-B*27:05. HLA-B*27:05-expressing cells stimulated KIR3DL2CD3ε-reporter T cells more effectively. Cells expressing HLA-B*27:05 promoted KIR3DL2+ NK cell survival more strongly than HLA-B*27:09. HLA-B*27:05 and HLA-B*27:09 dimer tetramers stained KIR3DL1, KIR3DL2 and LILRB2 equivalently. Increased proportions of NK and CD4 T cells expressed KIR3DL2 in HLA-B*27:05+ AS patients compared with HLA-B*27:05+, HLA-B*27:09+ and HLA-B27− healthy controls. Conclusion. Differences in the formation of FHC ligands for KIR3DL2 by HLA-B*27:05 and HLA-B*27:09 could contribute to the differential association of these alleles with A

Long-term outcomes of patients with Takayasu arteritis and renal artery involvement: a cohort study.

OBJECTIVE: To describe the long-term outcomes of patients with Takayasu arteritis (TAK) and renal artery involvement (RAI). METHODS: A retrospective review of 122 patients with TAK at three tertiary centres in Canada, Sweden and the UK. Data on demographics, laboratory and clinical parameters, medications and angiography findings were collected. Non-renal and renal parameters were compared at baseline and follow-up. RESULTS: A total of 37 patients (30%) with RAI were identified: 18 (49%) with unilateral and 19 (51%) with bilateral RAI. Patients were predominantly female (89%). The median age at diagnosis was 27 years [interquartile range (IQR) 16-38]. The median follow-up time was 7 years (IQR 2-12). Hypertension was seen in 27 patients (73%) at presentation and 25 (68%) at follow-up. The median estimated glomerular filtration (eGFR) at presentation was 94 and 98 ml/min/1.73 m2 in those with unilateral and bilateral RAI, respectively. The corresponding median eGFR at follow-up was 101.5 and 104 ml/min/1.73 m2, respectively. Three patients at presentation and two at follow-up had an eGFR of <60 ml/min/1.73 m2. Five underwent endovascular intervention and three required surgical interventions. Among the 33 patients with radiologic follow-up, 23 (69%) had persistent RAI and 10 (30%) had resolution of RAI. One (6%) patient with unilateral RAI developed bilateral RAI and three (19%) with bilateral RAI regressed to unilateral RAI. Over time, 23 (62%) patients had stable renal function, 7 (19%) had improvement and 4 had a decline in renal function; no patient developed end-stage renal disease (ESRD). CONCLUSION: In this series of TAK patients with RAI, long-term non-renal and renal outcomes were favourable. No patient experienced ESRD or died

A genome-wide association study identifies risk alleles in plasminogen and P4HA2 associated with giant cell arteritis

Giant cell arteritis (GCA) is the most common form of vasculitis in individuals older than 50 years in Western countries. To shed light onto the genetic background influencing susceptibility for GCA, we performed a genome-wide association screening in a well-powered study cohort. After imputation, 1,844,133 genetic variants were analysed in 2,134 cases and 9,125 unaffected controls from ten independent populations of European ancestry. Our data confirmed HLA class II as the strongest associated region (independent signals: rs9268905, P = 1.94E-54, per-allele OR = 1.79; and rs9275592, P = 1.14E-40, OR = 2.08). Additionally, PLG and P4HA2 were identified as GCA risk genes at the genome-wide level of significance (rs4252134, P = 1.23E-10, OR = 1.28; and rs128738, P = 4.60E-09, OR = 1.32, respectively). Interestingly, we observed that the association peaks overlapped with different regulatory elements related to cell types and tissues involved in the pathophysiology of GCA. PLG and P4HA2 are involved in vascular remodelling and angiogenesis, suggesting a high relevance of these processes for the pathogenic mechanisms underlying this type of vasculitis

Hypothyroidism in vasculitis.

OBJECTIVE: To study the prevalence, risk and clinical associations of hypothyroidism among several forms of vasculitis. METHODS: Patients with GCA, Takayasus arteritis (TAK), PAN and the three forms of ANCA-associated vasculitis [AAV; granulomatosis with polyangiitis (GPA), microscopic polyangiitis and eosinophilic granulomatosis with polyangiitis (EGPA)] enrolled in a prospective, multicentre, longitudinal study were included. RESULTS: The study included data on 2085 patients [63% female, 90% White] with a mean age of 54.6 years (s.d. 17.2). Diagnoses were GCA (20%), TAK (11%), PAN (5%), GPA (42%), microscopic polyangiitis (8%) and EGPA (14%). Hypothyroidism was present in 217 patients (10%) (83% female), with a mean age 59.8 years (s.d. 14.5). Age- and sex-adjusted risk of hypothyroidism was GCA, odds ratio (OR) 0.61 (95% CI 0.41, 0.90); TAK, OR 0.57 (95% CI 0.31, 1.03); PAN, OR 0.59 (95% CI 0.25, 1.38); GPA, OR 1.51 (95% CI 1.12, 2.05); microscopic polyangiitis, OR 1.81 (95% CI 1.18, 2.80) and EGPA, OR 0.82 (95% CI 0.52, 1.30). Among patients with AAV, age- and sex-adjusted risk of hypothyroidism was higher with positive MPO-ANCA [OR 1.89 (95% CI 1.39, 2.76)]. The clinical manifestations of vasculitis were similar in patients with and without hypothyroidism, except transient ischaemic attacks, which were more frequently observed in patients with GCA and hypothyroidism (12% vs 2%; P = 0.001). CONCLUSIONS: Differences in the risk of hypothyroidism among vasculitides may be due to genetic susceptibilities or immune responses. This study confirms an association of hypothyroidism with MPO-ANCA

A survey of anatomical items relevant to the practice of rheumatology: upper extremity, head, neck, spine, and general concepts

[Abstract] This study aimed to identify the anatomical items of the upper extremity and spine that are potentially relevant to the practice of rheumatology. Ten rheumatologists interested in clinical anatomy who published, taught, and/or participated as active members of Clinical Anatomy Interest groups (six seniors, four juniors), participated in a one-round relevance Delphi exercise. An initial, 560-item list that included 45 (8.0 %) general concepts items; 138 (24.8 %) hand items; 100 (17.8 %) forearm and elbow items; 147 (26.2 %) shoulder items; and 130 (23.2 %) head, neck, and spine items was compiled by 5 of the participants. Each item was graded for importance with a Likert scale from 1 (not important) to 5 (very important). Thus, scores could range from 10 (1 × 10) to 50 (5 × 10). An item score of ≥40 was considered most relevant to competent practice as a rheumatologist. Mean item Likert scores ranged from 2.2 ± 0.5 to 4.6 ± 0.7. A total of 115 (20.5 %) of the 560 initial items reached relevance. Broken down by categories, this final relevant item list was composed by 7 (6.1 %) general concepts items; 32 (27.8 %) hand items; 20 (17.4 %) forearm and elbow items; 33 (28.7 %) shoulder items; and 23 (17.6 %) head, neck, and spine items. In this Delphi exercise, a group of practicing academic rheumatologists with an interest in clinical anatomy compiled a list of anatomical items that were deemed important to the practice of rheumatology. We suggest these items be considered curricular priorities when training rheumatology fellows in clinical anatomy skills and in programs of continuing rheumatology education

A survey of anatomical items relevant to the practice of rheumatology: pelvis, lower extremity, and gait

[Abstract] This study aimed to generate a minimum list of structural and functional anatomical items about the pelvis/hip, knee, ankle/foot, gait, and lower limb innervation, which are most relevant to the practice of rheumatology. To determine their perceived relevance to clinical practice, seven members of the Mexican Clinical Anatomy Task Force compiled an initial list of 470 anatomical items. Ten local and international experts according to a 0-10 Likert scale ranked these items. Of the original list, 101 (21.48%) items were considered relevant (global rate >40). These included 36/137 (26.27%) pelvis and hip items, 25/82 (30.48%) knee items, 22/168 (13.98%) ankle/foot items, 11/68 (16.17%) neurologic items, and 7/15 (46.66%) gait-related items. We propose that these 101 anatomical items of the lower extremity, when added to the 115 anatomic items of the upper extremity and spine we previously reported, may represent an approximation to the minimal anatomical knowledge central to the competent practice of rheumatology. The meager representation of ankle and foot items may reflect a lesser emphasis in these anatomical regions during rheumatologic training. Attention to these and related items during rheumatologic training and beyond may sharpen the rheumatologist's ability in the differential diagnosis of regional pain syndromes as well as strengthen an endangered art: the rheumatologic physical examination

Arterial lesions in giant cell arteritis: A longitudinal study.

OBJECTIVES: To evaluate large-vessel (LV) abnormalities on serial imaging in patients with giant cell arteritis (GCA) and discern predictors of new lesions. METHODS: Clinical and imaging data from patients with GCA (including subjects diagnosed by LV imaging) enrolled in a prospective, multicenter, longitudinal study and/or a randomized clinical trial were included. New arterial lesions were defined as a lesion in a previously unaffected artery. RESULTS: The study included 187 patients with GCA, 146 (78%) female, mean (±SD) age at diagnosis 68.5 ± 8.5 years; 39% diagnosed by LV imaging. At least one arterial lesion was present in 123 (66%) on the first study. The most frequently affected arteries were subclavian (42%), axillary (32%), and thoracic aorta (20%). In 106 patients (57%) with serial imaging, new arterial lesions were noted in 41 patients (39%), all of whom had a baseline abnormality, over a mean (±SD) follow-up of 4.39 (2.22) years. New abnormalities were observed in 33% patients by year 2; clinical features of active disease were present at only 50% of these cases. There were no differences in age, sex, temporal artery biopsy positivity, or disease activity in patients with or without new lesions. CONCLUSIONS: In this cohort of patients with GCA, LV abnormalities on first imaging were common. Development of new arterial lesions occurred in patients with arterial abnormalities at first imaging, often in the absence of symptoms of active disease. Arterial imaging should be considered in all patients with GCA at diagnosis and serial imaging at least in patients with baseline abnormalities