arXiv++ Combinatorics

Given an $n \times n$ matrix $A = (a_{i,j})$ and sets $I$, $J$ of $[1,n] := \{1,\dotsc,n\}$, let $A_{I,J} = (a_{i,j})_{i\in I, j \in J}$ denote the $(I, J)$-submatrix of $A$. We consider a class of $0$-$1$ totally nonnegative (TNN) matrices arising as antiadjacency matrices of unit interval orders, and show that for each matrix $A$ in this class, the inequalities \begin{equation} \operatorname{perm}(A_{[1,h],[1,h]}) \operatorname{perm}(A_{[h+1,n],[h+1,n]}) \;\geq\; \operatorname{perm}(A_{[1,n] \cap 2\mathbb Z, [1,n] \cap 2\mathbb Z}) \operatorname{perm}(A_{[1,n] \smallsetminus 2\mathbb Z, [1,n] \smallsetminus 2\mathbb Z}) \label{eq:absmain} \end{equation} hold for $h = 1,\dotsc, n-1$. Let $\mathfrak A_n$ be the Young subgroup $\mathfrak{S}_{1, \dotsc, \lfloor\frac{n}{2}\rfloor}\times \mathfrak{S}_{\lfloor\frac{n}{2}\rfloor +1, \dotsc, n}$, and $\mathfrak B_n$ be the parity-alternating permutations $\{w = w_1\cdots w_n \in \mathfrak{S}_n \ | \ \text{$i$ and $w_i$ have the same parity} \}$. We find a bijective map $f_n: \mathfrak A_n \rightarrow \mathfrak B_n$ such that $w \leq f_n(w)$ under the Bruhat order for all $n\geq 4$. The existence of such a bijective map $f_n$ ensures that inequalities are satisfied for all TNN matrices $A$ when $h=\lfloor\frac{n}{2}\rfloor$. We also conjecture the inequalities to hold for all totally nonnegative matrices and all $h = 1, \dotsc ,n-1$

Given a square matrix, the permanent is a determinant-like function without signs. In this paper, we study inequalities involving permanents of certain submatrices. We first focus on a family of zero-one totally nonnegative matrices that arise as anti-adjacency matrices of unit interval orders. For these matrices, we prove a collection of inequalities comparing products of permanents of consecutive principal submatrices with products of permanents of parity-selected principal submatrices. We also study a related combinatorial problem involving two families of permutations: a Young subgroup and a set of parity alternating permutations. We construct a bijective map from the first family to the second family, and verify computationally for n at most 13 that each permutation is below its image in Bruhat order. We conjecture that this property holds for all n. If true, this would imply one of the main permanent inequalities for all totally nonnegative matrices in the balanced case. More broadly, we conjecture that the full family of inequalities holds for all totally nonnegative matrices.