-
On Spectral Inclusion Sets and Computing the Spectra and Pseudospectra of Bounded Linear Operators
Authors:
Simon N. Chandler-Wilde,
Ratchanikorn Chonchaiya,
Marko Lindner
Abstract:
In this paper we derive novel families of inclusion sets for the spectrum and pseudospectrum of large classes of bounded linear operators, and establish convergence of particular sequences of these inclusion sets to the spectrum or pseudospectrum, as appropriate. Our results apply, in particular, to bounded linear operators on a separable Hilbert space that, with respect to some orthonormal basis,…
▽ More
In this paper we derive novel families of inclusion sets for the spectrum and pseudospectrum of large classes of bounded linear operators, and establish convergence of particular sequences of these inclusion sets to the spectrum or pseudospectrum, as appropriate. Our results apply, in particular, to bounded linear operators on a separable Hilbert space that, with respect to some orthonormal basis, have a representation as a bi-infinite matrix that is banded or band-dominated. More generally, our results apply in cases where the matrix entries themselves are bounded linear operators on some Banach space. In the scalar matrix entry case we show that our methods, given the input information we assume, lead to a sequence of approximations to the spectrum, each element of which can be computed in finitely many arithmetic operations, so that, with our assumed inputs, the problem of determining the spectrum of a band-dominated operator has solvability complexity index one, in the sense of Ben-Artzi et al. (C. R. Acad. Sci. Paris, Ser. I 353 (2015), 931-936). As a concrete and substantial application, we apply our methods to the determination of the spectra of non-self-adjoint bi-infinite tridiagonal matrices that are pseudoergodic in the sense of Davies (Commun. Math. Phys. 216 (2001) 687-704).
△ Less
Submitted 9 June, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Convergent spectral inclusion sets for banded matrices
Authors:
Simon N. Chandler-Wilde,
Ratchanikorn Chonchaiya,
Marko Lindner
Abstract:
We obtain sequences of inclusion sets for the spectrum, essential spectrum, and pseudospectrum of banded, in general non-normal, matrices of finite or infinite size. Each inclusion set is the union of the pseudospectra of certain submatrices of a chosen size $n$. Via the choice of $n$, one can balance accuracy of approximation against computational cost, and we show, in the case of infinite matric…
▽ More
We obtain sequences of inclusion sets for the spectrum, essential spectrum, and pseudospectrum of banded, in general non-normal, matrices of finite or infinite size. Each inclusion set is the union of the pseudospectra of certain submatrices of a chosen size $n$. Via the choice of $n$, one can balance accuracy of approximation against computational cost, and we show, in the case of infinite matrices, convergence as $n\to\infty$ of the respective inclusion set to the corresponding spectral set.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
On the Spectra and Pseudospectra of a Class of Non-Self-Adjoint Random Matrices and Operators
Authors:
Simon N. Chandler-Wilde,
Ratchanikorn Chonchaiya,
Marko Lindner
Abstract:
In this paper we develop and apply methods for the spectral analysis of non-self-adjoint tridiagonal infinite and finite random matrices, and for the spectral analysis of analogous deterministic matrices which are pseudo-ergodic in the sense of E.B.Davies (Commun. Math. Phys. 216 (2001), 687-704). As a major application to illustrate our methods we focus on the "hopping sign model" introduced by J…
▽ More
In this paper we develop and apply methods for the spectral analysis of non-self-adjoint tridiagonal infinite and finite random matrices, and for the spectral analysis of analogous deterministic matrices which are pseudo-ergodic in the sense of E.B.Davies (Commun. Math. Phys. 216 (2001), 687-704). As a major application to illustrate our methods we focus on the "hopping sign model" introduced by J.Feinberg and A.Zee (Phys. Rev. E 59 (1999), 6433-6443), in which the main objects of study are random tridiagonal matrices which have zeros on the main diagonal and random $\pm 1$'s as the other entries. We explore the relationship between spectral sets in the finite and infinite matrix cases, and between the semi-infinite and bi-infinite matrix cases, for example showing that the numerical range and $p$-norm $\eps$-pseudospectra ($\eps>0$, $p\in [1,\infty]$) of the random finite matrices converge almost surely to their infinite matrix counterparts, and that the finite matrix spectra are contained in the infinite matrix spectrum $Σ$. We also propose a sequence of inclusion sets for $Σ$ which we show is convergent to $Σ$, with the $n$th element of the sequence computable by calculating smallest singular values of (large numbers of) $n\times n$ matrices. We propose similar convergent approximations for the 2-norm $\eps$-pseudospectra of the infinite random matrices, these approximations sandwiching the infinite matrix pseudospectra from above and below.
△ Less
Submitted 13 May, 2013; v1 submitted 1 July, 2011;
originally announced July 2011.
-
Eigenvalue problem meets Sierpinski triangle: computing the spectrum of a non-self-adjoint random operator
Authors:
Simon Chandler-Wilde,
Ratchanikorn Chonchaiya,
Marko Lindner
Abstract:
The purpose of this paper is to prove that the spectrum of the non-self-adjoint one-particle Hamiltonian proposed by J. Feinberg and A. Zee (Phys. Rev. E 59 (1999), 6433--6443) has interior points. We do this by first recalling that the spectrum of this random operator is the union of the set of $\ell^\infty$ eigenvalues of all infinite matrices with the same structure. We then construct an infini…
▽ More
The purpose of this paper is to prove that the spectrum of the non-self-adjoint one-particle Hamiltonian proposed by J. Feinberg and A. Zee (Phys. Rev. E 59 (1999), 6433--6443) has interior points. We do this by first recalling that the spectrum of this random operator is the union of the set of $\ell^\infty$ eigenvalues of all infinite matrices with the same structure. We then construct an infinite matrix of this structure for which every point of the open unit disk is an $\ell^\infty$ eigenvalue, this following from the fact that the components of the eigenvector are polynomials in the spectral parameter whose non-zero coefficients are $\pm 1$'s, forming the pattern of an infinite discrete Sierpinski triangle.
△ Less
Submitted 14 July, 2010; v1 submitted 20 March, 2010;
originally announced March 2010.
