Stone’s conjecture on fully semimonotone Q₀-matrices

For every integer n≥1n\ge 1 and every matrix A∈E0f∩Q0A\in E_0^f\cap Q_0 of order nn, all principal minors of AA are nonnegative; equivalently, A∈P0A\in P_0, that is, det⁡A[I,I]≥0\det A[I,I]\ge 0 for every index set I⊆{1,…,n}I\subseteq\{1,\ldots,n\}.

References

Progress summary

Refreshed
Claimed progress

A new preprint proves a broad special case and gives a counterexample to a tempting stronger route, but Stone’s original conjecture remains open.

Stone conjectured that every fully semimonotone Q0Q_0-matrix has nonnegative principal minors, equivalently belongs to P0P_0. The conjecture was introduced by Stone and was still open in the 2013 literature.

Known results

  • Murthy and Parthasarathy proved the result for fully copositive Q0Q_0-matrices.
  • A 2013 paper established it when the complementary cones have no partial incidence.
  • Cao and Ferris proved the corresponding equality for matrices of order two.
  • Later work treated subclasses of semimonotone-star matrices, but did not settle the full conjecture.

August 2026 determinant-positive case

A new preprint claims, for arbitrary order, that E0f∩{A:det⁡A>0}⊆P0E_0^f\cap\{A:\det A>0\}\subseteq P_0. It also constructs a fully semimonotone matrix with positive determinant outside Q0Q_0, showing that positive determinant alone cannot prove Stone’s conjecture. These claims are unverified and leave the original Q0Q_0 case open.

Current status (as of August 2026): Stone’s conjecture remains open; a preprint claims substantial determinant-positive progress and a limiting counterexample, but neither has been independently verified.

Sources

Solutions 0

No solutions have been posted yet.