Uncertainty principle and geometry of the infinite Grassmann manifold
Volume 248 / 2019
Abstract
We study the pairs of projections $$ P_If=\chi_If ,\quad Q_Jf= (\chi_J \hat{f})\check{\ }, \quad f\in L^2(\mathbb{R}^n), $$ where $I, J\subset \mathbb{R}^n$ are sets of finite positive Lebesgue measure, $\chi_I, \chi_J$ denote the corresponding characteristic functions and $\hat{\ } , \check{\ }$ denote the Fourier–Plancherel transformation $L^2(\mathbb{R}^n)\to L^2(\mathbb{R}^n)$ and its inverse. These pairs of projections have been widely studied by several authors in connection with the mathematical formulation of Heisenberg’s uncertainty principle. Our study is done from a differential geometric point of view. We apply known results on the Finsler geometry of the Grassmann manifold $\mathcal P(\mathcal H)$ of a Hilbert space $\mathcal H$ to establish that there exists a unique minimal geodesic of $\mathcal P(L^2(\mathbb{R}^n))$, which is a curve of the form $$ \delta(t)=e^{itX_{I,J}}P_Ie^{-itX_{I,J}} $$ which joins $P_I$ and $Q_J$ and has length $\pi/2$. Here $X_{I,J}$ is a selfadjoint operator determined by the sets $I$,$J$. As a consequence we deduce that if $H$ is the logarithm of the Fourier–Plancherel map, then $$ \|[H,P_I]\|\ge \pi/2. $$ The spectrum of $X_{I,J}$ is denumerable and symmetric with respect to the origin, and it has a smallest positive eigenvalue $\gamma(X_{I,J})$ which satisfies $$ \cos(\gamma(X_{I,J}))=\|P_IQ_J\|. $$
