Canonical Construction of Polytope Barabanov Norms and Antinorms for Sets of Matrices

Barabanov norms have been introduced in Barabanov (Autom. Remote Control, 49 (1988), pp. 152--157) and constitute an important instrument in analyzing the joint spectral radius of a family of matrices and related issues. However, although they have been studied extensively, even in very simple cases it is very difficult to construct them explicitly (see, e.g., Kozyakin (Discrete Contin. Dyn. Syst. Ser. B, 14 (2010), pp. 143--158)). In this paper we give a canonical procedure to construct them exactly, which associates a polytope extremal norm---constructed by using the methodologies described in Guglielmi, Wirth, and Zennaro (SIAM J. Matrix Anal. Appl., 27 (2005), pp. 721--743) and Guglielmi and Protasov (Found. Comput. Math., 13 (2013), pp. 37--97)---to a polytope Barabanov norm. Hence, the existence of a polytope Barabanov norm has the same genericity of an extremal polytope norm. Moreover, we extend the result to polytope antinorms, which have been recently introduced to compute the lower spectral radi...

[1]  G. Gripenberg.  COMPUTING THE JOINT SPECTRAL RADIUS , 1996 .

[2]  G. Rota,et al.  A note on the joint spectral radius , 1960 .

[3]  I. Morris.  Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms , 2009, 0909.2800.

[4]  M. Zennaro,et al.  Balanced Complex Polytopes and Related Vector and Matrix Norms , 2007 .

[5]  I. Daubechies.  Orthonormal bases of compactly supported wavelets , 1988 .

[6]  DaubechiesIngrid.  Orthonormal bases of compactly supported wavelets II , 1993 .

[7]  I. Daubechies,et al.  Two-scale difference equations II. local regularity, infinite products of matrices and fractals , 1992 .

[8]  Nicola Guglielmi,et al.  Exact Computation of Joint Spectral Characteristics of Linear Operators , 2011, Found. Comput. Math..

[9]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[10]  Ian D. Morris,et al.  A New Sufficient Condition for the Uniqueness of Barabanov Norms , 2011, SIAM J. Matrix Anal. Appl..

[11]  Nikita Barabanov,et al.  Duality results for the joint spectral radius and transient behavior , 2005, CDC 2005.

[12]  V. Kozyakin.  A relaxation scheme for computation of the joint spectral radius of matrix sets , 2008, 0810.4230.

[13]  L. Elsner.  The generalized spectral-radius theorem: An analytic-geometric proof , 1995 .

[14]  A. Cicone.  A note on the Joint Spectral Radius , 2015, 1502.01506.

[15]  M. Zennaro,et al.  Finiteness property of pairs of 2× 2 sign-matrices via real extremal polytope norms , 2010 .

[16]  Michael Margaliot,et al.  Explicit construction of a Barabanov norm for a class of positive planar discrete-time linear switched systems , 2012, Autom..

[17]  A. Bulthell.  An Introduction to Wavelets, Wavelet Analysis and Its Applications, Volume 1, Charles K. Chui, Academic Press, 1992, x + 264 pp , 1993 .

[18]  Vincent D. Blondel,et al.  An Elementary Counterexample to the Finiteness Conjecture , 2002, SIAM J. Matrix Anal. Appl..

[19]  I. Morris.  Mather sets for sequences of matrices and applications to the study of joint spectral radii , 2011, 1109.4615.

[20]  Joseph P. S. Kung,et al.  Gian-Carlo Rota on Analysis and Probability: Selected Papers and Commentaries , 2011 .

[21]  Charles K. Chui,et al.  An Introduction to Wavelets , 1992 .

[22]  V. Protasov.  Invariant functionals for random matrices , 2010 .

[23]  Yang Wang,et al.  Bounded semigroups of matrices , 1992 .

[24]  R. Jungers.  The Joint Spectral Radius: Theory and Applications , 2009 .

[25]  Fabian R. Wirth,et al.  Complex Polytope Extremality Results for Families of Matrices , 2005, SIAM J. Matrix Anal. Appl..

[26]  Karin Schwab.  The Joint Spectral Radius Theory And Applications , 2016 .

[27]  Nicola Guglielmi,et al.  Stability of Linear Problems: Joint Spectral Radius of Sets of Matrices , 2014 .

[28]  J. Vandergraft.  Spectral properties of matrices which have invariant cones , 1968 .

[29]  Vincent D. Blondel,et al.  On the finiteness property for rational matrices , 2007 .

[30]  V. Kozyakin.  ITERATIVE BUILDING OF BARABANOV NORMS AND COMPUTATION OF THE JOINT SPECTRAL RADIUS FOR MATRIX SETS , 2008, 0810.2154.