| Abstract: | It has been shown recently (Hollands and Kopper, Commun. Math. Phys. 313:257–290, 2012) that the mathematical status of the operator product expansion (OPE) is better than had previously been expected: namely considering massive Euclidean ({varphi_4^4})-theory in the perturbative loop expansion, the OPE converges at any loop order when considering (as is usually done) composite operator insertions into correlation functions. In the present paper we prove the same result for the massless theory. While the short-distance properties of massive and massless theories may be expected to be similar on physical grounds, the proof in the massless case requires entirely new techniques, becausewe have to control with sufficient precision the exceptional momentum singularities of the massless correlation functions. Thebounds we state are organised in terms of weight factors associated to certain tree graphs (“tree dominance”). Our proof is again based on the flow equations of the renormalisation group, which we combine with such graph structures. |
