Smallest angle between two subspaces ($\cos \vartheta =\Vert PQ\Vert$)

For two finite-dimensional subspaces with projections $P,Q$, define $\cos \vartheta ={\sup }_{\Vert u\Vert =\Vert v\Vert =1}|⟨u,v⟩|=\Vert PQ\Vert$, with vectors drawn from the respective subspaces. The angle is zero when they intersect nontrivially. To measure separation after removing a common intersection, restrict both subspaces to its orthogonal complement. The resulting angle controls sums of positive operators in the Kitaev geometrical lemma.

Suppose positive operators $A,B$ have positive eigenvalues at least $\gamma$ and their nullspaces meet only at zero. If $\vartheta$ is their smallest angle between two subspaces, then $A+B\ge 2\gamma {\sin }^2(\vartheta /2)I$. Indeed $A+B\ge \gamma (2I-P-Q)$, while $(P+Q{)}^2\le (1+\cos \vartheta )(P+Q)$ gives $P+Q\le (1+\cos \vartheta )I$. With a common nullspace, apply the same proof on its orthogonal complement to bound the positive spectral gap.