arXiv subjects

Mariarosa Mazza

Publications and source records attributed to Mariarosa Mazza.

16 recordsLinked to original sources

arXiv2026

Spectral and computational aspects of a regularized fractional Laplacian for non-local diffusion on graphs

The fractional Laplacian has been widely used to model non-local diffusion on graphs, allowing interactions that extend beyond immediate neighbors. However, it suffers from a structural inconsistency as it breaks compatibility with the topology of the original network. To address this issue, a combination of the standard and fractional Laplacians aimed at restoring compatibility while retaining the spectral richness of the fractional operator was recently proposed. In this work, we provide a thorough analysis of the diffusion properties of the resulting regularized operator. We prove that it yields superdiffusive behavior independently of whether the underlying graph is weighted or unweighted -a property not generally satisfied by other nonlocal Laplacian variants. An efficient construction of the regularized operator which preserves the same asymptotic computational cost of the fractional Laplacian is also given. Our numerical experiments demonstrate the effectiveness and computational practicality of the regularized operator for modeling non-local diffusion on real-life networks.

math.NA↗

arXiv2026

Low-Rank Solvers for Energy-Conserving Hamiltonian Boundary Value Methods

We study energy-conserving Hamiltonian Boundary Value Methods (HBVMs) for Hamiltonian systems, which arise in applications where long-term preservation of energy and symplecticity is essential. HBVMs are multi-stage schemes whose stage equations reformulate as matrix equations with a low-rank right-hand side. For linear systems, we exploit this structure directly via Krylov projection solvers. For nonlinear systems, we leverage it within simplified Newton iterations and as a preconditioner in a Newton--Krylov framework, combined with adaptive time-stepping for robust convergence. Numerical experiments on semi-discretized wave equations demonstrate the efficiency and robustness of the proposed approach.

math.NA↗

arXiv2025

Stage-Parallel Implicit Runge--Kutta methods via low-rank matrix equation corrections

Implicit Runge--Kutta (IRK) methods are highly effective for solving stiff ordinary differential equations (ODEs) but can be computationally expensive for large-scale problems due to the need of solving coupled algebraic equations at each step. This study improves IRK efficiency by leveraging parallelism to decouple stage computations and reduce communication overhead, specifically we stably decouple a perturbed version of the stage system of equations and recover the exact solution by solving a Sylvester matrix equation with an explicitly known low-rank right-hand side. Two IRK families -- symmetric methods and collocation methods -- are analyzed, with extensions to nonlinear problems using a simplified Newton method. Implementation details, shared memory parallel code, and numerical examples, particularly for ODEs from spatially discretized PDEs, demonstrate the efficiency of the proposed IRK technique.

math.NA↗

arXiv2024

A note on the convergence of multigrid methods for the Riesz-space equation and an application to image deblurring

In the past decades, a remarkable amount of research has been carried out regarding fast solvers for large linear systems resulting from various discretizations of fractional differential equations (FDEs). In the current work, we focus on multigrid methods for a Riesz-space FDE whose theoretical convergence analysis of such multigrids is currently limited to the two-grid method. Here we provide a detailed theoretical convergence study in the case of V-cycle and W-cycle. Moreover, we discuss its use combined with a band approximation and we compare the result with both $τ$ and circulant preconditionings. The numerical tests include 2D problems as well as the extension to the case of a Riesz-FDE with variable coefficients. Finally, we apply the best-performing method to an image deblurring problem with Tikhonov regularization.

math.NA↗

arXiv2023

Equatorial Lensing in the Balasin-Grumiller Galaxy Model

The Balasin-Grumiller model has been the first model employed as an attempt towards providing a fully general relativistic description of the dynamics of a disc galaxy. In this paper, we compute the equatorial gravitational lensing observables of the model. Indeed, our purpose is to investigate the role that gravitational lensing plays as an observable in distinguishing between the state-of-the-art galaxy models and the fully general relativistic ones, with the latter stressing the role of frame-dragging and hence conceivably pointing to a possible re-weighting of the dark matter content of disc galaxies. We obtain for the Balasin-Grumiller model the exact formula for the bending angle of light and we provide a corresponding estimate for the time delay between images in the equatorial plane. For a reasonable choice for the values of the parameters of the solution (bulge and scale radiuses, and average rotational star speeds), the values that we obtain for the bending angle are in agreement with those observed for typical disc galaxies. On the other hand, the calculated time delay, which is directly tied to the frame-dragging generated by the angular momentum of the galaxy, turns out to be some orders of magnitude larger than the ones measured for the class of galaxies that the Balasin-Grumiller model would claim to describe. We believe this abnormal discrepancy to be due to the very nature of the Balasin-Grumiller model. Namely, it being rigidly rotating, hence providing an unphysical amount of frame-dragging. Therefore, we conclude that, in spite of its simplicity and its unquestionable didactical value, the Balasin-Grumiller model is far too crude to provide an instrument for a reliable general relativistic description of a disc galaxy and that further work in the fully general relativistic modelling of galaxies is required to reach a satisfactory stage.

