Abstract:We compute spectra and Brown measures of some non self-adjoint operators in $(M_2(\cc), {1/2}Tr)*(M_2(\cc), {1/2}Tr)$, the reduced free product von Neumann algebra of $M_2(\cc)$ with $M_2(\cc)$. Examples include $AB$ and $A+B$, where A and B are matrices in $(M_2(\cc), {1/2}Tr)*1$ and $1*(M_2(\cc), {1/2}Tr)$, respectively. We prove that AB is an R-diagonal operator (in the sense of Nica and Speicher \cite{N-S1}) if and only if Tr(A)=Tr(B)=0. We show that if X=AB or X=A+B and A,B are not scalar matrices, then the Brown measure of X is not concentrated on a single point. By a theorem of Haagerup and Schultz \cite{H-S1}, we obtain that if X=AB or X=A+B and $X\neq \lambda 1$, then X has a nontrivial hyperinvariant subspace affiliated with $(M_2(\cc), {1/2}Tr)*(M_2(\cc), {1/2}Tr)$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to calculate the spectra and Brown measures of some non - self - adjoint operators in the free - product matrix algebra \((M_2(\mathbb{C}),\frac{1}{2}\text{Tr})*(M_2(\mathbb{C}),\frac{1}{2}\text{Tr})\). Specifically, the author focuses on operators of the form \(AB\) and \(A + B\), where \(A\) and \(B\) belong to \((M_2(\mathbb{C}),\frac{1}{2}\text{Tr})*1\) and \(1*(M_2(\mathbb{C}),\frac{1}{2}\text{Tr})\) respectively.
### Decomposition of the main problem:
1. **Calculation of spectra and Brown measures**:
- The author aims to calculate the spectra and Brown measures of specific non - self - adjoint operators (such as \(AB\) and \(A + B\)).
- In particular, they prove that \(AB\) is an R - diagonal operator if and only if \(\text{Tr}(A)=\text{Tr}(B) = 0\).
2. **Properties of R - diagonal operators**:
- The author explores the conditions for \(AB\) to become an R - diagonal operator and further calculates its spectra and Brown measures.
3. **Distribution of Brown measures**:
- The paper shows that if \(X = AB\) or \(X = A + B\) and \(A, B\) are not scalar matrices, then the Brown measure of \(X\) does not concentrate on a single point.
- By the theorem of Haagerup and Schultz, it is proved that if \(X = AB\) or \(X = A + B\) and \(X\neq\lambda1\), then \(X\) has a non - trivial hyper - invariant subspace in \((M_2(\mathbb{C}),\frac{1}{2}\text{Tr})*(M_2(\mathbb{C}),\frac{1}{2}\text{Tr})\).
### Summary of formulas:
- **Spectral radius formula**: For two normal matrices \(A\) and \(B\),
\[
r(AB)=\|A\|\cdot\|B\|
\]
- **Spectral formula**: For \(A, B\) satisfying \(\text{Tr}(A)=\text{Tr}(B) = 0\),
\[
\sigma(AB)=[\|A^{-1}\|^{-1}\|B^{-1}\|^{-1},\|A\|\|B\|]\times_p[0,2\pi]
\]
- **Rotation invariance of Brown measures**: If \(AB\) is an R - diagonal operator, then its Brown measure is rotation - invariant.
### Conclusion:
This paper solves the problem of calculating the spectra and Brown measures of non - self - adjoint operators in the free - product matrix algebra through detailed mathematical derivations and proofs, and reveals some important properties of these operators, especially in terms of R - diagonal operators and hyper - invariant subspaces.