Geometry of Grassmannians and optimal transport of quantum states

Paolo Antonini, Fabio Cavalletti

Let $\mathsf{H}$ be a separable Hilbert space. We prove that the Grassmannian ${\mathsf{P}}_c(\mathsf{H})$ of the finite dimensional subspaces of $\mathsf{H}$ is an Alexandrov space…