gr-qc↗

arXiv2022

Multigrid for two-sided fractional differential equations discretized by finite volume elements on graded meshes

It is known that the solution of a conservative steady-state two-sided fractional diffusion problem can exhibit singularities near the boundaries. As consequence of this, and due to the conservative nature of the problem, we adopt a finite volume elements discretization approach over a generic non-uniform mesh. We focus on grids mapped by a smooth function which consist in a combination of a graded mesh near the singularity and a uniform mesh where the solution is smooth. Such a choice gives rise to Toeplitz-like discretization matrices and thus allows a low computational cost of the matrix-vector product and a detailed spectral analysis. The obtained spectral information is used to develop an ad-hoc parameter free multigrid preconditioner for GMRES, which is numerically shown to yield good convergence results in presence of graded meshes mapped by power functions that accumulate points near the singularity. The approximation order of the considered graded meshes is numerically compared with the one of a certain composite mesh given in literature that still leads to Toeplitz-like linear systems and is then still well-suited for our multigrid method. Several numerical tests confirm that power graded meshes result in lower approximation errors than composite ones and that our solver has a wide range of applicability.

math.NA↗

arXiv2022

A ghost-point smoothing strategy for geometric multigrid on curved boundaries

We present a Boundary Local Fourier Analysis (BLFA) to optimize the relaxation parameters of boundary conditions in a multigrid framework. The method is implemented to solve elliptic equations on curved domains embedded in a uniform Cartesian mesh, although it is designed to be extended for general PDEs in curved domains, wherever a multigrid technique can be implemented. The boundary is implicitly defined by a level-set function and a ghost-point technique is employed to treat the boundary conditions. Existing strategies in literature adopt a constant relaxation parameter on the whole boundary. In this paper, the relaxation parameters are optimized in terms of the distance between ghost points and boundary, with the goal of smoothing the residual along the tangential direction. Theoretical results are confirmed by several numerical tests in 1D, 2D and 3D, showing that the convergence factor associated with the smoothing on internal equations is not degraded by boundary effects.

math.NA↗

arXiv2022

Rectangular GLT Sequences

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 developing 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.

math.NA↗

arXiv2021

Compatibility, embedding and regularization of non-local random walks on graphs

Several variants of the graph Laplacian have been introduced to model non-local diffusion processes, which allow a random walker to {\textquotedblleft jump\textquotedblright} to non-neighborhood nodes, most notably the transformed path graph Laplacians and the fractional graph Laplacian. From a rigorous point of view, this new dynamics is made possible by having replaced the original graph $G$ with a weighted complete graph $G'$ on the same node-set, that depends on $G$ and wherein the presence of new edges allows a direct passage between nodes that were not neighbors in $G$. We show that, in general, the graph $G'$ is not compatible with the dynamics characterizing the original model graph $G$: the random walks on $G'$ subjected to move on the edges of $G$ are not stochastically equivalent, in the wide sense, to the random walks on $G$. From a purely analytical point of view, the incompatibility of $G'$ with $G$ means that the normalized graph $\hat{G}$ can not be embedded into the normalized graph $\hat{G}'$. Eventually, we provide a regularization method to guarantee such compatibility and preserving at the same time all the nice properties granted by $G'$.

math.NA↗

arXiv2021

On the matrices in B-spline collocation methods for Riesz fractional equations and their spectral properties

In this work, we focus on a fractional differential equation in Riesz form discretized by a polynomial B-spline collocation method. For an arbitrary polynomial degree $p$, we show that the resulting coefficient matrices possess a Toeplitz-like structure. We investigate their spectral properties via their symbol and we prove that, like for second order differential problems, also in this case the given matrices are ill-conditioned both in the low and high frequencies for large $p$. More precisely, in the fractional scenario the symbol has a single zero at $0$ of order $α$, with $α$ the fractional derivative order that ranges from $1$ to $2$, and it presents an exponential decay to zero at $π$ for increasing $p$ that becomes faster as $α$ approaches $1$. This translates in a mitigated conditioning in the low frequencies and in a deterioration in the high frequencies when compared to second order problems. Furthermore, the derivation of the symbol reveals another similarity of our problem with a classical diffusion problem. Since the entries of the coefficient matrices are defined as evaluations of fractional derivatives of the B-spline basis at the collocation points, we are able to express the central entries of the coefficient matrix as inner products of two fractional derivatives of cardinal B-splines. Finally, we perform a numerical study of the approximation behavior of polynomial B-spline collocation. This study suggests that, in line with non-fractional diffusion problems, the approximation order for smooth solutions in the fractional case is $p+2-α$ for even $p$, and $p+1-α$ for odd $p$.

math.NA↗

arXiv2021

A matrix-theoretic spectral analysis of incompressible Navier-Stokes staggered DG approximation and related solvers

