A face of the polytope of doubly stochastic matrices (Q6586415)

The permanent of a square matrix \(A=(a_{ij})_{i,j=1}^n\) is defined by\N\[\N\mathrm{per} \, A= \sum_{\sigma \in S_n} a_{1\sigma(1)} a_{2\sigma(2)} \cdots a_{n\sigma(n)},\N\]\Nwhere \(\sigma\) runs over the symmetric group of order \(n\). Alternatively, it is like a determinant but signless. This paper studies the minimality of permanents in certain compact sets formed by doubly stochastic matrices.\N\NLet \(l, m, n\) be positive integers. Consider the compact set \(\Omega(l,m,n)\) consisting all doubly stochastic matrices of size \(l+m+n\), whose nonzero entries coincides with that of\N\[\N\begin{pmatrix} O & O & J \\\NO & I & J \\\NJ & J & J \end{pmatrix},\N\]\Nwhich is divided into blocks of sizes \(l\), \(m\) and \(n\). Here \(I\) is the identity matrix, and \(O\) and \(J\) is a matrix all of whose entries are \(0\) and \(1\), respectively. The authors study matrices that realize the minimum of the permanents in the set \(\Omega(l,m,n)\) under specific conditions.