Abstract:We give a precise and complete description on the spectrum for a class of non-self-adjoint quasi-periodic operators acting on $\ell^2(\mathbb{Z}^d)$ which contains the Sarnak's model as a special case. As a consequence, one can see various interesting spectral phenomena including $\mathscr{P}\mathscr{T}$ symmetric breaking, the non-simply-connected two-dimensional spectrum in this class of operators. Particularly, we provide new examples of non-self-adjoint operator in $\mathscr{l}^{2}(\mathbb{Z})$ whose spectra (actually a two-dimensional subset of $\mathbb{C}$) can not be approximated by the spectra of its finite-interval truncations.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the spectral theory of non - self - adjoint quasi - periodic operators. Specifically, the authors strive to give an accurate and complete description of the spectra of a class of non - self - adjoint quasi - periodic operators acting on \(\ell^2(\mathbb{Z}^d)\), which includes the Sarnak model as a special case. By studying these operators, the authors hope to reveal various interesting spectral phenomena, such as PT - symmetry breaking, non - simply - connectedness of two - dimensional spectra, etc., and provide new examples to illustrate that the spectra of some non - self - adjoint operators cannot be approximated by the spectra of their finite - interval truncations.
### Main contributions of the paper
1. **Complete description of spectra**:
- For a class of non - self - adjoint quasi - periodic operators \(H_V^\alpha(\lambda, \omega)\), the authors give a complete description of their spectra, that is, \(\sigma(H_V^\alpha(\lambda, \omega)) = S_\lambda\), where \(S_\lambda = P_\lambda\cup C_\lambda\), and \(P_\lambda\) and \(C_\lambda\) are defined as follows:
\[
P_\lambda=\{z\in\mathbb{C}\mid G_d(z)=\log|\lambda|\}
\]
\[
C_\lambda = \{z\in\mathbb{C}\mid G_d(z)>\log|\lambda|\}\cap R(V)
\]
where \(G_d(z)=\int_{\mathbb{T}^d}\log|z - V(\theta)|\,d\theta\), and \(R(V)\) is the range of \(V(\cdot)\).
2. **Existence conditions for two - dimensional spectra**:
- The authors provide the conditions for the existence of two - dimensional spectra. For example, when \(d\geq2\) and \(V(\cdot)\) is complex, usually \(R(V)\) is a two - dimensional subset of \(\mathbb{C}\), and then the two - dimensional spectra can be easily obtained from Theorem 1.2.
3. **PT - symmetry breaking**:
- The authors show that under certain conditions, PT - symmetry will be broken. Specifically, if \(|\lambda|>e^{G_d(0)}\), complex spectra will appear, which is different from the case of self - adjoint operators.
4. **Spectra of the Hatano - Nelson model**:
- The authors also study in detail the spectra of the high - dimensional Hatano - Nelson model and find that its spectra are usually one - dimensional, but there is a specific value of \(\lambda\) such that the spectra become two - dimensional.
### Methods
- **Aubry duality**:
- The authors use the Aubry duality method to transform the original operator \(H_V^\alpha(\lambda, \omega)\) into its dual operator \(\hat{H}_V^\alpha(\lambda, \theta)\), and derive the spectra of the original operator by studying the spectra of the dual operator.
- **Weak continuity**:
- The authors prove the weak continuity of spectra, that is, if \(\alpha(n)\to\alpha\) and \(z\in S(T(\alpha(n)))\) for all \(n\), then \(z\in S(T(\alpha))\).
### Conclusion
Through the above research, the authors not only provide a complete description of the spectra of non - self - adjoint quasi - periodic operators, but also reveal various interesting spectral phenomena, such as PT - symmetry breaking and the existence of two - dimensional spectra. These results are of great significance for understanding the behavior of non - self - adjoint operators in quantum systems.