Abstract:For standard algorithms verifying positive definiteness of a matrix $A\in\mathbb{M}_n(\mathbb{R})$ based on Sylvester's criterion, the computationally pessimistic case is this when $A$ is positive definite. We present two algorithms realizing the same task for $A\in\mathbb{M}_n(\mathbb{Z})$, for which the case when $A$ is positive definite is the optimistic one. The algorithms have pessimistic computational complexities $\mathcal{O}(n^3)$ and $\mathcal{O}(n^4)$ and they rely on performing certain edge transformations, called inflations, on the edge-bipartite graph (=bigraph) $\Delta=\Delta(A)$ associated with $A$. We provide few variants of the algorithms, including Las Vegas type randomized ones with precisely described maximal number of steps. The algorithms work very well in practice, in many cases with a better speed than the standard tests. Moreover, the algorithms yield some additional information on the properties on the quadratic form $q_A:\mathbb{Z}^n\to\mathbb{Z}$ associated with a matrix $A$. On the other hand, our results provide an interesting example of an application of symbolic computing methods originally developed for different purposes, with a big potential for further generalizations in matrix problems. This is an extended version of the article [A. Mróz, Effective nondeterministic positive definiteness test for unidiagonal integral matrices, Proceedings SYNASC 2016, IEEE Computer Society CPS (2016), 65-71] in which we discussed the algorithm of the complexity $\mathcal{O}(n^4)$.

Efficient recognition of totally nonnegative matrix cells

The Planar Network Representation Of Factorizations Of Strictly Totally Positive Matrices

Total negativity: Characterizations and single-vector tests

Invariance of total nonnegativity of a matrix under entry-wise perturbation and subdirect sum of totally nonnegative matrices

Fast Projected Newton-like Method for Precision Matrix Estimation under Total Positivity

Monotonically Positive Matrices

On computing minimal realizable spectral radii of non-negative matrices

Nonnegative Tensors Revisited: Plane Stochastic Tensors

Permanental inequalities for totally positive matrices

Subdirect Sums of P(P0)-matrices and Totally Nonnegative Matrices

Sufficient conditions for total positivity, compounds, and Dodgson condensation

Two nondeterministic positive definiteness tests for unidiagonal integral matrices

Algorithms for Non-Negative Matrix Factorization on Noisy Data With Negative Values

Perron-Frobenius Theorem for Nonnegative Tensors

The Cone of Completely Positive Matrices

A Note on Estimates for the Spectral Radius of A Nonnegative Matrix

Non-negative Matrix-Set Factorization

On the geometric interpretation of the nonnegative rank

Factorisation of cross-symmetric, totally nonnegative matrices and an amazing matrix

An Alternating Direction Algorithm for Matrix Completion with Nonnegative Factors

Nonnegative Low Rank Matrix Approximation for Nonnegative Matrices