arXiv Science⌕ Search

arXiv subjects

Stefano Pozza

Publications and source records attributed to Stefano Pozza.

15 recordsLinked to original sources
arXiv2026

Computing the action of a matrix exponential on an interval via the $\star$-product approach

We present a new method for computing the action of the matrix exponential on a vector, \( e^{At}v \). The proposed approach efficiently evaluates the solution for all \( t \) within a prescribed bounded interval by expanding it into an orthogonal polynomial series. This method is derived from a new representation of the matrix exponential in the so-called \(\star\)-algebra, an algebra of bivariate distributions. The resulting formulation leads to a linear system equivalent to a matrix equation of Stein type, which can be solved by either direct or Krylov subspace methods. Numerical experiments demonstrate the accuracy and efficiency of the proposed approach in comparison to state-of-the-art techniques.

math.NA↗
arXiv2025

A $\star$-Product Approach for Analytical and Numerical Solutions of Nonautonomous Linear Fractional Differential Equations

This article presents a novel solution method for nonautonomous linear ordinary fractional differential equations. The approach is based on reformulating the analytical solution using the $\star$-product, a generalization of the Volterra convolution, followed by an appropriate discretization of the resulting expression. Additionally, we demonstrate that, in certain cases, the $\star$-formalism enables the derivation of closed-form solutions, further highlighting the utility of this framework.

math.NA↗
arXiv2024

Best polynomial approximation for non-autonomous linear ODEs in the $\star$-product framework

We present the first formulation of the optimal polynomial approximation of the solution of linear non-autonomous systems of ODEs in the framework of the so-called $\star$-product. This product is the basis of new approaches for the solution of such ODEs, both in the analytical and the numerical sense. The paper shows how to formally state the problem and derives upper bounds for its error.

math.CA↗
arXiv2023

A new fast numerical method for the generalized Rosen-Zener model

In quantum mechanics, the Rosen-Zener model represents a two-level quantum system. Its generalization to multiple degenerate sets of states leads to larger non-autonomous linear system of ordinary differential equations (ODEs). We propose a new method for computing the solution operator of this system of ODEs. This new method is based on a recently introduced expression of the solution in terms of an infinite matrix equation, which can be efficiently approximated by combining truncation, fixed point iterations, and low-rank approximation. This expression is possible thanks to the so-called $\star$-product approach for linear ODEs. In the numerical experiments, the new method's computing time scales linearly with the model's size. We provide a first partial explanation of this linear behavior.

math.NA↗
arXiv2023

A new Legendre polynomial-based approach for non-autonomous linear ODEs

We introduce a new method with spectral accuracy to solve linear non-autonomous ordinary differential equations (ODEs) of the kind $ \frac{d}{dt}\tilde{u}(t) = \tilde{f}(t) \tilde{u}(t)$, $\tilde{u}(-1)=1$, with $\tilde{f}(t)$ an analytic function. The method is based on a new expression for the solution $\tilde{u}(t)$ given in terms of a convolution-like operation, the $\star$-product. This expression is represented in a finite Legendre polynomial basis translating the initial problem into a matrix problem. An efficient procedure is proposed to approximate the Legendre coefficients of $\tilde{u}(t)$ and its truncation error is analyzed. We show the effectiveness of the proposed procedure through some numerical experiments. The method can be easily generalized to solve systems of linear ODEs.

math.NA↗
arXiv2022

A new matrix equation expression for the solution of non-autonomous linear systems of ODEs

The solution of systems of non-autonomous linear ordinary differential equations is crucial in a variety of applications, such us nuclear magnetic resonance spectroscopy. A new method with spectral accuracy has been recently introduced in the scalar case. The method is based on a product that generalizes the convolution. In this work, we show that it is possible to extend the method to solve systems of non-autonomous linear ordinary differential equations (ODEs). In this new approach, the ODE solution can be expressed through a linear system that can be equivalently rewritten as a matrix equation. Numerical examples illustrate the method's efficacy and the low-rank property of the matrix equation solution.

math.NA↗
arXiv2022

A $\star$-product solver with spectral accuracy for non-autonomous ordinary differential equations

A new method for solving non-autonomous ordinary differential equations is proposed, the method achieves spectral accuracy. It is based on a new result which expresses the solution of such ODEs as an element in the so called $\star$-algebra. This algebra is equipped with a product, the $\star$-product, which is the integral over the usual product of two bivariate distributions. Expanding the bivariate distributions in bases of Legendre polynomials leads to a discretization of the $\star$-product and this allows for the solution to be approximated by a vector that is obtained by solving a linear system of equations. The effectiveness of this approach is illustrated with numerical experiments.

math.NA↗
arXiv2022

The *-product approach for linear ODEs: a numerical study of the scalar case

Solving systems of non-autonomous ordinary differential equations (ODE) is a crucial and often challenging problem. Recently a new approach was introduced based on a generalization of the Volterra composition. In this work, we explain the main ideas at the core of this approach in the simpler setting of a scalar ODE. Understanding the scalar case is fundamental since the method can be easily extended to the more challenging problem of systems of ODEs. Numerical examples illustrate the method's efficacy and its properties in the scalar case.

