Any Orthonormal Basis in High Dimension is Uniformly Distributed over the Sphere

Sheldon Goldstein, Joel L. Lebowitz, Roderich Tumulka +1

Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finit…