arXiv subjects

Beatrice Meini

Publications and source records attributed to Beatrice Meini.

At least 19 recordsLinked to original sources

arXiv2026

Component-wise accurate fixed point iterations for computing the square root of a singular M-matrix

We analyze two fixed-point iterations for computing the principal square root of an M-matrix $A$. Although these iterations, with customary initialization, converge sublinearly when $A$ is a singular M-matrix, we show that, under suitable mild conditions on the initial approximation, the convergence is linear. Moreover, we provide component-wise accurate versions of these iterations, which allow us to approximate the principal square root with a component-wise relative error uniformly bounded by a small multiple of the machine precision. Numerical experiments demonstrating the effectiveness of the proposed algorithms for certain classes of problems are presented.

math.NA↗

arXiv2026

Steering dynamic network centrality via control theory

Time-evolving networks, or temporal networks, play a crucial role in modeling dynamic interactions across various domains, including biology, social sciences, and information technology. Unlike static networks, these systems undergo continuous changes in topology and edge weights, influencing processes such as information flow, transportation efficiency, and neural activity. Understanding and controlling these networks are essential for predicting future behavior and optimizing dynamic processes. This work focuses on the problem of dynamic centrality, a measure of node importance in time-dependent networks. Specifically, we address how to steer network centrality to a desired state by making minimal modifications to the network structure. This problem is formulated as an optimal control problem for an ordinary differential equation, either matrix- or vector-based, where the control acts on network edges. The proposed framework generalizes centrality control problems studied in static networks and leverages the Pontryagin Maximum Principle for efficient solutions. For large-scale problems, the required matrix-function actions are approximated by Krylov-type techniques, avoiding the explicit formation of dense matrix functions. Numerical experiments on synthetic and real temporal networks show that the proposed framework can effectively steer receive centrality under prescribed control constraints.

math.NA↗

arXiv2026

Nearest Reversible Markov Chains with Sparsity Constraints: An Optimization Approach

Reversibility is a key property of Markov chains, central to algorithms such as Metropolis-Hastings and other MCMC methods. Yet many applications yield non-reversible chains, motivating the problem of approximating them by reversible ones with minimal modification. We formulate this task as a matrix nearness problem and focus on the practically relevant case of sparse transition matrices. The resulting optimization problem is a quadratic programming problem, and numerical experiments illustrate the effectiveness of the approach. This framework provides a principled way to enforce reversibility and sparsity patterns in Markov chains with applications in MCMC, computational chemistry, and data-driven modeling.

math.NA↗

arXiv2026

Kemeny's constant minimization for reversible Markov chains via structure-preserving perturbations

Kemeny's constant measures the efficiency of a Markov chain in traversing its states. We investigate whether structure-preserving perturbations to the transition probabilities of a reversible Markov chain can improve its connectivity while maintaining a fixed stationary distribution. Although the minimum achievable value for Kemeny's constant can be estimated, the required perturbations may be infeasible. We reformulate the problem as an optimization task, focusing on solution existence and efficient algorithms, with an emphasis on the problem of minimizing Kemeny's constant under sparsity constraints.

math.NA↗

arXiv2026

Component-wise accurate computation of the square root of an M-matrix

Component-wise accurate algorithms for computing the principal square root of an M-matrix are designed in terms of triplet representations. A triplet representation of an M-matrix $A$ is the triple $(P, {\bf u},{\bf v})$, where the matrix $P$ is such that $p_{ij}=-a_{ij}$ for $i\ne j$, $p_{ii}=0$, and ${\bf u}>0$, ${\bf v}\ge 0$ are two vectors such that $A{\bf u}={\bf v}$. It is shown that if $A$ is an M-matrix representable by a triplet, then its principal square root exists and is an M-matrix represented by a triplet as well. New versions of the Cyclic Reduction and the Incremental Newton iterations are provided in terms of triplets, to compute the principal matrix square root of $A$. It is shown that these algorithms are component-wise numerically stable independently of the singularity of $A$ and of its condition number. Numerical experiments are shown to confirm the component-wise stability.

math.NA↗

arXiv2026

A Block-Shifted Cyclic Reduction Algorithm for Solving a Class of Quadratic Matrix Equations

The cyclic reduction (CR) algorithm is an efficient method for solving quadratic matrix equations that arise in quasi-birth-death (QBD) stochastic processes. However, its convergence is not guaranteed when the associated matrix polynomial has more than one eigenvalue on the unit circle. To address this limitation, we introduce a novel iteration method, referred to as the Block-Shifted CR algorithm, that improves the CR algorithm by utilizing singular value decomposition (SVD) and block shift-and-deflate techniques. This new approach extends the applicability of existing solvers to a broader class of quadratic matrix equations. Numerical experiments demonstrate the effectiveness and robustness of the proposed method.

math.NA↗

arXiv2026

A Riemannian Optimization Approach for Finding the Nearest Reversible Markov Chain

We address the algorithmic problem of determining the reversible Markov chain $\tilde X$ that is closest to a given Markov chain $X$, with an identical stationary distribution. More specifically, $\tilde X$ is the reversible Markov chain with the closest transition matrix, in the Frobenius norm, to the transition matrix of $X$. To compute the transition matrix of $\tilde X$, we propose a novel approach based on Riemannian optimization. Our method introduces a modified multinomial manifold endowed with a prescribed stationary vector, while also satisfying the detailed balance conditions, all within the framework of the Fisher metric. We evaluate the performance of the proposed approach in comparison with an existing quadratic programming method and demonstrate its effectiveness through a series of synthetic experiments, as well as in the construction of a reversible Markov chain from transition count data obtained via direct estimation from a stochastic differential equation.

math.NA↗

arXiv2026

Advances on the recovery of (perturbed) Cauchy matrices

Given a (possibly approximate) Cauchy matrix, how can we efficiently compute its generators? Expanding on previous work by Liesen and Luce [Linear Algebra Appl. 493 (2016) 261--280], we present a general family of algorithms for Cauchy parameter recovery, together with new error estimates. We also introduce a displacement-based approximation, which leads to a new algorithm for Cauchy parameter recovery. Numerical experiments show that the algorithm based on the displacement approximation is generally more accurate than the other algorithms.

math.NA↗

arXiv2025

The Derivative of Kemeny's Constant as a Centrality Measure in Undirected Graphs

Kemeny's constant quantifies a graph's connectivity by measuring the average time for a random walker to reach any other vertex. We introduce two concepts of the directional derivative of Kemeny's constant with respect to an edge and use them to define centrality measures for edges and non-edges in the graph. Additionally, we present a sensitivity measure of Kemeny's constant. An explicit expression for these quantities involving the inverse of the modified graph Laplacian is provided, which is valid even for cut-edges. These measures are connected to the one introduced in [Altafini et al., SIMAX 2023], and algorithms for their computation are included. The benefits of these measures are discussed, along with applications to road networks and link prediction analysis. For one-path graphs, an explicit expression for these measures is given in terms of the edge weights.

math.NA↗

arXiv2025

Enforcing Katz and PageRank Centrality Measures in Complex Networks

We investigate the problem of enforcing a desired centrality measure in complex networks, while still keeping the original pattern of the network. Specifically, by representing the network as a graph with suitable nodes and weighted edges, we focus on computing the smallest perturbation on the weights required to obtain a prescribed PageRank or Katz centrality index for the nodes. Our approach relies on optimization procedures that scale with the number of modified edges, enabling the exploration of different scenarios and altering network structure and dynamics.

physics.soc-ph↗

arXiv2025

Cut-edge centralities in an undirected graph

A centrality measure of the cut-edges of an undirected graph, given in [Altafini et al.~SIMAX 2023] and based on Kemeny's constant, is revisited. A numerically more stable expression is given to compute this measure, and an explicit expression is provided for some classes of graphs, including one-path graphs and trees formed by three or more branches. These results theoretically confirm the good physical behaviour of this centrality measure, experimentally observed in [Altafini et al.~SIMAX 2023]. Numerical tests are reported to check the stability and to confirm the good physical behaviour.

math.NA↗

arXiv2024

On Kemeny's constant and stochastic complement

Given a stochastic matrix $P$ partitioned in four blocks $P_{ij}$, $i,j=1,2$, Kemeny's constant $κ(P)$ is expressed in terms of Kemeny's constants of the stochastic complements $P_1=P_{11}+P_{12}(I-P_{22})^{-1}P_{21}$, and $P_2=P_{22}+P_{21}(I-P_{11})^{-1}P_{12}$. Specific cases concerning periodic Markov chains and Kronecker products of stochastic matrices are investigated. Bounds to Kemeny's constant of perturbed matrices are given. Relying on these theoretical results, a divide-and-conquer algorithm for the efficient computation of Kemeny's constant of graphs is designed. Numerical experiments performed on real-world problems show the high efficiency and reliability of this algorithm.

math.NA↗

arXiv2024

On certain matrix algebras related to quasi-Toeplitz matrices

Let $A_α$ be the semi-infinite tridiagonal matrix having subdiagonal and superdiagonal unit entries, $(A_α)_{11}=α$, where $α\in\mathbb C$, and zero elsewhere. A basis $\{P_0,P_1,P_2,\ldots\}$ of the linear space $\mathcal P_α$ spanned by the powers of $A_α$ is determined, where $P_0=I$, $P_n=T_n+H_n$, $T_n$ is the symmetric Toeplitz matrix having ones in the $n$th super- and sub-diagonal, zeros elsewhere, and $H_n$ is the Hankel matrix with first row $[θα^{n-2}, θα^{n-3}, \ldots, θ, α, 0, \ldots]$, where $θ=α^2-1$. The set $\mathcal P_α$ is an algebra, and for $α\in\{-1,0,1\}$, $H_n$ has only one nonzero anti-diagonal. This fact is exploited to provide a better representation of symmetric quasi-Toeplitz matrices $\mathcal {QT}_S$, where, instead of representing a generic matrix $A\in\mathcal{QT}_S$ as $A=T+K$, where $T$ is Toeplitz and $K$ is compact, it is represented as $A=P+H$, where $P\in\mathcal P_α$ and $H$ is compact. It is shown experimentally that the matrix arithmetic obtained this way is much more effective than that implemented in the CQT-Toolbox of Numer.~Algo. 81(2):741--769, 2019.

math.NA↗

arXiv2023

Stochastic $p$th root approximation of a stochastic matrix: A Riemannian optimization approach

We propose two approaches, based on Riemannian optimization, for computing a stochastic approximation of the $p$th root of a stochastic matrix $A$. In the first approach, the approximation is found in the Riemannian manifold of positive stochastic matrices. In the second approach, we introduce the Riemannian manifold of positive stochastic matrices sharing with $A$ the Perron eigenvector and we compute the approximation of the $p$th root of $A$ in such a manifold. This way, differently from the available methods based on constrained optimization, $A$ and its $p$th root approximation share the Perron eigenvector. Such a property is relevant, from a modelling point of view, in the embedding problem for Markov chains. The extended numerical experimentation shows that, in the first approach, the Riemannian optimization methods are generally faster and more accurate than the available methods based on constrained optimization. In the second approach, even though the stochastic approximation of the $p$th root is found in a smaller set, the approximation is generally more accurate than the one obtained by standard constrained optimization.

math.NA↗

arXiv2023

Invariant subspaces of $T$-palindromic pencils and algebraic $T$-Riccati equations

By exploiting the connection between solving algebraic $\top$-Riccati equations and computing certain deflating subspaces of $\top$-palindromic matrix pencils, we obtain theoretical and computational results on both problems. Theoretically, we introduce conditions to avoid the presence of modulus-one eigenvalues in a $\top$-palindromic matrix pencil and conditions for the existence of solutions of a $\top$-Riccati equation. Computationally, we improve the palindromic QZ algorithm with a new ordering procedure and introduce new algorithms for computing a deflating subspace of the $\top$-palindromic pencil, based on quadraticizations of the pencil or on an integral representation of the orthogonal projector on the sought deflating subspace.

math.NA↗

arXiv2022

A defect-correction algorithm for quadratic matrix equations, with applications to quasi-Toeplitz matrices

A defect correction formula for quadratic matrix equations of the kind $A_1X^2+A_0X+A_{-1}=0$ is presented. This formula, expressed by means of an invariant subspace of a suitable pencil, allows us to introduce a modification of the Structure-preserving Doubling Algorithm (SDA), that enables refining an initial approximation to the sought solution. This modification provides substantial advantages, in terms of convergence acceleration, in the solution of equations coming from stochastic models, by choosing a stochastic matrix as the initial approximation. An application to solving random walks in the quarter plane is shown, where the coefficients $A_{-1},A_0,A_1$ are quasi-Toeplitz matrices of infinite size.

math.NA↗

arXiv2022

Relaxed Fixed Point Iterations for Matrix Equations Arising in Markov Chains Modeling

We present some accelerated variants of fixed point iterations for computing the minimal non-negative solution of the unilateral matrix equation associated with an M/G/1-type Markov chain. These variants derive from certain staircase regular splittings of the block Hessenberg M-matrix associated with the Markov chain. By exploiting the staircase profile we introduce a two-step fixed point iteration. The iteration can be further accelerated by computing a weighted average between the approximations obtained at two consecutive steps. The convergence of the basic two-step fixed point iteration and of its relaxed modification is proved. Our theoretical analysis, along with several numerical experiments show that the proposed variants generally outperform the classical iterations.

math.NA↗

arXiv2021

Palindromic linearization and numerical solution of nonsymmetric algebraic T-Riccati equations

We identify a relationship between the solutions of a nonsymmetric algebraic T-Riccati equation (T-NARE) and the deflating subspaces of a palindromic matrix pencil, obtained by arranging the coefficients of the T-NARE. The interplay between T-NARE and palindromic pencils allows one to derive both theoretical properties of the solutions of the equation, and new methods for its numerical solution. In particular, we propose methods based on the (palindromic) QZ algorithm and the doubling algorithm, whose effectiveness is demonstrated by several numerical tests

math.NA↗