Section 5.4

The Permanent

[4/25%]
Show
LaTeX
Problem 5.4.1

Find the permanent of the matrix

?
(1)

(abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix};

(2)

4×44 \times 4 in which k=0,1,2,3,4k = 0,1,2,3,4 diagonal entries are zeros and all the other (including the off-diagonal) entries are ones;

(3)

n×nn \times n with zeros on the diagonal and ones off the diagonal.

Remark.
?

The permanent of a square matrix A=(aij)A = (a_{ij}) of size n×nn \times n is defined by the formula

Per⁡(A):=∑σ∈Σn∏i=1nai,σ(i), \operatorname {Per}(A) := \sum _{\sigma \in \Sigma _{n}} \prod _{i=1}^{n} a_{i,\sigma (i)},

where Σn\Sigma_{n} is the set of all permutations of an nn-element set.

Problem 5.4.2

Find the permanent of the m×nm \times n matrix consisting entirely of ones.

?
Remark.
?

A submatrix of a given matrix is a matrix obtained from it by deleting some number of rows and columns. The permanent of a rectangular matrix AA is defined as the sum of the permanents of all its square submatrices of maximal size. Or, as a formula, for m<nm < n

Per⁡(A):=∑σ∏i=1mai,σ(i), \operatorname {Per}(A) := \sum _{\sigma } \prod _{i=1}^{m} a_{i,\sigma (i)},

where the sum is taken over all mm-element arrangements without repetition of the numbers from 1 to nn. For m>nm > n we set Per⁡(A):=Per⁡(AT)\operatorname {Per}(A) := \operatorname {Per}(A^{T}).

Problem 5.4.3
?
(1)

The permanent does not change under a permutation of the rows.

(2)

Row expansion formula. If m⩽nm \leqslant n, then for every ii

Per⁡(A)=∑j=1naijPer⁡(Aij), \operatorname {Per}(A) = \sum _{j=1}^{n} a_{ij}\operatorname {Per}(A_{ij}),

where AijA_{ij} is the matrix obtained from the original one by deleting the ii-th row and the jj-th column.

Problem 5.4.4
?
(1)

The permanent of an n×nn \times n matrix of zeros and ones equals zero if and only if it has a zero s×ts \times t submatrix with s+t=n+1s+t = n+1.

(2)

For any m⩽nm \leqslant n, the permanent of a rectangular m×nm \times n matrix of zeros and ones equals the number of SDRs (Sec. 5.3) of the system of mm subsets of the set {1,…,n}\left\{ 1,\ldots ,n\right\} determined by the rows of this matrix.