Barrett-Johnson inequalities for totally nonnegative matrices

arXiv2209.06466MaRDI QIDQ6410705FDOQ6410705

Authors: Mark Skandera, Daniel S. Soskin

Publication date: 14 September 2022

Abstract: 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 i m e s n

Hermitian positive semidefinite matrix

A

, and each subset

I

of

1, d o t s c, n

and its complement

I^{c}

, we have

d e t (A) l e q d e t (A_{I, I}) d e t (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

(l a m b d a_{1}, d o t s c, l a m b d a_{r})

,

(m u_{1}, d o t s c, m u_{s})

summing to

n

. Specifically, if

l a m b d a_{1} + c d o t s + l a m b d a_{i} l e q m u_{1} + c d o t s + m u_{i}

for all

i

, then

lambda_1!cdotslambda_r! sum_{(I_1,dotsc,I_r)} det(A_{I_1,I_1}) cdots det(A_{I_r,I_r}) ~geq~ mu_1!cdotsmu_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, d o t s c, n

satisfying

| I_{k} | = l a m b d a_{k}

,

| J_{k} | = m u_{k}

. We show that these inequalities hold for totally nonnegative matrices as well.

This page was built for publication: Barrett-Johnson inequalities for totally nonnegative matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6410705)