operator norm of a matrix and trace of a matrix

1k Views Asked by At

Suppose $A=(a_{ij})$ is an $n\times n$ complex matrix, $\operatorname{tr}(A)=\displaystyle \frac{1}{n}\sum_{i}a_{ii}$. I wonder whether there exists a relationship between $\|A\|$ (the operator norm) and $\operatorname{tr}(A^k)$, where $k=1,\cdots,n$?

1

There are 1 best solutions below

6
On BEST ANSWER

In general no, as nilpotent operators exist. For instance consider $$A=\begin{bmatrix}0&1\\0&0\end{bmatrix}. $$ Then $\|A\|=1$ and $\operatorname{tr}(A^k)=0$ for all $k$.

When $A$ is normal, it is easy to check that $$\tag1 \|A\|=\lim_{k\to\infty}|n\operatorname{tr}(A^k)|^{1/k}. $$ Indeed, you have that $\|A\|=\max\{|\lambda_j|:\ j=1,\ldots,n\}$, where $\{\lambda_j\}$ are the eigenvalues of $A$ counting multiplicities. If we take $\lambda_1$ to be the one with $|\lambda_1|=\|A\|$,
\begin{align} |\operatorname{tr}(A^k)|^{1/k}&=\exp\left({\tfrac1k\,\log|\sum_{j=1}^n\lambda_j^k|}\right) =\exp\left({\tfrac1k\,\log|\lambda_1^k|\,|1+\sum_{j=1}^n(\lambda_j/\lambda_1)^k|}\right)\\ \ \\ &=|\lambda_1|\,\exp\left({\tfrac1k\,\log |1+\sum_{j=1}^n(\lambda_j/\lambda_1)^k|}\right)\xrightarrow[k\to\infty]{}|\lambda_1|,\\ \ \\ \end{align} as the expression inside brackets is bounded above by $\tfrac1k\,\log(1+n)$.