Abstract: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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the two - sided version of the Curto - Herrero conjecture when one matrix in a matrix pair has a simple spectrum. Specifically, the paper proves that for matrix pairs in the matrix space \(D_n\), if the first matrix has a simple spectrum, then these matrix pairs can be distinguished by the ranks of non - commutative polynomials. In addition, the paper also provides some upper bounds on the degrees of non - commutative polynomials to be considered.
### Specific Problem Description
1. **Curto - Herrero Conjecture**:
- The original Curto - Herrero conjecture states that for \(m\)-tuples of matrices \(A, B\in M_n^m\), the \(GL_n\) - orbits of \(A\) and \(B\) are the same if and only if for every non - commutative polynomial \(f\), \(\text{rank}(f(A))=\text{rank}(f(B))\).
- However, Hadwin and Larson gave a counterexample in 2003, showing that this conjecture does not hold in general.
2. **Two - Sided Curto - Herrero Conjecture**:
- The paper focuses on the two - sided Curto - Herrero conjecture, that is, for \(A, B\in M_n^m\), the \(GL_n\) - orbits of \(A\) and \(B\) are the same if and only if for every non - commutative polynomial \(f\), \(\text{rank}(f(A)) = \text{rank}(f(B))\).
3. **The Space \(D_n\) of Matrix Pairs**:
- \(D_n\) is a subset of \(M_2^n\), where each matrix pair \((A_1, A_2)\) satisfies that the spectrum of \(A_1\) is simple, that is, \(A_1\) has \(n\) distinct eigenvalues.
- The goal of the paper is to prove that the two - sided Curto - Herrero conjecture holds in \(D_n\) and to provide an upper bound on the degrees of non - commutative polynomials to be considered.
### Main Results
1. **Theorem 4.4**:
- It is proved that in \(D_n\), the two - sided Curto - Herrero conjecture holds, that is, the \(GL_n\) - orbits can be distinguished by the ranks of non - commutative polynomials.
- An upper bound is provided, that is, the degree of the non - commutative polynomial to be considered does not exceed \((n + 1)(2n-1)\).
2. **Corollary 4.5**:
- Through the abstract invariant \(\text{rank}_t(F)\) with width 1 (where \(0\leq t\leq n\) and the degree of \(F\in\text{alg}_F\{X\}_2\) does not exceed \((n + 1)(2n - 1)\)), the \(GL_n\) - orbits on \(D_n\) can be separated.
### Methods and Techniques
- **Belitskii Algorithm**: Used to reduce matrix pairs to a unique canonical form.
- **Polynomial Invariants**: Use polynomial invariants and abstract invariants to distinguish orbits.
- **Combinatorial Methods**: Through combinatorial matrices and graph - theoretic methods, construct specific polynomials and sequences to prove the main results.
### Conclusion
The paper successfully solves the problem of the two - sided Curto - Herrero conjecture in the \(D_n\) space and provides a specific upper bound, which is of great significance for understanding and dealing with the classification problem of matrix pairs.