consider an insteresting question:


given Banach Space $ \mathcal{B}$, independent identical distribution random operator on $ \mathcal{B}$: $ (T\_i)\_{i \ge 1} $, where operator space is endowed with operator norm $ || T\_i||= \sup\_{v \in \mathcal{B},||v||=1}||T\_iv||$. 


assume $ \sup\_i||T\_i|| < \infty $, spectrum radius $ \rho(T\_i)<1 $ which is i.i.d random variables.


can we show: $ ||\prod\_{i=1}^n T\_i|| $ has exponential decay almost surely? 


take matrix as example: let $T\_i$ be 


\begin{pmatrix} 
\lambda\_i & 1 \\
0 & \lambda\_i 
\end{pmatrix}


where $ \lambda\_i <1 $ is i.i.d random variable.


so $ \prod\_{i=1}^n T\_i=$


\begin{pmatrix} 
\prod\_{i=1}^n\lambda\_i & (\prod\_{i=1}^n\lambda\_i)(\prod\_{i=1}^n\frac{1}{\lambda\_i}) \\
0 & \prod\_{i=1}^n\lambda\_i
\end{pmatrix}


then by law of large number when $ n \to \infty $, it is almost surely:


\begin{pmatrix} 
\exp(n\mathbb{E}\log \lambda\_1) & \exp(n\mathbb{E}\log \lambda\_1)\cdot n \cdot \mathbb{E}\frac{1}{\lambda\_1} \\
0 & \exp(n\mathbb{E}\log \lambda\_1) 
\end{pmatrix}


so $ ||\prod\_{i=1}^n T\_i|| $ has exponential decay almost surely if $ \mathbb{E}\frac{1}{\lambda\_1} < \infty, \mathbb{E}\log \lambda\_1 > -\infty$.


From my example, we have to add some conditions to my problem, otherwise it is not true. But If you know some reference about iid random operator and its spectrum, pls let me know, very appreciate!!!



iid random operator and its spectrum
Let $\mathbb{P}$ be a Borel probability measure on the space of bounded operators on $\mathcal{B}$, equipped with the operator norm topology. By the subadditive ergodic theorem, the limit
$$\lim\_{n \to \infty} \frac{1}{n}\log \|T\_{\omega\_n}\cdots T\_{\omega\_1}\|$$
exists a.s., where the operators $T\_{\omega\_i}$ are chosen IID according to the law $\mathbb{P}$. (This is also true if the sequence $(\omega\_k)$ is chosen according to a stationary ergodic process.) The limit
is a.s. equal to
$$\lim\_{n \to \infty} \frac{1}{n}\int \log\|T\_{\omega\_n}\cdots T\_{\omega\_1}\|d\mathbb{P}(\omega\_n)\cdots d\mathbb{P}(\omega\_1)$$
in the IID case, and a related property holds in the stationary ergodic case. This limit is conventionally called the *(top) Lyapunov exponent*.


Here is an example to illustrate that the criterion $\rho(T\_i)<1$ a.s. is insufficient to guarantee that the top Lyapunov exponent is negative even if $\mathcal{B}$ is two-dimensional. It is sufficient to find a probability measure supported on a pair of $2 \times 2$ matrices with spectral radius $1$ for which the top Lyapunov exponent is positive, since then we can divide both matrices by $e$ to the power of the top Lyapunov exponent and obtain something with spectral radii $<1$ but with the IID products not exponentially decaying. So, consider
$$A\_1=\begin{pmatrix}0&-1\\1&0\end{pmatrix},\qquad A\_2=\begin{pmatrix}1&-\frac{1}{2}\\2&0\end{pmatrix}$$
each with probability $\frac{1}{2}$. One may check that the two matrices have spectral radius $1$, have determinant $1$, do not preserve a finite union of one-dimensional subspaces of $\mathbb{R}^2$, and have the property that $\rho(A\_1A\_2)>1$. By Furstenberg's Theorem on random matrix products (see for example Viana's book *Lectures on Lyapunov exponents*, or Bougerol and Lacroix's *Products of Random Matrices with Applications to Schrödinger Operators*) it follows from these observations that the top Lyapunov exponent is positive. Thus, the desired implication is false even for $2 \times 2$ matrices.


However, the stronger condition
$$\rho(T\_{\omega\_n}\cdots T\_{\omega\_1})<(1-\varepsilon)^n$$
for $\mathbb{P}\times \cdots \times \mathbb{P}$ almost every $\omega\_1,\ldots,\omega\_n$, for all $n \geq 1$, is sufficient if $\mathbb{P}$ has bounded support and $\mathcal{B}$ is finite-dimensional. Indeed, this condition implies
$$\limsup\_{n \to \infty} \sup\_{\omega\_1,\ldots,\omega\_n \in \mathrm{supp} \mathbb{P}}\|T\_{\omega\_n}\cdots T\_{\omega\_1}\|^{\frac{1}{n}}\leq 1-\varepsilon $$
and the almost sure result follows trivially. This result is sometimes referred to as the Berger-Wang formula for the joint spectral radius. This result also holds in infinite dimensions if the operators are compact, or satisfy a more complicated condition involving their approximability by compact operators. A while ago I wrote a paper on this, "The generalised Berger-Wang formula and the spectral radius of linear cocycles", and you might find some of the references therein helpful. 


You would probably also be interested in reading about Oseledec's multiplicative ergodic theorem and its infinite-dimensional generalisations. Anthony Quas has (co-)written numerous papers on infinite-dimensional multiplicative ergodic theorems and those would probably give you some insight into the state of the art in this area as well as a good source of contemporary and historical references.


