-
Spectral properties of flipped Toeplitz matrices
Authors:
Giovanni Barbarino,
Sven-Erik Ekström,
Carlo Garoni,
David Meadon,
Stefano Serra-Capizzano,
Paris Vassalos
Abstract:
We study the spectral properties of flipped Toeplitz matrices of the form $H_n(f)=Y_nT_n(f)$, where $T_n(f)$ is the $n\times n$ Toeplitz matrix generated by the function $f$ and $Y_n$ is the $n\times n$ exchange (or flip) matrix having $1$ on the main anti-diagonal and $0$ elsewhere. In particular, under suitable assumptions on $f$, we establish an alternating sign relationship between the eigenva…
▽ More
We study the spectral properties of flipped Toeplitz matrices of the form $H_n(f)=Y_nT_n(f)$, where $T_n(f)$ is the $n\times n$ Toeplitz matrix generated by the function $f$ and $Y_n$ is the $n\times n$ exchange (or flip) matrix having $1$ on the main anti-diagonal and $0$ elsewhere. In particular, under suitable assumptions on $f$, we establish an alternating sign relationship between the eigenvalues of $H_n(f)$, the eigenvalues of $T_n(f)$, and the quasi-uniform samples of $f$. Moreover, after fine-tuning a few known theorems on Toeplitz matrices, we use them to provide localization results for the eigenvalues of $H_n(f)$. Our study is motivated by the convergence analysis of the minimal residual (MINRES) method for the solution of real non-symmetric Toeplitz linear systems of the form $T_n(f)\mathbf x=\mathbf b$ after pre-multiplication of both sides by $Y_n$, as suggested by Pestana and Wathen.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
The $β$ Maps: Strong Clustering and Distribution Results on the Complex Unit Circle
Authors:
Alec Schiavoni Piazza,
David Meadon,
Stefano Serra-Capizzano
Abstract:
In the current work, we study the eigenvalue distribution results of a class of non-normal matrix-sequences which may be viewed as a low rank perturbation, depending on a parameter $β>1$, of the basic Toeplitz matrix-sequence $\{T_n(e^{\mathbf{i}θ})\}_{n\in\mathbb{N}}$, $\mathbf{i}^2=-1$. The latter of which has obviously all eigenvalues equal to zero for any matrix order $n$, while for the matrix…
▽ More
In the current work, we study the eigenvalue distribution results of a class of non-normal matrix-sequences which may be viewed as a low rank perturbation, depending on a parameter $β>1$, of the basic Toeplitz matrix-sequence $\{T_n(e^{\mathbf{i}θ})\}_{n\in\mathbb{N}}$, $\mathbf{i}^2=-1$. The latter of which has obviously all eigenvalues equal to zero for any matrix order $n$, while for the matrix-sequence under consideration we will show a strong clustering on the complex unit circle. A detailed discussion on the outliers is also provided. The problem appears mathematically innocent, but it is indeed quite challenging since all the classical machinery for deducing the eigenvalue clustering does not cover the considered case. In the derivations, we resort to a trick used for the spectral analysis of the Google matrix plus several tools from complex analysis. We only mention that the problem is not an academic curiosity and in fact stems from problems in dynamical systems and number theory. Additionally, we also provide numerical experiments in high precision, a distribution analysis in the Weyl sense concerning both eigenvalues and singular values is given, and more results are sketched for the limit case of $β=1$
△ Less
Submitted 7 February, 2024; v1 submitted 21 November, 2023;
originally announced November 2023.
-
From asymptotic distribution and vague convergence to uniform convergence, with numerical applications
Authors:
Giovanni Barbarino,
Sven-Erik Ekström,
Carlo Garoni,
David Meadon,
Stefano Serra-Capizzano,
Paris Vassalos
Abstract:
Let $\{Λ_n=\{λ_{1,n},\ldots,λ_{d_n,n}\}\}_n$ be a sequence of finite multisets of real numbers such that $d_n\to\infty$ as $n\to\infty$, and let $f:Ω\subset\mathbb R^d\to\mathbb R$ be a Lebesgue measurable function defined on a domain $Ω$ with $0<μ_d(Ω)<\infty$, where $μ_d$ is the Lebesgue measure in $\mathbb R^d$. We say that $\{Λ_n\}_n$ has an asymptotic distribution described by $f$, and we wri…
▽ More
Let $\{Λ_n=\{λ_{1,n},\ldots,λ_{d_n,n}\}\}_n$ be a sequence of finite multisets of real numbers such that $d_n\to\infty$ as $n\to\infty$, and let $f:Ω\subset\mathbb R^d\to\mathbb R$ be a Lebesgue measurable function defined on a domain $Ω$ with $0<μ_d(Ω)<\infty$, where $μ_d$ is the Lebesgue measure in $\mathbb R^d$. We say that $\{Λ_n\}_n$ has an asymptotic distribution described by $f$, and we write $\{Λ_n\}_n\sim f$, if \[ \lim_{n\to\infty}\frac1{d_n}\sum_{i=1}^{d_n}F(λ_{i,n})=\frac1{μ_d(Ω)}\int_ΩF(f({\boldsymbol x})){\rm d}{\boldsymbol x}\qquad\qquad(*) \] for every continuous function $F$ with bounded support. If $Λ_n$ is the spectrum of a matrix $A_n$, we say that $\{A_n\}_n$ has an asymptotic spectral distribution described by $f$ and we write $\{A_n\}_n\sim_λf$. In the case where $d=1$, $Ω$~is a bounded interval, $Λ_n\subseteq f(Ω)$ for all $n$, and $f$ satisfies suitable conditions, Bogoya, Böttcher, Grudsky, and Maximenko proved that the asymptotic distribution (*) implies the uniform convergence to $0$ of the difference between the properly sorted vector $[λ_{1,n},\ldots,λ_{d_n,n}]$ and the vector of samples $[f(x_{1,n}),\ldots,f(x_{d_n,n})]$, i.e., \[ \lim_{n\to\infty}\,\max_{i=1,\ldots,d_n}|f(x_{i,n})-λ_{τ_n(i),n}|=0, \qquad\qquad(**) \] where $x_{1,n},\ldots,x_{d_n,n}$ is a uniform grid in $Ω$ and $τ_n$ is the sorting permutation. We extend this result to the case where $d\ge1$ and $Ω$ is a Peano--Jordan measurable set (i.e., a bounded set with $μ_d(\partialΩ)=0$).
See the rest of the abstract in the manuscript.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
On the eigenvalues of Toeplitz matrices with two off-diagonals
Authors:
Sven-Erik Ekström,
David Meadon
Abstract:
Consider the Toeplitz matrix $T_n(f)$ generated by the symbol $f(θ)=\hat{f}_r e^{\mathbf{i}rθ}+\hat{f}_0+\hat{f}_{-s} e^{-\mathbf{i}sθ}$, where $\hat{f}_r, \hat{f}_0, \hat{f}_{-s} \in \mathbb{C}$ and $0<r<n,~0<s<n$. For $r=s=1$ we have the classical tridiagonal Toeplitz matrices, for which the eigenvalues and eigenvectors are known. Similarly, the eigendecompositions are known for $1<r=s$, when th…
▽ More
Consider the Toeplitz matrix $T_n(f)$ generated by the symbol $f(θ)=\hat{f}_r e^{\mathbf{i}rθ}+\hat{f}_0+\hat{f}_{-s} e^{-\mathbf{i}sθ}$, where $\hat{f}_r, \hat{f}_0, \hat{f}_{-s} \in \mathbb{C}$ and $0<r<n,~0<s<n$. For $r=s=1$ we have the classical tridiagonal Toeplitz matrices, for which the eigenvalues and eigenvectors are known. Similarly, the eigendecompositions are known for $1<r=s$, when the generated matrices are ``symmetrically sparse tridiagonal''.
In the current paper we study the eigenvalues of $T_n(f)$ for $1\leq r<s$, which are ``non-symmetrically sparse tridiagonal''. We propose an algorithm which constructs one or two ad hoc matrices smaller than $T_n(f)$, whose eigenvalues are sufficient for determining the full spectrum of $T_n(f)$. The algorithm is explained through use of a conjecture for which examples and numerical experiments are reported for supporting it and for clarifying the presentation. Open problems are briefly discussed.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
