Concentration of cylindrical Wigner measures

In this note we aim to characterize the cylindrical Wigner measures associated to regular quantum states in the Weyl C*-algebra of canonical commutation relations. In particular, we provide conditions at the quantum level sufficient to prove the concentration of all the corresponding cylindrical Wigner measures as Radon measures on suitable topological vector spaces. The analysis is motivated by variational and dynamical problems in the semiclassical study of bosonic quantum field theories.