This paper studies what happens when you localize renormalized correlation functions to a half-space in the massive Euclidean φ^4 theory in four dimensions. Correlation functions (or correlators) are the basic observables that record how field values at different points are related. The authors show that you can multiply these already-renormalized correlators by sharp half-space cuts — more precisely by smooth approximations of the indicator function that is 1 on one side of a hyperplane and 0 on the other — and take the approximation limit. Those truncated products converge to well-defined generalized functions (distributions). The convergence is uniform in the ultraviolet cutoff, the short-distance regulator used during renormalization, so no new short-distance (ultraviolet) counterterms are needed to make these truncated objects finite.

To get this result the authors work directly in position space and use the Wilson–Polchinski flow equation, a renormalization-group tool that builds correlators scale by scale. They introduce a hierarchy of ‘‘power-counting’’ spaces tailored to the singularities that occur where field points collide. This framework gives uniform bounds on how singular the correlators can be and places them in explicit Besov–Hölder spaces. Besov–Hölder spaces are function spaces that measure how smooth or rough an object is; for these correlators the regularity is negative, meaning they are genuinely distributions rather than ordinary functions. Placing correlators in these spaces also lets the authors prove that the correlators converge as the ultraviolet cutoff is removed (sent to infinity) and identify the precise topology of that convergence.

A key new point is the analysis of multiplication by discontinuous functions. Multiplying a distribution by a non-smooth function is a classic source of ambiguity. The paper proves that multiplying renormalized correlators by half-space indicators has a canonical meaning: the products of correlators with smooth approximations of the half-space indicator converge to a single distributional limit. The authors also show that this localization causes an unavoidable and quantitative loss of Besov regularity. In plain terms: the truncated correlators become rougher or more singular in a precisely controlled way, but this roughening is not a sign of a new ultraviolet divergence.