Spectral radius

In mathematics, the spectral radius of a square matrix is the maximum of the absolute values of its eigenvalues.^[1] More generally, the spectral radius of a bounded linear operator is the supremum of the absolute values of the elements of its spectrum. The spectral radius is often denoted by $ρ(\cdot)$ .

Definition

Matrices

Let $λ 1, ..., λ n$ be the eigenvalues of a matrix $A \in C n \times n$ . The spectral radius of $A$ is defined as

\rho (A)=\max \left\{|\lambda _{1}|,\dotsc ,|\lambda _{n}|\right\}.

The spectral radius can be thought of as an infimum of all norms of a matrix. Indeed, on the one hand, $\rho (A)\leqslant \|A\|$ for every natural matrix norm $\|\cdot \|$ ; and on the other hand, Gelfand's formula states that $\rho (A)=\lim _{k\to \infty }\|A^{k}\|^{1/k}$ . Both of these results are shown below.

However, the spectral radius does not necessarily satisfy $\|A\mathbf {v} \|\leqslant \rho (A)\|\mathbf {v} \|$ for arbitrary vectors $\mathbf {v} \in \mathbb {C} ^{n}$ . To see why, let $r>1$ be arbitrary and consider the matrix

C_{r}={\begin{pmatrix}0&r^{-1}\\r&0\end{pmatrix}}

.

The characteristic polynomial of $C_{r}$ is $\lambda ^{2}-1$ , so its eigenvalues are $\{-1,1\}$ and thus $\rho (C_{r})=1$ . However, $C_{r}\mathbf {e} _{1}=r\mathbf {e} _{2}$ . As a result,

\|C_{r}\mathbf {e} _{1}\|=r>1=\rho (C_{r})\|\mathbf {e} _{1}\|.

As an illustration of Gelfand's formula, note that $\|C_{r}^{k}\|^{1/k}\to 1$ as $k\to \infty$ , since $C_{r}^{k}=I$ if $k$ is even and $C_{r}^{k}=C_{r}$ if $k$ is odd.

A special case in which $\|A\mathbf {v} \|\leqslant \rho (A)\|\mathbf {v} \|$ for all $\mathbf {v} \in \mathbb {C} ^{n}$ is when $A$ is a Hermitian matrix and $\|\cdot \|$ is the Euclidean norm. This is because any Hermitian Matrix is diagonalizable by a unitary matrix, and unitary matrices preserve vector length. As a result,

\|A\mathbf {v} \|=\|U^{*}DU\mathbf {v} \|=\|DU\mathbf {v} \|\leqslant \rho (A)\|U\mathbf {v} \|=\rho (A)\|\mathbf {v} \|.

Bounded linear operators

In the context of a bounded linear operator $A$ on a Banach space, the eigenvalues need to be replaced with the elements of the spectrum of the operator, i.e. the values $\lambda$ for which $A-\lambda I$ is not bijective. We denote the spectrum by

\sigma (A)=\left\{\lambda \in \mathbb {C} :A-\lambda I\;{\text{is not bijective}}\right\}

The spectral radius is then defined as the supremum of the magnitudes of the elements of the spectrum:

\rho (A)=\sup _{\lambda \in \sigma (A)}|\lambda |

Gelfand's formula, also known as the spectral radius formula, also holds for bounded linear operators: letting $\|\cdot \|$ denote the operator norm, we have

\rho (A)=\lim _{k\to \infty }\|A^{k}\|^{\frac {1}{k}}=\inf _{k\in \mathbb {N} ^{*}}\|A^{k}\|^{\frac {1}{k}}.

A bounded operator (on a complex Hilbert space) is called a spectraloid operator if its spectral radius coincides with its numerical radius. An example of such an operator is a normal operator.

Graphs

The spectral radius of a finite graph is defined to be the spectral radius of its adjacency matrix.

This definition extends to the case of infinite graphs with bounded degrees of vertices (i.e. there exists some real number $C$ such that the degree of every vertex of the graph is smaller than $C$ ). In this case, for the graph $G$ define:

