105 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

    Enumerating (2+2)-free posets by the number of minimal elements and other statistics

    Get PDF
    An unlabeled poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Let pnp_n denote the number of (2+2)-free posets of size nn. In a recent paper, Bousquet-M\'elou et al.\cite{BCDK} found, using so called ascent sequences, the generating function for the number of (2+2)-free posets of size nn: P(t)=βˆ‘nβ‰₯0pntn=βˆ‘nβ‰₯0∏i=1n(1βˆ’(1βˆ’t)i)P(t)=\sum_{n \geq 0} p_n t^n = \sum_{n\geq 0} \prod_{i=1}^{n} (1-(1-t)^i). We extend this result in two ways. First, we find the generating function for (2+2)-free posets when four statistics are taken into account, one of which is the number of minimal elements in a poset. Second, we show that if pn,kp_{n,k} equals the number of (2+2)-free posets of size nn with kk minimal elements, then P(t,z)=βˆ‘n,kβ‰₯0pn,ktnzk=1+βˆ‘nβ‰₯0zt(1βˆ’zt)n+1∏i=1n(1βˆ’(1βˆ’t)i)P(t,z)=\sum_{n,k \geq 0} p_{n,k} t^n z^k = 1+ \sum_{n \geq 0} \frac{zt}{(1-zt)^{n+1}} \prod_{i=1}^n (1-(1-t)^i). The second result cannot be derived from the first one by a substitution. On the other hand, P(t)P(t) can easily be obtained from P(t,z)P(t,z) thus providing an alternative proof for the enumeration result in \cite{BCDK}. Moreover, we conjecture a simpler form of writing P(t,z)P(t,z). Our enumeration results are extended to certain restricted permutations and to regular linearized chord diagrams through bijections in \cite{BCDK,cdk}. Finally, we define a subset of ascent sequences counted by the Catalan numbers and we discuss its relations with (2+2)- and (3+1)-free posets
    • …
    corecore