Characterization of inverse M-matrix interval systems

Let A=[A,A]IRn×n\mathbf A=[\underline{A},\overline{A}]\in\mathbb{IR}^{n\times n} be an interval matrix, with midpoint Mid(A)\operatorname{Mid}(A) and radius Rad(A)\operatorname{Rad}(A), and let zi=(1,,1,1,1,,1)Tz^i=(1,\dots,1,-1,1,\dots,1)^T have 1-1 in the iith entry and 11 elsewhere. An interval matrix is an inverse M-matrix when it is nonsingular and its inverse is an M-matrix.

Inverse M-matrix characterization. A\mathbf A is an inverse M-matrix if and only if

Mid(A)±diag(zi)Rad(A)diag(zj)\operatorname{Mid}(A)\pm\operatorname{diag}(z^i)\operatorname{Rad}(A)\operatorname{diag}(z^j)

for i,j=1,,ni,j=1,\dots,n, are inverse M-matrices.

This would provide a characterization involving only 2n22n^2 ordinary matrices, potentially yielding an efficient test for whether an interval matrix is an inverse M-matrix. The computational complexity of this recognition problem is stated in the surrounding discussion to be open; no polynomial reduction or NP-hardness result is known there.

Sources & referencesView supporting material

Primary source

Milan Hladík, “An Overview of Polynomially Computable Characteristics of Special Interval Matrices”, arXiv:1711.08732 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.