Physics and mathematics of quantum many-body systems. (2020)