The incompressible Navier-Stokes equations are solved in a channel, using a Discontinuous Galerkin method over staggered grids. The resulting linear systems are studied both in terms of the structure and in terms of the spectral features of the related coefficient matrices. In fact, the resulting matrices are of block type, each block showing Toeplitz-like, band, and tensor structure at the same time. Using this rich matrix-theoretic information and the Toeplitz, Generalized Locally Toeplitz technology, a quite complete spectral analysis is presented, with the target of designing and analyzing fast iterative solvers for the associated large linear systems. Quite promising numerical results are presented, commented, and critically discussed for elongated two- and three-dimensional geometries.

math.NA↗

arXiv2019

Fast solvers for two-dimensional fractional diffusion equations using rank structured matrices

We consider the discretization of time-space diffusion equations with fractional derivatives in space and either 1D or 2D spatial domains. The use of implicit Euler scheme in time and finite differences or finite elements in space, leads to a sequence of dense large scale linear systems describing the behavior of the solution over a time interval. We prove that the coefficient matrices arising in the 1D context are rank structured and can be efficiently represented using hierarchical formats ($\mathcal H$-matrices, HODLR). Quantitative estimates for the rank of the off-diagonal blocks of these matrices are presented. We analyze the use of HODLR arithmetic for solving the 1D case and we compare this strategy with existing methods that exploit the Toeplitz-like structure to precondition the GMRES iteration. The numerical tests demonstrate the convenience of the HODLR format when at least a reasonably low number of time steps is needed. Finally, we explain how these properties can be leveraged to design fast solvers for problems with 2D spatial domains that can be reformulated as matrix equations. The experiments show that the approach based on the use of rank-structured arithmetic is particularly effective and outperforms current state of the art techniques.

math.NA↗

arXiv2018

Isogeometric analysis for 2D and 3D curl-div problems: Spectral symbols and fast iterative solvers

Alfvén-like operators are of interest in magnetohydrodynamics, which is used in plasma physics to study the macroscopic behavior of plasma. Motivated by this important and complex application, we focus on a parameter-dependent curl-div problem that can be seen as a prototype of an Alfvén-like operator, and we discretize it using isogeometric analysis based on tensor-product B-splines. The involved coefficient matrices can be very ill-conditioned, so that standard numerical solution methods perform quite poorly here. In order to overcome the difficulties caused by such ill-conditioning, a two-step strategy is proposed. First, we conduct a detailed spectral study of the coefficient matrices, highlighting the critical dependence on the different physical and approximation parameters. Second, we exploit such spectral information to design fast iterative solvers for the corresponding linear systems. For the first goal we apply the theory of (multilevel block) Toeplitz and generalized locally Toeplitz sequences, while for the second we use a combination of multigrid techniques and preconditioned Krylov solvers. Several numerical tests are provided both for the study of the spectral problem and for the solution of the corresponding linear systems.

math.NA↗

arXiv2017

Spectral analysis and multigrid preconditioners for two-dimensional space-fractional diffusion equations

Fractional diffusion equations (FDEs) are a mathematical tool used for describing some special diffusion phenomena arising in many different applications like porous media and computational finance. In this paper, we focus on a two-dimensional space-FDE problem discretized by means of a second order finite difference scheme obtained as combination of the Crank-Nicolson scheme and the so-called weighted and shifted Grünwald formula. By fully exploiting the Toeplitz-like structure of the resulting linear system, we provide a detailed spectral analysis of the coefficient matrix at each time step, both in the case of constant and variable diffusion coefficients. Such a spectral analysis has a very crucial role, since it can be used for designing fast and robust iterative solvers. In particular, we employ the obtained spectral information to define a Galerkin multigrid method based on the classical linear interpolation as grid transfer operator and damped-Jacobi as smoother, and to prove the linear convergence rate of the corresponding two-grid method. The theoretical analysis suggests that the proposed grid transfer operator is strong enough for working also with the V-cycle method and the geometric multigrid. On this basis, we introduce two computationally favourable variants of the proposed multigrid method and we use them as preconditioners for Krylov methods. Several numerical results confirm that the resulting preconditioning strategies still keep a linear convergence rate.

math.NA↗

arXiv2014

On the constrained mock-Chebyshev least-squares

The algebraic polynomial interpolation on uniformly distributed nodes is affected by the Runge phenomenon, also when the function to be interpolated is analytic. Among all techniques that have been proposed to defeat this phenomenon, there is the mock-Chebyshev interpolation which is an interpolation made on a subset of the given nodes whose elements mimic as well as possible the Chebyshev-Lobatto points. In this work we use the simultaneous approximation theory to combine the previous technique with a polynomial regression in order to increase the accuracy of the approximation of a given analytic function. We give indications on how to select the degree of the simultaneous regression in order to obtain polynomial approximant good in the uniform norm and provide a sufficient condition to improve, in that norm, the accuracy of the mock-Chebyshev interpolation with a simultaneous regression. Numerical results are provided.

math.NA↗

arXiv2014

Spectral behavior of preconditioned non-Hermitian multilevel block Toeplitz matrices with matrix-valued symbol

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.

math.NA↗