Abstract
We examine a special case of an approximation of the joint spectral radius given by Blondel and Nesterov, which we call the outer spectral radius. The outer spectral radius is given by the square root of the ordinary spectral radius of the n2 by n2 matrix \(\sum \overline {{X_i}} \otimes {X_i}\). We give an analogue of the spectral radius formula for the outer spectral radius which can be used to quickly obtain the error bounds in methods based on the work of Blondel and Nesterov. The outer spectral radius is used to analyze the iterates of a completely positive map, including the special case of quantum channels. The average of the iterates of a completely positive map approach to a completely positive map where the Kraus operators span an ideal in the algebra generated by the Kraus operators of the original completely positive map. We also give an elementary treatment of Popescu’s theorems on similarity to row contractions in the matrix case, describe connections to the Parrilo-Jadbabaie relaxation, and give a detailed analysis of the maximal spectrum of a completely positive map.
Similar content being viewed by others
References
A. A. Ahmadi, R. Jungers, P A. Parrilo and M. Roozbehani, Joint spectral radius and path-complete graph Lyapunov functions, SIAM Journal on Control and Optimization 52 (2014), 687–717.
V. D. Blondel, The birth of the joint spectral radius: An interview with Gilbert Strang, Linear Algebra and its Applications 428 (2008), 2261–2264.
V. D. Blondel and Y. Nesterov, Computationally efficient approximations of the joint spectral radius, SIAM Journal on Matrix Analysis and Applications 27 (2005), 256–272.
V. D. Blondel and J. N. Tsitsiklis, The Lyapunov exponent and joint spectral radius of pairs of matrices are hard-when not impossible-to compute and to approximate, Mathematics of Control, Signals and Systems 10 (1997), 31–40.
V. D. Blondel and J. N. Tsitsiklis, The boundedness of all products of a pair of matrices is undecidable, Systems and Control Letters 41 (2000), 135–140.
M.-D. Choi, Positive linear maps on C*-algebras, Ph. D. thesis, University of Toronto, 1972.
I. Daubechies and J. Lagarias, Two-scale difference equations. I. Existence and global regularity of solutions, SIAM Journal on Mathematical Analysis 22 (1991), 1388–1410.
D. E. Evans and R. Høegh-Krohn, Spectral properties of positive maps on C*-algebras, Journal of the London Mathematical Society 17 (1978), 345–355.
A. E. Frazho, Complements to models for noncommuting operators, Journal of Functional Analysis 59 (1984), 445–461.
U. Groh, Some observations on the spectra of positive operators on finite-dimensional C*-algebras, Linear Algebra and its Applications 42 (1982), 213–222.
J. W. Helton, I. Klep, S. McCullough and N. Slinglend, Noncommutative ball maps, Journal of Functional Analysis 257 (2009), 47–87.
R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, 1985.
K. Kraus, General state changes in quantum theory, Annals of Physics 64 (1971), 311–335.
M. Lagro, W.-S. Yang and S. Xiong, A Perron-Frobenius type of theorem for quantum operations, Journal of Statistical Physics 169 (2017), 38–62.
M. Michałek and Y. Shitov, Quantum version of Wielandt’s inequality revisited, IEEE Transactions on Information Theory 65 (2019), 5239–5242.
A. Müller-Hermes, D. Stilck França and M. M. Wolf, Entropy production of doubly stochastic quantum channels, Journal of Mathematical Physics 57 (2016), Article no. 022203.
P. A. Parrilo and A. Jadbabaie, Approximation of the joint spectral radius using sums of squares, Linear Algebra and its Applications 428 (2008), 2385–2402.
J. E. Pascoe, An elementary method to compute the algebra generated by some given matrices and its dimension, Linear Algebra and its Applications 571 (2019), 132–142.
G. Popescu, Isometric dilations for infinite sequences of noncommuting operators, Transactions of the American Mathematical Society 316 (1989), 523–536.
G. Popescu, Von Neumann inequality for \({(B{({\cal H})^n})_1}\), Mathematica Scandinavica 68 (1991), 292–304.
G. Popescu, Similarity and ergodic theory of positive linear maps, Journal für die Reine und Angewandte Mathematik 561 (2003), 87–129.
G. Popescu, Joint similarity to operators in noncommutative varieties, Proceedings of the London Mathematical Society 103 (2011), 331–370.
G. Popescu, Similarity problems in noncommutative polydomains, Journal of Functional Analysis 267 (2014), 4446–4498.
M. Raginsky, Entropy production rates of bistochastic strictly contractive quantum channels on a matrix algebra, Journal of Physics A: Mathematical and General 35 (2002), L585–L590.
G. C. Rota and G. Strang, A note on the joint spectral radius, Koninklijke Nederlandse Akademie van Wetenschappen. Indagationes Mathematicae 22 (1960), 379–381.
G.-C. Rota, On models for linear operators, Communications on Pure and Applied Mathematics 13 (1960), 469–472.
B. Sagan, The Symmetric Group, Graduate Text in Mathematics, Vol. 203, Springer, New York, 2001.
M. Sanz, D. Perez-Garcia, M. M. Wolf and J. I. Cirac, A quantum version of wielandt’s inequality, IEEE Transactions on Information Theory 56 (2010), 4668–4673.
R. Schrader, Perron-Frobenius theory for positive maps on trace ideals, in Mathematical Physics in Mathematics and Physics (Siena, 2000), Fields Institute Communications, vol. 30, American Mathematical Society, Providence, RI, 2001, pp. 361–378.
J. Xu and M. Xiao, A characterization of the generalized spectral radius with Kronecker powers, Automatica 47 (2011), 1530–1533.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pascoe, J.E. The outer spectral radius and dynamics of completely positive maps. Isr. J. Math. 244, 945–969 (2021). https://doi.org/10.1007/s11856-021-2198-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-021-2198-x