Namespaces
Variants
Actions

Difference between revisions of "Permanent"

From Encyclopedia of Mathematics
Jump to: navigation, search
(LaTeX part)
(LaTeX)
Line 1: Line 1:
{{TEX|part}}
+
{{TEX|done}}
  
 
''of an $m \times n$-matrix $A = \left\Vert a_{ij} \right\Vert$''
 
''of an $m \times n$-matrix $A = \left\Vert a_{ij} \right\Vert$''
Line 48: Line 48:
 
Upper bounds for permanents:
 
Upper bounds for permanents:
  
1) For a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225049.png" />-matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225050.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225051.png" />,
+
1) For a $(0,1)$>-matrix $A$ of order $n$,
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225052.png" /></td> </tr></table>
+
\mathrm{per}(A) \le \prod_{i=1}^n (r_i!)^{1/r_1} \ .
 
+
$$
2) For a completely-indecomposable matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225053.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225054.png" /> with non-negative integer elements,
+
2) For a completely-indecomposable matrix $A$ of order $n$ with non-negative integer elements,
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225055.png" /></td> </tr></table>
+
\mathrm{per}(A) \le 2^{s(A)-2n} + 1 \ .
 
+
$$
3) For a complex normal matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225056.png" /> with eigen values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225057.png" />,
+
3) For a complex [[normal matrix]] $A$ with eigen values $\lambda_1,\ldots,\lambda_n$,
 
+
$$
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225058.png" /></td> </tr></table>
+
|\mathrm{per}(A)| \le \frac{1}{n}\sum_{i=1}^n |\lambda_i|^n \ .
 +
$$
  
The most familiar problem in the theory of permanents was van der Waerden's conjecture: The permanent of a doubly-stochastic matrix of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225059.png" /> is bounded from below by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225060.png" />, and this value is attained only for the matrix composed of fractions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225061.png" />. A positive solution to this problem was obtained in [[#References|[4]]].
+
The most familiar problem in the theory of permanents was van der Waerden's conjecture: The permanent of a [[doubly-stochastic matrix]] of order $n$ is bounded from below by $n!/n^n$, and this value is attained only for the matrix composed of fractions $1/n$. A positive solution to this problem was obtained in [[#References|[4]]].
  
Among the applications of permanents one may mention relationships to certain combinatorial problems (cf. [[Combinatorial analysis|Combinatorial analysis]]), such as the  "problème des rencontresproblème de rencontres"  and the  "problème d'attachementproblème d'attachement"  (or  "hook problemhook problem" ), and also to the [[Fibonacci numbers|Fibonacci numbers]], the enumeration of Latin squares (cf. [[Latin square|Latin square]]) and Steiner triple systems (cf. [[Steiner system|Steiner system]]), and to the derivation of the number of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225062.png" />-factors and linear subgraphs of a [[Graph|graph]], while doubly-stochastic matrices are related to certain probability models. There are interesting physical applications of permanents, of which the most important is the dimer problem, which arises in research on the [[Adsorption|adsorption]] of di-atomic molecules in surface layers: The permanent of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p072/p072250/p07225063.png" />-matrix of a simple structure expresses the number of ways of combining the atoms in the substance into di-atomic molecules. There are also applications of permanents in statistical physics, the theory of crystals and physical chemistry.
+
Among the applications of permanents one may mention relationships to certain combinatorial problems (cf. [[Combinatorial analysis]]), such as the  "problème des rencontres"  and the  "problème d'attachement"  (or  "hook problem" ), and also to the [[Fibonacci numbers]], the enumeration of [[Latin square]]s and Steiner triple systems (cf. [[Steiner system]]), and to the derivation of the number of $1$-factors and linear subgraphs of a [[graph]], while doubly-stochastic matrices are related to certain probability models. There are interesting physical applications of permanents, of which the most important is the dimer problem, which arises in research on the [[Adsorption|adsorption]] of di-atomic molecules in surface layers: The permanent of a $(0,1)$-matrix of a simple structure expresses the number of ways of combining the atoms in the substance into di-atomic molecules. There are also applications of permanents in statistical physics, the theory of crystals and physical chemistry.
  
 
====References====
 
