Matching
Let B=diag(b1,…,bk) with bi<1 for all i, let H=diag(h1,…,hn), and let Γ∈Rn×k and…
Fortuna's conjecture. The solution X is entrywise nonnegative.
Factorization conjecture. The determinant of A(Σ)⋅,E factorizes as
Lyapunov representation conjecture. There exists a symmetric matrix P=P⊤ satisfying