arXiv subjects

Nicola Guglielmi

Publications and source records attributed to Nicola Guglielmi.

53 records · Page 3Linked to original sources

arXiv2019

On the existence and approximation of a dissipating feedback

Given a matrix $A\in \R^{n\times n}$ and a tall rectangular matrix $B \in \R^{n\times q}$, $q < n$, we consider the problem of making the pair $(A,B)$ dissipative, that is the determination of a {\it feedback} matrix $K \in \R^{q\times n}$ such that the field of values of $A-B K$ lies in the left half open complex plane. We review and expand classical results available in the literature on the existence and parameterization of the class of dissipating matrices, and we explore new matrix properties associated with the problem. In addition, we discuss various computational strategies for approximating the minimal Frobenius norm dissipating $K$.

math.OC↗

arXiv2018

Numerical inverse Laplace transform for convection-diffusion equations

In this paper a novel contour integral method is proposed for linear convection-diffusion equations. The method is based on the inversion of the Laplace transform and makes use of a contour given by an elliptic arc joined symmetrically to two half-lines. The trapezoidal rule is the chosen integration method for the numerical inversion of the Laplace transform, due to its well-known fast convergence properties when applied to analytic functions. Error estimates are provided as well as careful indications about the choice of several involved parameters. The method selects the elliptic arc in the integration contour by an algorithmic strategy based on the computation of pseudospectral level sets of the discretized differential operator. In this sense the method is general and can be applied to any linear convection-diffusion equation without knowing any a priori information about its pseudospectral geometry. Numerical experiments performed on the Black-Scholes ($1D$) and Heston ($2D$) equations show that the method is competitive with other contour integral methods available in the literature.

math.NA↗

arXiv2018

On the closest stable/unstable nonnegative matrix and related stability radii

We consider the problem of computing the closest stable/unstable non-negative matrix to a given real matrix. This problem is important in the study of linear dynamical systems, numerical methods, etc. The distance between matrices is measured in the Frobenius norm. The problem is addressed for two types of stability: the Schur stability (the matrix is stable if its spectral radius is smaller than one) and the Hurwitz stability (the matrix is stable if its spectral abscissa is negative). We show that the closest unstable matrix can always be explicitly found. For the closest stable matrix, we present an iterative algorithm which converges to a local minimum with a linear rate. It is shown that the total number of local minima can be exponential in the dimension. Numerical results and the complexity estimates are presented.

math.DS↗

arXiv2017

Graph partitioning using matrix differential equations

Given a connected undirected weighted graph, we are concerned with problems related to partitioning the graph. First of all we look for the closest disconnected graph (the minimum cut problem), here with respect to the Euclidean norm. We are interested in the case of constrained minimum cut problems, where constraints include cardinality or membership requirements, which leads to NP-hard combinatorial optimization problems. Furthermore, we are interested in ambiguity issues, that is in the robustness of clustering algorithms that are based on Fiedler spectral partitioning. The above-mentioned problems are restated as matrix nearness problems for the weight matrix of the graph. A key element in the solution of these matrix nearness problems is the use of a constrained gradient system of matrix differential equations.

math.NA↗

arXiv2017

Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius

We present several results describing the interplay between the max algebraic joint spectral radius (JSR) for compact sets of matrices and suitably defined matrix norms. In particular, we extend a classical result for the conventional algebra, showing that the JSR can be described in terms of induced norms of the matrices in the set. We also show that for a set generating an irreducible semigroup (in a cone-theoretic sense), a monotone Barabanov norm always exists. This fact is then used to show that the max algebraic JSR is locally Lipschitz continuous on the space of compact irreducible sets of matrices with respect to the Hausdorff distance. We then prove that the JSR is Hoelder continuous on the space of compact sets of nonnegative matrices. Finally, we prove a strict monotonicity property for the max algebraic JSR that echoes a fact for the classical JSR.

math.OC↗

arXiv2017

Approximating the Real Structured Stability Radius with Frobenius Norm Bounded Perturbations

We propose a fast method to approximate the real stability radius of a linear dynamical system with output feedback, where the perturbations are restricted to be real valued and bounded with respect to the Frobenius norm. Our work builds on a number of scalable algorithms that have been proposed in recent years, ranging from methods that approximate the complex or real pseudospectral abscissa and radius of large sparse matrices (and generalizations of these methods for pseudospectra to spectral value sets) to algorithms for approximating the complex stability radius (the reciprocal of the $H_\infty$ norm). Although our algorithm is guaranteed to find only upper bounds to the real stability radius, it seems quite effective in practice. As far as we know, this is the first algorithm that addresses the Frobenius-norm version of this problem. Because the cost mainly consists of computing the eigenvalue with maximal real part for continuous-time systems (or modulus for discrete-time systems) of a sequence of matrices, our algorithm remains very efficient for large-scale systems provided that the system matrices are sparse.