{\displaystyle \ell ^{2}(G)=\left\{f:V(G)\to \mathbf {R} \

Let $γ$ be the adjacency operator of $G$ :

{\displaystyle {\begin{cases}\gamma

The spectral radius of $G$ is defined to be the spectral radius of the bounded linear operator $γ$ .

Upper bounds

Upper bounds on the spectral radius of a matrix

The following proposition gives simple yet useful upper bounds on the spectral radius of a matrix.

Proposition. Let $A \in C n \times n$ with spectral radius $ρ (A)$ and a consistent matrix norm $||\cdot||$ . Then for each integer $k\geqslant 1$ :

\rho (A)\leq \|A^{k}\|^{\frac {1}{k}}.

Proof

Let $(v, λ)$ be an eigenvector-eigenvalue pair for a matrix A. By the sub-multiplicativity of the matrix norm, we get:

|\lambda |^{k}\|\mathbf {v} \|=\|\lambda ^{k}\mathbf {v} \|=\|A^{k}\mathbf {v} \|\leq \|A^{k}\|\cdot \|\mathbf {v} \|.

Since $v \neq 0$ , we have

|\lambda |^{k}\leq \|A^{k}\|

and therefore

\rho (A)\leq \|A^{k}\|^{\frac {1}{k}}.

concluding the proof.

Upper bounds for spectral radius of a graph

There are many upper bounds for the spectral radius of a graph in terms of its number n of vertices and its number m of edges. For instance, if

{\frac {(k-2)(k-3)}{2}}\leq m-n\leq {\frac {k(k-3)}{2}}

where $3\leq k\leq n$ is an integer, then^[2]

\rho (G)\leq {\sqrt {2m-n-k+{\frac {5}{2}}+{\sqrt {2m-2n+{\frac {9}{4}}}}}}

Power sequence

The spectral radius is closely related to the behavior of the convergence of the power sequence of a matrix; namely as shown by the following theorem.

Theorem. Let $A \in C n \times n$ with spectral radius $ρ (A)$ . Then $ρ (A) < 1$ if and only if

\lim _{k\to \infty }A^{k}=0.

On the other hand, if $ρ (A) > 1$ , $\lim _{k\to \infty }\|A^{k}\|=\infty$ . The statement holds for any choice of matrix norm on $C n \times n$ .

Proof

Assume that $A^{k}$ goes to zero as $k$ goes to infinity. We will show that $ρ (A) < 1$ . Let $(v, λ)$ be an eigenvector-eigenvalue pair for A. Since $A k v = λ k v$ , we have

{\begin{aligned}0&=\left(\lim _{k\to \infty }A^{k}\right)\mathbf {v} \\&=\lim _{k\to \infty }\left(A^{k}\mathbf {v} \right)\\&=\lim _{k\to \infty }\lambda ^{k}\mathbf {v} \\&=\mathbf {v} \lim _{k\to \infty }\lambda ^{k}\end{aligned}}

Since $v \neq 0$ by hypothesis, we must have

\lim _{k\to \infty }\lambda ^{k}=0,

which implies |λ| < 1. Since this must be true for any eigenvalue λ, we can conclude that $ρ (A) < 1$ .

Now, assume the radius of $A$ is less than $1$ . From the Jordan normal form theorem, we know that for all $A \in C n \times n$ , there exist $V, J \in C n \times n$ with $V$ non-singular and $J$ block diagonal such that:

A=VJV^{-1}

with

J={\begin{bmatrix}J_{m_{1}}(\lambda _{1})&0&0&\cdots &0\\0&J_{m_{2}}(\lambda _{2})&0&\cdots &0\\\vdots &\cdots &\ddots &\cdots &\vdots \\0&\cdots &0&J_{m_{s-1}}(\lambda _{s-1})&0\\0&\cdots &\cdots &0&J_{m_{s}}(\lambda _{s})\end{bmatrix}}

where

J_{m_{i}}(\lambda _{i})={\begin{bmatrix}\lambda _{i}&1&0&\cdots &0\\0&\lambda _{i}&1&\cdots &0\\\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&\cdots &\lambda _{i}&1\\0&0&\cdots &0&\lambda _{i}\end{bmatrix}}\in \mathbf {C} ^{m_{i}\times m_{i}},1\leq i\leq s.

It is easy to see that

A^{k}=VJ^{k}V^{-1}

and, since $J$ is block-diagonal,

J^{k}={\begin{bmatrix}J_{m_{1}}^{k}(\lambda _{1})&0&0&\cdots &0\\0&J_{m_{2}}^{k}(\lambda _{2})&0&\cdots &0\\\vdots &\cdots &\ddots &\cdots &\vdots \\0&\cdots &0&J_{m_{s-1}}^{k}(\lambda _{s-1})&0\\0&\cdots &\cdots &0&J_{m_{s}}^{k}(\lambda _{s})\end{bmatrix}}

Now, a standard result on the $k$ -power of an $m_{i}\times m_{i}$ Jordan block states that, for $k\geq m_{i}-1$ :

J_{m_{i}}^{k}(\lambda _{i})={\begin{bmatrix}\lambda _{i}^{k}&{k \choose 1}\lambda _{i}^{k-1}&{k \choose 2}\lambda _{i}^{k-2}&\cdots &{k \choose m_{i}-1}\lambda _{i}^{k-m_{i}+1}\\0&\lambda _{i}^{k}&{k \choose 1}\lambda _{i}^{k-1}&\cdots &{k \choose m_{i}-2}\lambda _{i}^{k-m_{i}+2}\\\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&\cdots &\lambda _{i}^{k}&{k \choose 1}\lambda _{i}^{k-1}\\0&0&\cdots &0&\lambda _{i}^{k}\end{bmatrix}}

Thus, if $\rho (A)<1$ then for all $i$ $|\lambda _{i}|<1$ . Hence for all $i$ we have:

\lim _{k\to \infty }J_{m_{i}}^{k}=0

which implies

\lim _{k\to \infty }J^{k}=0.

Therefore,

\lim _{k\to \infty }A^{k}=\lim _{k\to \infty }VJ^{k}V^{-1}=V\left(\lim _{k\to \infty }J^{k}\right)V^{-1}=0

On the other side, if $\rho (A)>1$ , there is at least one element in $J$ that does not remain bounded as $k$ increases, thereby proving the second part of the statement.

Gelfand's formula

Gelfand's formula, named after Israel Gelfand, gives the spectral radius as a limit of matrix norms.

Theorem

For any matrix norm $||\cdot||,$ we have^[3]

\rho (A)=\lim _{k\to \infty }\left\|A^{k}\right\|^{\frac {1}{k}}

.

Moreover, in the case of a consistent matrix norm $\lim _{k\to \infty }\left\|A^{k}\right\|^{\frac {1}{k}}$ approaches $\rho (A)$ from above (indeed, in that case $\rho (A)\leq \left\|A^{k}\right\|^{\frac {1}{k}}$ for all $k$ ).

Proof

For any $ε > 0$ , let us define the two following matrices:

A_{\pm }={\frac {1}{\rho (A)\pm \varepsilon }}A.

Thus,

\rho \left(A_{\pm }\right)={\frac {\rho (A)}{\rho (A)\pm \varepsilon }},\qquad \rho (A_{+})<1<\rho (A_{-}).

We start by applying the previous theorem on limits of power sequences to $A +$ :

\lim _{k\to \infty }A_{+}^{k}=0.

This shows the existence of $N + \in N$ such that, for all $k \geq N +$ ,

\left\|A_{+}^{k}\right\|<1.

Therefore,

\left\|A^{k}\right\|^{\frac {1}{k}}<\rho (A)+\varepsilon .

Similarly, the theorem on power sequences implies that $\|A_{-}^{k}\|$ is not bounded and that there exists $N - \in N$ such that, for all k ≥ N₋,

\left\|A_{-}^{k}\right\|>1.

Therefore,

\left\|A^{k}\right\|^{\frac {1}{k}}>\rho (A)-\varepsilon .

Let $N = max{N +, N -$ }. Then,

\forall \varepsilon >0\quad \exists N\in \mathbf {N} \quad \forall k\geq N\quad \rho (A)-\varepsilon <\left\|A^{k}\right\|^{\frac {1}{k}}<\rho (A)+\varepsilon ,

that is,

\lim _{k\to \infty }\left\|A^{k}\right\|^{\frac {1}{k}}=\rho (A).

This concludes the proof.

Corollary

Gelfand's formula yields a bound on the spectral radius of a product of commuting matrices: if $A_{1},\ldots ,A_{n}$ are matrices that all commute, then

\rho (A_{1}\cdots A_{n})\leq \rho (A_{1})\cdots \rho (A_{n}).

Numerical example

Consider the matrix

A={\begin{bmatrix}9&-1&2\\-2&8&4\\1&1&8\end{bmatrix}}

whose eigenvalues are $5, 10, 10$ ; by definition, $ρ (A) = 10$ . In the following table, the values of $\|A^{k}\|^{\frac {1}{k}}$ for the four most used norms are listed versus several increasing values of k (note that, due to the particular form of this matrix, $\|.\|_{1}=\|.\|_{\infty }$ ):

k	$\\|\cdot \\|_{1}=\\|\cdot \\|_{\infty }$	$\\|\cdot \\|_{F}$	$\\|\cdot \\|_{2}$
1	14	15.362291496	10.681145748
2	12.649110641	12.328294348	10.595665162
3	11.934831919	11.532450664	10.500980846
4	11.501633169	11.151002986	10.418165779
5	11.216043151	10.921242235	10.351918183
$\vdots$	$\vdots$	$\vdots$	$\vdots$
10	10.604944422	10.455910430	10.183690042
11	10.548677680	10.413702213	10.166990229
12	10.501921835	10.378620930	10.153031596
$\vdots$	$\vdots$	$\vdots$	$\vdots$
20	10.298254399	10.225504447	10.091577411
30	10.197860892	10.149776921	10.060958900
40	10.148031640	10.112123681	10.045684426
50	10.118251035	10.089598820	10.036530875
$\vdots$	$\vdots$	$\vdots$	$\vdots$
100	10.058951752	10.044699508	10.018248786
200	10.029432562	10.022324834	10.009120234
300	10.019612095	10.014877690	10.006079232
400	10.014705469	10.011156194	10.004559078
$\vdots$	$\vdots$	$\vdots$	$\vdots$
1000	10.005879594	10.004460985	10.001823382
2000	10.002939365	10.002230244	10.000911649
3000	10.001959481	10.001486774	10.000607757
$\vdots$	$\vdots$	$\vdots$	$\vdots$
10000	10.000587804	10.000446009	10.000182323
20000	10.000293898	10.000223002	10.000091161
30000	10.000195931	10.000148667	10.000060774
$\vdots$	$\vdots$	$\vdots$	$\vdots$
100000	10.000058779	10.000044600	10.000018232

Notes and references

↑ Gradshteĭn, I. S. (1980). Table of integrals, series, and products. I. M. Ryzhik, Alan Jeffrey (Corr. and enl. ed.). New York: Academic Press. ISBN 0-12-294760-6. OCLC 5892996.
↑ Guo, Ji-Ming; Wang, Zhi-Wen; Li, Xin (2019). "Sharp upper bounds of the spectral radius of a graph". Discrete Mathematics. 342 (9): 2559–2563. doi:10.1016/j.disc.2019.05.017. S2CID 198169497.
↑ The formula holds for any Banach algebra; see Lemma IX.1.8 in Dunford & Schwartz 1963 and Lax 2002, pp. 195–197

Bibliography

Dunford, Nelson; Schwartz, Jacob (1963), Linear operators II. Spectral Theory: Self Adjoint Operators in Hilbert Space, Interscience Publishers, Inc.
Lax, Peter D. (2002), Functional Analysis, Wiley-Interscience, ISBN 0-471-55604-1

Spectral theory and ^*-algebras
Basic concepts	Involution/-algebra Banach algebra B-algebra C-algebra Noncommutative topology Projection-valued measure Spectrum Spectrum of a C-algebra Spectral radius Operator space
Main results	Gelfand–Mazur theorem Gelfand–Naimark theorem Gelfand representation Polar decomposition Singular value decomposition Spectral theorem Spectral theory of normal C*-algebras
Special Elements/Operators	Isospectral Normal operator Hermitian/Self-adjoint operator Unitary operator Unit
Spectrum	Krein–Rutman theorem Normal eigenvalue Spectrum of a C*-algebra Spectral radius Spectral asymmetry Spectral gap
Decomposition	Decomposition of a spectrum Continuous Point Residual Approximate point Compression Direct integral Discrete Spectral abscissa
Spectral Theorem	Borel functional calculus Min-max theorem Positive operator-valued measure Projection-valued measure Riesz projector Rigged Hilbert space Spectral theorem Spectral theory of compact operators Spectral theory of normal C*-algebras
Special algebras	Amenable Banach algebra With an Approximate identity Banach function algebra Disk algebra Nuclear C*-algebra Uniform algebra Von Neumann algebra Tomita–Takesaki theory
Finite-Dimensional	Alon–Boppana bound Bauer–Fike theorem Numerical range Schur–Horn theorem
Generalizations	Dirac spectrum Essential spectrum Pseudospectrum Structure space (Shilov boundary)
Miscellaneous	Abstract index group Banach algebra cohomology Cohen–Hewitt factorization theorem Extensions of symmetric operators Fredholm theory Limiting absorption principle Schröder–Bernstein theorems for operator algebras Sherman–Takeda theorem Unbounded operator
Examples	Wiener algebra
Applications	Almost Mathieu operator Corona theorem Hearing the shape of a drum (Dirichlet eigenvalue) Heat kernel Kuznetsov trace formula Lax pair Proto-value function Ramanujan graph Rayleigh–Faber–Krahn inequality Spectral geometry Spectral method Spectral theory of ordinary differential equations Sturm–Liouville theory Superstrong approximation Transfer operator Transform theory Weyl law Wiener–Khinchin theorem

Definition

Matrices

Bounded linear operators

Graphs

Upper bounds

Upper bounds on the spectral radius of a matrix

Upper bounds for spectral radius of a graph

Power sequence

Gelfand's formula

Theorem

Proof

Corollary

Numerical example

Notes and references

Bibliography

See also