Date Awarded


Document Type


Degree Name

Doctor of Philosophy (Ph.D.)


Applied Science


Charles R Johnson


A matrix is called TP2 if all 1-by-1 and 2-by-2 minors are positive. A partial matrix is one with some of its entries specified, while the remaining, unspecified, entries are free to be chosen. A TP2-completion, of a partial matrix T , is a choice of values for the unspecified entries of T so that the resulting matrix is TP2. The TP2-completion problem asks which partial matrices have a TP2-completion. A complete solution is given here. It is shown that the Bruhat partial order on permutations is the inverse of a certain natural partial order induced by TP2 matrices and that a positive matrix is TP2 if and only if it satisfies certain inequalities induced by the Bruhat order. The Bruhat order on permutations is generalized to a partial order, GBr, on nonnegative matrices, and the concept of majorization is generalized to a partial order, DM, on nonnegative matrices. It is shown that these two partial orders are inverses of each other on the set of nonnegative matrices. Using this relationship and the Hadamard exponential transform on nonnegative matrices, explicit conditions for TP2-completability of a given partial matrix are given. It is shown that an m-by- n partial TP2 matrix T is TP2-completable if and only if tijspecified taijij ≥ 1 for every matrix A = (aij) ∈ Mm,n having (1) aij = 0 if tij is unspecified; (2) each row sum and each column sum of A is zero; and (3) 1≤i≤p1≤j≤ qaij ≥ 0, for all (p, q) ∈ {lcub}1, 2, ..., m{rcub} x {lcub}1, 2, ..., n{rcub}. However, there may be infinitely many such conditions, and some of them may be obtainable from others. In order to find a set of minimal conditions, the theory of cones and generators, and the logarithmic method are used. It is shown that the set of matrices used in the exponents of the inequalities forms a finitely generated cone with integral generators. This gives finitely many polynomial inequalities on the specified entries of a partial matrix of given pattern as conditions for TP2-completability. A computational scheme for explicitly finding the generators is given and the combinatorial structure of TP2-completable pattern is investigated.



© The Author

Included in

Mathematics Commons