math.OC↗

arXiv2016

Linear dynamical systems on graphs

We consider linear dynamical systems with a structure of a multigraph. The vertices are associated to linear spaces and the edges correspond to linear maps between those spaces. We analyse the asymptotic growth of trajectories (associated to paths along the multigraph), the stability and the stabilizability problems. This generalizes the classical linear switching systems and their recent extensions to Markovian systems, to systems generated by regular languages, etc. We show that an arbitrary system can be factorized into several irreducible systems on strongly connected multigraphs. For the latter systems, we prove the existence of invariant (Barabanov) multinorm and derive a method of its construction. The method works for a vast majority of systems and finds the joint spectral radius (Lyapunov exponent). Numerical examples are presented and applications to the study of fractals, attractors, and multistep methods for ODEs are discussed.

math.DS↗

arXiv2016

A novel iterative method to approximate structured singular values

A novel method for approximating structured singular values (also known as mu-values) is proposed and investigated. These quantities constitute an important tool in the stability analysis of uncertain linear control systems as well as in structured eigenvalue perturbation theory. Our approach consists of an inner-outer iteration. In the outer iteration, a Newton method is used to adjust the perturbation level. The inner iteration solves a gradient system associated with an optimization problem on the manifold induced by the structure. Numerical results and comparison with the well-known Matlab function mussv, implemented in the Matlab Control Toolbox, illustrate the behavior of the method.

math.NA↗

arXiv2015

A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays

We consider the optimal control design problem for discrete-time LTI systems with state feedback, when the actuation signal is subject to unmeasurable switching propagation delays, due to e.g. the routing in a multi-hop communication network and/or jitter. In particular, we set up a constrained optimization problem where the cost function is the worst-case $\mathcal{L}_2$ norm for all admissible switching delays. We first show how to model these systems as pure switching linear systems, and as main contribution of the paper we provide an algorithm to compute a sub-optimal solution.

eess.SY↗

arXiv2015

Limits of level and parameter dependent subdivision schemes: a matrix approach

In this paper, we present a new matrix approach for the analysis of subdivision schemes whose non-stationarity is due to linear dependency on parameters whose values vary in a compact set. Indeed, we show how to check the convergence in $C^{\ell}(\RR^s)$ and determine the Hölder regularity of such level and parameter dependent schemes efficiently via the joint spectral radius approach. The efficiency of this method and the important role of the parameter dependency are demonstrated on several examples of subdivision schemes whose properties improve the properties of the corresponding stationary schemes. Moreover, we derive necessary criteria for a function to be generated by some level dependent scheme and, thus, expose the limitations of such schemes.

math.NA↗

arXiv2015

Invariant polytopes of linear operators with applications to regularity of wavelets and of subdivisions

We generalize the recent invariant polytope algorithm for computing the joint spectral radius and extend it to a wider class of matrix sets. This, in particular, makes the algorithm applicable to sets of matrices that have finitely many spectrum maximizing products. A criterion of convergence of the algorithm is proved. As an application we solve two challenging computational open problems. First we find the regularity of the Butterfly subdivision scheme for various parameters $ω$. In the "most regular" case $ω= \frac{1}{16}$, we prove that the limit function has Hölder exponent $2$ and its derivative is "almost Lipschitz" with logarithmic factor $2$. Second we compute the Hölder exponent of Daubechies wavelets of high order.

math.NA↗

arXiv2015

Regularity of Non-Stationary Multivariate Subdivision

In this paper, we study scalar multivariate non-stationary subdivision schemes with integer dilation matrix M=mI, m >=2, and present a general approach for checking their convergence and for determining their Hölder regularity. The combination of the concepts of asymptotic similarity and approximate sum rules allows us to link stationary and non-stationary settings and to employ recent advances in methods for exact computation of the joint spectral radius. As an application, we prove a recent conjecture on the Hölder regularity of the generalized Daubechies wavelets. We illustrate our results with several examples.

math.NA↗

arXiv2014

Polytope Lyapunov functions for stable and for stabilizable LSS

We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in relatively high dimensions. The same technique is also extended for stabilizability of positive systems by evaluating a polytope concave Lyapunov function ("antinorm") in the cone. The method is based on a suitable discretization of the underlying continuous system and provides both a lower and an upper bound for the Lyapunov exponent. The absolute error in the Lyapunov exponent computation is estimated from above and proved to be linear in the dwell time. The practical efficiency of the new method is demonstrated in several examples and in the list of numerical experiments with randomly generated matrices of dimensions up to $10$ (for general linear systems) and up to $100$ (for positive systems). The development of the method is based on several theoretical results proved in the paper: the existence of monotone invariant norms and antinorms for positively irreducible systems, the equivalence of all contractive norms for stable systems and the linear convergence theorem.

