DeepAI AI Chat
Log In Sign Up

Representing Matrices Using Algebraic ZX-calculus

by   Quanlong Wang, et al.

Elementary matrices play an important role in linear algebra applications. In this paper, we represent all the elementary matrices of size 2^m×2^m using algebraic ZX-calculus. Then we show their properties on inverses and transpose using rewriting rules of ZX-calculus. As a consequence, we are able to depict any matrices of size 2^m×2^n by string diagrams without resort to a diagrammatic normal form for matrices as shown in [Wang 2020]. By doing so we pave the way towards visualising by string diagrams important matrix technologies deployed in AI especially machine learning.


page 1

page 2

page 3

page 4


Deconstructing the Calculus of Relations with Tape Diagrams

Rig categories with finite biproducts are categories with two monoidal p...

On Doctrines and Cartesian Bicategories

We study the relationship between cartesian bicategories and a specialis...

The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition

String diagrams are an increasingly popular algebraic language for the a...

Functorial String Diagrams for Reverse-Mode Automatic Differentiation

We enhance the calculus of string diagrams for monoidal categories with ...

Normal forms for planar connected string diagrams

In the graphical calculus of planar string diagrams, equality is generat...

Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation

Blackbox algorithms for linear algebra problems start with projection of...

Local congruence of chain complexes

The object of this paper is to transform a set of local chain complexes ...