量子多体系の熱力学 --数理の発展と展望