-
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.
-
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.
-
Rectangular GLT Sequences
Authors:
Giovanni Barbarino,
Carlo Garoni,
Mariarosa Mazza,
Stefano Serra-Capizzano
Abstract:
The theory of generalized locally Toeplitz (GLT) sequences is a powerful apparatus for computing the asymptotic spectral distribution of square matrices $A_n$ arising from the discretization of differential problems. Indeed, as the mesh fineness parameter $n$ increases to $\infty$, the sequence $\{A_n\}_n$ often turns out to be a GLT sequence. In this paper, motivated by recent applications, we fu…
▽ More
The theory of generalized locally Toeplitz (GLT) sequences is a powerful apparatus for computing the asymptotic spectral distribution of square matrices $A_n$ arising from the discretization of differential problems. Indeed, as the mesh fineness parameter $n$ increases to $\infty$, the sequence $\{A_n\}_n$ often turns out to be a GLT sequence. In this paper, motivated by recent applications, we further enhance the GLT apparatus by develo** a full theory of rectangular GLT sequences as an extension of the theory of classical square GLT sequences. We also detail an example of application as an illustration of the potential impact of the theory presented herein.
△ Less
Submitted 2 February, 2022; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Constructive approach to the monotone rearrangement of functions
Authors:
Giovanni Barbarino,
Davide Bianchi,
Carlo Garoni
Abstract:
We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost everywhere continuous function defined on a bounded set $Ω$ with negligible boundary. Under additional assumptions on $f$ and $Ω$, we prove that the convergence…
▽ More
We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost everywhere continuous function defined on a bounded set $Ω$ with negligible boundary. Under additional assumptions on $f$ and $Ω$, we prove that the convergence of the sequence is uniform. We also show that the same procedure applies to arbitrary measurable functions too, but with the substantial difference that in this case the procedure has only a theoretical interest and cannot be converted to an algorithm.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Eigenvalues and Eigenvectors of Tau Matrices with Applications to Markov Processes and Economics
Authors:
Sven-Erik Ekström,
Carlo Garoni,
Adam Jozefiak,
Jesse Perla
Abstract:
In the context of matrix displacement decomposition, Bozzo and Di Fiore introduced the so-called $τ_{\varepsilon,\varphi}$ algebra, a generalization of the more known $τ$ algebra originally proposed by Bini and Capovani. We study the properties of eigenvalues and eigenvectors of the generator $T_{n,\varepsilon,\varphi}$ of the $τ_{\varepsilon,\varphi}$ algebra. In particular, we derive the asympto…
▽ More
In the context of matrix displacement decomposition, Bozzo and Di Fiore introduced the so-called $τ_{\varepsilon,\varphi}$ algebra, a generalization of the more known $τ$ algebra originally proposed by Bini and Capovani. We study the properties of eigenvalues and eigenvectors of the generator $T_{n,\varepsilon,\varphi}$ of the $τ_{\varepsilon,\varphi}$ algebra. In particular, we derive the asymptotics for the outliers of $T_{n,\varepsilon,\varphi}$ and the associated eigenvectors; we obtain equations for the eigenvalues of $T_{n,\varepsilon,\varphi}$, which provide also the eigenvectors of $T_{n,\varepsilon,\varphi}$; and we compute the full eigendecomposition of $T_{n,\varepsilon,\varphi}$ in the specific case $\varepsilon\varphi=1$. We also present applications of our results in the context of queuing models, random walks, and diffusion processes, with a special attention to their implications in the study of wealth/income inequality and portfolio dynamics.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Normal form for GLT sequences, functions of normal GLT sequences, and spectral distribution of perturbed normal matrices
Authors:
Giovanni Barbarino,
Carlo Garoni
Abstract:
The theory of generalized locally Toeplitz (GLT) sequences is a powerful apparatus for computing the asymptotic spectral distribution of matrices $A_n$ arising from numerical discretizations of differential equations. Indeed, when the mesh fineness parameter $n$ tends to infinity, these matrices $A_n$ give rise to a sequence $\{A_n\}_n$, which often turns out to be a GLT sequence. In this paper, w…
▽ More
The theory of generalized locally Toeplitz (GLT) sequences is a powerful apparatus for computing the asymptotic spectral distribution of matrices $A_n$ arising from numerical discretizations of differential equations. Indeed, when the mesh fineness parameter $n$ tends to infinity, these matrices $A_n$ give rise to a sequence $\{A_n\}_n$, which often turns out to be a GLT sequence. In this paper, we extend the theory of GLT sequences in several directions: we show that every GLT sequence enjoys a normal form, we identify the spectral symbol of every GLT sequence formed by normal matrices, and we prove that, for every GLT sequence $\{A_n\}_n$ formed by normal matrices and every continuous function $f:\mathbb C\to\mathbb C$, the sequence $\{f(A_n)\}_n$ is again a GLT sequence whose spectral symbol is $f(κ)$, where $κ$ is the spectral symbol of $\{A_n\}_n$. In addition, using the theory of GLT sequences, we prove a spectral distribution result for perturbed normal matrices.
△ Less
Submitted 8 January, 2024; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Spectral behavior of preconditioned non-Hermitian multilevel block Toeplitz matrices with matrix-valued symbol
Authors:
Marco Donatelli,
Carlo Garoni,
Mariarosa Mazza,
Stefano Serra-Capizzano,
Debora Sesana
Abstract:
This note is devoted to preconditioning strategies for non-Hermitian multilevel block Toeplitz linear systems associated with a multivariate Lebesgue integrable matrix-valued symbol. In particular, we consider special preconditioned matrices, where the preconditioner has a band multilevel block Toeplitz structure, and we complement known results on the localization of the spectrum with global dist…
▽ More
This note is devoted to preconditioning strategies for non-Hermitian multilevel block Toeplitz linear systems associated with a multivariate Lebesgue integrable matrix-valued symbol. In particular, we consider special preconditioned matrices, where the preconditioner has a band multilevel block Toeplitz structure, and we complement known results on the localization of the spectrum with global distribution results for the eigenvalues of the preconditioned matrices. In this respect, our main result is as follows. Let $I_k:=(-π,π)^k$, let $\mathcal M_s$ be the linear space of complex $s\times s$ matrices, and let $f,g:I_k\to\mathcal M_s$ be functions whose components $f_{ij},\,g_{ij}:I_k\to\mathbb C,\ i,j=1,\ldots,s,$ belong to $L^\infty$. Consider the matrices $T_n^{-1}(g)T_n(f)$, where $n:=(n_1,\ldots,n_k)$ varies in $\mathbb N^k$ and $T_n(f),T_n(g)$ are the multilevel block Toeplitz matrices of size $n_1\cdots n_ks$ generated by $f,g$. Then $\{T_n^{-1}(g)T_n(f)\}_{n\in\mathbb N^k}\sim_λg^{-1}f$, i.e. the family of matrices $\{T_n^{-1}(g)T_n(f)\}_{n\in\mathbb N^k}$ has a global (asymptotic) spectral distribution described by the function $g^{-1}f$, provided $g$ possesses certain properties (which ensure in particular the invertibility of $T_n^{-1}(g)$ for all $n$) and the following topological conditions are met: the essential range of $g^{-1}f$, defined as the union of the essential ranges of the eigenvalue functions $λ_j(g^{-1}f),\ j=1,\ldots,s$, does not disconnect the complex plane and has empty interior. This result generalizes the one obtained by Donatelli, Neytcheva, Serra-Capizzano in a previous work, concerning the non-preconditioned case $g=1$. The last part of this note is devoted to numerical experiments, which confirm the theoretical analysis and suggest the choice of optimal GMRES preconditioning techniques to be used for the considered linear systems.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.