Corpus ID: 237572028

# Ranks of linear matrix pencils separate simultaneous similarity orbits

@inproceedings{Derksen2021RanksOL,
title={Ranks of linear matrix pencils separate simultaneous similarity orbits},
author={Harm Derksen and Igor Klep and Visu Makam and Jurij Volvcivc},
year={2021}
}
Abstract. This paper solves the two-sided version and provides a counterexample to the general version of the 2003 conjecture by Hadwin and Larson. Consider evaluations of linear matrix pencils L = T0 + x1T1 + · · · + xmTm on matrix tuples as L(X1, . . . , Xm) = I ⊗ T0 + X1 ⊗ T1 + · · · + Xm ⊗ Tm. It is shown that ranks of linear matrix pencils constitute a collection of separating invariants for simultaneous similarity of matrix tuples. That is, m-tuples A and B of n × n matrices are… Expand

#### References

SHOWING 1-10 OF 59 REFERENCES
Simultaneous similarity of matrices
Abstract In this paper we solve completely and explicitly the long-standing problem of classifying pairs of n × n complex matrices (A, B) under the simultaneous similarity (TAT−1, TBT−1). RoughlyExpand
On closures of joint similarity orbits
• Mathematics
• 1985
For an n-tuple T=(T1,..., Tn) of operators on a Hilbert spacexxHx, the joint similarity orbit of T isxxSx(T)={VTV−1 =(VT1V−1,...,VTnV−1): V is invertible onxxHx}. We study the structure of the normExpand
A Deterministic Polynomial Time Algorithm for Non-commutative Rational Identity Testing
• Mathematics, Computer Science
• 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS)
• 2016
A deterministic polynomial time algorithm for testing if a symbolic matrix in non-commuting variables over Q is invertible or not, which efficiently solves several problems in different areas which had only exponential-time algorithms prior to this work. Expand
Free loci of matrix pencils and domains of noncommutative rational functions
• Mathematics
• 2015
Consider a monic linear pencil $L(x) = I - A_1x_1 - \cdots - A_gx_g$ whose coefficients $A_j$ are $d \times d$ matrices. It is naturally evaluated at $g$-tuples of matrices $X$ using the KroneckerExpand
On Degenerations and Extensions of Finite Dimensional Modules
Abstract We derive a cancellation theorem for degenerations of modules that says in particular, that projective or injective common direct summands can always be neglected. Combining the cancellationExpand
Vector spaces of matrices of low rank
• Mathematics
• 1988
In this paper we study vector spaces of matrices, all of whose elements have rank at most a given number. The problem of classifying such spaces is roughly equivalent to the problem of classifyingExpand
Polynomial time solutions of some problems of computational algebra
• Mathematics, Computer Science
• STOC '85
• 1985
The radical is determined in polynomial time, using (in the case of prime characteristic) some new algebraic results developed in this paper, which generalizes factorization of polynomials over the given field. Expand
Geometric Complexity Theory V: Efficient algorithms for Noether Normalization
We study a basic algorithmic problem in algebraic geometry, which we call NNL, of constructing a normalizing map as per Noether's Normalization Lemma. For general explicit varieties, as formallyExpand
Some linear preserver problems on B(H) concerning rank and corank
As a continuation of the work on linear maps between operator algebras which preserve certain subsets of operators with finite rank, or corank, here we consider the problem inbetween, that is, weExpand
Linear matrix inequality representation of sets
• Mathematics
• 2003
This article concerns the question, Which subsets of ℝm can be represented with linear matrix inequalities (LMIs)? This gives some perspective on the scope and limitations of one of the most powerfulExpand