Tensors, !-graphs, and non-commutative quantum structures

DOI10.1007/s00354-016-0203-4zbMath1405.16043arXiv1412.8552OpenAlexW2079144781MaRDI QIDQ1670507

David Quick, Aleks Kissinger

Publication date: 5 September 2018

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.8552

zbMATH Keywords

tensors!-boxesnoncommutative !-graphsPenrose abstract tensor

Mathematics Subject Classification ID

Quantum groups and related algebraic methods applied to problems in quantum theory (81R50) General and philosophical questions in quantum theory (81P05) Quasi-Frobenius rings (16L60) Noncommutative geometry in quantum theory (81R60) Operator algebra methods applied to problems in quantum theory (81R15) Graphs, diagram schemes, precategories (18A10) Hopf algebras and their applications (16T05)

Related Items

Quantomatic: A Proof Assistant for Diagrammatic Reasoning, Tensors, !-graphs, and non-commutative quantum structures, Unnamed Item, Unnamed Item

Uses Software

• Quantomatic

Cites Work

• Unnamed Item
• Graphical reasoning in compact closed categories for quantum computation
• The geometry of tensor calculus. I
• Tensors, !-graphs, and non-commutative quantum structures
• Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
• Strong Complementarity and Non-locality in Categorical Quantum Mechanics
• A Categorical Semantics of Signal Flow Graphs
• Interacting Quantum Observables
• Open-graphs and monoidal theories
• Categories in Control
• A first-order logic for string diagrams
• Adhesive and quasiadhesive categories
• Abstract Tensor Systems as Monoidal Categories