# Approximate spectral decomposition

I am interested in effective and computations for finding approximate spectral decompositions in some suitable format.

Namely, let $A: H \rightarrow H$ be a Hermitian operator on an $n-$dimensional Hilbert space $H$ with the spectrum $\{\lambda_1, \ldots \lambda_m\}, m \leq n$. Then, $A$ can be decomposed as:

$$A = \sum_{i=1}^{m}\lambda_i P_i,$$

where $P_i, i=1,\ldots m$ are orthogonal projections with $P_i, P_j = 0, i \neq j$ onto the eigenspaces $H_i = \ker \{ \lambda_i I - A \}$ such that:

$$H= \displaystyle \underset{i=1}{\overset{m}{\oplus}} H_i.$$

In an approximate format, the theorem can be stated as follows (p. 380):

for any $\varepsilon > 0$, there exist projections $P_i, i=1, \ldots n$ with $P_i, P_j = 0, i \neq j$, and real numbers $\alpha_1, \ldots \alpha_n$ such that $\big|\big| A - \displaystyle \sum_{i=1}^{n} \alpha_i P_i \big|\big| \leq \varepsilon$.

• Please, post only one question in one post. Posting several questions in the same post is discouraged and such questions may be put on hold, see meta.
– user10575
Apr 20, 2016 at 12:43
• The trace of an orthogonal projection is the dimension of the range. So the trace of the integral projection is the total of the dimensions of the eigenspaces associated with the eigenvalues inside the contour. May 8, 2016 at 18:00
• @ValerySaharov : An orthogonal projection is unitarily equivalent to a diagonal matrix with 1's and 0's on the diagonal; so the trace is the dimension of the range. The orthogonal projection you get out of the integral is the sum of the mutually disjoint orthogonal projections onto the eigenvalues inside the contour. May 8, 2016 at 19:34
• @ValerySaharov : When you have 1's and 0's down the diagonal and 0's elsewhere, you know that the dimension of the range is the number of 1's on the diagonal, which is the trace. May 9, 2016 at 0:04

This is not an answer, and don't take it as such. From a theoretical point of view, you have $A=\sum_{k=1}^{n}\lambda_k P_k$ where the $P_k$ are orthogonal projections. If you start iterating in $A$, or perform various functions of $A$, the problem is that $f(A)=\sum_{k=1}^{n}f(\lambda_k)P_k$. You can get down below the level of a projection. You can form functions of $A$ in such that way that $f_k(A)=P_k$, but that's the smallest granularity. Anything else starts with a vector and, even then, the best you can do is $P_kv$ for some vector $v$.
If you know where an eigenvalue is located, then you can use Complex Analysis to assert that $$P_{k} = \frac{1}{2\pi i}\oint_{|\lambda-\lambda_k|=\delta}(\lambda I-A)^{-1}d\lambda.$$ where the circular contour is positively oriented, centered at $\lambda_k$ and of radius $\delta > 0$ chosen small enough that there are no other eigenvalues on or inside the circle of radius $\delta$ centered at $\lambda_k$. What's nice about such a representation is this: if you perturb $A$ so that the eigenvalues don't change by much, even if there are bifurcations in the eigenvalues, so long as the eigenvalues do not cross the boundary of your circle of integration, then $P_k$ remains a projection--it is the projection onto the direct sum of the eigenspaces associated with all eigenvalues in the circle. This tells you something about what happens under perturbations. What's nice about this is that you don't really care whether the eigenvalues are very close or whether they're exactly on top of each other--this integral will give you the sum of all the projections associated with eigenvalues in the circle. And the sum of all such projections is an orthogonal projection. I suspect from your point of view of computability, this may be interesting, but I don't know.
If you know the positions of eigenvalues to a certain accuracy, then you could theoretically perform several such integrations in order to obtain $\lambda_1,\cdots,\lambda_k$ and contour-integration-derived projections $P_l$ such that $\|\sum_{l=1} \lambda_l P_l-A\| < \epsilon$. The projection $P_l$ would be the sum of all the orthogonal projections for eigenvalues within a certain tolerance of $\lambda_l$. This approximation would in the operator norm, with the exact difference being $$\sum_{l}\sum_{\{m : |\lambda_m-\lambda_l| < \epsilon\}}\lambda_m Q_m -\sum_{l}\sum_{\{ m : |\lambda_m-\lambda_l| < \epsilon\} }\lambda_l Q_m \\ = \sum_{l}\sum_{\{m : |\lambda_m-\lambda_l|\}}(\lambda_m-\lambda_l)Q_m$$ The projection $P_l$ is then given by $$P_l = \sum_{\{ m : |\lambda_m-\lambda_l| \}}Q_m.$$ These are orthogonal projections, and $P_l P_l' = 0$ if $l\ne l'$.