Bicommutant theorem; von Neumann algebra; normal state; 
relativistic kinetic energy; pseudo-differential operator; 
path integral, KMS state