1: \begin{abstract}\vspace{-1cm}
2: Guaranteed lower Dirichlet eigenvalue bounds (GLB) can be computed for the $m$-th Laplace operator with a recently introduced
3: extra-stabilized nonconforming Crouzeix-Raviart ($m=1$) or Morley ($m=2$)
4: finite element eigensolver. % from Carstensen-Puttkammer (2021).
5: Striking numerical evidence for the superiority of a new adaptive eigensolver
6: motivates the convergence analysis in this paper with a proof of optimal convergence rates
7: of the GLB towards a simple eigenvalue. The proof is based on (a generalization of) known abstract
8: arguments entitled as the axioms of adaptivity. Beyond the known a priori
9: convergence rates, a medius analysis is enfolded in this paper for the proof of
10: best-approximation results. This and subordinated $L^2$ error estimates for locally refined triangulations appear of independent interest.
11: The analysis of optimal convergence rates of an adaptive mesh-refining algorithm is performed in $3$D and highlights a new version of discrete reliability.
12: \end{abstract}
13: