Hilbert space dimension