Large Momentum bounds from Flow Equations

We analyse the large momentum behaviour of 4-dimensional massive euclidean Phi-4-theory using the flow equations of Wilson's renormalization group. The flow equations give access to a simple inductive proof of perturbative renormalizability. By sharpening the induction hypothesis we prove new and, as it seems, close to optimal bounds on the large momentum behaviour of the correlation functions. The bounds are related to what is generally called Weinberg's theorem.Comment: 14 page

Temperature Independent Renormalization of Finite Temperature Field Theory

We analyse 4-dimensional massive \vp^4 theory at finite temperature T in the imaginary-time formalism. We present a rigorous proof that this quantum field theory is renormalizable, to all orders of the loop expansion. Our main point is to show that the counterterms can be chosen temperature independent, so that the temperature flow of the relevant parameters as a function of $T$ can be followed. Our result confirms the experience from explicit calculations to the leading orders. The proof is based on flow equations, i.e. on the (perturbative) Wilson renormalization group. In fact we will show that the difference between the theories at T>0 and at T=0 contains no relevant terms. Contrary to BPHZ type formalisms our approach permits to lay hand on renormalization conditions and counterterms at the same time, since both appear as boundary terms of the renormalization group flow. This is crucial for the proof.Comment: 17 pages, typos and one footnote added, to appear in Ann.H.Poincar

Continuity of the four-point function of massive ϕ44\phi_4^4-theory above threshold

In this paper we prove that the four-point function of massive \vp_4^4-theory is continuous as a function of its independent external momenta when posing the renormalization condition for the (physical) mass on-shell. The proof is based on integral representations derived inductively from the perturbative flow equations of the renormalization group. It closes a longstanding loophole in rigorous renormalization theory in so far as it shows the feasibility of a physical definition of the renormalized coupling.Comment: 23 pages; to appear in Rev. Math. Physics few corrections, two explanatory paragraphs adde

The Surface counter-terms of the ϕ44\phi_4^4 theory on the half space R+×R3\mathbb{R}^+ \times\mathbb{R}^3

In a previous work, we established perturbative renormalizability to all orders of the massive $\phi^4_4$-theory on a half-space also called the semi-infinite massive $\phi^4_4$-theory. Five counter-terms which are functions depending on the position in the space, were needed to make the theory finite. The aim of the present paper is to prove that these counter-terms are position independent (i.e. constants) for a particular choice of renormalization conditions. We investigate this problem by decomposing the correlation functions into a bulk part, which is defined as the $\phi^4_4$ theory on the full space $\mathbb{R}^4$ with an interaction supported on the half-space, plus a remainder which we call "the surface part". We analyse this surface part and establish perturbatively that the $\phi^4_4$ theory in $\mathbb{R}^+\times\mathbb{R}^3$ is made finite by adding the bulk counter-terms and two additional counter-terms to the bare interaction in the case of Robin and Neumann boundary conditions. These surface counter-terms are position independent and are proportional to $\int_S \phi^2$ and $\int_S \phi\partial_n\phi$. For Dirichlet boundary conditions, we prove that no surface counter-terms are needed and the bulk counter-terms are sufficient to renormalize the connected amputated (Dirichlet) Schwinger functions. A key technical novelty as compared to our previous work is a proof that the power counting of the surface part of the correlation functions is better by one power than their bulk counterparts.Comment: 59 page

Perturbative renormalization of ϕ44\phi_4^4 theory on the half space R+×R3\mathbb{R}^+ \times\mathbb{R}^3 with flow equations

In this paper, we give a rigorous proof of the renormalizability of the massive $\phi_4^4$ theory on a half-space, using the renormalization group flow equations. We find that five counter-terms are needed to make the theory finite, namely $\phi^2$, $\phi\partial_z\phi$, $\phi\partial_z^2\phi$, $\phi\Delta_x\phi$ and $\phi^4$ for $(z,x)\in\mathbb{R}^+\times\mathbb{R}^3$. The amputated correlation functions are distributions in position space. We consider a suitable class of test functions and prove inductive bounds for the correlation functions folded with these test functions. The bounds are uniform in the cutoff and thus directly lead to renormalizability.Comment: 35 page