-
Block structured matrix-sequences and their spectral and singular value canonical distributions: a general theory
Authors:
Isabella Furci,
Andrea Adriani,
Stefano Serra-Capizzano
Abstract:
In recent years more and more involved block structures appeared in the literature in the context of numerical approximations of complex infinite dimensional operators modeling real-world applications. In various settings, thanks the theory of generalized locally Toeplitz matrix-sequences, the asymptotic distributional analysis is well understood, but a general theory is missing when general block…
▽ More
In recent years more and more involved block structures appeared in the literature in the context of numerical approximations of complex infinite dimensional operators modeling real-world applications. In various settings, thanks the theory of generalized locally Toeplitz matrix-sequences, the asymptotic distributional analysis is well understood, but a general theory is missing when general block structures are involved. The central part of the current work deals with such a delicate generalization when blocks are of (block) unilevel Toeplitz type, starting from a problem of recovery with missing data. Visualizations, numerical tests, and few open problems are presented and critically discussed.
△ Less
Submitted 4 February, 2025; v1 submitted 10 September, 2024;
originally announced September 2024.
-
Can the a.c.s. notion and the GLT theory handle approximated PDEs/FDEs with either moving or unbounded domains?
Authors:
Andrea Adriani,
Alec Jacopo Almo Schiavoni-Piazza,
Stefano Serra-Capizzano,
Cristina Tablino-Possio
Abstract:
In the current note we consider matrix-sequences $\{B_{n,t}\}_n$ of increasing sizes depending on $n$ and equipped with a parameter $t>0$. For every fixed $t>0$, we assume that each $\{B_{n,t}\}_n$ possesses a canonical spectral/singular values symbol $f_t$ defined on $D_t\subset \R^{d}$ of finite measure, $d\ge 1$. Furthermore, we assume that $ \{ \{ B_{n,t}\} : \, t > 0 \} $ is an approximating…
▽ More
In the current note we consider matrix-sequences $\{B_{n,t}\}_n$ of increasing sizes depending on $n$ and equipped with a parameter $t>0$. For every fixed $t>0$, we assume that each $\{B_{n,t}\}_n$ possesses a canonical spectral/singular values symbol $f_t$ defined on $D_t\subset \R^{d}$ of finite measure, $d\ge 1$. Furthermore, we assume that $ \{ \{ B_{n,t}\} : \, t > 0 \} $ is an approximating class of sequences (a.c.s.) for $ \{ A_n \} $ and that $ \bigcup_{t > 0} D_t = D $ with $ D_{t + 1} \supset D_t $. Under such assumptions and via the notion of a.c.s, we prove results on the canonical distributions of $ \{ A_n \} $, whose symbol, when it exists, can be defined on the, possibly unbounded, domain $D$ of finite or even infinite measure.
We then extend the concept of a.c.s. to the case where the approximating sequence $ \{ B_{n,t}\}_n $ has possibly a different dimension than the one of $ \{ A_n\} $. This concept seems to be particularly natural when dealing, e.g., with the approximation both of a partial differential equation (PDE) and of its (possibly unbounded, or moving) domain $D$, using an exhausting sequence of domains $\{ D_t \}$.
Examples coming from approximated PDEs/FDEs with either moving or unbounded domains are presented in connection with the classical and the new notion of a.c.s., while numerical tests and a list of open questions conclude the present work.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Asymptotic spectral properties and preconditioning of an approximated nonlocal Helmholtz equation with Caputo fractional Laplacian and variable coefficient wave number $μ$
Authors:
Andrea Adriani,
Rosita Luisa Sormani,
Cristina Tablino-Possio,
Rolf Krause,
Stefano Serra-Capizzano
Abstract:
The current study investigates the asymptotic spectral properties of a finite difference approximation of nonlocal Helmholtz equations with a Caputo fractional Laplacian and a variable coefficient wave number $μ$, as it occurs when considering a wave propagation in complex media, characterized by nonlocal interactions and spatially varying wave speeds. More specifically, by using tools from Toepli…
▽ More
The current study investigates the asymptotic spectral properties of a finite difference approximation of nonlocal Helmholtz equations with a Caputo fractional Laplacian and a variable coefficient wave number $μ$, as it occurs when considering a wave propagation in complex media, characterized by nonlocal interactions and spatially varying wave speeds. More specifically, by using tools from Toeplitz and generalized locally Toeplitz theory, the present research delves into the spectral analysis of nonpreconditioned and preconditioned matrix-sequences. We report numerical evidences supporting the theoretical findings. Finally, open problems and potential extensions in various directions are presented and briefly discussed.
△ Less
Submitted 22 July, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
The $ L^1 $-Liouville property on graphs
Authors:
Andrea Adriani,
Alberto G. Setti
Abstract:
In this paper we investigate the $ L^1 $-Liouville property, underlining its connection with stochastic completeness and other structural features of the graph. We give a characterization of the $ L^1 $-Liouville property in terms of the Green function of the graph and use it to prove its equivalence with stochastic completeness on model graphs. Moreover, we show that there exist stochastically in…
▽ More
In this paper we investigate the $ L^1 $-Liouville property, underlining its connection with stochastic completeness and other structural features of the graph. We give a characterization of the $ L^1 $-Liouville property in terms of the Green function of the graph and use it to prove its equivalence with stochastic completeness on model graphs. Moreover, we show that there exist stochastically incomplete graphs which satisfy the $ L^1 $-Liouville property and prove some comparison theorems for general graphs based on inner-outer curvatures. We also introduce the Dirichlet $L^1$-Liouville property of subgraphs and prove that if a graph has a Dirichlet $L^1$-Liouville subgraph, then it is $L^1$-Liouville itself. As a consequence, we obtain that the $ L^1$-Liouville property is not affected by a finite perturbation of the graph and, just as in the continuous setting, a graph is $ L^1$-Liouville provided that at least one of its ends is Dirichlet $ L^1$-Liouville.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Asymptotic spectra of large (grid) graphs with a uniform local structure (part II): numerical applications
Authors:
Andrea Adriani,
Davide Bianchi,
Paola Ferrari,
Stefano Serra-Capizzano
Abstract:
In the current work we are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical…
▽ More
In the current work we are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical eigenvalue distribution, in the Weyl sense, and it has been shown in the theoretical part of this work that we can associate to it a symbol $\boldsymbol{\mathfrak{f}}$. The knowledge of the symbol and of its basic analytical features provides key information on the eigenvalue structure in terms of localization, spectral gap, clustering, and global distribution. In the present paper, many different applications are discussed and various numerical examples are presented in order to underline the practical use of the developed theory. Tests and applications are mainly obtained from the approximation of differential operators via numerical schemes such as Finite Differences (FDs), Finite Elements (FEs), and Isogeometric Analysis (IgA). Moreover, we show that more applications can be taken into account, since the results presented here can be applied as well to study the spectral properties of adjacency matrices and Laplacian operators of general large graphs and networks, whenever the involved matrices enjoy a uniform local structure.
△ Less
Submitted 27 November, 2021;
originally announced November 2021.
-
Inner-Outer Curvatures, Ricci-Ollivier Curvature and Volume Growth of Graphs
Authors:
Andrea Adriani,
Alberto G. Setti
Abstract:
We are concerned with the study of different notions of curvature on graphs. We show that if a graph has stronger inner-outer curvature growth than a model graph, then it has faster volume growth too. We also study the relationhips of volume growth with other kind of curvatures, such as the Ollivier-Ricci curvature.
We are concerned with the study of different notions of curvature on graphs. We show that if a graph has stronger inner-outer curvature growth than a model graph, then it has faster volume growth too. We also study the relationhips of volume growth with other kind of curvatures, such as the Ollivier-Ricci curvature.
△ Less
Submitted 27 September, 2020;
originally announced September 2020.
-
Asymptotic spectra of large (grid) graphs with a uniform local structure
Authors:
Andrea Adriani,
Davide Bianchi,
Stefano Serra-Capizzano
Abstract:
We are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. We assume $Ω$ to be Lebesgue measurable with regular boundary and contained, for convenience, in the cube $[0,1]^d$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toe…
▽ More
We are concerned with sequences of graphs having a grid geometry, with a uniform local structure in a bounded domain $Ω\subset {\mathbb R}^d$, $d\ge 1$. We assume $Ω$ to be Lebesgue measurable with regular boundary and contained, for convenience, in the cube $[0,1]^d$. When $Ω=[0,1]$, such graphs include the standard Toeplitz graphs and, for $Ω=[0,1]^d$, the considered class includes $d$-level Toeplitz graphs. In the general case, the underlying sequence of adjacency matrices has a canonical eigenvalue distribution, in the Weyl sense, and we show that we can associate to it a symbol $f$. The knowledge of the symbol and of its basic analytical features provide many informations on the eigenvalue structure, of localization, spectral gap, clustering, and distribution type. Few generalizations are also considered in connection with the notion of generalized locally Toeplitz sequences and applications are discussed, stemming e.g. from the approximation of differential operators via numerical schemes.
△ Less
Submitted 2 February, 2020;
originally announced February 2020.
