
We investigate the symmetric inverse M-matrix problem from a geometric perspective. The central question in this geometric context is, which conditions on the k-dimensional facets of an n-simplex S guarantee that S has no obtuse dihedral angles. First we study the properties of an n-simplex S whose k-facets are all nonobtuse, and generalize some classical results by Fiedler. We prove that if all (n-1)-facets of an n-simplex S are nonobtuse, each makes at most one obtuse dihedral angle with another facet. This helps to identify a special type of tetrahedron, which we will call sub-orthocentric, with the property that if all tetrahedral facets of S are sub-orthocentric, then S is nonobtuse. Rephrased in the language of linear algebra, this constitutes a purely geometric proof of the fact that each symmetric ultrametric matrix is the inverse of a weakly diagonally dominant M-matrix. Review papers support our belief that the linear algebraic perspective on the inverse M-matrix problem dominates the literature. The geometric perspective however connects sign properties of entries of inverses of a symmetric positive definite matrix to the dihedral angle properties of an underlying simplex, and enables an explicit visualization of how these angles and signs can be manipulated. This will serve to formulate purely geometric conditions on the k-facets of an n-simplex S that may render S nonobtuse also for k>3. For this, we generalize the class of sub-orthocentric tetrahedra that gives rise to the class of ultrametric matrices, to sub-orthocentric simplices that define symmetric positive definite matrices A with special types of k x k principal submatrices for k>3. Each sub-orthocentric simplices is nonobtuse, and we conjecture that any simplex with sub-orthocentric facets only, is sub-orthocentric itself.
42 pages, 20 figures
completely positive matrix, inverse M-matrix, Mathematics - Rings and Algebras, nonobtuse simplex, Matrices of integers, sub-orthocentric set, Factorization of matrices, sub-orthocentric simplex, 510, \(n\)-dimensional polytopes, Positive matrices and their generalizations; cones of matrices, 15B48, 52B11 (primary), 15A23, 15B36, 51F20 (secondary), Rings and Algebras (math.RA), ultrametric matrix, doubly nonnegative matrix, vertex Gramian, FOS: Mathematics, Congruence and orthogonality in metric geometry, dual hull
completely positive matrix, inverse M-matrix, Mathematics - Rings and Algebras, nonobtuse simplex, Matrices of integers, sub-orthocentric set, Factorization of matrices, sub-orthocentric simplex, 510, \(n\)-dimensional polytopes, Positive matrices and their generalizations; cones of matrices, 15B48, 52B11 (primary), 15A23, 15B36, 51F20 (secondary), Rings and Algebras (math.RA), ultrametric matrix, doubly nonnegative matrix, vertex Gramian, FOS: Mathematics, Congruence and orthogonality in metric geometry, dual hull
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