math.NA↗
arXiv2021

The Short-term Rational Lanczos Method and Applications

Rational Krylov subspaces have become a reference tool in dimension reduction procedures for several application problems. When data matrices are symmetric, a short-term recurrence can be used to generate an associated orthonormal basis. In the past this procedure was abandoned because it requires twice the number of linear system solves per iteration compared with the classical long-term method. We propose an implementation that allows one to obtain the rational subspace reduced matrices at lower overall computational costs than proposed in the literature by also conveniently combining the two system solves. Several applications are discussed where the short-term recurrence feature can be exploited to avoid storing the whole orthonormal basis. We illustrate the advantages of the proposed procedure with several examples.

math.NA↗
arXiv2019

Lanczos-like algorithm for the time-ordered exponential: The $\ast$-inverse problem

The time-ordered exponential of a time-dependent matrix $\mathsf{A}(t)$ is defined as the function of $\mathsf{A}(t)$ that solves the first-order system of coupled linear differential equations with non-constant coefficients encoded in $\mathsf{A}(t)$. The authors recently proposed the first Lanczos-like algorithm capable of evaluating this function. This algorithm relies on inverses of time-dependent functions with respect to a non-commutative convolution-like product, denoted $\ast$. Yet, the existence of such inverses, crucial to avoid algorithmic breakdowns, still needed to be proved. Here we constructively prove that $\ast$-inverses exist for all non-identically null, smooth, separable functions of two variables. As a corollary, we partially solve the Green's function inverse problem which, given a distribution $G$, asks for the differential operator whose fundamental solution is $G$. Our results are abundantly illustrated by examples.

math.NA↗
arXiv2019

A Lanczos-like method for non-autonomous linear ordinary differential equations

The time-ordered exponential is defined as the function that solves a system of coupled first-order linear differential equations with generally non-constant coefficients. In spite of being at the heart of much system dynamics, control theory, and model reduction problems, the time-ordered exponential function remains elusively difficult to evaluate. The *-Lanczos algorithm is a (symbolic) algorithm capable of evaluating it by producing a tridiagonalization of the original differential system. In this paper, we explain how the *-Lanczos algorithm is built from a generalization of Krylov subspaces, and we prove crucial properties, such as the matching moment property. A strategy for its numerical implementation is also outlined and will be subject of future investigation.

math.NA↗
arXiv2019

The Gauss quadrature for general linear functionals, Lanczos algorithm, and minimal partial realization

The concept of Gauss quadrature can be generalized to approximate linear functionals with complex moments. Following the existing literature, this survey will revisit such generalization. It is well known that the (classical) Gauss quadrature for positive definite linear functionals is connected with orthogonal polynomials, and with the (Hermitian) Lanczos algorithm. Analogously, the Gauss quadrature for linear functionals is connected with formal orthogonal polynomials, and with the non-Hermitian Lanczos algorithm with look-ahead strategy; moreover, it is related to the minimal partial realization problem. We will review these connections pointing out the relationships between several results established independently in related contexts. Original proofs of the Mismatch Theorem and of the Matching Moment Property are given by using the properties of formal orthogonal polynomials and the Gauss quadrature for linear functionals.

math.NA↗
arXiv2017

On the stability of network indices defined by means of matrix functions

Identifying important components in a network is one of the major goals of network analysis. Popular and effective measures of importance of a node or a set of nodes are defined in terms of suitable entries of functions of matrices $f(A)$. These kinds of measures are particularly relevant as they are able to capture the global structure of connections involving a node. However, computing the entries of $f(A)$ requires a significant computational effort. In this work we address the problem of estimating the changes in the entries of $f(A)$ with respect to changes in the edge structure. Intuition suggests that, if the topology of connections in the new graph $\tilde G$ is not significantly distorted, relevant components in $G$ maintain their leading role in $\tilde G$. We propose several bounds giving mathematical reasoning to such intuition and showing, in particular, that the magnitude of the variation of the entry $f(A)_{k\ell}$ decays exponentially with the shortest-path distance in $G$ that separates either $k$ or $\ell$ from the set of nodes touched by the edges that are perturbed. Moreover, we propose a simple method that exploits the computation of $f(A)$ to simultaneously compute the all-pairs shortest-path distances of $G$, with essentially no additional cost. As the nodes whose edge connection tends to change more often or tends to be more often affected by noise have marginal role in the graph and are distant from the most central nodes, the proposed bounds are particularly relevant.

math.NA↗
arXiv2016

Inexact Arnoldi residual estimates and decay properties for functions of non-Hermitian matrices

We derive a priori residual-type bounds for the Arnoldi approximation of a matrix function and a strategy for setting the iteration accuracies in the inexact Arnoldi approximation of matrix functions. Such results are based on the decay behavior of the entries of functions of banded matrices. Specifically, we will use a priori decay bounds for the entries of functions of banded non-Hermitian matrices by using Faber polynomial series. Numerical experiments illustrate the quality of the results.

math.NA↗