scientific article; zbMATH DE number 7561601
From MaRDI portal
Publication:5091270
DOI10.4230/LIPIcs.ICALP.2019.108MaRDI QIDQ5091270
Simon Perdrix, Titouan Carette, Renaud Vilmart, Emmanuel Jeandel
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1902.07143
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Unnamed Item ⋮ Hybrid quantum-classical circuit simplification with the ZX-calculus ⋮ Unnamed Item ⋮ The structure of sum-over-paths, its consequences, and completeness for Clifford ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A complete graphical calculus for Spekkens' toy bit theory
- Pictures of complete positivity in arbitrary dimension
- ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits
- Dagger Compact Closed Categories and Completely Positive Maps
- Axiomatic Description of Mixed States From Selinger's CPM-construction
- Generators and relations for n-qubit Clifford operators
- Picturing Quantum Processes
- A Survey of Graphical Languages for Monoidal Categories
- Quantum Computation and Quantum Information
- Universal Properties in Quantum Theory
- The ZX-calculus is complete for stabilizer quantum mechanics
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Environment and Classical Channels in Categorical Quantum Mechanics
- Rewriting Measurement-Based Quantum Computations with Generalised Flow
- The Compositional Structure of Multipartite Quantum Entanglement
- Props in Network Theory
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Interacting Frobenius Algebras are Hopf
- Towards a quantum programming language
- Interacting quantum observables: categorical algebra and diagrammatics
- Quantum picturalism for topological cluster-state computing
- Two complete axiomatisations of pure-state qubit quantum computing
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
- A graphical approach to measurement-based quantum computing
This page was built for publication:
