-
Riemann-Oracle: A general-purpose Riemannian optimizer to solve nearness problems in matrix theory
Authors:
Miryam Gnazzo,
Vanni Noferini,
Lauri Nyman,
Federico Poloni
Abstract:
We propose an extremely versatile approach to address a large family of matrix nearness problems, possibly with additional linear constraints. Our method is based on splitting a matrix nearness problem into two nested optimization problems, of which the inner one can be solved either exactly or cheaply, while the outer one can be recast as an unconstrained optimization task over a smooth real Riem…
▽ More
We propose an extremely versatile approach to address a large family of matrix nearness problems, possibly with additional linear constraints. Our method is based on splitting a matrix nearness problem into two nested optimization problems, of which the inner one can be solved either exactly or cheaply, while the outer one can be recast as an unconstrained optimization task over a smooth real Riemannian manifold. We observe that this paradigm applies to many matrix nearness problems of practical interest appearing in the literature, thus revealing that they are equivalent in this sense to a Riemannian optimization problem. We also show that the objective function to be minimized on the Riemannian manifold can be discontinuous, thus requiring regularization techniques, and we give conditions for this to happen. Finally, we demonstrate the practical applicability of our method by implementing it for a number of matrix nearness problems that are relevant for applications and are currently considered very demanding in practice. Extensive numerical experiments demonstrate that our method often greatly outperforms its predecessors, including algorithms specifically designed for those particular problems.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Invariant subspaces of $T$-palindromic pencils and algebraic $T$-Riccati equations
Authors:
Bruno Iannazzo,
Beatrice Meini,
Federico Poloni
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
A general framework for the rigorous computation of invariant densities and the coarse-fine strategy
Authors:
Stefano Galatolo,
Maurizio Monge,
Isaia Nisoli,
Federico Poloni
Abstract:
In this paper we present a general, axiomatical framework for the rigorous approximation of invariant densities and other important statistical features of dynamics. We approximate the system trough a finite element reduction, by composing the associated transfer operator with a suitable finite dimensional projection (a discretization scheme) as in the well-known Ulam method.
We introduce a gene…
▽ More
In this paper we present a general, axiomatical framework for the rigorous approximation of invariant densities and other important statistical features of dynamics. We approximate the system trough a finite element reduction, by composing the associated transfer operator with a suitable finite dimensional projection (a discretization scheme) as in the well-known Ulam method.
We introduce a general framework based on a list of properties (of the system and of the projection) that need to be verified so that we can take advantage of a so-called ``coarse-fine'' strategy. This strategy is a novel method in which we exploit information coming from a coarser approximation of the system to get useful information on a finer approximation, speeding up the computation. This coarse-fine strategy allows a precise estimation of invariant densities and also allows to estimate rigorously the speed of mixing of the system by the speed of mixing of a coarse approximation of it, which can easily be estimated by the computer.
The estimates obtained here are rigourous, i.e., they come with exact error bounds that are guaranteed to hold and take into account both the discretiazation and the approximations induced by finite-precision arithmetic.
We apply this framework to several discretization schemes and examples of invariant density computation from previous works, obtaining a remarkable reduction in computation time.
We have implemented the numerical methods described here in the Julia programming language, and released our implementation publicly as a Julia package.
△ Less
Submitted 8 January, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
-
On the use of Markov chains for epidemic modeling on networks
Authors:
Sooyeong Kim,
Jane Breen,
Ekaterina Dudkina,
Federico Poloni,
Emanuele Crisostomi
Abstract:
We discuss various models for epidemics on networks that rely on Markov chains. Random walks on graphs are often used to predict epidemic spread and to investigate possible control actions to mitigate them. In this study, we demonstrate that they do not fully reflect the dynamics of epidemics, as they overestimate infection times. Accordingly, we explain how Markov chains may still be used to accu…
▽ More
We discuss various models for epidemics on networks that rely on Markov chains. Random walks on graphs are often used to predict epidemic spread and to investigate possible control actions to mitigate them. In this study, we demonstrate that they do not fully reflect the dynamics of epidemics, as they overestimate infection times. Accordingly, we explain how Markov chains may still be used to accurately model the virus spread, and to correctly predict infection times. We also provide an algorithm that efficiently estimates infection times via a sampling strategy. Finally, we present a novel indicator based on infection times, and we compare its node ranking properties with other centrality measures based on random walks.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
An edge centrality measure based on the Kemeny constant
Authors:
D. Altafini,
D. A. Bini,
V. Cutini,
B. Meini,
F. Poloni
Abstract:
A new measure $c(e)$ of the centrality of an edge $e$ in an undirected graph $G$ is introduced. It is based on the variation of the Kemeny constant of the graph after removing the edge $e$. The new measure is designed in such a way that the Braess paradox is avoided. A numerical method for computing $c(e)$ is introduced and a regularization technique is designed in order to deal with cut-edges and…
▽ More
A new measure $c(e)$ of the centrality of an edge $e$ in an undirected graph $G$ is introduced. It is based on the variation of the Kemeny constant of the graph after removing the edge $e$. The new measure is designed in such a way that the Braess paradox is avoided. A numerical method for computing $c(e)$ is introduced and a regularization technique is designed in order to deal with cut-edges and disconnected graphs. Numerical experiments performed on synthetic tests and on real road networks show that this measure is particularly effective in revealing bottleneck roads whose removal would greatly reduce the connectivity of the network.
△ Less
Submitted 25 March, 2022; v1 submitted 12 March, 2022;
originally announced March 2022.
-
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity
Authors:
Lucia Nasti,
Roberta Gori,
Paolo Milazzo,
Federico Poloni
Abstract:
Motivation: A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be described by a set of non-linear differential equations that rarely can be solved in closed-form, but that can instead be used to reason on the system dynamics. In this context, one of the possible approaches is to perform num…
▽ More
Motivation: A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be described by a set of non-linear differential equations that rarely can be solved in closed-form, but that can instead be used to reason on the system dynamics. In this context, one of the possible approaches is to perform numerical simulations, which may require a high computational effort. In particular, in order to investigate some dynamical properties, such as robustness or global sensitivity, many simulations have to be performed by varying the initial concentration of chemical species. Results: In order to reduce the computational effort required when many simulations are needed to assess a property, we exploit a new notion of monotonicity of the output of the system (the concentration of a target chemical species at the steady-state) with respect to the input (the initial concentration of another chemical species). To assess such monotonicity behavior, we propose a new graphical approach that allows us to state sufficient conditions for ensuring that the monotonicity property holds. Our sufficient conditions allow us to efficiently verify the monotonicity property by exploring a graph constructed on the basis of the reactions involved in the network. Once established, our monotonicity property allows us to drastically reduce the number of simulations required to assess some dynamical properties of the CRN.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Comparison Theorems for Splittings of M-matrices in (block) Hessenberg Form
Authors:
Luca Gemignani,
Federico Poloni
Abstract:
Some variants of the (block) Gauss--Seidel iteration for the solution of linear systems with $M$-matrices in (block) Hessenberg form are discussed.
Comparison results for the asymptotic convergence rate of some regular splittings are derived: in particular, we prove that for a lower-Hessenberg M-matrix $ρ(P_{GS})\geq ρ(P_S)\geq ρ(P_{AGS})$, where $P_{GS}, P_S, P_{AGS}$ are the iteration matrices…
▽ More
Some variants of the (block) Gauss--Seidel iteration for the solution of linear systems with $M$-matrices in (block) Hessenberg form are discussed.
Comparison results for the asymptotic convergence rate of some regular splittings are derived: in particular, we prove that for a lower-Hessenberg M-matrix $ρ(P_{GS})\geq ρ(P_S)\geq ρ(P_{AGS})$, where $P_{GS}, P_S, P_{AGS}$ are the iteration matrices of the Gauss--Seidel, staircase, and anti-Gauss--Seidel method. This is a result that does not seem to follow from classical comparison results, as these splittings are not directly comparable. It is shown that the concept of stair partitioning provides a
powerful tool for the design of new variants
that are suited for parallel computation.
△ Less
Submitted 17 November, 2021; v1 submitted 19 June, 2021;
originally announced June 2021.
-
A continuation method for computing the multilinear Pagerank
Authors:
Alberto Bucci,
Federico Poloni
Abstract:
The multilinear Pagerank model [Gleich, Lim and Yu, 2015] is a tensor-based generalization of the Pagerank model. Its computation requires solving a system of polynomial equations that contains a parameter $α\in [0,1)$. For $α\approx 1$, this computation remains a challenging problem, especially since the solution may be non-unique. Extrapolation strategies that start from smaller values of $α$ an…
▽ More
The multilinear Pagerank model [Gleich, Lim and Yu, 2015] is a tensor-based generalization of the Pagerank model. Its computation requires solving a system of polynomial equations that contains a parameter $α\in [0,1)$. For $α\approx 1$, this computation remains a challenging problem, especially since the solution may be non-unique. Extrapolation strategies that start from smaller values of $α$ and `follow' the solution by slowly increasing this parameter have been suggested; however, there are known cases where these strategies fail, because a globally continuous solution curve cannot be defined as a function of $α$. In this paper, we improve on this idea, by employing a predictor-corrector continuation algorithm based on a more general representation of the solutions as a curve in $\mathbb{R}^{n+1}$. We prove several global properties of this curve that ensure the good behavior of the algorithm, and we show in our numerical experiments that this method is significantly more reliable than the existing alternatives.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
Iterative and doubling algorithms for Riccati-type matrix equations: a comparative introduction
Authors:
Federico Poloni
Abstract:
We review a family of algorithms for Lyapunov- and Riccati-type equations which are all related to each other by the idea of \emph{doubling}: they construct the iterate $Q_k = X_{2^k}$ of another naturally-arising fixed-point iteration $(X_h)$ via a sort of repeated squaring.
The equations we consider are Stein equations $X - A^*XA=Q$, Lyapunov equations $A^*X+XA+Q=0$, discrete-time algebraic Ri…
▽ More
We review a family of algorithms for Lyapunov- and Riccati-type equations which are all related to each other by the idea of \emph{doubling}: they construct the iterate $Q_k = X_{2^k}$ of another naturally-arising fixed-point iteration $(X_h)$ via a sort of repeated squaring.
The equations we consider are Stein equations $X - A^*XA=Q$, Lyapunov equations $A^*X+XA+Q=0$, discrete-time algebraic Riccati equations $X=Q+A^*X(I+GX)^{-1}A$, continuous-time algebraic Riccati equations $Q+A^*X+XA-XGX=0$, palindromic quadratic matrix equations $A+QY+A^*Y^2=0$, and nonlinear matrix equations $X+A^*X^{-1}A=Q$. We draw comparisons among these algorithms, highlight the connections between them and to other algorithms such as subspace iteration, and discuss open issues in their theory.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Nearest $Ω$-stable matrix via Riemannian optimization
Authors:
Vanni Noferini,
Federico Poloni
Abstract:
We study the problem of finding the nearest $Ω$-stable matrix to a certain matrix $A$, i.e., the nearest matrix with all its eigenvalues in a prescribed closed set $Ω$. Distances are measured in the Frobenius norm. An important special case is finding the nearest Hurwitz or Schur stable matrix, which has applications in systems theory. We describe a reformulation of the task as an optimization pro…
▽ More
We study the problem of finding the nearest $Ω$-stable matrix to a certain matrix $A$, i.e., the nearest matrix with all its eigenvalues in a prescribed closed set $Ω$. Distances are measured in the Frobenius norm. An important special case is finding the nearest Hurwitz or Schur stable matrix, which has applications in systems theory. We describe a reformulation of the task as an optimization problem on the Riemannian manifold of orthogonal (or unitary) matrices. The problem can then be solved using standard methods from the theory of Riemannian optimization. The resulting algorithm is remarkably fast on small-scale and medium-scale matrices, and returns directly a Schur factorization of the minimizer, sidestepping the numerical difficulties associated with eigenvalues with high multiplicity.
△ Less
Submitted 7 February, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
When is a matrix unitary or Hermitian plus low rank?
Authors:
Gianna M. Del Corso,
Federico Poloni,
Leonardo Robol,
Raf Vandebril
Abstract:
Hermitian and unitary matrices are two representatives of the class of normal matrices whose full eigenvalue decomposition can be stably computed in quadratic computing com plexity. Recently, fast and reliable eigensolvers dealing with low rank perturbations of unitary and Hermitian matrices were proposed. These structured eigenvalue problems appear naturally when computing roots, via confederate…
▽ More
Hermitian and unitary matrices are two representatives of the class of normal matrices whose full eigenvalue decomposition can be stably computed in quadratic computing com plexity. Recently, fast and reliable eigensolvers dealing with low rank perturbations of unitary and Hermitian matrices were proposed. These structured eigenvalue problems appear naturally when computing roots, via confederate linearizations, of polynomials expressed in, e.g., the monomial or Chebyshev basis. Often, however, it is not known beforehand whether or not a matrix can be written as the sum of an Hermitian or unitary matrix plus a low rank perturbation. We propose necessary and sufficient conditions characterizing the class of Hermitian or unitary plus low rank matrices. The number of singular values deviating from 1 determines the rank of a perturbation to bring a matrix to unitary form. A similar condition holds for Hermitian matrices; the eigenvalues of the skew-Hermitian part differing from 0 dictate the rank of the perturbation. We prove that these relations are linked via the Cayley transform. Based on these conditions we are able to identify the closest Hermitian and unitary plus low rank matrix in Frobenius and spectral norm and a practical Lanczos iteration to detect the low rank perturbation is presented. Numerical tests prove that this straightforward algorithm is robust with respect to noise.
△ Less
Submitted 25 July, 2019; v1 submitted 14 November, 2018;
originally announced November 2018.
-
Doubling Algorithms for Stationary Distributions of Fluid Queues: A Probabilistic Interpretation
Authors:
Nigel Bean,
Giang T. Nguyen,
Federico Poloni
Abstract:
Fluid queues are mathematical models frequently used in stochastic modelling. Their stationary distributions involve a key matrix recording the conditional probabilities of returning to an initial level from above, often known in the literature as the matrix $Ψ$. Here, we present a probabilistic interpretation of the family of algorithms known as \emph{doubling}, which are currently the most effec…
▽ More
Fluid queues are mathematical models frequently used in stochastic modelling. Their stationary distributions involve a key matrix recording the conditional probabilities of returning to an initial level from above, often known in the literature as the matrix $Ψ$. Here, we present a probabilistic interpretation of the family of algorithms known as \emph{doubling}, which are currently the most effective algorithms for computing the return probability matrix $Ψ$.
To this end, we first revisit the links described in \cite{ram99, soares02} between fluid queues and Quasi-Birth-Death processes; in particular, we give new probabilistic interpretations for these connections. We generalize this framework to give a probabilistic meaning for the initial step of doubling algorithms, and include also an interpretation for the iterative step of these algorithms. Our work is the first probabilistic interpretation available for doubling algorithms.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Nonsingular systems of generalized Sylvester equations: an algorithmic approach
Authors:
Fernando De Terán,
Bruno Iannazzo,
Federico Poloni,
Leonardo Robol
Abstract:
We consider the uniqueness of solution (i.e., nonsingularity) of systems of $r$ generalized Sylvester and $\star$-Sylvester equations with $n\times n$ coefficients. After several reductions, we show that it is sufficient to analyze periodic systems having, at most, one generalized $\star$-Sylvester equation. We provide characterizations for the nonsingularity in terms of spectral properties of eit…
▽ More
We consider the uniqueness of solution (i.e., nonsingularity) of systems of $r$ generalized Sylvester and $\star$-Sylvester equations with $n\times n$ coefficients. After several reductions, we show that it is sufficient to analyze periodic systems having, at most, one generalized $\star$-Sylvester equation. We provide characterizations for the nonsingularity in terms of spectral properties of either matrix pencils or formal matrix products, both constructed from the coefficients of the system. The proposed approach uses the periodic Schur decomposition, and leads to a backward stable $O(n^3r)$ algorithm for computing the (unique) solution.
△ Less
Submitted 15 June, 2019; v1 submitted 12 September, 2017;
originally announced September 2017.
-
Perron-based algorithms for the multilinear pagerank
Authors:
Beatrice Meini,
Federico Poloni
Abstract:
We consider the multilinear pagerank problem studied in [Gleich, Lim and Yu, Multilinear Pagerank, 2015], which is a system of quadratic equations with stochasticity and nonnegativity constraints. We use the theory of quadratic vector equations to prove several properties of its solutions and suggest new numerical algorithms. In particular, we prove the existence of a certain minimal solution, whi…
▽ More
We consider the multilinear pagerank problem studied in [Gleich, Lim and Yu, Multilinear Pagerank, 2015], which is a system of quadratic equations with stochasticity and nonnegativity constraints. We use the theory of quadratic vector equations to prove several properties of its solutions and suggest new numerical algorithms. In particular, we prove the existence of a certain minimal solution, which does not always coincide with the stochastic one that is required by the problem. We use an interpretation of the solution as a Perron eigenvector to devise new fixed-point algorithms for its computation, and pair them with a homotopy continuation strategy. The resulting numerical method is more reliable than the existing alternatives, being able to solve a larger number of problems.
△ Less
Submitted 13 February, 2018; v1 submitted 26 April, 2017;
originally announced April 2017.
-
Solvability and uniqueness criteria for generalized Sylvester-type equations
Authors:
Fernando De Terán,
Bruno Iannazzo,
Federico Poloni,
Leonardo Robol
Abstract:
We provide necessary and sufficient conditions for the generalized $\star$-Sylvester matrix equation, $AXB + CX^\star D = E$, to have exactly one solution for any right-hand side E. These conditions are given for arbitrary coefficient matrices $A, B, C, D$ (either square or rectangular) and generalize existing results for the same equation with square coefficients. We also review the known results…
▽ More
We provide necessary and sufficient conditions for the generalized $\star$-Sylvester matrix equation, $AXB + CX^\star D = E$, to have exactly one solution for any right-hand side E. These conditions are given for arbitrary coefficient matrices $A, B, C, D$ (either square or rectangular) and generalize existing results for the same equation with square coefficients. We also review the known results regarding the existence and uniqueness of solution for generalized Sylvester and $\star$-Sylvester equations.
△ Less
Submitted 2 November, 2017; v1 submitted 2 August, 2016;
originally announced August 2016.
-
Componentwise accurate Brownian motion computations using Cyclic Reduction
Authors:
Giang T. Nguyen,
Federico Poloni
Abstract:
Markov-modulated Brownian motion is a popular tool to model continuous-time phenomena in a stochastic context. The main quantity of interest is the invariant density, which satisfies a differential equation associated with the quadratic matrix polynomial $P(z) = Vz^2-Dz +Q$, where the matrices $V$ and $D$ are diagonal and $Q$ is the transition matrix of a discrete-time Markov chain. Its solution i…
▽ More
Markov-modulated Brownian motion is a popular tool to model continuous-time phenomena in a stochastic context. The main quantity of interest is the invariant density, which satisfies a differential equation associated with the quadratic matrix polynomial $P(z) = Vz^2-Dz +Q$, where the matrices $V$ and $D$ are diagonal and $Q$ is the transition matrix of a discrete-time Markov chain. Its solution is typically constructed by computing an invariant pair of $P(z)$ associated with its eigenvalues in the left half-plane, or by solving the matrix equation $X^2V-XD+Q=0$. We show that these tasks can be solved using a componentwise accurate algorithm based on Cyclic Reduction, generalizing the recently appeared algorithms for the linear case ($V=0$). We give a proof of the numerical stability of our algorithm in the componentwise sense; the same proof applies to Cyclic Reduction in a more general M-matrix setting which appears in other applications such as the modelling of QBD processes.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
Authors:
Tayyebe Haqiri,
Federico Poloni
Abstract:
We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuous-time algebraic Riccati equation $A^*X+XA+Q=XGX$ building on the work of [B.~Hashemi, \emph{SCAN} 2012] and adding several modifications to the Krawczyk procedure. We show that after these improvements the Krawczyk method reaches results comparable with the current state…
▽ More
We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuous-time algebraic Riccati equation $A^*X+XA+Q=XGX$ building on the work of [B.~Hashemi, \emph{SCAN} 2012] and adding several modifications to the Krawczyk procedure. We show that after these improvements the Krawczyk method reaches results comparable with the current state-of-the-art algorithm [Miyajima, \emph{Jpn. J. Ind. Appl. Math} 2015], and surpasses it in some examples. Moreover, we introduce a new direct method for verification which has a cubic complexity in term of the dimension of $X$, employing a fixed-point formulation of the equation inspired by the ADI procedure. The resulting methods are tested on a number of standard benchmark examples.
△ Less
Submitted 18 March, 2016; v1 submitted 7 September, 2015;
originally announced September 2015.
-
Multivariate trend-cycle extraction with the Hodrick-Prescott filter
Authors:
Federico Poloni,
Giacomo Sbrana
Abstract:
The Hodrick-Prescott filter represents one of the most popular method for trend-cycle extraction in macroeconomic time series. In this paper we provide a multivariate generalization of the Hodrick-Prescott filter, based on the seemingly unrelated time series approach. We first derive closed-form expressions linking the signal-noise matrix ratio to the parameters of the VARMA representation of the…
▽ More
The Hodrick-Prescott filter represents one of the most popular method for trend-cycle extraction in macroeconomic time series. In this paper we provide a multivariate generalization of the Hodrick-Prescott filter, based on the seemingly unrelated time series approach. We first derive closed-form expressions linking the signal-noise matrix ratio to the parameters of the VARMA representation of the model. We then show that the parameters can be estimated using a recently introduced method, called "Moment Estimation Through Aggregation (META)". This method replaces the traditional multivariate likelihood estimation with a procedure that requires estimating univariate processes only. This makes the estimation simpler, faster and better-behaved numerically. We prove that our estimation method is consistent and asymptotically normal distributed for the proposed framework. Finally, we present an empirical application focusing on the industrial production of several European countries.
△ Less
Submitted 23 August, 2015;
originally announced August 2015.
-
Iterative methods for the delay Lyapunov equation with T-Sylvester preconditioning
Authors:
Elias Jarlebring,
Federico Poloni
Abstract:
The delay Lyapunov equation is an important matrix boundary-value problem which arises as an analogue of the Lyapunov equation in the study of time-delay systems $\dot{x}(t) = A_0x(t)+A_1x(t-τ)+B_0u(t)$. We propose a new algorithm for the solution of the delay Lyapunov equation. Our method is based on the fact that the delay Lyapunov equation can be expressed as a linear system of equations, whose…
▽ More
The delay Lyapunov equation is an important matrix boundary-value problem which arises as an analogue of the Lyapunov equation in the study of time-delay systems $\dot{x}(t) = A_0x(t)+A_1x(t-τ)+B_0u(t)$. We propose a new algorithm for the solution of the delay Lyapunov equation. Our method is based on the fact that the delay Lyapunov equation can be expressed as a linear system of equations, whose unknown is the value $U(τ/2)\in\mathbb{R}^{n\times n}$, i.e., the delay Lyapunov matrix at time $τ/2$. This linear matrix equation with $n^2$ unknowns is solved by adapting a preconditioned iterative method such as GMRES. The action of the $n^2\times n^2$ matrix associated to this linear system can be computed by solving a coupled matrix initial-value problem. A preconditioner for the iterative method is proposed based on solving a T-Sylvester equation $MX+X^TN=C$, for which there are methods available in the literature. We prove that the preconditioner is effective under certain assumptions. The efficiency of the approach is illustrated by applying it to a time-delay system stemmingfrom the discretization of a partial differential equation with delay. Approximate solutions to this problem can be obtained for problems of size up to $n\approx 1000$, i.e., a linear system with $n^2\approx 10^6$ unknowns, a dimension which is outside of the capabilities of the other existing methods for the delay Lyapunov equation.
△ Less
Submitted 15 October, 2018; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Mutual Visibility by Luminous Robots Without Collisions
Authors:
G. A. Di Luna,
P. Flocchini,
S. Gan Chaudhuri,
F. Poloni,
N. Santoro,
G. Viglietta
Abstract:
Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies in the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, with…
▽ More
Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity p at time t; entity p can see entity q at time t if at that time no other entity lies in the line segment p(t)q(t). We consider the basic problem called Mutual Visibility: starting from arbitrary distinct locations, within finite time the entities must reach, without collisions, a configuration where they all see each other. This problem must be solved by each entity autonomously executing the same algorithm. We study this problem in the "luminous robots" model; in this generalization of the standard model of oblivious robots, each entity, called "robot", has an externally visible persistent light which can assume colors from a fixed set. The case where the number of colors is c=1 corresponds to the classical model without lights.
In this paper we investigate under what conditions luminous robots can solve Mutual Visibility without collisions and at what cost (i.e., with how many colors). We establish a spectrum of results, depending on the power of the adversary, on the number c of colors, and on the a-priori knowledge the robots have about the system. Among such results, we prove that Mutual Visibility can always be solved without collisions in SSynch with c=2 colors and in ASynch with c=3 colors. If an adversary can interrupt and stop a robot moving to its computed destination, Mutual Visibility is still always solvable without collisions in SSynch with c=3 colors, and, if the robots agree on the direction of one axis, also in ASynch. All the results are obtained constructively by means of novel protocols.
As a byproduct of our solutions, we provide the first obstructed-visibility solutions to two classical problems for oblivious robots: Collision-less Convergence to a point and Circle Formation.
△ Less
Submitted 1 July, 2015; v1 submitted 14 March, 2015;
originally announced March 2015.
-
A note on forecasting demand using the multivariate exponential smoothing framework
Authors:
Federico Poloni,
Giacomo Sbrana
Abstract:
Simple exponential smoothing is widely used in forecasting economic time series. This is because it is quick to compute and it generally delivers accurate forecasts. On the other hand, its multivariate version has received little attention due to the complications arising with the estimation. Indeed, standard multivariate maximum likelihood methods are affected by numerical convergence issues and…
▽ More
Simple exponential smoothing is widely used in forecasting economic time series. This is because it is quick to compute and it generally delivers accurate forecasts. On the other hand, its multivariate version has received little attention due to the complications arising with the estimation. Indeed, standard multivariate maximum likelihood methods are affected by numerical convergence issues and bad complexity, growing with the dimensionality of the model. In this paper, we introduce a new estimation strategy for multivariate exponential smoothing, based on aggregating its observations into scalar models and estimating them. The original high-dimensional maximum likelihood problem is broken down into several univariate ones, which are easier to solve. Contrary to the multivariate maximum likelihood approach, the suggested algorithm does not suffer heavily from the dimensionality of the model. The method can be used for time series forecasting. In addition, simulation results show that our approach performs at least as well as a maximum likelihood estimator on the underlying VMA(1) representation, at least in our test problems.
△ Less
Submitted 15 November, 2014;
originally announced November 2014.
-
Componentwise accurate fluid queue computations using doubling algorithms
Authors:
Giang T. Nguyen,
Federico Poloni
Abstract:
Markov-modulated fluid queues are popular stochastic processes frequently used for modelling real-life applications. An important performance measure to evaluate in these applications is their steady-state behaviour, which is determined by the stationary density. Computing it requires solving a (nonsymmetric) M-matrix algebraic Riccati equation, and indeed computing the stationary density is the m…
▽ More
Markov-modulated fluid queues are popular stochastic processes frequently used for modelling real-life applications. An important performance measure to evaluate in these applications is their steady-state behaviour, which is determined by the stationary density. Computing it requires solving a (nonsymmetric) M-matrix algebraic Riccati equation, and indeed computing the stationary density is the most important application of this class of equations.
Xue, Xu and Li [Numer. Math., 2012] provided a componentwise first-order perturbation analysis of this equation, proving that the solution can be computed to high relative accuracy even in the smallest entries, and suggested several algorithms for computing it. An important step in all proposed algorithms is using so-called triplet representations, which are special representations for M-matrices that allow for a high-accuracy variant of Gaussian elimination, the GTH-like algorithm. However, triplet representations for all the M-matrices needed in the algorithm were not found explicitly. This can lead to an accuracy loss that prevents the algorithms to converge in the componentwise sense.
In this paper, we focus on the structured doubling algorithm, the most efficient among the proposed methods in Xue et al., and build upon their results, providing (i) explicit and cancellation-free expressions for the needed triplet representations, allowing the algorithm to be performed in a really cancellation-free fashion; (ii) an algorithm to evaluate the final part of the computation to obtain the stationary density; and (iii) a componentwise error analysis for the resulting algorithm, the first explicit one for this class of algorithms. We also present numerical results to illustrate the accuracy advantage of our method over standard (normwise-accurate) algorithms.
△ Less
Submitted 12 November, 2014; v1 submitted 27 June, 2014;
originally announced June 2014.
-
A closed-form estimator for the multivariate GARCH(1,1) model
Authors:
Giacomo Sbrana,
Federico Poloni
Abstract:
We provide a closed-form estimator based on the VARMA representation for the unrestricted multivariate GARCH(1,1). We show that all parameters can be derived using basic linear algebra tools. We show that the estimator is consistent and asymptotically normal distributed. Our results allow also to derive a closed form for the parameters in the context of temporal aggregation of multivariate GARCH(1…
▽ More
We provide a closed-form estimator based on the VARMA representation for the unrestricted multivariate GARCH(1,1). We show that all parameters can be derived using basic linear algebra tools. We show that the estimator is consistent and asymptotically normal distributed. Our results allow also to derive a closed form for the parameters in the context of temporal aggregation of multivariate GARCH(1,1) by solving the equations as in Hafner [2008].
△ Less
Submitted 15 March, 2013;
originally announced March 2013.
-
A duality relation for matrix pencils with application to linearizations
Authors:
Federico Poloni
Abstract:
The aim of this paper is twofold. First, we introduce a new class of linearizations, based on the generalization of a construction used in polynomial algebra to find the zeros of a system of (scalar) polynomial equations. We show that one specific linearization in this class, which is constructed naturally from the QR factorization of the matrix obtained by stacking the coefficients of $A(x)$, has…
▽ More
The aim of this paper is twofold. First, we introduce a new class of linearizations, based on the generalization of a construction used in polynomial algebra to find the zeros of a system of (scalar) polynomial equations. We show that one specific linearization in this class, which is constructed naturally from the QR factorization of the matrix obtained by stacking the coefficients of $A(x)$, has good conditioning and stability properties.
Moreover, while analyzing this class, we introduce a general technique to derive new linearizations from existing ones. This technique generalizes some ad-hoc arguments used in dealing with the existing linearization classes, and can hopefully be used to derive a simpler and more general theory of linearizations. This technique relates linearizations to \emph{pencil arithmetic}, a technique used in solving matrix equations that allows to extend some algebraic operations from matrix to matrix pencils.
△ Less
Submitted 17 October, 2011;
originally announced October 2011.
-
The SDA Method for Numerical Solution of Lur'e Equations
Authors:
Federico Poloni,
Timo Reis
Abstract:
We introduce a numerical method for the numerical solution of the so-called Lur'e matrix equations that arise in balancing-related model reduction and linear-quadratic infinite time horizon optimal control. Based on the fact that the set of solutions can be characterized in terms of deflating subspaces of even matrix pencils, an iterative scheme is derived that converges linearly to the maximal so…
▽ More
We introduce a numerical method for the numerical solution of the so-called Lur'e matrix equations that arise in balancing-related model reduction and linear-quadratic infinite time horizon optimal control. Based on the fact that the set of solutions can be characterized in terms of deflating subspaces of even matrix pencils, an iterative scheme is derived that converges linearly to the maximal solution.
△ Less
Submitted 6 January, 2011;
originally announced January 2011.
-
The Padé iterations for the matrix sign function and their reciprocals are optimal
Authors:
Federico Greco,
Bruno Iannazzo,
Federico Poloni
Abstract:
It is proved that among the rational iterations locally converging with order s>1 to the sign function, the Padé iterations and their reciprocals are the unique rationals with the lowest sum of the degrees of numerator and denominator.
It is proved that among the rational iterations locally converging with order s>1 to the sign function, the Padé iterations and their reciprocals are the unique rationals with the lowest sum of the degrees of numerator and denominator.
△ Less
Submitted 13 November, 2011; v1 submitted 8 November, 2010;
originally announced November 2010.
-
A Subspace Shift Technique for Nonsymmetric Algebraic Riccati Equations
Authors:
Bruno Iannazzo,
Federico Poloni
Abstract:
The worst situation in computing the minimal nonnegative solution of a nonsymmetric algebraic Riccati equation associated with an M-matrix occurs when the corresponding linearizing matrix has two very small eigenvalues, one with positive and one with negative real part. When both these eigenvalues are exactly zero, the problem is called critical or null recurrent. While in this case the problem is…
▽ More
The worst situation in computing the minimal nonnegative solution of a nonsymmetric algebraic Riccati equation associated with an M-matrix occurs when the corresponding linearizing matrix has two very small eigenvalues, one with positive and one with negative real part. When both these eigenvalues are exactly zero, the problem is called critical or null recurrent. While in this case the problem is ill-conditioned and the convergence of the algorithms based on matrix iterations is slow, there exist some techniques to remove the singularity and transform the problem to a well-behaved one. Ill-conditioning and slow convergence appear also in close-to-critical problems, but when none of the eigenvalues is exactly zero the techniques used for the critical case cannot be applied.
In this paper, we introduce a new method to accelerate the convergence properties of the iterations also in close-to-critical cases, by working on the invariant subspace associated with the problematic eigenvalues as a whole. We present a theoretical analysis and several numerical experiments which confirm the efficiency of the new method.
△ Less
Submitted 6 December, 2011; v1 submitted 5 November, 2010;
originally announced November 2010.
-
On the solution of a quadratic vector equation arising in Markovian Binary Trees
Authors:
Dario A. Bini,
Beatrice Meini,
Federico Poloni
Abstract:
We present some advances, both from a theoretical and from a computational point of view, on a quadratic vector equation (QVE) arising in Markovian Binary Trees. Concerning the theoretical advances, some irreducibility assumptions are relaxed, and the minimality of the solution of the QVE is expressed in terms of properties of the Jacobian of a suitable function. From the computational point of vi…
▽ More
We present some advances, both from a theoretical and from a computational point of view, on a quadratic vector equation (QVE) arising in Markovian Binary Trees. Concerning the theoretical advances, some irreducibility assumptions are relaxed, and the minimality of the solution of the QVE is expressed in terms of properties of the Jacobian of a suitable function. From the computational point of view, we elaborate on the Perron vector-based iteration proposed in [https://arxiv.boxedpaper.com/abs/1006.0577]. In particular we provide a condition which ensures that the Perron iteration converges to the sought solution of the QVE. Moreover we introduce a variant of the algorithm which consists in applying the Newton method instead of a fixed-point iteration. This method has the same convergence behaviour as the Perron iteration, since its convergence speed increases for close-to-critical problems. Moreover, unlike the Perron iteration, the method has a quadratic convergence. Finally, we show that it is possible to alter the bilinear form defining the QVE in several ways without changing the solution. This modification has an impact on convergence speed of the algorithms.
△ Less
Submitted 4 November, 2010;
originally announced November 2010.
-
A Perron iteration for the solution of a quadratic vector equation arising in Markovian Binary Trees
Authors:
Beatrice Meini,
Federico Poloni
Abstract:
We propose a novel numerical method for solving a quadratic vector equation arising in Markovian Binary Trees. The numerical method consists in a fixed point iteration, expressed by means of the Perron vectors of a sequence of nonnegative matrices. A theoretical convergence analysis is performed. The proposed method outperforms the existing methods for close-to-critical problems.
We propose a novel numerical method for solving a quadratic vector equation arising in Markovian Binary Trees. The numerical method consists in a fixed point iteration, expressed by means of the Perron vectors of a sequence of nonnegative matrices. A theoretical convergence analysis is performed. The proposed method outperforms the existing methods for close-to-critical problems.
△ Less
Submitted 3 June, 2010;
originally announced June 2010.
-
Quadratic Vector Equations
Authors:
Federico Poloni
Abstract:
We study in an unified fashion several quadratic vector and matrix equations with nonnegativity hypotheses. Specific cases of such problems (QBD equations, nonsymmetric algebraic Riccati equations, Lu's simple equation, Markovian binary trees equations) have been studied extensively in the past by several authors. Many of the results appearing here have already been proved for one or more of the s…
▽ More
We study in an unified fashion several quadratic vector and matrix equations with nonnegativity hypotheses. Specific cases of such problems (QBD equations, nonsymmetric algebraic Riccati equations, Lu's simple equation, Markovian binary trees equations) have been studied extensively in the past by several authors. Many of the results appearing here have already been proved for one or more of the single instances of the problems, resorting to specific characteristics of the problem. In some cases the proofs we present here are mere rewriting of the original proofs with a little change of notation to adapt them to our framework, but in some cases we are effectively able to remove some hypotheses and generalize the results by abstracting the specific aspects of each problem.
△ Less
Submitted 7 June, 2011; v1 submitted 9 April, 2010;
originally announced April 2010.
-
Constructing matrix geometric means
Authors:
Federico Poloni
Abstract:
In this paper, we analyze the process of "assembling" new matrix geometric means from existing ones, through function composition or limit processes. We show that for n=4 a new matrix mean exists which is simpler to compute than the existing ones. Moreover, we show that for n>4 the existing proving strategies cannot provide a mean computationally simpler than the existing ones.
In this paper, we analyze the process of "assembling" new matrix geometric means from existing ones, through function composition or limit processes. We show that for n=4 a new matrix mean exists which is simpler to compute than the existing ones. Moreover, we show that for n>4 the existing proving strategies cannot provide a mean computationally simpler than the existing ones.
△ Less
Submitted 24 July, 2010; v1 submitted 17 June, 2009;
originally announced June 2009.
-
A note on the O(n)-storage implementation of the GKO algorithm
Authors:
Federico Poloni
Abstract:
We propose a new O(n)-space implementation of the GKO-Cauchy algorithm for the solution of linear systems with Cauchy-like matrix. Despite its slightly higher computational cost, this new algorithm makes a more efficient use of the processor cache memory. Thus, for matrices of size larger than about 500-1000, it outperforms the existing algorithms.
We present an applicative case of Cauchy-like…
▽ More
We propose a new O(n)-space implementation of the GKO-Cauchy algorithm for the solution of linear systems with Cauchy-like matrix. Despite its slightly higher computational cost, this new algorithm makes a more efficient use of the processor cache memory. Thus, for matrices of size larger than about 500-1000, it outperforms the existing algorithms.
We present an applicative case of Cauchy-like matrices with non-reconstructible main diagonal. In this special instance, the O(n) space algorithms can be adapted nicely to provide an efficient implementation of basic linear algebra operations in terms of the low displacement-rank generators.
△ Less
Submitted 1 December, 2009; v1 submitted 26 March, 2009;
originally announced March 2009.
-
A note on the location of polynomial roots
Authors:
Dario A. Bini,
Federico Poloni
Abstract:
We review some known inclusion results for the roots of a polynomial, and adapt them to a conjecture recently presented by S. A. Vavasis. In particular, we provide strict upper and lower bounds to the distance of the closest root of a polynomial p(z) from a given root of p'(z).
We review some known inclusion results for the roots of a polynomial, and adapt them to a conjecture recently presented by S. A. Vavasis. In particular, we provide strict upper and lower bounds to the distance of the closest root of a polynomial p(z) from a given root of p'(z).
△ Less
Submitted 11 September, 2006;
originally announced September 2006.