Algorithms for orbit closure separation for invariants and semi-invariants of matrices
We consider two group actions on m-tuples of n × n matrices. The first is simultaneous conjugation by GL_n and the second is the left-right action of SL_n ×SL_n. We give efficient algorithms to decide if the orbit closures of two points intersect. We also improve the known bounds for the degree of separating invariants in these cases.
READ FULL TEXT