Permutation matrix

from Wikipedia, the free encyclopedia
Permutation matrix of the permutation (3,5,8,1,7,4,2,6). The red dots show the entries.

A permutation or permutation matrix is in mathematics a matrix where exactly in each row and each column an entry is one, and all other entries are zero. Every permutation matrix corresponds exactly to one permutation of a finite set of numbers. If a permutation matrix is multiplied by a vector , the components of the vector are swapped according to this permutation. Permutation matrices are orthogonal , double-stochastic and integer unimodular . The set of permutation matrices of fixed size forms a subgroup of the general linear group with the matrix multiplication . Permutation matrices are used in linear algebra , combinatorics and cryptography , among others .

definition

A permutation matrix is ​​a square matrix in which exactly one entry per row and column is the same and all other entries are the same . In general, and are the one element and zero element of an underlying ring (in practice mostly the real numbers ). Each permutation matrix of size corresponds exactly to one permutation of the numbers from to . The permutation matrix belonging to a permutation

then has as entries

If exactly two numbers are exchanged with one another through the permutation , then one also calls an exchange matrix . If the -th canonical unit vector is a row vector, then the permutation matrix can also be passed through

represent. Occasionally, however, the reverse variant is also found in the literature, in which the unit vectors are put together in columns, whereby the permutation matrices are correspondingly transposed . In the following, however, the more common first variant is used.

example

The one to the permutation

associated permutation matrix is

.

After the number is mapped onto the number through the permutation, for example , the fifth row of is found in the third column.

application

If a permutation matrix is multiplied by a given column vector , the result is the matrix-vector product

a new column vector whose entries have been swapped according to the permutation . For example , then the matrix-vector product with the above example permutation matrix gives the column vector

If a matrix is ​​multiplied by a permutation matrix from the left, the rows of the matrix are swapped according to the permutation. Conversely, the multiplication of a row vector with the transposed permutation matrix results in a row vector with elements swapped according to the permutation , that is

.

For the above example one obtains

If a matrix is ​​multiplied from the right with the transposed permutation matrix, the columns of the matrix are swapped according to the permutation.

properties

Group table of the 3! = 6 permutations of a 3-element set. The product of two permutation matrices is again a permutation matrix.
Positions of the 6 dies in the group table above. Only the unit matrices are symmetrical to the main diagonal, so the symmetrical group is not Abelian. These are also permutation matrices, hence the drawn cycles.

Inverse

Permutation matrices are always invertible , the inverse of a permutation matrix being its transpose. The transposed matrix is ​​the permutation matrix of the inverse permutation , so it applies

.

Real permutation matrices are therefore always orthogonal and have full rank .

product

The product of two permutation matrices is again a permutation matrix which corresponds to the execution of the associated permutations one after the other . The permutation matrix of the successive execution of two permutations results in

.

The figure thus represents an antihomomorphism . The set of permutation matrices together with the matrix multiplication form a group , namely a subgroup of the general linear group . Each permutation matrix can be represented as a product of elementary row-interchanging matrices.

Potencies

Integer powers of permutation matrices are again permutation matrices. For every permutation matrix there is a power such that

where is the identity matrix . The smallest positive with this property is equal to the order of in the general linear group. This order is equal to the least common multiple of the lengths of the disjoint cycles of .

Determinant

The determinant of a permutation matrix is ​​either or and corresponds to the sign of the associated permutation:

.

A permutation matrix over the whole numbers is therefore an integer unimodular matrix . The trace of an integer permutation matrix corresponds to the number of fixed points of the permutation.

Eigenvalues

The eigenvalues ​​of a real permutation matrix are not necessarily all real, but they lie on the complex unit circle . If the lengths of the cycles are a permutation , then the eigenvalues ​​of the associated permutation matrix are the complex roots of unit

for and . A real permutation matrix accordingly has the eigenvalue , where and are coprime if the underlying permutation has at least one cycle whose length is divisible by . The multiplicity of this eigenvalue then corresponds to the number of such cycles. A real permutation matrix therefore always has the eigenvalue with a multiplicity equal to the total number of cycles of the underlying permutation.

Norms

Since real permutation matrices are orthogonal, the following applies to their spectral norm

.

For the column and row sum norm of a real permutation matrix it also results

.

A real permution matrix is ​​therefore a double-stochastic matrix . According to Birkhoff's and von Neumann's theorem , a square matrix is ​​double-stochastic if and only if it is a convex combination of permutation matrices.

Special cases

use

  a b c d e f G H  
8th Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess rlt45.svg Chess --t45.svg Chess --t45.svg 8th
7th Chess --t45.svg Chess --t45.svg Chess rlt45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg 7th
6th Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess rlt45.svg Chess --t45.svg 6th
5 Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess rlt45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg 5
4th Chess rlt45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg 4th
3 Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess rlt45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg 3
2 Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess rlt45.svg 2
1 Chess --t45.svg Chess rlt45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg Chess --t45.svg 1
  a b c d e f G H  

Eight rooks that do not attack each other on a chessboard

Template: chess board / maintenance / alt

Permutation matrices are used, among other things:

In chess mathematics , the permutation matrices are precisely the solution to the problem of distributing rooks on a chessboard of the size so that no rooks attack each other. More difficult to solve is the queens problem , where the rooks are replaced by queens who can attack diagonally. The solutions to the queens problem are also permutation matrices.

generalization

A generalized permutation matrix or monomial matrix is ​​a square matrix in which exactly one entry per row and column is not equal . Monomial matrices have the representation

,

where is an ordinary permutation matrix and a diagonal matrix whose diagonal entries are all unequal . The regular monomial matrices together with the matrix multiplication as a link form the monomial group , a further subgroup of the general linear group . Special monomial matrices are signed permutation matrices in which there is exactly one entry or in each row and each column and all other entries are

See also

literature

Individual evidence

  1. ^ Jörg Liesen, Volker Mehrmann: Lineare Algebra . Springer, 2011, p. 45 .
  2. ^ Siegfried Bosch : Linear Algebra . Springer, 2006, p. 275 .

Web links