The Immanant Of A Matrix
   HOME

TheInfoList



OR:

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'' (franchis ...
was defined by Dudley E. Littlewood 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 intr ...
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 a ...
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 (cy ...
. Let \lambda=(\lambda_1,\lambda_2,\ldots) be a
partition Partition may refer to: Computing Hardware * Disk partitioning, the division of a hard disk drive * Memory partition, a subdivision of a computer's memory, usually for use by a single job Software * Partition (database), the division of a ...
of an integer n and let \chi_\lambda 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 ...
S_n. The ''immanant'' of an n\times n
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'' (franchis ...
A=(a_) associated with the character \chi_\lambda is defined as the expression :\operatorname_\lambda(A)=\sum_ \chi_\lambda(\sigma) a_ a_ \cdots a_.


Examples

The determinant is a special case of the immanant, where \chi_\lambda 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 ...
\sgn, of ''S''''n'', defined by the parity of a permutation. The permanent is the case where \chi_\lambda 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 3 \times 3 matrices, there are three irreducible representations of S_3, as shown in the character table: As stated above, \chi_1 produces the permanent and \chi_2 produces the determinant, but \chi_3 produces the operation that maps as follows: :\begin a_ & a_ & a_ \\ a_ & a_ & a_ \\ a_ & a_ & a_ \end \rightsquigarrow 2 a_ a_ a_ - a_ a_ a_ - a_ a_ a_


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 0 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. Additi ...
.


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