math.DS↗

arXiv2014

Differential equations for real-structured (and unstructured) defectivity measures

Let $A$ be either a complex or real matrix with all distinct eigenvalues. We propose a new method for the computation of both the unstructured and the real-structured (if the matrix is real) distance $w_{\mathbb K}(A)$ (where ${\mathbb K}=\mathbb C$ if general complex matrices are considered and ${\mathbb K} ={\mathbb R}$ if only real matrices are allowed) of the matrix $A$ from the set of defective matrices, that is the set of those matrices with at least a multiple eigenvalue with algebraic multiplicity larger than its geometric multiplicity. For $0 < \varepsilon \le w_{\mathbb K}(A)$, this problem is closely related to the computation of the most ill-conditioned $\varepsilon$-pseudoeigenvalues of $A$, that is points in the $\varepsilon$-pseudospectrum of $A$ characterized by the highest condition number. The method we propose couples a system of differential equations on a low rank (possibly structured) manifold which computes the $\varepsilon$-pseudoeigenvalue of $A$ which is closest to coalesce, with a fast Newton-like iteration aiming to determine the minimal value $\varepsilon$ such that such an $\varepsilon$-pseudoeigenvalue becomes defective. The method has a local behaviour; this means that in general we find upper bounds for $w_{\mathbb K}(A)$. However, they usually provide good approximations, in those (simple) cases where we can check this. The methodology can be extended to a structured matrix where it is required that the distance is computed within some manifold defining the structure of the matrix. In this paper we extensively examine the case of real matrices but we also consider pattern structures. As far as we know there do not exist methods in the literature able to compute such distance.

math.NA↗

arXiv2012

Lifted polytope methods for stability analysis of switching systems

We describe new methods for deciding the stability of switching systems. The methods build on two ideas previously appeared in the literature: the polytope norm iterative construction, and the lifting procedure. Moreover, the combination of these two ideas allows us to introduce a pruning algorithm which can importantly reduce the computational burden. We prove several appealing theoretical properties of our methods like a finiteness computational result which extends a known result for unlifted sets of matrices, and provide numerical examples of their good behaviour.

math.OC↗

arXiv2012

Computing the structured pseudospectrum of a Toeplitz matrix and its extreme points

The computation of the structured pseudospectral abscissa and radius (with respect to the Frobenius norm) of a Toeplitz matrix is discussed and two algorithms based on a low rank property to construct extremal perturbations are presented. The algorithms are inspired by those considered in [SIAM J. Matrix Anal. Appl., 32 (2011), pp. 1166-1192] for the unstructured case, but their extension to structured pseudospectra and analysis presents several difficulties. Natural generalizations of the algorithms, allowing to draw significant sections of the structured pseudospectra in proximity of extremal points are also discussed. Since no algorithms are available in the literature to draw such structured pseudospectra, the approach we present seems promising to extend existing software tools (Eigtool, Seigtool) to structured pseudospectra representation for Toeplitz matrices. We discuss local convergence properties of the algorithms and show some applications to a few illustrative examples.

math.NA↗

arXiv2011

Exact computation of joint spectral characteristics of linear operators

We address the problem of the exact computation of two joint spectral characteristics of a family of linear operators, the joint spectral radius (in short JSR) and the lower spectral radius (in short LSR), which are well-known different generalizations to a set of operators of the usual spectral radius of a linear operator. In this article we develop a method which - under suitable assumptions - allows to compute the JSR and the LSR of a finite family of matrices exactly. We remark that so far no algorithm was available in the literature to compute the LSR exactly. The paper presents necessary theoretical results on extremal norms (and on extremal antinorms) of linear operators, which constitute the basic tools of our procedures, and a detailed description of the corresponding algorithms for the computation of the JSR and LSR (the last one restricted to families sharing an invariant cone). The algorithms are easily implemented and their descriptions are short. If the algorithms terminate in finite time, then they construct an extremal norm (in the JSR case) or antinorm (in the LSR case) and find their exact values; otherwise they provide upper and lower bounds that both converge to the exact values. A theoretical criterion for termination in finite time is also derived. According to numerical experiments, the algorithm for the JSR finds the exact value for the vast majority of matrix families in dimensions less than 20. For nonnegative matrices it works faster and finds JSR in dimensions of order 100 within a few iterations; the same is observed for the algorithm computing the LSR. To illustrate the efficiency of the new method we are able to apply it in order to give answers to several conjectures which have been recently stated in combinatorics, number theory, and the theory of formal languages.

math.OC↗