arXiv++ Combinatorics

Given a matrix $A$, let $A_{I,J}$ denote the submatrix of $A$ determined by rows $I$ and columns $J$. Fischer's Inequalities state that for each $n \times n$ Hermitian positive semidefinite matrix $A$, and each subset $I$ of $\{1,\dotsc,n\}$ and its complement $I^c$, we have $\det(A) \leq \det(A_{I,I})\det(A_{I^c,I^c})$. Barrett and Johnson (Linear Multilinear Algebra 34, 1993) extended these to state inequalities for sums of products of principal minors whose orders are given by nonincreasing integer sequences $(λ_1,\dotsc,λ_r)$, $(μ_1,\dotsc,μ_s)$ summing to $n$. Specifically, if $λ_1+\cdots+λ_i\leq μ_1+\cdots+μ_i$ for all $i$, then $$ λ_1!\cdotsλ_r! \sum_{(I_1,\dotsc,I_r)} \det(A_{I_1,I_1}) \cdots \det(A_{I_r,I_r}) ~\geq~ μ_1!\cdotsμ_s! \sum_{(J_1,\dotsc,J_s)} \det(A_{J_1,J_1}) \cdots \det(A_{J_s,J_s}), $$ where sums are over sequences of disjoint subsets of $\{1,\dotsc,n\}$ satisfying $|I_k| = λ_k$, $|J_k| = μ_k$. We show that these inequalities hold for totally nonnegative matrices as well.