We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which provide a flexible, lower-level language for ...describing quantum computations graphically. Then, using the rules of the ZX-calculus, we give a simplification strategy for ZX-diagrams based on the two graph transformations of local complementation and pivoting and show that the resulting reduced diagram can be transformed back into a quantum circuit. While little is known about extracting circuits from arbitrary ZX-diagrams, we show that the underlying graph of our simplified ZX-diagram always has a graph-theoretic property called generalised flow, which in turn yields a deterministic circuit extraction procedure. For Clifford circuits, this extraction procedure yields a new normal form that is both asymptotically optimal in size and gives a new, smaller upper bound on gate depth for nearest-neighbour architectures. For Clifford+T and more general circuits, our technique enables us to to `see around' gates that obstruct the Clifford structure and produce smaller circuits than naïve `cut-and-resynthesise' methods.
Posttransplantation cyclophosphamide (PTCy) is an effective prophylaxis against graft-versus-host disease (GVHD). However, it is unknown whether PTCy works singularly by eliminating alloreactive T ...cells via DNA alkylation or also by restoring the conventional (Tcon)/regulatory (Treg) T-cell balance. We studied the role of Tregs in PTCy-mediated GVHD prophylaxis in murine models of allogeneic blood or marrow transplantation (alloBMT). In 2 distinct MHC-matched alloBMT models, infusing Treg-depleted allografts abrogated the GVHD-prophylactic activity of PTCy. Using allografts in which Foxp3+ Tregs could be selectively depleted in vivo, either pre- or post-PTCy ablation of donor thymus–derived Tregs (tTregs) abolished PTCy protection against GVHD. PTCy treatment was associated with relative preservation of donor Tregs. Experiments using combinations of Foxp3– Tcons and Foxp3+ Tregs sorted from different Foxp3 reporter mice indicated that donor Treg persistence after PTCy treatment was predominantly caused by survival of functional tTregs that retained Treg-specific demethylation and also induction of peripherally derived Tregs. Finally, adoptive transfer of tTregs retrieved from PTCy-treated chimeras rescued PTCy-treated, Treg-depleted recipients from lethal GVHD. Our findings indicate that PTCy-mediated protection against GVHD is not singularly dependent on depletion of donor alloreactive T cells but also requires rapidly recovering donor Tregs to initiate and maintain alloimmune regulation.
•The prophylactic efficacy of posttransplantation cyclophosphamide (PTCy) against GVHD is dependent on donor CD4+ Foxp3+ Tregs.•PTCy treatment was associated with recovery of epigenetically stable and suppressive donor thymus–derived Tregs in secondary lymphoid organs.
Optimising Clifford Circuits with Quantomatic Fagan, Andrew; Duncan, Ross
Electronic proceedings in theoretical computer science,
01/2019, Letnik:
287, Številka:
Proc. QPL 2018
Journal Article
Odprti dostop
We present a system of equations between Clifford circuits, all derivable in the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof assistant. By combining these rules with some ...non-trivial simplification procedures defined in the Quantomatic tactic language, we demonstrate the use of Quantomatic as a circuit optimisation tool. We prove that the system always reduces Clifford circuits of one or two qubits to their minimal form, and give numerical results demonstrating its performance on larger Clifford circuits.
Abstract
Background
British Columbia 8–1-1 callers who are advised by a nurse to seek urgent medical care can be referred to virtual physicians (VPs) for supplemental assessment and advice. Prior ...research indicates callers’ subsequent health service use may diverge from VP advice. We sought to 1) estimate concordance between VP advice and subsequent health service use, and 2) identify factors associated with concordance to understand potential drivers of discordant cases.
Methods
We linked relevant provincial administrative databases to obtain inpatient, outpatient, and emergency service use by callers. We developed operational definitions of concordance collaboratively with researcher, patient, VP, and management perspectives. We used Kaplan–Meier curves to describe health service use post-VP consultation and Cox regression to estimate the association of caller factors (rurality, demography, attachment to primary care) and call factors (reason, triage level, time of day) with concordance as hazard ratios.
Results
We analyzed 17,188 calls from November 16, 2020 to April 30, 2021. Callers advised to attend an emergency department (ED) immediately were the most concordant (73%) while concordance was lowest for those advised to seek Family Physician (FP) care either immediately (41%) or within 7 days (47%). Callers unattached to FPs were less likely to schedule an FP visit (hazard ratio = 0.76 95%CI: 0.68–0.85). Rural callers were less likely to attend an ED within 48 h when advised to go immediately (0.53 95%CI:0.46–0.61) compared to urban callers. Rural callers advised to see an FP, either immediately (1.28 95%CI:1.01–1.62) or within 7 days (1.23 95%CI: 1.11–1.37), were more likely to do so than urban callers.
Interpretation
Concordance between VP advice and subsequent caller health service use varies substantially by category of advice and caller rurality. Concordance with advice to “Go to ED” is high overall but to access primary care is below 50%, suggesting potential issues with timely access to FP care. Future research from a patient/caller centered perspective may reveal additional barriers and facilitators to concordance.
Verifying the Steane code with Quantomatic Duncan, Ross; Lucas, Maxime
Electronic proceedings in theoretical computer science,
12/2014, Letnik:
171, Številka:
Proc. QPL 2013
Journal Article
Odprti dostop
In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this represents the largest ...and most complicated verification task yet carried out using Quantomatic.
Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant ...for state preparation in the variational quantum eigensolver algorithm), shallow (inspired by IQP-type circuits that might be useful for near-term quantum machine learning), and square (inspired by the quantum volume benchmark). We quantify the performance of a quantum computing system in running circuits from these classes using several figures of merit, all of which require exponential classical computing resources and a polynomial number of classical samples (bitstrings) from the system. We study how performance varies with the compilation strategy used and the device on which the circuit is run. Using systems made available by IBM Quantum, we examine their performance, showing that noise-aware compilation strategies may be beneficial, and that device connectivity and noise levels play a crucial role in the performance of the system according to our benchmarks.
We show that pivoting property of graph states cannot be derived from the axioms of the ZX-calculus, and that pivoting does not imply local complementation of graph states. Therefore the ZX-calculus ...augmented with pivoting is strictly weaker than the calculus augmented with the Euler decomposition of the Hadamard gate. We derive an angle-free version of the ZX-calculus and show that it is complete for real stabilizer quantum mechanics.
Clinical networks (CNs) can promote innovation and collaboration across providers and stakeholders. However, little is known about the structure and operations of CNs, particularly in emergency care. ...As Canada advances learning health systems (LHSs), foundational research is essential to enable future comparisons across CNs to identify those that contribute to positive system change. Drawing from the results of our international survey, we provide a description of 32 emergency care CNs worldwide, including their structure, operations and sustainability. Future research should consider the context of such networks, how they may contribute to an LHS and how they impact patient outcomes.