-
Gershgorin-Type Spectral Inclusions for Matrices
Authors:
Simon N. Chandler-Wilde,
Marko Lindner
Abstract:
In this paper we derive families of Gershgorin-type inclusion sets for the spectra and pseudospectra of finite matrices. In common with previous generalisations of the classical Gershgorin bound for the spectrum, our inclusion sets are based on a block decomposition. In contrast to previous generalisations that treat the matrix as a perturbation of a block-diagonal submatrix, our arguments treat t…
▽ More
In this paper we derive families of Gershgorin-type inclusion sets for the spectra and pseudospectra of finite matrices. In common with previous generalisations of the classical Gershgorin bound for the spectrum, our inclusion sets are based on a block decomposition. In contrast to previous generalisations that treat the matrix as a perturbation of a block-diagonal submatrix, our arguments treat the matrix as a perturbation of a block-tridiagonal matrix, which can lead to sharp spectral bounds, as we show for the example of large Toeplitz matrices. Our inclusion sets, which take the form of unions of pseudospectra of square or rectangular submatrices, build on our own recent work on inclusion sets for bi-infinite matrices [Chandler-Wilde, Chonchaiya, Lindner, {\em J. Spectr. Theory} {\bf 14}, 719--804 (2024)].
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
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.
-
Finite sections: stability, spectral pollution and asymptotics of condition numbers and pseudospectra
Authors:
Marko Lindner,
Dennis Schmeckpeper
Abstract:
The stability of an approximating sequence $(A_n)$ for an operator $A$ usually requires, besides invertibility of $A$, the invertibility of further operators, say $B, C, \dots$, that are well-associated to the sequence $(A_n)$. We study this set, $\{A,B,C,\dots\}$, of so-called stability indicators of $(A_n)$ and connect it to the asymptotics of $\|A_n\|$, $\|A_n^{-1}\|$ and…
▽ More
The stability of an approximating sequence $(A_n)$ for an operator $A$ usually requires, besides invertibility of $A$, the invertibility of further operators, say $B, C, \dots$, that are well-associated to the sequence $(A_n)$. We study this set, $\{A,B,C,\dots\}$, of so-called stability indicators of $(A_n)$ and connect it to the asymptotics of $\|A_n\|$, $\|A_n^{-1}\|$ and $κ(A_n)=\|A_n\|\|A_n^{-1}\|$ as well as to spectral pollution by showing that $\limsup {\rm Spec}_\varepsilon A_n= {\rm Spec}_\varepsilon A\cup{\rm Spec}_\varepsilon B\cup{\rm Spec}_\varepsilon C\cup\dots$. We further specify, for each of $\|A_n\|$, $\|A_n^{-1}\|$, $κ(A_n)$ and ${\rm Spec}_\varepsilon A_n$, under which conditions even convergence applies.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
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.
-
Spectral approximation of generalized Schrödinger operators via approximation of subwords
Authors:
Fabian Gabel,
Dennis Gallaun,
Julian Großmann,
Marko Lindner,
Riko Ukena
Abstract:
We demonstrate criteria, purely based on finite subwords of the potential, to guarantee spectral inclusion as well as Hausdorff approximation of pseudospectra or even spectra of generalized Schrödinger operators on the discrete line or half-line. In fact, our results are neither limited to Schrödinger or self-adjoint operators, nor to Hilbert space or 1D.
We demonstrate criteria, purely based on finite subwords of the potential, to guarantee spectral inclusion as well as Hausdorff approximation of pseudospectra or even spectra of generalized Schrödinger operators on the discrete line or half-line. In fact, our results are neither limited to Schrödinger or self-adjoint operators, nor to Hilbert space or 1D.
△ Less
Submitted 19 January, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Half-line compressions and finite sections of discrete Schrödinger operators with integer-valued potentials
Authors:
Marko Lindner,
Riko Ukena
Abstract:
We study 1D discrete Schrödinger operators $H$ with integer-valued potential and show that, $(i)$, invertibility (in fact, even just Fredholmness) of $H$ always implies invertibility of its half-line compression $H_+$ (zero Dirichlet boundary condition, i.e. matrix truncation). In particular, the Dirichlet eigenvalues avoid zero -- and all other integers. We use this result to conclude that,…
▽ More
We study 1D discrete Schrödinger operators $H$ with integer-valued potential and show that, $(i)$, invertibility (in fact, even just Fredholmness) of $H$ always implies invertibility of its half-line compression $H_+$ (zero Dirichlet boundary condition, i.e. matrix truncation). In particular, the Dirichlet eigenvalues avoid zero -- and all other integers. We use this result to conclude that, $(ii)$, the finite section method (approximate inversion via finite and growing matrix truncations) is applicable to $H$ as soon as $H$ is invertible. The same holds for $H_+$.
△ Less
Submitted 9 September, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
A note on Hausdorff-convergence of pseudospectra
Authors:
Marko Lindner,
Dennis Schmeckpeper
Abstract:
For a bounded linear operator on a Banach space, we study approximation of the spectrum and pseudospectra in the Hausdorff distance. We give sufficient and necessary conditions in terms of pointwise convergence of appropriate spectral quantities.
For a bounded linear operator on a Banach space, we study approximation of the spectrum and pseudospectra in the Hausdorff distance. We give sufficient and necessary conditions in terms of pointwise convergence of appropriate spectral quantities.
△ Less
Submitted 9 September, 2022; v1 submitted 10 June, 2022;
originally announced June 2022.
-
An Open Source Software Stack for Tuning the Dynamical Behavior of Complex Power Systems
Authors:
Anna Büttner,
Hans Würfel,
Anton Plietzsch,
Michael Lindner,
Frank Hellmann
Abstract:
BlockSystems.jl and NetworkDynamics.jl are two novel software packages which facilitate highly efficient transient stability simulations of power networks. Users may specify inputs and power system design in a convenient modular and equation-based manner without compromising on speed or model detail. Written in the high-level, high-performance programming language Julia a rich open-source package…
▽ More
BlockSystems.jl and NetworkDynamics.jl are two novel software packages which facilitate highly efficient transient stability simulations of power networks. Users may specify inputs and power system design in a convenient modular and equation-based manner without compromising on speed or model detail. Written in the high-level, high-performance programming language Julia a rich open-source package ecosystem is available, which provides state-of-the-art solvers and machine learning algorithms. Motivated by the recent interest in the Nordic inertia challenge we have implemented the Nordic5 test case and tuned its control parameters by making use of the machine learning and automatic differentiation capabilities of our software stack.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Minimal Families of Limit Operators
Authors:
Marko Lindner
Abstract:
We study two abstract scenarios, where an operator family has a certain minimality property. In both scenarios, it is shown that norm, spectrum and resolvent are the same for all family members. Both abstract settings are illustrated by practically relevant examples, including discrete Schrödinger operators with periodic, quasiperiodic, almost-periodic, Sturmian and pseudo-ergodic potential. The m…
▽ More
We study two abstract scenarios, where an operator family has a certain minimality property. In both scenarios, it is shown that norm, spectrum and resolvent are the same for all family members. Both abstract settings are illustrated by practically relevant examples, including discrete Schrödinger operators with periodic, quasiperiodic, almost-periodic, Sturmian and pseudo-ergodic potential. The main tool is the method of limit operators, known from studies of Fredholm operators and convergence of projection methods. We close by connecting this tool to the study of subwords of the operator potential.
△ Less
Submitted 26 November, 2021;
originally announced November 2021.
-
Finite Sections of Periodic Schrödinger Operators
Authors:
Fabian Gabel,
Dennis Gallaun,
Julian Großmann,
Marko Lindner,
Riko Ukena
Abstract:
We study discrete Schrödinger operators $H$ with periodic potentials as they are typically used to approximate aperiodic Schrödinger operators like the Fibonacci Hamiltonian. We prove an efficient test for applicability of the finite section method, a procedure that approximates $H$ by growing finite square submatrices $H_n$. For integer-valued potentials, we show that the finite section method is…
▽ More
We study discrete Schrödinger operators $H$ with periodic potentials as they are typically used to approximate aperiodic Schrödinger operators like the Fibonacci Hamiltonian. We prove an efficient test for applicability of the finite section method, a procedure that approximates $H$ by growing finite square submatrices $H_n$. For integer-valued potentials, we show that the finite section method is applicable as soon as $H$ is invertible. This statement remains true for $\{0, λ\}$-valued potentials with fixed rational $λ$ and period less than nine as well as for arbitrary real-valued potentials of period two.
△ Less
Submitted 1 April, 2022; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Finite section method for aperiodic Schrödinger operators
Authors:
Fabian Gabel,
Dennis Gallaun,
Julian Großmann,
Marko Lindner,
Riko Ukena
Abstract:
We consider 1D discrete Schrödinger operators with aperiodic potentials given by a Sturmian word, which is a natural generalisation of the Fibonacci Hamiltonian. Via a standard approximation by periodic potentials, we establish Hausdorff convergence of the corresponding spectra for the Schrödinger operators on the axis as well as for their compressions to the half-axis. Based on the half-axis resu…
▽ More
We consider 1D discrete Schrödinger operators with aperiodic potentials given by a Sturmian word, which is a natural generalisation of the Fibonacci Hamiltonian. Via a standard approximation by periodic potentials, we establish Hausdorff convergence of the corresponding spectra for the Schrödinger operators on the axis as well as for their compressions to the half-axis. Based on the half-axis results, we study the finite section method, which is another operator approximation, now by compressions to finite but growing intervals, that is often used to solve operator equations approximately. We find that, also for this purpose, the aperiodic case can be studied via its periodic approximants. Our results on the finite section method of the aperiodic operator are illustrated by confirming a result on the finite sections of the special case of the Fibonacci Hamiltonian.
△ Less
Submitted 21 February, 2023; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Circulant matrices: norm, powers, and positivity
Authors:
Marko Lindner
Abstract:
In their recent paper "The spectral norm of a Horadam circulant matrix", Merikoski, Haukkanen, Mattila and Tossavainen study under which conditions the spectral norm of a general real circulant matrix ${\bf C}$ equals the modulus of its row/column sum. We improve on their sufficient condition until we have a necessary one. Our results connect the above problem to positivity of sufficiently high po…
▽ More
In their recent paper "The spectral norm of a Horadam circulant matrix", Merikoski, Haukkanen, Mattila and Tossavainen study under which conditions the spectral norm of a general real circulant matrix ${\bf C}$ equals the modulus of its row/column sum. We improve on their sufficient condition until we have a necessary one. Our results connect the above problem to positivity of sufficiently high powers of the matrix ${\bf C^\top C}$. We then generalize the result to complex circulant matrices.
△ Less
Submitted 23 April, 2018; v1 submitted 26 March, 2018;
originally announced March 2018.
-
Stochastic basins of attraction and generalized committor functions
Authors:
Michael Lindner,
Frank Hellmann
Abstract:
We generalize the concept of basin of attraction of a stable state in order to facilitate the analysis of dynamical systems with noise and to assess stability properties of metastable states and long transients. To this end we examine the notions of mean sojourn times and absorption probabilities for Markov chains and study their relation to the basins of attraction. Our approach is applicable to…
▽ More
We generalize the concept of basin of attraction of a stable state in order to facilitate the analysis of dynamical systems with noise and to assess stability properties of metastable states and long transients. To this end we examine the notions of mean sojourn times and absorption probabilities for Markov chains and study their relation to the basins of attraction. Our approach is applicable to a large variety of problems since in most cases the transfer operator associated to a dynamical system can be approximated by a Markov chain.
△ Less
Submitted 9 May, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Finite sections of the Fibonacci Hamiltonian
Authors:
Marko Lindner,
Hagen Söding
Abstract:
We study finite but growing principal square submatrices $A_n$ of the one- or two-sided infinite Fibonacci Hamiltonian $A$. Our results show that such a sequence $(A_n)$, no matter how the points of truncation are chosen, is always stable -- implying that $A_n$ is invertible for sufficiently large $n$ and $A_n^{-1}\to A^{-1}$ pointwise.
We study finite but growing principal square submatrices $A_n$ of the one- or two-sided infinite Fibonacci Hamiltonian $A$. Our results show that such a sequence $(A_n)$, no matter how the points of truncation are chosen, is always stable -- implying that $A_n$ is invertible for sufficiently large $n$ and $A_n^{-1}\to A^{-1}$ pointwise.
△ Less
Submitted 27 November, 2017;
originally announced November 2017.
-
On the spectrum of operator families on discrete groups over minimal dynamical systems
Authors:
Siegfried Beckus,
Daniel Lenz,
Marko Lindner,
Christian Seifert
Abstract:
It is well known that, given an equivariant and continuous (in a suitable sense) family of selfadjoint operators in a Hilbert space over a minimal dynamical system, the spectrum of all operators from that family coincides. As shown recently similar results also hold for suitable families of non-selfadjoint operators in $\ell^p (\ZM)$. Here, we generalize this to a large class of bounded linear ope…
▽ More
It is well known that, given an equivariant and continuous (in a suitable sense) family of selfadjoint operators in a Hilbert space over a minimal dynamical system, the spectrum of all operators from that family coincides. As shown recently similar results also hold for suitable families of non-selfadjoint operators in $\ell^p (\ZM)$. Here, we generalize this to a large class of bounded linear operator families on Banach-space valued $\ell^p$-spaces over countable discrete groups. We also provide equality of the pseudospectra for operators in such a family. A main tool for our analysis are techniques from limit operator theory.
△ Less
Submitted 21 December, 2016; v1 submitted 27 June, 2016;
originally announced June 2016.
-
Recycling Givens rotations for the efficient approximation of pseudospectra of band-dominated operators
Authors:
Marko Lindner,
Torge Schmidt
Abstract:
We study spectra and pseudospectra of certain bounded linear operators on $\ell^2({\mathbb Z})$. The operators are generally non-normal, and their matrix representation has a characteristic off-diagonal decay. Based on a result of Chandler-Wilde, Chonchaiya and Lindner for tridiagonal infinite matrices, we demonstrate an efficient algorithm for the computation of upper and lower bounds on the pseu…
▽ More
We study spectra and pseudospectra of certain bounded linear operators on $\ell^2({\mathbb Z})$. The operators are generally non-normal, and their matrix representation has a characteristic off-diagonal decay. Based on a result of Chandler-Wilde, Chonchaiya and Lindner for tridiagonal infinite matrices, we demonstrate an efficient algorithm for the computation of upper and lower bounds on the pseudospectrum of operators that are merely norm limits of band matrices -- the so-called band-dominated operators. After approximation by a band matrix and fixing a parameter $n\in{\mathbb N}$, one looks at $n$ consecutive columns $\{k+1,...,k+n\}$, $k\in{\mathbb Z}$, of the corresponding matrix and computes the smallest singular value of that section via QR factorization. We here propose a QR factorization by a sequence of Givens rotations in such a way that a large part of the computation can be reused for the factorization of the next submatrix -- when $k$ is replaced by $k+1$. The computational cost for the next factorization(s) is ${\mathcal O}(nd)$ as opposed to a naive implementation with ${\mathcal O}(nd^2)$, where $d$ is the bandwidth. So our algorithm pays off for large bands, which is attractive when approximating band-dominated operators with a full (i.e. not banded) matrix.
△ Less
Submitted 13 June, 2016;
originally announced June 2016.
-
Coburn's Lemma and the Finite Section Method for Random Jacobi Operators
Authors:
Simon N. Chandler-Wilde,
Marko Lindner
Abstract:
We study the spectra and pseudospectra of finite and infinite tridiagonal random matrices, in the case where each of the diagonals varies over a separate compact set, say $U,V,W\subset\mathbb{C}$. Such matrices are sometimes termed stochastic Toeplitz matrices $A_+$ in the semi-infinite case and stochastic Laurent matrices $A$ in the bi-infinite case. Their spectra, $Σ=$ spec $A$ and $Σ_+=$ spec…
▽ More
We study the spectra and pseudospectra of finite and infinite tridiagonal random matrices, in the case where each of the diagonals varies over a separate compact set, say $U,V,W\subset\mathbb{C}$. Such matrices are sometimes termed stochastic Toeplitz matrices $A_+$ in the semi-infinite case and stochastic Laurent matrices $A$ in the bi-infinite case. Their spectra, $Σ=$ spec $A$ and $Σ_+=$ spec $A_+$, are independent of $A$ and $A_+$ as long as $A$ and $A_+$ are pseudoergodic (in the sense of E.B. Davies, Commun. Math. Phys., 2001), which holds almost surely in the random case. This was shown in Davies (2001) for $A$; that the same holds for $A_+$ is one main result of this paper. We give upper and lower bounds on $Σ$ and $Σ_+$, and we explicitly compute a set $G$ that fills the gap between the two in the sense that $Σ\cup G=Σ_+$. We show that invertibility of one operator $A_+$ implies invertibility - and uniform boundedness of the inverses - of all finite square matrices with three diagonals in $U, V$ and $W$. This implies that the so-called finite section method for the approximate solution of a system $A_+x=b$ is applicable as soon as $A_+$ is invertible, and that the same method for estimating the spectrum of $A_+$ does not suffer from spectral pollution. Both results illustrate that tridiagonal stochastic Toeplitz operators share important properties of (classical) Toeplitz operators. One of our main tools is a new version of the Coburn lemma for classical Toeplitz operators, saying that a stochastic tridiagonal Toeplitz operator, if Fredholm, is always injective or surjective. In the final part we bound and compare the norms, and the norms of inverses, of bi-infinite, semi-infinite and finite tridiagonal matrices over $U$, $V$ and $W$. This allows the study of the resolvent norms, and hence the pseudospectra, of these operators and matrices.
△ Less
Submitted 23 September, 2015; v1 submitted 19 May, 2015;
originally announced May 2015.
-
Essential pseudospectra and essential norms of band-dominated operators
Authors:
Raffael Hagger,
Marko Lindner,
Markus Seidel
Abstract:
An operator $A$ on an $l^p$-space is called band-dominated if it can be approximated, in the operator norm, by operators with a banded matrix representation. The coset of $A$ in the Calkin algebra determines, for example, the Fredholmness of $A$, the Fredholm index, the essential spectrum, the essential norm and the so-called essential pseudospectrum of $A$. This coset can be identified with the c…
▽ More
An operator $A$ on an $l^p$-space is called band-dominated if it can be approximated, in the operator norm, by operators with a banded matrix representation. The coset of $A$ in the Calkin algebra determines, for example, the Fredholmness of $A$, the Fredholm index, the essential spectrum, the essential norm and the so-called essential pseudospectrum of $A$. This coset can be identified with the collection of all so-called limit operators of $A$. It is known that this identification preserves invertibility (hence spectra). We now show that it also preserves norms and in particular resolvent norms (hence pseudospectra). In fact we work with a generalization of the ideal of compact operators, so-called $\mathcal{P}$-compact operators, allowing for a more flexible framework that naturally extends to $l^p$-spaces with $p\in\{1,\infty\}$ and/or vector-valued $l^p$-spaces.
△ Less
Submitted 1 December, 2015; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Note on spectra of non-selfadjoint operators over dynamical systems
Authors:
Siegfried Beckus,
Daniel Lenz,
Marko Lindner,
Christian Seifert
Abstract:
We consider equivariant continuous families of discrete one-dimensional operators over arbitrary dynamical systems. We introduce the concept of a pseudo-ergodic element of a dynamical system. We then show that all operators associated to pseudo-ergodic elements have the same spectrum and that this spectrum agrees with their essential spectrum. As a consequence we obtain that the spectrum is consta…
▽ More
We consider equivariant continuous families of discrete one-dimensional operators over arbitrary dynamical systems. We introduce the concept of a pseudo-ergodic element of a dynamical system. We then show that all operators associated to pseudo-ergodic elements have the same spectrum and that this spectrum agrees with their essential spectrum. As a consequence we obtain that the spectrum is constant and agrees with the essential spectrum for all elements in the dynamical system if minimality holds.
△ Less
Submitted 18 December, 2014;
originally announced December 2014.
-
An Affirmative Answer to a Core Issue on Limit Operators
Authors:
Marko Lindner,
Markus Seidel
Abstract:
An operator on an $l^{p}$-space is called band-dominated if it can be approximated, in the operator norm, by operators with a banded matrix representation. It is known that a rich band-dominated operator is $\mathcal{P}$-Fredholm (which is a generalization of the classical Fredholm property) if and only if all of its so-called limit operators are invertible and their inverses are uniformly bounded…
▽ More
An operator on an $l^{p}$-space is called band-dominated if it can be approximated, in the operator norm, by operators with a banded matrix representation. It is known that a rich band-dominated operator is $\mathcal{P}$-Fredholm (which is a generalization of the classical Fredholm property) if and only if all of its so-called limit operators are invertible and their inverses are uniformly bounded. We show that the condition on uniform boundedness is redundant in this statement.
△ Less
Submitted 17 March, 2014; v1 submitted 7 January, 2014;
originally announced January 2014.
-
The Main Diagonal of a Permutation Matrix
Authors:
Marko Lindner,
Gilbert Strang
Abstract:
By counting 1's in the "right half" of $2w$ consecutive rows, we locate the main diagonal of any doubly infinite permutation matrix with bandwidth $w$. Then the matrix can be correctly centered and factored into block-diagonal permutation matrices. Part II of the paper discusses the same questions for the much larger class of band-dominated matrices. The main diagonal is determined by the Fredholm…
▽ More
By counting 1's in the "right half" of $2w$ consecutive rows, we locate the main diagonal of any doubly infinite permutation matrix with bandwidth $w$. Then the matrix can be correctly centered and factored into block-diagonal permutation matrices. Part II of the paper discusses the same questions for the much larger class of band-dominated matrices. The main diagonal is determined by the Fredholm index of a singly infinite submatrix. Thus the main diagonal is determined "at infinity" in general, but from only $2w$ rows for banded permutations.
△ Less
Submitted 15 December, 2011; v1 submitted 2 December, 2011;
originally announced December 2011.
-
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.
-
Finite sections of random Jacobi operators
Authors:
Marko Lindner,
Steffen Roch
Abstract:
This article is about a problem in the numerical analysis of random operators. We study a version of the finite section method for the approximate solution of equations $Ax=b$ in infinitely many variables, where $A$ is a random Jacobi operator. In other words, we approximately solve infinite second order difference equations with stochastic coefficients by reducing the infinite volume case to the…
▽ More
This article is about a problem in the numerical analysis of random operators. We study a version of the finite section method for the approximate solution of equations $Ax=b$ in infinitely many variables, where $A$ is a random Jacobi operator. In other words, we approximately solve infinite second order difference equations with stochastic coefficients by reducing the infinite volume case to the (large) finite volume case via a particular truncation technique. For most of the paper we consider non-selfadjoint operators $A$ but we also comment on the self-adjoint case when simplifications occur.
△ Less
Submitted 3 November, 2010;
originally announced November 2010.
-
Condition number estimates for combined potential integral operators in acoustics and their boundary element discretisation
Authors:
Timo Betcke,
Simon N. Chandler-Wilde,
Ivan G. Graham,
Stephen Langdon,
Marko Lindner
Abstract:
We consider the classical coupled, combined-field integral equation formulations for time-harmonic acoustic scattering by a sound soft bounded obstacle. In recent work, we have proved lower and upper bounds on the $L^2$ condition numbers for these formulations, and also on the norms of the classical acoustic single- and double-layer potential operators. These bounds to some extent make explicit th…
▽ More
We consider the classical coupled, combined-field integral equation formulations for time-harmonic acoustic scattering by a sound soft bounded obstacle. In recent work, we have proved lower and upper bounds on the $L^2$ condition numbers for these formulations, and also on the norms of the classical acoustic single- and double-layer potential operators. These bounds to some extent make explicit the dependence of condition numbers on the wave number $k$, the geometry of the scatterer, and the coupling parameter. For example, with the usual choice of coupling parameter they show that, while the condition number grows like $k^{1/3}$ as $k\to\infty$, when the scatterer is a circle or sphere, it can grow as fast as $k^{7/5}$ for a class of `trapping' obstacles. In this paper we prove further bounds, sharpening and extending our previous results. In particular we show that there exist trapping obstacles for which the condition numbers grow as fast as $\exp(γk)$, for some $γ>0$, as $k\to\infty$ through some sequence. This result depends on exponential localisation bounds on Laplace eigenfunctions in an ellipse that we prove in the appendix. We also clarify the correct choice of coupling parameter in 2D for low $k$. In the second part of the paper we focus on the boundary element discretisation of these operators.
We discuss the extent to which the bounds on the continuous operators are also satisfied by their discrete counterparts and, via numerical experiments, we provide supporting evidence for some of the theoretical results, both quantitative and asymptotic, indicating further which of the upper and lower bounds may be sharper.
△ Less
Submitted 19 July, 2010;
originally announced July 2010.
-
On the integer points in a lattice polytope: n-fold Minkowski sum and boundary
Authors:
Marko Lindner,
Steffen Roch
Abstract:
In this article we compare the set of integer points in the homothetic copy $nΠ$ of a lattice polytope $Π\subseteq\R^d$ with the set of all sums $x_1+\cdots+x_n$ with $x_1,...,x_n\in Π\cap\Z^d$ and $n\in\N$. We give conditions on the polytope $Π$ under which these two sets coincide and we discuss two notions of boundary for subsets of $\Z^d$ or, more generally, subsets of a finitely generated disc…
▽ More
In this article we compare the set of integer points in the homothetic copy $nΠ$ of a lattice polytope $Π\subseteq\R^d$ with the set of all sums $x_1+\cdots+x_n$ with $x_1,...,x_n\in Π\cap\Z^d$ and $n\in\N$. We give conditions on the polytope $Π$ under which these two sets coincide and we discuss two notions of boundary for subsets of $\Z^d$ or, more generally, subsets of a finitely generated discrete group.
△ Less
Submitted 10 June, 2010;
originally announced June 2010.
-
Limit Operators, Collective Compactness, and the Spectral Theory of Infinite Matrices
Authors:
Simon N. Chandler-Wilde,
Marko Lindner
Abstract:
In the first half of this text we explore the interrelationships between the abstract theory of limit operators (see e.g. the recent monographs of Rabinovich, Roch & Silbermann and Lindner) and the concepts and results of the generalised collectively compact operator theory introduced by Chandler-Wilde and Zhang. We build up to results obtained by applying this generalised collectively compact ope…
▽ More
In the first half of this text we explore the interrelationships between the abstract theory of limit operators (see e.g. the recent monographs of Rabinovich, Roch & Silbermann and Lindner) and the concepts and results of the generalised collectively compact operator theory introduced by Chandler-Wilde and Zhang. We build up to results obtained by applying this generalised collectively compact operator theory to the set of limit operators of an operator $A$. In the second half of this text we study bounded linear operators on the generalised sequence space $\ell^p(\Z^N,U)$, where $p\in [1,\infty]$ and $U$ is some complex Banach space. We make what seems to be a more complete study than hitherto of the connections between Fredholmness, invertibility, invertibility at infinity, and invertibility or injectivity of the set of limit operators, with some emphasis on the case when the operator $A$ is a locally compact perturbation of the identity. Especially, we obtain stronger results than previously known for the subtle limiting cases of $p=1$ and $\infty$. Our tools in this study are the results from the first half of the text and an exploitation of the partial duality between $\ell^1$ and $\ell^\infty$. Results in this second half of the text include a new proof that injectivity of all limit operators (the classic Favard condition) implies invertibility for a general class of almost periodic operators, and characterisations of invertibility at infinity and Fredholmness for operators in the so-called Wiener algebra. In two final chapters our results are illustrated by and applied to concrete examples. Firstly, we study the spectra and essential spectra of discrete Schrödinger operators (both self-adjoint and non-self-adjoint), including operators with almost periodic and random potentials. In the final chapter we apply our results to integral operators on $\R^N$.
△ Less
Submitted 5 May, 2010; v1 submitted 2 May, 2010;
originally announced May 2010.
-
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.
-
Two stable modifications of the finite section method
Authors:
Marko Lindner
Abstract:
In this article we demonstrate and compare two modified versions of the classical finite section method for band-dominated operators in case the latter is not stable. For both methods we give explicit criteria for their applicability.
In this article we demonstrate and compare two modified versions of the classical finite section method for band-dominated operators in case the latter is not stable. For both methods we give explicit criteria for their applicability.
△ Less
Submitted 24 February, 2010;
originally announced February 2010.
-
Approximating the inverse of banded matrices by banded matrices with applications to probability and statistics
Authors:
Peter J. Bickel,
Marko Lindner
Abstract:
In the first part of this paper we give an elementary proof of the fact that if an infinite matrix $A$, which is invertible as a bounded operator on $\ell^2$, can be uniformly approximated by banded matrices then so can the inverse of $A$. We give explicit formulas for the banded approximations of $A^{-1}$ as well as bounds on their accuracy and speed of convergence in terms of their band-width.…
▽ More
In the first part of this paper we give an elementary proof of the fact that if an infinite matrix $A$, which is invertible as a bounded operator on $\ell^2$, can be uniformly approximated by banded matrices then so can the inverse of $A$. We give explicit formulas for the banded approximations of $A^{-1}$ as well as bounds on their accuracy and speed of convergence in terms of their band-width. In the second part we apply these results to covariance matrices $Σ$ of Gaussian processes and study mixing and beta mixing of processes in terms of properties of $Σ$. Finally, we note some applications of our results to statistics.
△ Less
Submitted 24 February, 2010; v1 submitted 24 February, 2010;
originally announced February 2010.