====References====

Revision as of 19:31, 30 November 2014


of an $m \times n$-matrix $A = \left\Vert a_{ij} \right\Vert$

The function $$ \mathrm{per}(A) = \sum_\sigma a_{1\sigma(1)}\cdots a_{m\sigma(m)} $$

where $a_{ij}$ are elements from a commutative ring and summation is over all one-to-one mappings $\sigma$ from $\{1,\ldots,m\}$ into $\{1,\ldots,n\}$. If $m=n$, then $\sigma$ represents all possible permutations, and the permanent is a particular case of the Schur matrix function (cf. Immanant) $$ d_\chi^H (A) = \sum_{\sigma\in H} \chi(\sigma) \prod_{i=1}^n a_{i\sigma(i)} $$ for $H \subseteq S_n$, where $\chi$ is a character of degree 1 on the subgroup $H$ (cf. Character of a group) of the symmetric group $S_n$ (one obtains the determinant for $H=S_n$, $\chi =\pm 1$, in accordance with the parity of $\sigma$).

The permanent is used in linear algebra, probability theory and combinatorics. In combinatorics, a permanent can be interpreted as follows: The number of systems of distinct repesentatives for a given family of subsets of a finite set is the permanent of the incidence matrix for the incidence system related to this family.

The main interest is in the permanent of a matrix consisting of zeros and ones (a $(0,1)$-matrix), of a matrix containing non-negative real numbers, in particular doubly-stochastic matrices (in which the sum of the elements in any row and any column is 1), and of a complex Hermitian matrix. The basic properties of the permanent include a theorem on expansion (the analogue of Laplace's theorem for determinants) and the Binet–Cauchy theorem, which gives a representation of the permanent of the product of two matrices as the sum of the products of the permanents formed from the cofactors. For the permanents of complex matrices it is convenient to use representations as scalar products in the symmetry classes of completely-symmetric tensors (see, e.g., [3]). One of the most effective methods for calculating permanents is provided by Ryser's formula: $$ \mathrm{per}(A) = \sum_{t=0}^{n-1} (-1)^t \sum_{X \in \Gamma_{n-t}} \prod_{i=1}^m r_i(X) $$ where $\Gamma_k$ is the set of submatrices of dimension $m \times k$ for the square matrix $A$, $r_i = r_i(X)$ is the sum of the elements of the $i$-th row of $X$ and $i,k=1,\ldots,m$.

As it is complicated to calculate permanents, estimating them is important. Some lower bounds are given below.

a) If $A$ is a $(0,1)$-matrix with $r_i(A) \ge t$, $i=1,\ldots,m$, then $$ \mathrm{per}(A) \ge \frac{t!}{(t-m)!} $$ for $t \ge m$, and $$ \mathrm{per}(A) \ge t! $$ if $t < m$ and $\mathrm{per}(A) > 0$.

b) If $A$ is a $(0,1)$-matrix of order $n$, then $$ \mathrm{per}(A) \ge \prod_{i=1}^n \{ r_i^* + i - n \} $$ where $r_1^* \ge \cdots \ge r_n^*$ are the sums of the elements in the rows of $A$ arranged in non-increasing order and $\{ r_i^* + i - n \} = \max(0, r_i^* + i - n )$.

c) If $A$ is a positive semi-definite Hermitian matrix of order $n$, then $$ \mathrm{per}(A) \ge \frac{n!}{s(A)^n} \prod_{i=1}^n |r_i|^2 $$ where $s(A) = \sum_{i,j} a_{ij}$ if $s(A) > 0$.

Upper bounds for permanents:

