35 research outputs found

    Barrett-Johnson inequalities for totally nonnegative matrices

    Full text link
    Given a matrix AA, let AI,JA_{I,J} denote the submatrix of AA determined by rows II and columns JJ. Fischer's Inequalities state that for each n×nn \times n Hermitian positive semidefinite matrix AA, and each subset II of {1,,n}\{1,\dotsc,n\} and its complement IcI^c, we have det(A)det(AI,I)det(AIc,Ic)\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,,λr)(\lambda_1,\dotsc,\lambda_r), (μ1,,μs)(\mu_1,\dotsc,\mu_s) summing to nn. Specifically, if λ1++λiμ1++μi\lambda_1+\cdots+\lambda_i\leq \mu_1+\cdots+\mu_i for all ii, then λ1!λr!(I1,,Ir)det(AI1,I1)det(AIr,Ir)  μ1!μs!(J1,,Js)det(AJ1,J1)det(AJs,Js), \lambda_1!\cdots\lambda_r! \sum_{(I_1,\dotsc,I_r)} \det(A_{I_1,I_1}) \cdots \det(A_{I_r,I_r}) ~\geq~ \mu_1!\cdots\mu_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,,n}\{1,\dotsc,n\} satisfying Ik=λk|I_k| = \lambda_k, Jk=μk|J_k| = \mu_k. We show that these inequalities hold for totally nonnegative matrices as well

    Monomial Nonnegativity and the Bruhat Order

    Get PDF
    We show that five nonnegativity properties of polynomials coincide when restricted to polynomials of the form x1, pi(1) ... xn,pi(n) - x1, sigma(1) ... xn, sigma(n), where $\pi and sigma are permutations in Sn. In particular, we show that each of these properties may be used to characterize the Bruhat order on Sn
    corecore