1: \begin{abstract}

2: Let $A\in\C^{n\times n}$ and let $\cX\subset \C^n$ be an $A$-invariant subspace with $\dim \cX=d\geq 1$,

3: corresponding to exterior eigenvalues of $A$. Given an initial subspace $\cV\subset \C^n$ with $\dim \cV=r\geq d$, we search for expansions of $\cV$ of the form $\cV+A(\cW_0)$, where $\cW_0\subset \cV$ is such that $\dim \cW_0\leq d$ and such that the expanded subspace is closer to $\cX$ than the initial $\cV$. We show that there exist (theoretical) optimal choices of such $\cW_0$, in the sense that $\theta_i(\cX,\cV+A(\cW_0))\leq \theta_i(\cV+A(\cW))$ for every $\cW\subset \cV$ with $\dim \cW\leq d$, where $\theta_i(\cX,\cT)$ denotes the $i$-th principal angle between $\cX$ and $\cT$, for $1\leq i\leq d\leq \dim \cT$. We relate these optimal expansions to block Krylov subspaces generated by $A$ and $\cV$.

4: We also show that the corresponding iterative sequence of subspaces constructed in this way approximate $\cX$ arbitrarily well, when $A$ is Hermitian and $\cX$ is simple. We further introduce computable versions of this construction and compute several numerical examples that show the performance of the computable algorithms and test 

5: our convergence analysis. 

6: 

7: \end{abstract}

8: