Quantum Observables, Renormalization, and Factorization

Renormalized quantum observables form a factorization algebra when the effective interactions at different scales satisfy homotopy renormalization-group flow, the quantum master equation makes the scale-dependent differential nilpotent, and disjoint-region products commute with both structures. The construction is normally $\hbar$-adic. Its local coherence does not establish convergence, reflection positivity, or a nonperturbative continuum theory.

Required background. BV obstruction–deformation complexes supplies the effective QME, while time-ordered products and renormalization supplies the Lorentzian comparison of local extensions.

Helpful background. Stückelberg–Petermann renormalization freedom classifies formal scheme changes, and microlocal renormalization ambiguities states the support, covariance, and scaling restrictions on local counterterms.

Effective interactions and scale transport

Choose a gauge-fixed elliptic kinetic operator with heat kernel $K_t$. The propagator between scales $0<L_1<L_2$ is schematically

$$P_{L_1,L_2}=\int_{L_1}^{L_2}(Q^{\mathrm{GF}}\otimes1)K_t\,\mathrm dt.$$

Contracting fields with $P_{L_1,L_2}$ and retaining connected graphs defines the homotopy renormalization-group operator $W(P_{L_1,L_2},-)$. A compatible effective family obeys

$$I[L_2]=W(P_{L_1,L_2},I[L_1]), \qquad 0<L_1<L_2.$$

The semigroup identity follows by splitting the heat-kernel integral at an intermediate scale and sorting connected graphs. It is an exact identity of formal power series after counterterms have made the $L_1\to0$ limit finite. The construction, including the distinction between bare local input and smooth positive-scale effective interactions, is developed in Costello 2011, Chs. 2–8.

Renormalization conditions select one compatible lift of the singular short-distance theory into this effective family. They may fix masses, couplings, field normalization, or symmetry identities at a reference scale. Two admissible choices differ by local redefinitions, but that statement requires power counting or an effective-field-theory filtration: without a dimension bound there can be infinitely many allowed local terms at each order. Predictivity is therefore a statement about the chosen filtration and desired accuracy, not a consequence of factorization alone.

The quantum observable complex

At scale $L$, define

$$d_L=Q+\{I[L],-\}_L+\hbar\Delta_L.$$

The scale-$L$ quantum master equation is exactly the condition $d_L^2=0$. Quantum observables on $U$ are formal functionals supported in $U$ with differential $d_L$. For disjoint $U_1,\ldots,U_n\subset V$, multiply representatives and evolve them to a common scale; locality of counterterms and compatibility of $W$ with disjoint unions give

$$\bigotimes_i\operatorname{Obs}^{q}(U_i) \longrightarrow \operatorname{Obs}^{q}(V).$$

Changing $L$ gives a cochain equivalence, not literal equality of representatives. Weiss descent is proved by filtering in $\hbar$ or polynomial degree and reducing the first page to classical descent. The resulting theorem—quantization produces a flat $\mathbb C[[\hbar]]$ deformation of the classical factorization algebra—is stated in Costello and Gwilliam 2021, Theorem 6.0.0.1 and Chs. 7–8.

In Lorentzian pAQFT, Epstein–Glaser time-ordered products play the role of renormalized contraction maps. Multilocal differential forms and the anomalous master Ward identity produce classical and quantum factorization algebras under explicit wavefront and support hypotheses Gwilliam and Rejzner 2023, §§4–6. This is a comparison of constructions; an elliptic heat-kernel flow is not itself a causal propagator.

One-loop φ⁴ scale change

On Euclidean $\mathbb R^4$, take

$$S_E[\phi]=\int\mathrm d^4x\left[ \frac12(\partial\phi)^2+\frac12m^2\phi^2 +\frac{\lambda}{4!}\phi^4\right].$$

At one loop, short-distance contractions generate only local terms compatible with Euclidean invariance and the $\phi\mapsto-\phi$ symmetry: vacuum energy, $\phi^2$, $(\partial\phi)^2$, and $\phi^4$. Changing from $L$ to $e^{2s}L$ shifts their coefficients. With the displayed $\lambda/4!$ normalization, the universal leading coupling flow is

$$\mu\frac{\mathrm d\lambda}{\mathrm d\mu} =\frac{3\lambda^2}{16\pi^2}+O(\lambda^3).$$

Dimensional analysis checks that the logarithmic coefficient is dimensionless. Locality checks that no bilocal counterterm is needed. The factor of three counts the $s$, $t$, and $u$ contractions of the one-loop four-point graph. A different coupling normalization changes the displayed coefficient but not the induced flow after translating variables.

The physical interpretation of coincident products and scheme-dependent contact terms belongs at Contact Terms and Renormalized Operator Products. Here the example verifies that the scale change is absorbed by allowed local data in the effective factorization algebra.

Failure tests and evidence ceiling

If a regulator change produces a nonlocal counterterm, it has violated the locality hypothesis rather than discovered additional renormalization freedom. If $d_L^2\ne0$, the problem is an uncancelled QME obstruction, so the claimed quantum observable complex does not exist at that order. If the RG maps fail composition, values at different scales do not define one theory. Passing all three checks still gives a formal perturbative construction: factorial growth, positivity, and removal of an infinite-volume switching function require independent theorems.

Exercises

Show that splitting $P_{L_1,L_3}=P_{L_1,L_2}+P_{L_2,L_3}$ implies composition of the graph-contraction flow.

Solution

Color each internal edge according to the two summands. Summing first over graphs whose first color has been contracted produces $W(P_{L_1,L_2},I[L_1])$; contracting the remaining edges gives $W(P_{L_2,L_3},-)$. The same colored graphs occur once in the direct contraction with $P_{L_1,L_3}$.

Why can the one-loop coefficient not by itself prove existence of four-dimensional $\phi^4$ theory?

Solution

It controls one coefficient of a formal small-coupling expansion. Existence requires a measure or operator theory, cutoff removal, all orders or nonperturbative control, and the relevant positivity and limit properties. None follows from the local one-loop counterterm calculation.

References

• Costello, Kevin. Renormalization and Effective Field Theory. Mathematical Surveys and Monographs 170. American Mathematical Society, 2011. AMS.
• Costello, Kevin, and Owen Gwilliam. Factorization Algebras in Quantum Field Theory, Volume 2. Cambridge University Press, 2021. doi:10.1017/9781316678664.
• Gwilliam, Owen, and Katarzyna Rejzner. “The Observables of a Perturbative Algebraic Quantum Field Theory Form a Factorization Algebra.” 2023. arXiv:2212.08175.