Shaded tangles for the design and verification of quantum circuits
From MaRDI portal
Publication:5160634
DOI10.1098/rspa.2018.0338zbMath1472.81034arXiv1805.01540OpenAlexW2930880954WikidataQ64082385 ScholiaQ64082385MaRDI QIDQ5160634
Publication date: 29 October 2021
Published in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1805.01540
verificationcategory theoryquantum computingknot theorymathematical physics2-categorygraphical calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A practical introduction to tensor networks: Matrix product states and projected entangled pair states
- Planar para algebras, reflection positivity
- Entangled entanglement: a construction procedure
- On knot invariants related to some statistical mechanical models
- State models and the Jones polynomial
- Metaplectic link invariants
- The geometry of tensor calculus. I
- Higher-dimensional algebra. II: 2-Hilbert spaces
- Holographic software for quantum networks
- Tori detect invertibility of topological field theories
- Topological aspects of quantum information processing
- Virtual knot theory
- Generalized generalized spin models (four-weight spin models)
- All teleportation and dense coding schemes
- Categorical quantum mechanics
- Dagger Compact Closed Categories and Completely Positive Maps
- Picturing Quantum Processes
- Higher Semantics of Quantum Protocols
- A Survey of Graphical Languages for Monoidal Categories
- Quantum codes from Hadamard matrices
- The ZX-calculus is complete for stabilizer quantum mechanics
- Knot Logic
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Interacting Quantum Observables
- Environment and Classical Channels in Categorical Quantum Mechanics
- ON MUTUALLY UNBIASED BASES
- MEASUREMENT-BASED QUANTUM COMPUTATION WITH CLUSTER STATES
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Quon 3D language for quantum information
- A new description of orthogonal bases
- Categories of Quantum and Classical Channels (extended abstract)
- The ZX-calculus is incomplete for quantum mechanics
- Topological Structure of Quantum Algorithms
- A strict totally coordinatized version of Kapranov and Voevodsky's 2-category 2Vect
- Ribbon Proofs for Separation Logic
- Quantum secret sharing
- Tangle machines
- Biunitary constructions in quantum information
- Quantum Computation and the Evaluation of Tensor Networks
- Generalized graph states based on Hadamard matrices
- Minimally complex ion traps as modules for quantum communication and computing
- A polynomial quantum algorithm for approximating the Jones polynomial
- Constructive simulation and topological design of protocols
This page was built for publication: Shaded tangles for the design and verification of quantum circuits