Interacting Quantum Observables
From MaRDI portal
Abstract: This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information. (ii) To axiomatise complementarity of quantum observables within a general framework for physical theories in terms of dagger symmetric monoidal categories. We also axiomatize phase shifts within this framework. Using the well-studied canonical correspondence between graphical calculi and symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables. Each individual observable, represented by a commutative special dagger Frobenius algebra, gives rise to an abelian group of phase shifts, which we call the phase group. We also identify a strong form of complementarity, satisfied by the Z and X spin observables, which yields a scaled variant of a bialgebra.
Recommendations
- Interacting quantum observables: categorical algebra and diagrammatics
- Arithmetic, mutually unbiased bases and complementary observables
- Complementarity in categorical quantum mechanics
- Categorical quantum mechanics. II: Classical-quantum interaction
- Two complete axiomatisations of pure-state qubit quantum computing
Cited in
(80)- Refinement for signal flow graphs
- String diagram rewrite theory III: Confluence with and without Frobenius
- scientific article; zbMATH DE number 7447789 (Why is no real title available?)
- scientific article; zbMATH DE number 6607460 (Why is no real title available?)
- Graphical reasoning in compact closed categories for quantum computation
- A complete graphical calculus for Spekkens' toy bit theory
- Interacting quantum observables: categorical algebra and diagrammatics
- Hybrid quantum-classical circuit simplification with the ZX-calculus
- Complex quantum networks: a topical review
- A topological perspective on interacting algebraic theories
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
- Nonlocality of deep thermalization
- Towards compositional graph theory
- Bases in diagrammatic quantum protocols
- Game theoretic security of quantum bit commitment
- scientific article; zbMATH DE number 7649945 (Why is no real title available?)
- Observables, interference phenomenon and Born’s rule in the probability representation of quantum mechanics
- Categorical quantum cryptography for access control in cloud computing
- scientific article; zbMATH DE number 7453173 (Why is no real title available?)
- scientific article; zbMATH DE number 7215290 (Why is no real title available?)
- Observing quantum systems
- Systematics and symmetry in molecular phylogenetic modelling: perspectives from physics
- Exchanges of "Quanta" Among Distinguishable and Indistinguishable Objects
- Complementarity in categorical quantum mechanics
- Open-graphs and monoidal theories
- Monoidal computer. I: Basic computability by string diagrams
- The geometry of quantum computing
- Graph states and the necessity of Euler decomposition
- Shaded tangles for the design and verification of quantum programs (extended abstract)
- ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
- A bestiary of sets and relations
- A diagrammatic calculus of fermionic quantum circuits
- Monoidal reverse differential categories
- Semantics for a lambda calculus for string diagrams
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- Confluence of graph rewriting with interfaces
- A compositional approach to quantum functions
- Graphical calculus for quantum key distribution (extended abstract)
- Shaded tangles for the design and verification of quantum circuits
- A structural and nominal syntax for diagrams
- Making the stabilizer ZX-calculus complete for scalars
- Typed compositional quantum computation with lenses
- Quantum picturalism for topological cluster-state computing
- Categorical quantum mechanics. II: Classical-quantum interaction
- Bialgebraic foundations for the operational semantics of string diagrams
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
- Phase groups and the origin of non-locality for qubits
- Toy quantum categories (extended abstract)
- Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes
- Graphical CSS Code Transformation Using ZX Calculus
- Light-Matter Interaction in the ZXW Calculus
- Picturing Counting Reductions with the ZH-Calculus
- The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
- The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
- FJQuantum. A quantum object oriented language
- Is simulation the only alternative for effective verification of dynamic quantum circuits?
- Exact solution of long-range stabilizer Rényi entropy in the dual-unitary XXZ model
- Contextual equivalence for signal flow graphs
- Categorifying the ZX-calculus
- And-gates in ZX-calculus: spider nest identities and QBC-completeness
- A diagrammatic axiomatisation of fermionic quantum circuits
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- Biunitary constructions in quantum information
- The ZX-calculus is complete for stabilizer quantum mechanics
- An arbitrarily concealing and practically binding quantum bit commitment protocol
- scientific article; zbMATH DE number 7449972 (Why is no real title available?)
- A graphical calculus for Lagrangian relations
- A new description of orthogonal bases
- Categories of relations as models of quantum theory
- DisCoPy: monoidal categories in Python
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Encoding !-tensors as !-graphs with neighbourhood orders
- Arithmetic, mutually unbiased bases and complementary observables
- The quantum monadology
- Tutorial: Graphical Calculus for Quantum Circuits
- A graphical \#SAT algorithm for formulae with small clause density
- Scalable spider nests ({\dots}or how to graphically grok transversal non-Clifford gates)
- Symbolic synthesis of Clifford circuits and beyond
- Quantum linear optics via string diagrams
This page was built for publication: Interacting Quantum Observables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3519509)
