Optimal Semiclassical Regularity of Projection Operators and Strong Weyl Law

TL;DR

This paper demonstrates that projection operators in quantum mechanics converge to characteristic functions of phase space regions, exhibiting maximal regularity and providing a strong Weyl law convergence in Sobolev spaces.

Contribution

It proves the semiclassical regularity of projection operators and establishes strong Sobolev space convergence for the Weyl law, answering a previously open question.

Findings

Projection operators converge to characteristic functions in phase space.

Projection operators exhibit maximal regularity in quantum Sobolev spaces.

Strong Sobolev space convergence for the Weyl law is established.

Abstract

Projection operators arise naturally as one-particle density operators associated to Slater determinants in fields such as quantum mechanics and the study of determinantal processes. In the context of the semiclassical approximation of quantum mechanics, projection operators can be seen as the analogue of characteristic functions of subsets of the phase space, which are discontinuous functions. We prove that projection operators indeed converge to characteristic functions of the phase space and that in terms of quantum Sobolev spaces, they exhibit the same maximal regularity as characteristic functions. This can be interpreted as a semiclassical asymptotic on the size of commutators in Schatten norms. Our study answers a question raised in [J. Chong, L. Lafleche, C. Saffirio, arXiv:2103.10946 [math.AP]] about the possibility of having projection operators as initial data. It also gives a strong convergence result in Sobolev spaces for the Weyl law in phase space.