“…From the late 1990s to the 2000s, several important methods to prove the existence of ground states were developed in the study of a quantum system consisting of quantum particles and a Bose field (for example, see [3,4,10,11,15]). These methods have been improved by many authors to be also applicable to systems of interacting quantum fields [1,5,6,7,16,17,18,13]. Once field operators and the ground state are given, we can define the n-point correlation function Ω, T φ (1) (x 1 ) · · · φ (n) (x n ) Ω non-perturbatively.…”