Hilbert space
Hilbert space dimension