Title:Schubert varieties and distances between subspaces of different dimensions

Abstract:We resolve a basic problem regarding subspace distances that has arisen considerably often in applications: How could one define a notion of distance between two linear subspaces of different dimensions in a way that generalizes the usual Grassmann distance between equidimensional subspaces? We show that a natural solution is given by the distance of a point to a Schubert variety within the Grassmannian. Aside from reducing to the usual Grassmann distance when the subspaces are equidimensional, this distance is intrinsic and does not depend on any embedding into a larger ambient space. Furthermore, it can be written down as concrete expressions involving principal angles, and is efficiently computable in numerically stable ways. Our results are also largely independent of the Grassmann distance --- if desired, it may be substituted by any other common distances between subspaces. Central to our approach to these problems is a concrete algebraic geometric view of the Grassmannian that parallels the differential geometric perspective that is now well-established in applied and computational mathematics. A secondary goal of this article is to demonstrate that the basic algebraic geometry of Grassmannian can be just as accessible and useful to practitioners.