Representing Matrices Using Algebraic ZX-calculus

10/13/2021
by   Quanlong Wang, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2022

Deconstructing the Calculus of Relations with Tape Diagrams

Rig categories with finite biproducts are categories with two monoidal p...
research
06/15/2021

On Doctrines and Cartesian Bicategories

We study the relationship between cartesian bicategories and a specialis...
research
05/19/2021

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

String diagrams are an increasingly popular algebraic language for the a...
research
07/28/2021

Functorial String Diagrams for Reverse-Mode Automatic Differentiation

We enhance the calculus of string diagrams for monoidal categories with ...
research
04/20/2018

Normal forms for planar connected string diagrams

In the graphical calculus of planar string diagrams, equality is generat...
research
12/16/2014

Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation

Blackbox algorithms for linear algebra problems start with projection of...
research
09/23/2017

The algebra of entanglement and the geometry of composition

String diagrams turn algebraic equations into topological moves that hav...

Please sign up or login with your details

Forgot password? Click here to reset