We prove that there exist infinitely may values of the real parameter α for which the exact value of the spectral subradius of the set of two matrices (one matrix with ones above and on the diagonal and zeros elsewhere, and one matrix with α below and on the diagonal and zeros elsewhere, both matrices having two rows and two columns) cannot be calculated in a finite number of steps. Our proof uses only elementary facts from the theory of formal languages and from linear algebra, but it is not constructive because we do not show any explicit value of α that has described property. The problem of finding such values is still open.
@article{bwmeta1.element.bwnjournal-article-amcv17i2p173bwm,
author = {Czornik, Adam and Jurgas, Piotr},
title = {Falseness of the finiteness property of the spectral subradius},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {17},
year = {2007},
pages = {173-178},
zbl = {1126.93028},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-amcv17i2p173bwm}
}
Czornik, Adam; Jurgas, Piotr. Falseness of the finiteness property of the spectral subradius. International Journal of Applied Mathematics and Computer Science, Tome 17 (2007) pp. 173-178. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-amcv17i2p173bwm/
[000] Elsner L. (1995): The generalized spectral radius theorem: An analytic-geometric proof. - Linear Algebra Appl., Vol.220,pp.151-159. | Zbl 0828.15006
[001] Blondel V.D., Theys J. and Vladimirov A.A. (2003): An elementary counter example to the finitness conjecture. - SIAM J. Matrix Anal. Appl., Vol.24, No.4, pp.963-970. | Zbl 1043.15007
[002] Czornik A. (2005): On the generalized spectral subradius. -Linear Algebra Appl., Vol.407, pp.242-248. | Zbl 1080.15008
[003] Horn R.A. and Johnson C.R. (1991): Topics in Matrix Analysis. - Cambridge, UK: Cambridge University Press. | Zbl 0729.15001
[004] Horn R.A. and Johnson C.R. (1985): Matrix Analysis. -Cambridge, UK: Cambridge University Press. | Zbl 0576.15001
[005] Lagarias J.C. and Wang Y. (1995): The finiteness conjecture for the generalized spectral radius of a set of matrices. - Linear Algebra Appl., Vol.214, pp.17-42. | Zbl 0818.15007
[006] Tsitsiklis J. and Blondel V. (1997): The Lyapunov exponent and joint spectral radius of pairs of matrices are hard - when not impossible to compute and to approximate. -Math. Contr. Signals Syst., Vol.10, pp.31-40 | Zbl 0888.65044