A condition for the vacuum generating functional

62 Views Asked by At

In Theorem 1 of this paper Segal stablish a relation between states and generating functionals. He assert that in order to μ be a generating functional must satisfy

enter image description here

Then, as an example he show the functional

enter image description here

is the zero-interaction vacuum generating functional.

The question is: Why this functional satisfies the desidered condition?

1

There are 1 best solutions below

0
On

According to the article (first paragraph of Sec. 4) the logical order of things is as follows: you define $C(z)$ (and thus $R(z)$), as well as $E$, then you let by definition $\mu(z):=E[e^{iR(z)}]$ (Eq. I). Then you prove that an explicit formula for $\mu(z)$ is $\mu(z)=e^{-\frac{1}{4}|z|^2}$ (Eq. II). The reason $\mu$ satisfies the positivity of Theorem 1 is because of (Eq. I) and not because of (Eq. II). The explanation for positivity via (Eq. I) is the "obvious part" top of page 9 of the article. It is possible to prove positivity from (Eq. II), but that uses the Schur Product Theorem. This is, for instance, done in the book on quantum physics by Glimm and Jaffe (Theorem 6.2.2 in 1987 Edition). If the positivity condition seems hard for you to fathom, then look up Bochner's Theorem and the notion of functions of positive type, for more background. Finally: not sure this article by Segal is what you want to read.