Abstract:We consider a recursive scheme for defining the coefficients in the operator product expansion (OPE) of an arbitrary number of composite operators in the context of perturbative, Euclidean quantum field theory in four dimensions. Our iterative scheme is consistent with previous definitions of OPE coefficients via the flow equation method, or methods based on Feynman diagrams. It allows us to prove that a strong version of the "associativity" condition holds for the OPE to arbitrary orders in perturbation theory. Such a condition was previously proposed in an axiomatic setting in [1] and has interesting conceptual consequences: 1) One can characterise perturbations of quantum field theories abstractly in a sort of "Hochschild-like" cohomology setting, 2) one can prove a "coherence theorem" analogous to that in an ordinary algebra: The OPE coefficients for a product of two composite operators uniquely determine those for $n$ composite operators. We concretely prove our main results for the Euclidean $\varphi^4_4$ quantum field theory, covering also the massless case. Our methods are rather general, however, and would also apply to other, more involved, theories such as Yang-Mills theories.

Application of Eigenkets of Bosonic Creation Operator in Deriving Some New Formulas of Associated Laguerre Polynomials

New expressions for Laguerre and Hermite polynomials

Expression of Rotation Operators in Form of Normal Products: the General Theory and Its Applications

Boson and differential realizations of polynomial angular momentum algebra

Some Addenda about the General Formula of Normal Product Calculation for Boson Exponential Quadratic Operators

Linear Quantum Transformation and Normal Product Calculation of Boson Exponential Quadratic Operators

Boson Operator Ordering Identities from Generalized Stirling and Eulerian Numbers

On A Generalization of Motohashi's Formula

SINGLE BOSON AND INVERSION BOSON REALIZATIONS OF MULTI-PARAMETER NONLINEARLY DEFORMED ANGULAR MOMENTUM ALGEBRA

Zeta Functions of Certain Quadratic Orders

Eigenvalue and Eigenfunction of N-Mode Boson Quadratic Hamiltonian

Associativity of the operator product expansion

A generating function for Hermite polynomials in connection with Euclidean Landau levels

Gap Probabilities in the Laguerre Unitary Ensemble and Discrete Painlevé Equations

Wigner operator's new transformation in phase space quantum mechanics and its applications

Two-boson Realizations of the Polynomial Angular Momentum Algebra and Some Applications

Third-order ladder operators, generalized Okamoto and exceptional orthogonal polynomials

Linear Quantum Transform Theory in Bargmann–Fock Space and Its Preliminary Application

Zeta Integrals, Schwartz Spaces and Local Functional Equations

The Geometry of Generalized Lamé Equation, II: Existence of Pre-Modular Forms and Application

Generalized boson and fermion operators with a maximal total occupation property