CSR expansions of matrix powers in max algebra

We study the behavior of max-algebraic powers of a reducible nonnegative n by n matrix A. We show that for t>3n^2, the powers A^t can be expanded in max-algebraic powers of the form CS^tR, where C and R are extracted from columns and rows of certain Kleene stars and S is diadonally similar to a Boolean matrix. We study the properties of individual terms and show that all terms, for a given t>3n^2, can be found in O(n^4 log n) operations. We show that the powers have a well-defined ultimate behavior, where certain terms are totally or partially suppressed, thus leading to ultimate CS^tR terms and the corresponding ultimate expansion. We apply this expansion to the question whether {A^ty, t>0} is ultimately linear periodic for each starting vector y, showing that this question can be also answered in O(n^4 log n) time. We give examples illustrating our main results.

[1]  Peter Butkovic,et al.  Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra , 2009, SIAM J. Matrix Anal. Appl..

[2]  Martin Gavalec.  Linear matrix period in max-plus algebra , 2000 .

[3]  Gernot M. Engel,et al.  Cyclic and diagonal products on a matrix , 1973 .

[4]  N. S. Barnett,et al.  Private communication , 1969 .

[5]  Ki Hang Kim.  Boolean matrix theory and applications , 1982 .

[6]  W. Marsden.  I and J , 2012 .

[7]  Peter Butkovic,et al.  On visualization scaling, subeigenvectors and Kleene stars in max algebra , 2008, 0808.1992.

[8]  C. Leake.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[9]  Štefan Schwarz.  On a sharp estimation in the theory of binary relations on a finite set , 1970 .

[10]  Peter Butkovič,et al.  Max-Algebra - the Linear Algebra of Combinatorics? , 2002 .

[11]  M. Fiedler,et al.  Diagonally dominant matrices , 1967 .

[12]  Willi Hock,et al.  Lecture Notes in Economics and Mathematical Systems , 1981 .

[13]  Jean Cochet-Terrasson.  A constructive xed point theorem for min-max functions , 1999 .

[14]  Blanka Semancikova.  Orbits in max–min algebra , 2006 .

[15]  P. Butkovic.  Max-linear Systems: Theory and Algorithms , 2010 .

[16]  Karl Nachtigall,et al.  Powers of matrices over an extremal algebra with applications to periodic graphs , 1997, Math. Methods Oper. Res..

[17]  H. Wielandt.  Unzerlegbare, nicht negative Matrizen , 1950 .

[18]  Monika Molnárová.  Computational Complexity of Nachtigall's Representation , 2003 .

[19]  Ludwig Elsner,et al.  On the power method in max algebra , 1999 .

[20]  Monika Molnárová.  Generalized matrix period in max-plus algebra , 2005 .

[21]  B. Schutter.  On the ultimate behavior of the sequence of consecutive powers of a matrix in the max-plus algebra , 2000 .

[22]  Blanka Semančı´ková.  Orbits and critical components of matrices in max–min algebra , 2007 .

[23]  Ludwig Elsner,et al.  Modifying the power method in max algebra , 2001 .

[24]  Arthur F. Veinott,et al.  Computing a graph's period quadratically by node condensation , 1973, Discret. Math..

[25]  Sergei Sergeev,et al.  Max algebraic powers of irreducible matrices in the periodic regime: An application of cyclic classes , 2009 .