the talk addresses the conjecture of hadwin and larson on joint similarity of matrix tuples, which arose in multivariate operator theory.

the main result states that the ranks of linear matrix pencils constitute a collection of separating invariants for joint similarity of matrix tuples, which affirmatively answers the two-sided version of the said conjecture. that is, m-tuples x and y of n×n matrices are simultaneously similar if and only if rk l(x) = rk l(y) for all linear matrix pencils l of size mn. similar results hold for certain other group actions on matrix tuples. on the other hand, a pair of matrix tuples x and y is given such that rk l(x) <= rk l(y) for all l, but x does not lie in the closure of the joint similarity orbit of y; this constitutes a counter-example to the general hadwin-larson conjecture.

the talk is based on joint work with harm derksen, igor klep and visu makam.