Bounds on exponentials of local number operators in quantum statistical mechanics (Q1074076)

The author studies the quantum system of Bose particles in \({\mathbb{R}}^{\nu}\) interacting through a two-body potential \(\Phi(x)=\Phi(-x)\) satisfying either one of the following conditions (a hard core may be included): (1) \(\Phi\) is a non-negative function, non-zero in a neighbourhood of the origin. (2) There are positive constants \(\gamma_ 1,\gamma_ 2\) and \(\lambda\) such that \(\Phi (x)\geq | x|^{-\lambda}\) for \(| x| \leq \gamma_ 1\) and \(\Phi (x)>-| x|^{-(\nu +2)}\) for \(| x| \geq \gamma_ 2\) where \(\nu <4\) and there are restrictions on \(\lambda\) depending on \(\nu\) \((\lambda >6\) for \(\nu =3).\) The author then obtains a bound \[ \rho_{\Lambda}(e^{| \alpha | N_ B})\leq \exp [A(B,\alpha)] \] for the Gibbs equilibrium state \(\rho_{\Lambda}\) for the system confined to a bounded region \(\Lambda\) and the local particle number operator \(N_ B\) for \(B\subset \Lambda\), where A(B,\(\alpha)\) depends only on the diameter of B and \(| \alpha |\). As a corollary, any accumulation point \(\rho\) of \(\rho_{\Lambda}\) as \(\Lambda\) \(\to \infty\) is a locally normal state over CCR, which is entire analytic in the sense that \(\rho (e^{it\phi (f)})\) for a canonical field \(\phi\) (f) with locally supported f is entire analytic in t.