1) For a $(0,1)$>-matrix $A$ of order $n$, $$ \mathrm{per}(A) \le \prod_{i=1}^n (r_i!)^{1/r_1} \ . $$ 2) For a completely-indecomposable matrix $A$ of order $n$ with non-negative integer elements, $$ \mathrm{per}(A) \le 2^{s(A)-2n} + 1 \ . $$ 3) For a complex normal matrix $A$ with eigen values $\lambda_1,\ldots,\lambda_n$, $$ |\mathrm{per}(A)| \le \frac{1}{n}\sum_{i=1}^n |\lambda_i|^n \ . $$

The most familiar problem in the theory of permanents was van der Waerden's conjecture: The permanent of a doubly-stochastic matrix of order $n$ is bounded from below by $n!/n^n$, and this value is attained only for the matrix composed of fractions $1/n$. A positive solution to this problem was obtained in [4].

Among the applications of permanents one may mention relationships to certain combinatorial problems (cf. Combinatorial analysis), such as the "problème des rencontres" and the "problème d'attachement" (or "hook problem" ), and also to the Fibonacci numbers, the enumeration of Latin squares and Steiner triple systems (cf. Steiner system), and to the derivation of the number of $1$-factors and linear subgraphs of a graph, while doubly-stochastic matrices are related to certain probability models. There are interesting physical applications of permanents, of which the most important is the dimer problem, which arises in research on the adsorption of di-atomic molecules in surface layers: The permanent of a $(0,1)$-matrix of a simple structure expresses the number of ways of combining the atoms in the substance into di-atomic molecules. There are also applications of permanents in statistical physics, the theory of crystals and physical chemistry.

References

[1] H.J. Ryser, "Combinatorial mathematics" , Wiley & Math. Assoc. Amer. (1963) Zbl 0112.24806
[2] V.N. Sachkov, "Combinatorial methods in discrete mathematics" , Moscow (1977) (In Russian); translated by V. Kolchin: Encyclopedia of Mathematics and Its Applications 55. Cambridge University Press (1995) Zbl 0845.05003
[3] H. Minc, "Permanents" , Addison-Wesley (1978)
[4] G.P. Egorichev, "The solution of van der Waerden's problem on permanents" , Krasnoyarsk (1980) (In Russian); Adv. Math. 42 (1981) 299-305. Zbl 0478.15003.
[5] D.I. Falikman, "Proof of the van der Waerden conjecture regarding the permanent of a doubly stochastic matrix" Math. Notes , 29 : 6 (1981) pp. 475–479 Mat. Zametki , 29 : 6 (1981) pp. 931–938. Zbl 0475.15007

Comments

For the upper bound given in 1) see [a7]. For the enumeration of Steiner triple systems see [a6].

The solution of the van der Waerden conjecture was obtained simultaneously and independently of each other in 1979 by both O.I. Falikman, [5], and G.P. Egorichev, [4], [a4]. For some details cf. also [a2][a5].

References

[a1] D.E. Knuth, "A permanent inequality" Amer. Math. Monthly , 88 (1981) pp. 731–740
[a2] J.C. Lagarias, "The van der Waerden conjecture: two Soviet solutions" Notices Amer. Math. Soc. , 29 : 2 (1982) pp. 130–133
[a3] J.H. van Lint, "Notes on Egoritsjev's proof of the van der Waerden conjecture" Linear Algebra Appl. , 39 (1981) pp. 1–8
[a4] G.P. [G.P. Egorichev] Egorychev, "The solution of van der Waerden's problem for permanents" Adv. in Math. , 42 : 3 (1981) pp. 299–305
[a5] J.H. van Lint, "The van der Waerden conjecture: Two proofs in one year" Math. Intelligencer , 4 (1982) pp. 72–77
[a6] R.M. Wilson, "Non-isomorphic triple systems" Math. Zeitschr. , 135 (1974) pp. 303–313
[a7] A. Schrijver, "A short proof of Minc's conjecture" J. Comb. Theory (A) , 25 (1978) pp. 80–83
[a8] H. Minc, "Nonnegative matrices" , Wiley (1988)
How to Cite This Entry:
Permanent. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Permanent&oldid=35216
This article was adapted from an original article by V.E. Tarakanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article