# The finiteness conjecture for the generalized spectral radius of a set of matrices

@article{Lagarias1995TheFC, title={The finiteness conjecture for the generalized spectral radius of a set of matrices}, author={Jeffrey C. Lagarias and Yang Wang}, journal={Linear Algebra and its Applications}, year={1995}, volume={214}, pages={17-42} }

The generalized spectral radius\g9(∑) of a set ∑ of n × n matrices is \g9(∑) = lim supk→∞\g9k(∑)1k, where \g9k(∑) = sup{ϱ(A1A2…Ak): each Ai ∈ ∑}. The joint spectral radius\g9(∑) is \g9(∑) = lim supk→∞\g9k(∑)1k, where \g9k(∑) = sup{∥A1 … Ak∥:each Ai ∈ ∑}. It is known that \g9(∑) = \g9(∑) holds for any finite set ∑ of n × n matrices. The finiteness conjecture asserts that for any finite set ∑ of real n × n matrices there exists a finite k such that \g9(∑) = \g9(∑) = \g9k(∑)1k. The normed…

## 203 Citations

The generalized spectral-radius theorem: An analytic-geometric proof

- Mathematics
- 1995

Abstract Let ∑ be a bounded set of complex matrices, ∑ m = {A 1 ... A m : A i ∈ ∑} . The generalized spectral-radius theorem states that ϱ(∑) =ρ^(∑) , where ϱ(∑) and ρ^(σ) are defined as follows:…

Asymptotic Stability and Generalized Gelfand Spectral Radius Formula

- Mathematics
- 1997

Let ∑ be a set of n × n complex matrices. For m = 1, 2, …, let ∑m be the set of all products of matrices in ∑ of length m. Denote by ∑′ the multiplicative semigroup generated by ∑. ∑ is said to be…

An efficient lower bound for the generalized spectral radius

- Mathematics
- 1996

The generalized spectral radius (GSR) is a fundamental concept in studying the regularity of compactly supported wavelets. Here we describe an efficient method for estimating a lower bound for the…

Joint spectral radius, Sturmian measures and the finiteness conjecture

- MathematicsErgodic Theory and Dynamical Systems
- 2017

The joint spectral radius of a pair of $2\times 2$ real matrices $(A_{0},A_{1})\in M_{2}(\mathbb{R})^{2}$ is defined to be $r(A_{0},A_{1})=\limsup _{n\rightarrow \infty }\max \{\Vert A_{i_{1}}\cdots…

Simultaneous Schur stability

- Mathematics
- 1999

Let Σ be a set of n × n complex matrices. Denote by ℒ(∑) the multiplicative semi-group generated by Σ. For an n × n complex matrix A, the spectrum of A and spectral radius of A are denoted by σ(A)…

Computationally Efficient Approximations of the Joint Spectral Radius

- Mathematics, Computer ScienceSIAM J. Matrix Anal. Appl.
- 2005

A procedure for approximating the joint spectral radius of a finite set of matrices with arbitrary high accuracy based on semidefinite liftings and it is proved that a widely used approximation based on common quadratic Lyapunov functions (or on ellipsoid norms) has relative accuracy $1/\sqrt m$, where $m$ is the number ofMatrices and $n$ is their size.

Rank one matrices do not contribute to the failure of the finiteness property

- Mathematics
- 2011

The joint spectral radius of a bounded set of d times d real or complex matrices is defined to be the maximum exponential rate of growth of products of matrices drawn from that set. A set of matrices…

Generic properties of the lower spectral radius for some low-rank pairs of matrices

- Mathematics
- 2015

The lower spectral radius of a set of $d \times d$ matrices is defined to be the minimum possible exponential growth rate of long products of matrices drawn from that set. When considered as a…

Mathematical Proceedings of the Cambridge Philosophical Society

- 2013

The joint spectral radius of a bounded set of d × d real matrices is defined to be the maximum possible exponential growth rate of products of matrices drawn from that set. For a fixed set of…

Ergodic properties of matrix equilibrium states

- MathematicsErgodic Theory and Dynamical Systems
- 2017

Given a finite irreducible set of real $d\times d$ matrices $A_{1},\ldots ,A_{M}$ and a real parameter $s>0$ , there exists a unique shift-invariant equilibrium state on $\{1,\ldots…

## References

SHOWING 1-10 OF 18 REFERENCES

Sets of Matrices All Infinite Products of Which Converge

- Mathematics
- 1992

An infinite product IIT= lMi of matrices converges (on the right) if limi __ M, . . . Mi exists. A set Z = (Ai: i > l} of n X n matrices is called an RCP set (rightconvergent product set) if all…

Two-scale difference equations II. local regularity, infinite products of matrices and fractals

- Mathematics
- 1992

This paper studies solutions of the functional equation \[ f(x) = \sum_{n = 0}^N {c_n f(kx - n),} \] where $k \geqq 2$ is an integer, and $\sum\nolimits_{n = 0}^N {c_n = k} $. Part I showed that…

Stability of discrete linear inclusion

- Mathematics
- 1995

Let M = {Ai} be a set of linear operators on Rn. The discrete linear inclusion DLI(M) is the set of possible trajectories (xi: i ⩾ 0) such that xn = AinAin−1 … Ai1x0 where x0 ∈ Rn and Aij ∈ M. We…

Matrix norms and their applications

- Mathematics
- 1988

1 - Operators in Finite-Dimensional Normed Spaces.- 1. Norms of vectors, linear functionals, and linear operators.- 2. Survey of spectral theory.- 3. Spectral radius.- 4. One-parameter groups and…

Two-scale difference equations I: existence and global regularity of solutions

- Mathematics
- 1991

A two-scale difference equation is a functional equation of the form $f(x) = \sum _{n = 0}^N c_n f(\alpha x - \beta _n )$, where $\alpha > 1$ and $\beta _0 < \beta _1 <\cdots <\beta _n $, are real…

Bounded semigroups of matrices

- Mathematics
- 1992

In this note are proved two conjectures of Daubechies and Lagarias. The first asserts that if Z is a bounded set of matrices such that all left infinite products converge, then 8 generates a bounded…

CHARACTERIZATIONS OF SCALING FUNCTIONS: CONTINUOUS SOLUTIONS∗

- 1994

A dilation equation is a functional equation of the form f(t) = ∑ N k=0 ck f(2t − k), and any nonzero solution of such an equation is called a scaling function. Dilation equations play an important…

An introduction to complex analysis in several variables

- Mathematics
- 1973

I. Analytic Functions of One Complex Variable. II. Elementary Properties of Functions of Several Complex Variables. III. Applications to Commutative Banach Algebras. IV. L2 Estimates and Existence…

Matrix Perturbation Theory

- Mathematics
- 1990

Preliminaries. Norms and Metrics. Linear Systems and Least Squares Problems. The Perturbation of Eigenvalues. Invariant Subspaces. Generalized Eigenvalue Problems.

The characterization of continuous, four-coefficient scaling functions and wavelets

- Mathematics, Computer ScienceIEEE Trans. Inf. Theory
- 1992

Four-coefficient dilation equations are examined and results converse to a theorem of Daubechies-Lagarias are given. These results complete the characterization of those four-coefficient dilation…