Extremal ergodic measures and the finiteness property of matrix semigroups
HTML articles powered by AMS MathViewer
- by Xiongping Dai, Yu Huang and MingQing Xiao PDF
- Proc. Amer. Math. Soc. 141 (2013), 393-401 Request permission
Abstract:
Let ${\boldsymbol {S}}=\{S_1,\ldots ,S_K\}$ be a finite set of complex $d\times d$ matrices and $\varSigma _{\!K}^+$ be the compact space of all one-sided infinite sequences $i_{\boldsymbol {\cdot }}\colon \mathbb {N}\rightarrow \{1,\dotsc ,K\}$. An ergodic probability $\mu _*$ of the Markov shift $\theta \colon \varSigma _{\!K}^+\rightarrow \varSigma _{\!K}^+;\ i_{\boldsymbol {\cdot }}\mapsto i_{\boldsymbol {\cdot }+1}$, is called “extremal” for ${\boldsymbol {S}}$ if ${\rho }({\boldsymbol {S}})=\lim _{n\to \infty }\sqrt [n]{\left \|S_{i_1}\cdots S_{i_n}\right \|}$ holds for $\mu _*$-a.e. $i_{\boldsymbol {\cdot }}\in \varSigma _{\!K}^+$, where $\rho ({\boldsymbol {S}})$ denotes the generalized/joint spectral radius of ${\boldsymbol {S}}$. Using the extremal norm and the Kingman subadditive ergodic theorem, it is shown that ${\boldsymbol {S}}$ has the spectral finiteness property (i.e. $\rho ({\boldsymbol {S}})=\sqrt [n]{\rho (S_{i_1}\cdots S_{i_n})}$ for some finite-length word $(i_1,\ldots ,i_n)$) if and only if for some extremal measure $\mu _*$ of ${\boldsymbol {S}}$, it has at least one periodic density point $i_{\boldsymbol {\cdot }}\in \varSigma _{\!K}^+$.References
- N. E. Barabanov, On the Lyapunov exponent of discrete inclusions. I, Avtomat. i Telemekh. 2 (1988), 40–46 (Russian, with English summary); English transl., Automat. Remote Control 49 (1988), no. 2, 152–157. MR 940263
- Marc A. Berger and Yang Wang, Bounded semigroups of matrices, Linear Algebra Appl. 166 (1992), 21–27. MR 1152485, DOI 10.1016/0024-3795(92)90267-E
- Vincent D. Blondel, Jacques Theys, and Alexander A. Vladimirov, An elementary counterexample to the finiteness conjecture, SIAM J. Matrix Anal. Appl. 24 (2003), no. 4, 963–970. MR 2003315, DOI 10.1137/S0895479801397846
- Thierry Bousch and Jean Mairesse, Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture, J. Amer. Math. Soc. 15 (2002), no. 1, 77–111. MR 1862798, DOI 10.1090/S0894-0347-01-00378-2
- Xiongping Dai, Weakly Birkhoff recurrent switching signals, almost sure and partial stability of linear switched dynamical systems, J. Differential Equations 250 (2011), no. 9, 3584–3629. MR 2773179, DOI 10.1016/j.jde.2011.01.029
- Xiongping Dai, Extremal and Barabanov semi-norms of a semigroup generated by a bounded family of matrices, J. Math. Anal. Appl. 379 (2011), no. 2, 827–833. MR 2784362, DOI 10.1016/j.jmaa.2010.12.059
- Xiongping Dai, Yu Huang, and Mingqing Xiao, Almost sure stability of discrete-time switched linear systems: a topological point of view, SIAM J. Control Optim. 47 (2008), no. 4, 2137–2156. MR 2421343, DOI 10.1137/070699676
- X. Dai, Y. Huang and M. Xiao, Periodically switched stability induces exponential stability of discrete-time linear switched systems in the sense of Markovian probabilities, Automatica, 47 (2011), 1512–1519.
- Xiongping Dai, Yu Huang, and Mingqing Xiao, Realization of joint spectral radius via ergodic theory, Electron. Res. Announc. Math. Sci. 18 (2011), 22–30. MR 2817401, DOI 10.3934/era.2011.18.22
- X. Dai and V. Kozyakin, Finiteness property of a bounded set of matrices with uniformly sub-peripheral spectrum, Information Processes, 11 (2011), 253–261 (Russian). English version in J. Commun. Technology and Electronics, 56 (2011), 1564–1569.
- Ingrid Daubechies and Jeffrey C. Lagarias, Sets of matrices all infinite products of which converge, Linear Algebra Appl. 161 (1992), 227–263. MR 1142737, DOI 10.1016/0024-3795(92)90012-Y
- L. Elsner, The generalized spectral-radius theorem: an analytic-geometric proof, Proceedings of the Workshop “Nonnegative Matrices, Applications and Generalizations” and the Eighth Haifa Matrix Theory Conference (Haifa, 1993), 1995, pp. 151–159. MR 1334574, DOI 10.1016/0024-3795(93)00320-Y
- H. Furstenberg and H. Kesten, Products of random matrices, Ann. Math. Statist. 31 (1960), 457–469. MR 121828, DOI 10.1214/aoms/1177705909
- Kevin G. Hare, Ian D. Morris, Nikita Sidorov, and Jacques Theys, An explicit counterexample to the Lagarias-Wang finiteness conjecture, Adv. Math. 226 (2011), no. 6, 4667–4701. MR 2775881, DOI 10.1016/j.aim.2010.12.012
- J. F. C. Kingman, Subadditive ergodic theory, Ann. Probability 1 (1973), 883–909. MR 356192, DOI 10.1214/aop/1176996798
- V.S. Kozyakin, Structure of extremal trajectories of discrete linear systems and the finiteness conjecture, Automat. Remote Control, 68 (2007), 174–209.
- V. V. Nemytskii and V. V. Stepanov, Qualitative theory of differential equations, Princeton Mathematical Series, No. 22, Princeton University Press, Princeton, N.J., 1960. MR 0121520
- Gian-Carlo Rota and Gilbert Strang, A note on the joint spectral radius, Nederl. Akad. Wetensch. Proc. Ser. A 63 = Indag. Math. 22 (1960), 379–381. MR 0147922, DOI 10.1016/S1385-7258(60)50046-1
- Mau-Hsiang Shih, Jinn-Wen Wu, and Chin-Tzong Pang, Asymptotic stability and generalized Gelfand spectral radius formula, Linear Algebra Appl. 252 (1997), 61–70. MR 1428628, DOI 10.1016/0024-3795(95)00592-7
- Peter Walters, An introduction to ergodic theory, Graduate Texts in Mathematics, vol. 79, Springer-Verlag, New York-Berlin, 1982. MR 648108, DOI 10.1007/978-1-4612-5775-2
- Fabian Wirth, The generalized spectral radius and extremal norms, Linear Algebra Appl. 342 (2002), 17–40. MR 1873424, DOI 10.1016/S0024-3795(01)00446-3
Additional Information
- Xiongping Dai
- Affiliation: Department of Mathematics, Nanjing University, Nanjing 210093, People’s Republic of China
- MR Author ID: 609395
- Email: xpdai@nju.edu.cn
- Yu Huang
- Affiliation: Department of Mathematics, Zhongshan (Sun Yat-Sen) University, Guangzhou 510275, People’s Republic of China
- MR Author ID: 197768
- Email: stshyu@mail.sysu.edu.cn
- MingQing Xiao
- Affiliation: Department of Mathematics, Southern Illinois University, Carbondale, Illinois 62901-4408
- Email: mxiao@math.siu.edu
- Received by editor(s): June 10, 2011
- Received by editor(s) in revised form: June 16, 2011, and June 27, 2011
- Published electronically: June 1, 2012
- Additional Notes: This project was supported partly by National Natural Science Foundation of China (Nos. 11071112 and 11071263) and in part by NSF DMS-0605181, 1021203, of the United States.
- Communicated by: Bryna Kra
- © Copyright 2012 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 141 (2013), 393-401
- MSC (2010): Primary 15B52; Secondary 15A30, 15A18
- DOI: https://doi.org/10.1090/S0002-9939-2012-11330-9
- MathSciNet review: 2996944