A determinantal inequality and its permanental counterpart (Q4366164)

Let \(A,B\) \(n\times \ell\) and \(C,D\) \(n\times m\) complex matrices. Then (1): \(|\det(CA^*+DB^*)|^2\leq \det(AA^*+BB^*) \det(CC^*+DD^*)\). The proof exploits equivalence of (1) with the positivity of the determinant of a certain \(2\times 2\) principal submatrix of the \(n-\)th compound of a certain \(2n\times 2n\) positive definite matrix \(M=M(A,B,C,D)\). A somewhat analogous argument using induced matrices permits to show (1) after replacing the determinant everywhere by the permanent. Cases of equality are elaborated using multilinear algebra. Finally, using earlier work, \textit{D. London} [Linear Multilinear Algebra 1, 231-240 (1973; Zbl 0289.15005)] an inequality using elementary symmetric functions, the line sum vectors, and the sum of the permanents of \(k\times k\) submatrices of an \(n\times n\) matrix \(A\) as ingredients is proven.