Pairs of matrices with simple spectrum

We established two-sided Curto-Herrero conjecture for pairs of matrices, where the first matrix has a simple spectrum. Namely, it is shown that these pairs are separated by ranks of non-commutative polynomials in matrices. Moreover, we provided some upper bound on degrees of non-commutative polynomials which should be considered.