Cooperative concurrent asynchronous computation of the solution of symmetric linear systems

This paper extends the idea of Brezinski’s hybrid acceleration procedure, for the solution of a system of linear equations with a symmetric coefficient matrix of dimension n, to a new context called cooperative computation, involving m agents (m ≪ n), each one concurrently computing the solution of the whole system, using an iterative method. Cooperation occurs between the agents through the communication, periodic or probabilistic, of the estimate of each agent to one randomly chosen agent, thus characterizing the computation as concurrent and asynchronous. Every time one agent receives solution estimates from the others, it carries out a least squares computation, involving a small linear system of dimension m, in order to replace its current solution estimate by an affine combination of the received estimates, and the algorithm continues until a stopping criterion is met. In addition, an autocooperative algorithm, in which estimates are updated using affine combinations of current and past estimates, is also proposed. The proposed algorithms are shown to be efficient for certain matrices, specifically in relation to the popular Barzilai–Borwein algorithm, through numerical experiments.

[1]  L. Liao,et al.  R-linear convergence of the Barzilai and Borwein gradient method , 2002 .

[2]  Claude Brezinski,et al.  Nonlinear hybrid procedures and fixed point iterations , 1998 .

[3]  Eugenius Kaszkurewicz,et al.  Iterative methods as dynamical systems with feedback control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[4]  C. Brezinski,et al.  Hybrid procedures for solving linear systems , 1994 .

[5]  Anne Greenbaum,et al.  Iterative methods for solving linear systems , 1997, Frontiers in applied mathematics.

[6]  Bin Zhou,et al.  Gradient Methods with Adaptive Step-Sizes , 2006, Comput. Optim. Appl..

[7]  Asuman Ozdaglar,et al.  Cooperative distributed multi-agent optimization , 2010, Convex Optimization in Signal Processing and Communications.

[8]  Claude Brezinski,et al.  Block Descent Methods and Hybrid Procedures for Linear Systems , 2002, Numerical Algorithms.

[9]  Yonina C. Eldar,et al.  Convex Optimization in Signal Processing and Communications , 2009 .

[10]  J. M. Martínez,et al.  Gradient Method with Retards and Generalizations , 1998 .

[11]  Uri M. Ascher,et al.  The Chaotic Nature of Faster Gradient Descent Methods , 2012, J. Sci. Comput..

[12]  Pierre-Alexandre Bliman,et al.  Cooperative parallel asynchronous computation of the solution of symmetric linear systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[13]  Roger Fletcher,et al.  A limited memory steepest descent method , 2011, Mathematical Programming.

[14]  Pierre-Alexandre Bliman,et al.  Control-theoretic design of iterative methods for symmetric linear systems of equations , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[15]  Claude Brezinski,et al.  Acceleration properties of the hybrid procedure for solving linear systems , 1996 .

[16]  Eugenius Kaszkurewicz,et al.  A Control-Theoretic Approach to the Design of Zero Finding Numerical Methods , 2007, IEEE Transactions on Automatic Control.

[17]  Claude Brezinski,et al.  Multiparameter Iterative Schemes for the Solution of Systems of Linear and Nonlinear Equations , 1999, SIAM J. Sci. Comput..

[18]  Luc Pronzato,et al.  Dynamical Search - Applications of Dynamical Systems in Search and Optimization: Interdisciplinary Statistics , 1999 .

[19]  U. Ascher,et al.  Esaim: Mathematical Modelling and Numerical Analysis Gradient Descent and Fast Artificial Time Integration , 2022 .

[20]  U. Ascher,et al.  On fast integration to steady state and earlier times , 2008 .

[21]  Claude Brezinski,et al.  Acceleration procedures for matrix iterative methods , 2000, Numerical Algorithms.

[22]  Claude Brezinski,et al.  Multiparameter descent methods , 1999 .

[23]  H. Akaike On a successive transformation of probability distribution and its application to the analysis of the optimum gradient method , 1959 .

[24]  Paul Tseng Control perspectives on numerical algorithms and matrix problems , 2008, Math. Comput..

[25]  J. Borwein,et al.  Two-Point Step Size Gradient Methods , 1988 .