Overview Link to heading

Switching the rows of a matrix by multiplying the matrix with a compatible permutation matrix is an elementary operation in linear algebra. This computational essay shows that interpreting a permutation matrix as a transposed graph and plotting it provides a visual understanding of what the permutation matrix will do.

Visualization may aid in understanding the purpose of permutation matrices, show an interesting link between linear algebra and graph theory, as well as provide an introduction to working with matrices in R.

I assume this post will be primarily of interest to beginners in linear algebra or graph theory, but I originally wrote it to explore permutation matrices for myself.

Permutation Matrices Link to heading

One of the elementary operations in linear algebra is the switching of rows in a matrix. This is particularly useful when solving systems of linear equations through Gaussian Elimination based on the classic $ LU $ factorization.1

Let us assume we wish to solve the following system of linear equations:

$$ \begin{align} 2y + 3z &= 2 \\ 3x + 5y + 6z &= 1\\ 9z &= 3 \\ \end{align} $$

We can then construct a square matrix $ A_1 $ to represent the coefficients of the left-hand side of this system of equations:

$$ A_1 = \begin{bmatrix} 0 & 2 & 3 \\ 3 & 5 & 6 \\ 0 & 0 & 9 \\ \end{bmatrix} $$

In the course of an $ LU $ factorization we need to find an upper-triangular matrix $ U_1 $ with non-zero pivots (the numbers on the diagonal) and all zeros below the diagonal.2 Therefore, in an upper-triangular matrix $ U_1 $ the value in the diagonal at position $ (1,1) $ cannot be zero as it is at the moment.

Info

Matrix Index Notation

The notation for the position of a value in a matrix is (row, column). The index $ (2,1) $ means the value in row 2, column 1.

To achieve this we will want to switch the first and second rows to give the first row a non-zero pivot and save us the bother of performing further row operations on the second row. We can accomplish the switching of the first two rows with the following permutation matrix $ P_1 $:

