Abstract:We say that a semigroup of matrices has a submultiplicative spectrum if the spectrum of the product of any two elements of the semigroup is contained in the product of the two spectra in question (as sets). In this note we explore an approximate version of this condition.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the properties of the spectra of matrix semigroups under approximate sub - multiplicativity conditions, especially for unitary matrix groups. Specifically, the article studies how the structures and properties of these semigroups or groups change when the spectra of matrix semigroups do not fully satisfy the strict sub - multiplicativity condition.
### Problem Background
1. **Strict Submultiplicative Spectrum**
- For a complex \(n\times n\) matrix semigroup \(S\), if for any \(A, B\in S\), each eigenvalue of \(AB\) is equal to the product of some eigenvalues of \(A\) and \(B\), then \(S\) is said to have a sub - multiplicative spectrum.
- This property was introduced by Lambrou, Longstaff and Radjavi in 1992 and has been extensively studied. It has led to many good structural results regarding matrix groups and semigroups.
2. **Approximate Submultiplicative Spectrum**
- The paper proposes an approximate version of the sub - multiplicativity condition, that is, for any \(A, B\in S\) and each eigenvalue \(\gamma\) of \(AB\), there exist an eigenvalue \(\alpha\) of \(A\) and an eigenvalue \(\beta\) of \(B\) such that \(\vert\gamma-\alpha\beta\vert\leq\varepsilon\rho(A)\rho(B)\), where \(\varepsilon\) is a small positive number.
- In particular, for the unitary matrix group \(G\), this condition can be simplified to \(\vert\gamma - \alpha\beta\vert\leq\varepsilon\).
### Main Contributions
- **Defining Approximate Submultiplicativity**: The author defines \(\varepsilon\)-submultiplicativity and \(\varepsilon\)-argument submultiplicativity (ASM) and explores their properties.
- **Structural Results**: It is proved that for the unitary matrix group with \(\varepsilon = \frac{1}{2n^{2}}\), its modulo - center is finite (that is, it is essentially finite).
- **Counterexample Construction**: By constructing specific examples, it is shown that there exist \(\frac{2}{n^{2}}\)-ASM unitary matrix groups that are not modulo - center finite, thus illustrating the optimality of \(\varepsilon\).
### Conclusion
The main purpose of this paper is to explore the structures and properties of matrix semigroups under approximate sub - multiplicativity conditions, especially for unitary matrix groups. By introducing and studying \(\varepsilon\)-submultiplicativity and \(\varepsilon\)-argument submultiplicativity, the author reveals new characteristics of matrix groups under these conditions and provides specific examples to verify the theoretical results.
In summary, this paper solves the problem of how to study the spectral properties of matrix semigroups and groups under approximate conditions and provides new perspectives and tools for further research.