DeepAI AI Chat
Log In Sign Up

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

10/18/2022

Deconstructing the Calculus of Relations with Tape Diagrams

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

On Doctrines and Cartesian Bicategories

We study the relationship between cartesian bicategories and a specialis...
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...
07/28/2021

Functorial String Diagrams for Reverse-Mode Automatic Differentiation

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

Normal forms for planar connected string diagrams

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

Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation

Blackbox algorithms for linear algebra problems start with projection of...
03/31/2020

Local congruence of chain complexes

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