Characterization of inverse M-matrix interval systems

About 9 years old · traced to

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.

References

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.