Expressions Involving Permutation Matrices - Untitled
Description: Untitled

Previous: Expressions Involving Diagonal Matrices, Up: Matrix Algebra

#### 20.2.2 Expressions Involving Permutation Matrices

If P is a permutation matrix and M a matrix, the expression `P*M` will permute the rows of M. Similarly, `M*P` will yield a column permutation. Matrix division `P\M` and `M/P` can be used to do inverse permutation.

The previously described syntax for creating permutation matrices can actually help an user to understand the connection between a permutation matrix and a permuting vector. Namely, the following holds, where `I = eye (n)` is an identity matrix:

           I(p,:) * M = (I*M) (p,:) = M(p,:)

Similarly,

           M * I(:,p) = (M*I) (:,p) = M(:,p)

The expressions `I(p,:)` and `I(:,p)` are permutation matrices.

A permutation matrix can be transposed (or conjugate-transposed, which is the same, because a permutation matrix is never complex), inverting the permutation, or equivalently, turning a row-permutation matrix into a column-permutation one. For permutation matrices, transpose is equivalent to inversion, thus `P\M` is equivalent to `P'*M`. Transpose of a permutation matrix (or inverse) is a constant-time operation, flipping only a flag internally, and thus the choice between the two above equivalent expressions for inverse permuting is completely up to the user's taste.

Multiplication and division by permutation matrices works efficiently also when combined with sparse matrices, i.e., `P*S`, where P is a permutation matrix and S is a sparse matrix permutes the rows of the sparse matrix and returns a sparse matrix. The expressions `S*P`, `P\S`, `S/P` work analogically.

Two permutation matrices can be multiplied or divided (if their sizes match), performing a composition of permutations. Also a permutation matrix can be indexed by a permutation vector (or two vectors), giving again a permutation matrix. Any other operations do not generally yield a permutation matrix and will thus trigger the implicit conversion.