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)$.

Optimizing positive maps in the matrix algebra $M_n$

Optimality of generalized Choi maps in M 3

Optimality of generalized Choi maps in $M_3$

A Class of Completely Positive Maps

Cross-positive linear maps, positive polynomials and sums of squares

Characterization of $k$-positive maps

There are many more positive maps than completely positive maps

Relativistic equilibrium velocity distribution, nuclear fusion reaction rate and the solar neutrino problem

Practical construction of positive maps which are not completely positive

Kantorovich'S Theorems for Newton'S Method for Mappings and Optimization Problems on Lie Groups

Conic geometric optimisation on the manifold of positive definite matrices

Optimal map-making with singularities

Linear maps on matrices preserving parallel pairs

Generalizing Choi map in M3 beyond circulant scenario

Positive maps from the walled Brauer algebra

On optimal transport of matrix-valued measures

Two nondeterministic positive definiteness tests for unidiagonal integral matrices

A Canonical Form for Positive Definite Matrices

Exposedness of elementary positive maps between matrix algebras

A completely positive map associated with a positive map