Tensors, !-graphs, and Non-commutative Quantum Structures

Abstract!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf algebras, Frobenius algebras, and compositions thereof. However, they have previously been limited by an inability to express families of diagrams involving non-commutative structures which play a central role in algebraic quantum information and the theory of quantum groups. In this paper, we fix this shortcoming by offering a new semantics for non-commutative !-graphs using an enriched version of Penrose’s abstract tensor notation.

[1]  Aleks Kissinger,et al.  Strong Complementarity and Non-locality in Categorical Quantum Mechanics , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[2]  Lucas Dixon,et al.  Graphical reasoning in compact closed categories for quantum computation , 2009, Annals of Mathematics and Artificial Intelligence.

[3]  Alexander Merry,et al.  Reasoning with !-graphs , 2014, ArXiv.

[4]  Stephen Pulman.  Compositional distributional semantics with compact closed categories and Frobenius algebras , 2014 .

[5]  Aleks Kissinger,et al.  Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing , 2012, ArXiv.

[6]  Filippo Bonchi,et al.  A Categorical Semantics of Signal Flow Graphs , 2014, CONCUR.

[7]  Aleks Kissinger.  Abstract Tensor Systems as Monoidal Categories , 2014, Categories and Types in Logic, Language, and Physics.

[8]  A. Joyal,et al.  The geometry of tensor calculus, I , 1991 .

[9]  Pawel Sobocinski,et al.  Adhesive and quasiadhesive categories , 2005, RAIRO Theor. Informatics Appl..

[10]  Aleks Kissinger,et al.  Open-graphs and monoidal theories† , 2010, Mathematical Structures in Computer Science.

[11]  Bob Coecke,et al.  Interacting Quantum Observables , 2008, ICALP.

[12]  John C. Baez,et al.  Categories in Control , 2014, 1405.6881.

[13]  Aleks Kissinger,et al.  Tensors, !-graphs, and non-commutative quantum structures. , 2014 .

[14]  B. Coecke.  Quantum picturalism , 2009, 0908.1787.

[15]  Aaron D. Lauda,et al.  Open–closed strings: Two-dimensional extended TQFTs and Frobenius algebras , 2008 .

[16]  Dominic R. Verity,et al.  Traced monoidal categories , 1996, Mathematical Proceedings of the Cambridge Philosophical Society.

[17]  Aleks Kissinger,et al.  A First-order Logic for String Diagrams , 2015, CALCO.

[18]  Aleks Kissinger,et al.  Pattern Graph Rewrite Systems , 2012, DCM.

[19]  Open-closed strings: Two-dimensional open-closed TQFTs and knowledgeable Frobenius algebras , 2005, math/0510664.

[20]  Dimitri Kartsaklis,et al.  Compositional distributional semantics with compact closed categories and Frobenius algebras , 2015, ArXiv.