A new description of orthogonal bases

DOI10.1017/S0960129512000047zbMath1276.46016arXiv0810.0812MaRDI QIDQ4925030

Bob Coecke, Dusko Pavlovic, Jamie Vicary

Publication date: 11 June 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Hilbert spacecategoryorthogonal basisFrobenius monoid

Mathematics Subject Classification ID

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Summability and bases; functional analytic aspects of frames in Banach and Hilbert spaces (46B15)

Related Items (42)

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Unnamed Item ⋮ Picturing classical and quantum Bayesian inference ⋮ Monoidal computer. I: Basic computability by string diagrams ⋮ A compositional approach to quantum functions ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Operational axioms for diagonalizing states ⋮ Mermin Non-Locality in Abstract Process Theories ⋮ A Bestiary of Sets and Relations ⋮ Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure ⋮ Categorical Probabilistic Theories ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ Categorifying the ZX-calculus ⋮ Double Dilation $\neq$ Double Mixing (extended abstract) ⋮ Unnamed Item ⋮ On Frobenius and separable algebra extensions in monoidal categories: applications to wreaths. ⋮ The algebra of the Feistel-Toffoli construction ⋮ Unnamed Item ⋮ Traffic distributions and independence. II: Universal constructions for traffic spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reversible monadic computing ⋮ Unnamed Item ⋮ The Morita theory of quantum graph isomorphisms ⋮ Unnamed Item ⋮ Frobenius Monoidal Algebras and Related Topics ⋮ Categories of quantum and classical channels ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Classical Structures Based on Unitaries ⋮ Graph States and the Necessity of Euler Decomposition ⋮ Generalised Mermin-type non-locality arguments ⋮ Biunitary constructions in quantum information ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Graphical Calculus for Quantum Key Distribution (Extended Abstract) ⋮ The Mathematics of Text Structure ⋮ Some examples of quantum graphs ⋮ Hilbertian Frobenius algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Cartesian bicategories. I
• The geometry of tensor calculus. I
• Dagger Compact Closed Categories and Completely Positive Maps
• A Survey of Graphical Languages for Monoidal Categories
• Interacting Quantum Observables
• A single quantum cannot be cloned

This page was built for publication: A new description of orthogonal bases