In mathematics, the immanant of a
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** '' The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
was defined by
Dudley E. Littlewood
Dudley Ernest Littlewood (7 September 1903, London –
6 October 1979, Llandudno) was a British mathematician known for his work in group representation theory.
He read mathematics at Trinity College, Cambridge, where his tutor was John Ed ...
and
Archibald Read Richardson
Archibald Read Richardson FRS (21 August 1881 – 4 November 1954) was a British mathematician known for his work in algebra.
Career
Richardson collaborated with Dudley E. Littlewood on invariants and group representation theory. They intro ...
as a generalisation of the concepts of
determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if ...
and
permanent
Permanent may refer to:
Art and entertainment
* ''Permanent'' (film), a 2017 American film
* ''Permanent'' (Joy Division album)
* "Permanent" (song), by David Cook
Other uses
*Permanent (mathematics), a concept in linear algebra
*Permanent (cycl ...
.
Let
be a
partition of an integer
and let
be the corresponding irreducible
representation-theoretic character
Character or Characters may refer to:
Arts, entertainment, and media Literature
* ''Character'' (novel), a 1936 Dutch novel by Ferdinand Bordewijk
* ''Characters'' (Theophrastus), a classical Greek set of character sketches attributed to The ...
of the
symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ...
. The ''immanant'' of an
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** '' The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
associated with the character
is defined as the expression
:
Examples
The determinant is a special case of the immanant, where
is the
alternating character
In mathematics, when ''X'' is a finite set with at least two elements, the permutations of ''X'' (i.e. the bijective functions from ''X'' to ''X'') fall into two classes of equal size: the even permutations and the odd permutations. If any total o ...
, of ''S''
''n'', defined by the
parity of a permutation
In mathematics, when ''X'' is a finite set with at least two elements, the permutations of ''X'' (i.e. the bijective functions from ''X'' to ''X'') fall into two classes of equal size: the even permutations and the odd permutations. If any total ...
.
The permanent is the case where
is the
trivial character In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is ...
, which is identically equal to 1.
For example, for
matrices, there are three irreducible representations of
, as shown in the character table:
As stated above,
produces the permanent and
produces the determinant, but
produces the operation that maps as follows:
:
Properties
The immanant shares several properties with determinant and permanent. In particular, the immanant is
multilinear in the rows and columns of the matrix; and the immanant is invariant under ''simultaneous'' permutations of the rows or columns by the same element of the
symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ...
.
Littlewood and Richardson studied the relation of the immanant to
Schur functions in the
representation theory of the symmetric group
In mathematics, the representation theory of the symmetric group is a particular case of the representation theory of finite groups, for which a concrete and detailed theory can be obtained. This has a large area of potential applications, from s ...
.
The necessary and sufficient conditions for the immanant of a
Gram matrix
In linear algebra, the Gram matrix (or Gramian matrix, Gramian) of a set of vectors v_1,\dots, v_n in an inner product space is the Hermitian matrix of inner products, whose entries are given by the inner product G_ = \left\langle v_i, v_j \right\r ...
to be
are given by
Gamas's Theorem
Gamas's theorem is a result in multilinear algebra which states the necessary and sufficient conditions for a tensor symmetrized by an irreducible representation of the symmetric group S_n to be zero. It was proven in 1988 by Carlos Gamas. Addi ...
.
References
*
* {{cite book , author=D. E. Littlewood , authorlink=Dudley E. Littlewood , title=The Theory of Group Characters and Matrix Representations of Groups , edition=2nd , year=1950 , publisher=Oxford Univ. Press (reprinted by AMS, 2006) , page=81
Algebra
Linear algebra
Matrix theory
Permutations