$$ P_1 = \begin{bmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \\ \end{bmatrix} $$

Our permutation matrix $ P_1 $ does the following:

  • A value $ 1 $ in position $ (2,1) $ when multiplied with another matrix $ A_1 $ moves row 1 of $ A_1 $ to row 2.
  • Correspondingly, a value $ 1 $ in position $ (1,2) $ when multiplied with another matrix $ A_1 $ moves row 2 of $ A_1 $ to row 1.
  • The value $ 1 $ in position $ (3,3) $ means that row 3 stays where it is
Info

Permutation Matrices

The values in a permutation matrix are all $ 0 $, except for a single $ 1 $ per row. The placement of the $ 1 $ values determines the type of permutation. Permutation matrices are derived from an identity matrix with the rows switched around, which is also what the permutation matrix does when pre-multiplied with another matrix: switching rows.

In terms of a pre-multiplied permutation matrix the value at a particular index position means (destination, source) of a row operation.

Post-multiplying a matrix with a permutation matrix changes its columns — matrix multiplication is not commutative!

In a nutshell: our matrix $ P_1 $ switches rows 1 and 2 with each other and row 3 remains where it is. When we multiply matrix $ P_1 $ with matrix $ A_1 $ we obtain:

$$ P_1A_1 = \begin{bmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \\ \end{bmatrix} \begin{bmatrix} 0 & 2 & 3 \\ 3 & 5 & 6 \\ 0 & 0 & 9 \\ \end{bmatrix} = \begin{bmatrix} 3 & 5 & 6 \\ 0 & 2 & 3 \\ 0 & 0 & 9 \\ \end{bmatrix} = U_1 $$

Warning
Matrix multiplication is not commutative. $ P_1A_1 $ is not the same as $ A_1P_1 $ !

In terms of the original system of linear equations we would now be solving this form, which presents a more obvious path to a solution:

$$ \begin{align} 3x + 5y + 6z &= 1\\ 2y + 3z &= 2 \\ 9z &= 3 \\ \end{align} $$

With the back substitution algorithm we first solve the last row and obtain $ z = \frac{1}{3} $. We insert $ z $ into the second row and find that $ y = \frac{1}{2} $. Inserting $ y $ and $ z $ into the first row we conclude with $ x = -\frac{7}{6} $.

Note that this is simple example to explain a particular technique and as humans we could have solved the original system of linear equations directly without switching any rows. In cases that include other types of row operations this would not have been possible.

Load Igraph Link to heading

Now to visualize the permutation matrix. For analyzing and visualizing graphs we will rely on {igraph} , one the most comprehensive network analysis packages available in R. While I usually use {ggraph} to visualize graphs, in this simple example {igraph} will do just fine.

1library(igraph)
1## 
2## Attaching package: 'igraph'
1## The following objects are masked from 'package:stats':
2## 
3##     decompose, spectrum
1## The following object is masked from 'package:base':
2## 
3##     union

Input Permutation Matrix $ P_1 $ Link to heading

First we input the permutation matrix into R. By arranging the code a little we can code the matrix almost as we see it.

Nevertheless, it is a good idea to print the stored matrix to make sure the input code is correct. Hard-coding matrices can easily go wrong when columns and rows are switched accidentally. Or when we set nrow or byrow incorrectly.

1P1  <- matrix(c(0, 1, 0, 
2                1, 0, 0, 
3                0, 0, 1),
4              nrow = 3,
5              byrow = TRUE)
6
7print(P1)
1##      [,1] [,2] [,3]
2## [1,]    0    1    0
3## [2,]    1    0    0
4## [3,]    0    0    1

Visualize Small Permutation Matrix $ P_1 $ Link to heading

Now that we have the matrix loaded into R, we create a graph from it. This trick works because a graph can be expressed as a square matrix, so a square matrix can again be interpreted as a graph. The technical term in graph theory is adjacency matrix.

Here we treat the permutation matrix as a directed graph (a ‘digraph’) and transform it first into a graph object, then calculate the transpose, then plot it.3

Note that most of the plotting code below is just to align the optics of the plot with the optics of my website, a simple plot(g1t) call would do just fine.

 1set.seed(999)
 2
 3g1 <- graph_from_adjacency_matrix(P1, mode = "directed")
 4g1t <- t(g1) # Transpose
 5
 6par(bg = "#212121")
 7
 8plot(g1t,
 9     vertex.size = 40,
10     vertex.color = "white")

As we expected, the plot shows that rows 1 and 2 are to be switched, while row 3 is left unchanged.

Note

Graph Transpose

The transpose $ G^T $ of a directed graph $ G $ is just the directed graph with all its edge directions reversed.

Why do we use the transpose $ G^T $ instead of plotting $ G $ directly? This is because igraph adopts the graph theoretic and social science convention of using the row index to describe the source node and the column index for the destination node. Pre-multiplied matrix permutation uses the column index of a permutation matrix as the source row in the target matrix and row index as the destination row in the target matrix. That is why we need to switch the notation with transposition.

In this small example it does not make a difference, since we are just switching two rows with each other. In the more complicated rotating case below it does make a difference.

We could also have transposed the matrix first before plotting it, but this is equivalent to transposing the graph and a graph transpose can be interpreted visually (reversing edges), which is after all what this essay is about.

Large Permutation Matrix $ P_2 $ Link to heading

The previous matrix $ P_1 $ was fairly small ( $ n = 3 $ ), but it is interesting to try the exercise with larger matrices, as the advantage of visualization increases with size. The matrices $ P_2 $ and $ A_2 $ are now of size $ n = 5 $ and look a lot more intimidating:

$$ P_2 = \begin{bmatrix} 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 \\ \end{bmatrix} \quad A_2 = \begin{bmatrix} 0 & 0 & 0 & 0 & 25\\ 0 & 0 & 13 & 14 & 15\\ 0 & 7 & 8 & 9 & 10\\ 1 & 2 & 3 & 4 & 5\\ 0 & 0 & 0 & 19 & 20\\ \end{bmatrix} $$

Note

Matrix Size

The concept of a ’large’ matrix is relative. Calling a square matrix of size $ n = 5 $ ’large’ would be silly in the context of Large Language Models (LLM), but is a fair description when performing calculations by hand or hard-coding the matrix by hand, like yours truly had to do when writing this essay. Coincidentally, $ n = 5 $ is also the maximum matrix size I could nicely fit onto a line to show multiplication of the full matrices without sidescrolling.

Input Large Permutation Matrix $ P_2 $ and Matrix $ A_2 $ Link to heading

We input the two matrices into R and print them to verify that they have been coded correctly:

1P2  <- matrix(c(0, 0, 0, 1, 0, 
2                0, 0, 1, 0, 0, 
3                0, 1, 0, 0, 0, 
4                0, 0, 0, 0, 1, 
5                1, 0, 0, 0, 0),
6              nrow = 5,
7              byrow = TRUE)
8
9print(P2)
1##      [,1] [,2] [,3] [,4] [,5]
2## [1,]    0    0    0    1    0
3## [2,]    0    0    1    0    0
4## [3,]    0    1    0    0    0
5## [4,]    0    0    0    0    1
6## [5,]    1    0    0    0    0
1A2 <- matrix(c(0, 0, 0, 0, 25,
2               0, 0, 13, 14, 15,
3               0, 7, 8, 9, 10,
4               1, 2, 3, 4, 5,
5               0, 0, 0, 19, 20),
6             nrow = 5,
7             byrow = TRUE)
8
9print(A2)
1##      [,1] [,2] [,3] [,4] [,5]
2## [1,]    0    0    0    0   25
3## [2,]    0    0   13   14   15
4## [3,]    0    7    8    9   10
5## [4,]    1    2    3    4    5
6## [5,]    0    0    0   19   20

Visualizing the Large Permutation Matrix $ P_2 $ Link to heading

We proceed as we did with the smaller matrix, by creating a graph from an adjacency matrix, then transposing and plotting it. We see that the permutation matrix:

  • Rotates rows 1, 4 and 5
  • Switches rows 2 and 3 with each other
1g2 <- graph_from_adjacency_matrix(P2, mode = "directed")
2g2t <- t(g2) # Transpose
3
4par(bg = "#212121")
5
6plot(g2t,
7     vertex.size = 40,
8     vertex.color = "white")

Matrix Multiplication Link to heading

To round off this post, let us multiply the matrices $ P_2 $ and $ A_2 $ to make sure that the permutation matrix does exactly what we expect it to do, namely the following:

$$ P_2A_2 = \begin{bmatrix} 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 & 0 \\ \end{bmatrix} \begin{bmatrix} 0 & 0 & 0 & 0 & 25\\ 0 & 0 & 13 & 14 & 15\\ 0 & 7 & 8 & 9 & 10\\ 1 & 2 & 3 & 4 & 5\\ 0 & 0 & 0 & 19 & 20\\ \end{bmatrix} = \begin{bmatrix} 1 & 2 & 3 & 4 & 5\\ 0 & 7 & 8 & 9 & 10\\ 0 & 0 & 13 & 14 & 15\\ 0 & 0 & 0 & 19 & 20\\ 0 & 0 & 0 & 0 & 25\\ \end{bmatrix} = U_2 $$

We multiply $ P_2 $ with $ A_2 $ in R to obtain:

1U2 <- P2 %*% A2
2print(U2)
1##      [,1] [,2] [,3] [,4] [,5]
2## [1,]    1    2    3    4    5
3## [2,]    0    7    8    9   10
4## [3,]    0    0   13   14   15
5## [4,]    0    0    0   19   20
6## [5,]    0    0    0    0   25

This result matches what we derived from the visualization of the permutation matrix. It worked!

Conclusion Link to heading

It is possible to transform a permutation matrix into a graph, then transpose and plot it to understand what the permutation will do. This may aid in understanding the purpose of permutation matrices, show an interesting link between linear algebra and graph theory, as well as provide an introduction to working with matrices in R.


  1. Note that this post is intended to provide a better understanding of the concept of permutation matrices. There exist efficient software implementations for Gaussian elimination that can be used out of the box and do not require an understanding of the details of matrix multiplication. ↩︎

  2. Square matrices of this form are called upper triangular. Upper triangular matrices are also always in row echelon form, which is the more generalized description of all matrices that look like (inverted) staircases, not just square ones. ↩︎

  3. An adjacency matrix can also be treated as an undirected graph or include weights. Here we only interpret it as an unweighted directed graph. ↩︎