Signed permutation matrix

from Wikipedia, the free encyclopedia

In mathematics, a signed permutation matrix is a square matrix in which exactly one entry is plus or minus one in each row and each column and all other entries are zero. Signed permutation matrices thus represent a generalization of ordinary permutation matrices and are a special case of monomial matrices . They are exactly the integer orthogonal matrices . The group of signed permutation matrices is isomorphic to the hyperoctahedral group , the symmetry group of a hypercube or cross polytope .

definition

A signed permutation matrix is ​​a square matrix in which exactly one entry per row and column is or and all other entries are. In general, and are the one element and zero element of an underlying ring . Every signed permutation matrix can be used as a product

  or.  

from a normal permutation matrix and a diagonal matrix with entries or on the main diagonal . The two representations are equivalent: in the first representation the diagonal entries of each correspond to the column entries not equal to zero from , in the second representation the line entries not equal to zero in each case; the two permutation matrices agree.

example

An example of a signed permutation matrix of magnitude is

,

because it applies

.

properties

number

The number of different signed permutation matrices of magnitude is

,

where denotes the double faculty . Namely, there are different permutation matrices of magnitude and possible choices for the signs.

product

The product of two signed permutation matrices is again a signed permutation matrix, because it holds

,

where is the diagonal matrix that results from swapping rows and columns according to the underlying permutation .

Inverse

A signed permutation matrix is always invertible . The set of signed permutations therefore forms a subgroup of the general linear group , more specifically a subgroup of the monomial group, with the matrix multiplication as a link . The inverse of a signed permutation matrix is ​​given by

and is therefore equal to her transpose . Real signed permutation matrices are therefore orthogonal and their matrix group is a subgroup of the orthogonal group . This subgroup consists exactly of the integer orthogonal matrices.

Potencies

Integer powers of signed permutation matrices are again signed permutation matrices. For every signed 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. If the associated permutation represents a single cycle of length and denotes the number of entries with a value in , then the order of

In the general case, the permutation breaks down into disjoint cycles and the order of is then equal to the smallest common multiple of the orders of the associated sub-matrices .

Determinant

The determinant of a signed permutation matrix with entries from a commutative ring arising after the determinants product set to

,

where is the sign of the associated permutation and the number of entries with value in . Signed permutation matrices are therefore unimodular , because their determinant can only take the values or .

use

Signed permutations

Each signed permutation corresponds exactly to a signed permutation , that is a permutation of the amount for which to apply. The entries of the matrix belonging to the permutation are given as

The group of signed permutation matrices of size is isomorphic to the hyperoctahedral group , the symmetry group of a hypercube or cross polytope in -dimensional space.

Hadamard matrices

A Hadamard matrix is a square matrix with entries in which all rows and all columns are orthogonal to one another. The product of a Hadamard matrix with a signed permutation matrix again gives a Hadamard matrix. Two Hadamard matrices and are equivalent if there are signed permutation matrices and such that

applies. The equivalence class of a Hadamard matrix is ​​therefore the orbit of a group operation in which the transformation group is the direct product of the group of signed permutations with itself.

literature

  • Petteri Kaski, Patric RJ Östergård: Classification Algorithms for Codes and Designs . Springer, 2006, ISBN 3-540-28991-7 .
  • Michael Field: Lectures on Bifurcations, Dynamics and Symmetry . CRC Press, 1996, ISBN 0-582-30346-X .

Individual evidence

  1. a b c Petteri Kaski, Patric RJ Östergård: Classification Algorithms for Codes and Designs . Springer, 2006, ISBN 3-540-28991-7 , pp. 63 .
  2. ^ Michael Field: Lectures on Bifurcations, Dynamics and Symmetry . CRC Press, 1996, ISBN 0-582-30346-X , pp. 12-13 .