Immanant
In mathematics, the immanant of a matrix was defined by Dudley E. Littlewood and Archibald Read Richardson as a generalisation of the concepts of determinant and permanent.
Let [math]\displaystyle{ \lambda=(\lambda_1,\lambda_2,\ldots) }[/math] be a partition of an integer [math]\displaystyle{ n }[/math] and let [math]\displaystyle{ \chi_\lambda }[/math] be the corresponding irreducible representation-theoretic character of the symmetric group [math]\displaystyle{ S_n }[/math]. The immanant of an [math]\displaystyle{ n\times n }[/math] matrix [math]\displaystyle{ A=(a_{ij}) }[/math] associated with the character [math]\displaystyle{ \chi_\lambda }[/math] is defined as the expression
- [math]\displaystyle{ \operatorname{Imm}_\lambda(A)=\sum_{\sigma\in S_n} \chi_\lambda(\sigma) a_{1\sigma(1)} a_{2\sigma(2)} \cdots a_{n\sigma(n)}. }[/math]
Examples
The determinant is a special case of the immanant, where [math]\displaystyle{ \chi_\lambda }[/math] is the alternating character [math]\displaystyle{ \sgn }[/math], of Sn, defined by the parity of a permutation.
The permanent is the case where [math]\displaystyle{ \chi_\lambda }[/math] is the trivial character, which is identically equal to 1.
For example, for [math]\displaystyle{ 3 \times 3 }[/math] matrices, there are three irreducible representations of [math]\displaystyle{ S_3 }[/math], as shown in the character table:
| [math]\displaystyle{ S_3 }[/math] | [math]\displaystyle{ e }[/math] | [math]\displaystyle{ (1\ 2) }[/math] | [math]\displaystyle{ (1\ 2\ 3) }[/math] |
|---|---|---|---|
| [math]\displaystyle{ \chi_1 }[/math] | 1 | 1 | 1 |
| [math]\displaystyle{ \chi_2 }[/math] | 1 | −1 | 1 |
| [math]\displaystyle{ \chi_3 }[/math] | 2 | 0 | −1 |
As stated above, [math]\displaystyle{ \chi_1 }[/math] produces the permanent and [math]\displaystyle{ \chi_2 }[/math] produces the determinant, but [math]\displaystyle{ \chi_3 }[/math] produces the operation that maps as follows:
- [math]\displaystyle{ \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} \rightsquigarrow 2 a_{11} a_{22} a_{33} - a_{12} a_{23} a_{31} - a_{13} a_{21} a_{32} }[/math]
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.
Littlewood and Richardson studied the relation of the immanant to Schur functions in the representation theory of the symmetric group.
The necessary and sufficient conditions for the immanant of a Gram matrix to be [math]\displaystyle{ 0 }[/math] are given by Gamas's Theorem.
References
- D. E. Littlewood; A.R. Richardson (1934). "Group characters and algebras". Philosophical Transactions of the Royal Society A 233 (721–730): 99–124. doi:10.1098/rsta.1934.0015. Bibcode: 1934RSPTA.233...99L.
- D. E. Littlewood (1950). The Theory of Group Characters and Matrix Representations of Groups (2nd ed.). Oxford Univ. Press (reprinted by AMS, 2006). p. 81.
 |  |
