Axiomatic foundations of the Wilson-Zimmermann operator product expansion: conditions on a Wightman quantum field theory that guarantee its short-distance hypotheses

Wilson and Zimmermann (1972) proved, within the Wightman axiomatic framework for quantum field theory, that short-distance operator product expansions - and, through them, the construction of composite field operators - follow from a ratio condition on the asymptotic scaling of matrix elements of scaled field products together with three hypotheses: finiteness of the induced equivalence classes of matrix elements and existence of maximal elements. The hypotheses were inputs, not conclusions, and their derivation from the Wightman axioms was left open. Later literature settled the question only in restricted regimes: order by order in perturbation theory (with convergence proven in scalar theories), inside conformal field theory, and under additional phase-space conditions in the algebraic approach; two independent assessments (Bostelmann 2005; Abdesselam 2020) state that whether the operator product expansion follows from the Wightman axioms remains unclear. The problem is to close this gap in the general nonperturbative setting: derive the ratio condition and Hypotheses 1-3 from physically interpretable conditions on a Wightman theory, or exhibit a Wightman theory in which they fail.

Background

In the Wightman framework of axiomatic quantum field theory, a field $\phi$ is an operator-valued distribution: the smeared expression $\phi(f)=\int\phi(x)f(x)\,dx$ defines an operator on a common dense domain $D_0$ of a Hilbert space, and the theory satisfies Poincare covariance, microcausality (fields at spacelike separated points commute or anticommute), positivity of the energy-momentum spectrum, and the existence of a vacuum vector. Because $\phi$ is distribution-valued, products of fields at the same point, such as $\phi(x)^2$, are not defined - yet precisely such products, the composite field operators (currents, stress-energy tensors, Lagrangian densities), are indispensable to the theory. Wilson (1969) proposed that the obstacle is resolved at short distances by the operator product expansion (OPE), informally

$$\phi(x)\,\phi(y)\;\sim\;\sum_k c_k(x-y)\,\mathcal{O}_k\!\left(\frac{x+y}{2}\right), \qquad x\to y,$$

where the coefficients $c_k$ are numerical distributions with controlled short-distance singularities and the $\mathcal{O}_k$ are local composite operators ordered by increasing scaling dimension (their growth under the dilatation $x\mapsto\rho^{-1}x$, $\rho\to0$).

Wilson and Zimmermann (1972) turned this proposal into a theorem in the general Wightman framework, conditional on hypotheses introduced there as unproven inputs. Their setup considers products of field operators in which all arguments but one have been smeared with test functions; the remaining free coordinates are scaled toward coincidence by a dilatation of strength $\rho\to0$, and the object of study is the set of matrix elements $\langle\Psi',P(t,\rho)\,\Psi\rangle$ of these partially smeared, scaled products, with $\Psi,\Psi'$ in the domain $D_0$. Two structural elements organize the analysis. First, a ratio condition (Eq. (2.15) of that paper) requires that the asymptotic behavior, as $\rho\to0$, of ratios of such matrix elements be regular, in particular free of oscillation; this condition is part of the definitions of the framework. Second, matrix elements are sorted into equivalence classes $\mathcal{A}_N$ by their order of vanishing as $\rho\to0$ (powers of $\rho$, possibly with logarithms), and Hypotheses 1-3 assert that these classes are finite - within $\mathcal{A}_0$ and within every $\mathcal{A}_N$ - and admit maximal elements. Under the ratio condition and the hypotheses, Wilson and Zimmermann prove that each scaled product admits a principal part expansion

$$P(t,\rho)\;\sim\;\sum_k f_k(\rho)\,C_k(t)\qquad(\rho\to0),$$

where the $f_k$ are numerical functions representing the mildest allowed singular behavior in each class and the $C_k(t)$ are operator-valued distributions obtained by recursive weak-limit extraction: $C_k=\lim_{\rho\to0}P_k(\rho)/f_k(\rho)$ and $P_{k+1}=P_k-f_k\,C_k$. The $C_k$ are the composite field operators; the expansion gives, with explicit remainder bounds, the complete short-distance behavior of the product, and the construction inherits covariance and locality from the underlying fields. The paper further classifies the ways the construction can fail - absence of a leading singularity, termination with a non-vanishing remainder, or an infinite descending chain of ever more singular classes - notes that when the ratio condition fails one may still hope for expansions along sequences $\rho_n\to0$, and observes that in several relaxed settings the extracted $C_k$ exist only as bilinear forms (an assignment $(\Psi,\Psi')\mapsto\langle\Psi,C_k\,\Psi'\rangle$ on a domain, not necessarily an operator on it), for instance with smearing restricted to test functions of compact Fourier support or to states of bounded energy. The construction carries a triangular freedom: the $C_k$ are determined only up to additions of less singular terms. These features - the failure classification, the subsequence remark, the bilinear-form regimes and the triangular freedom - are descriptive aspects of the source paper's analysis; the open problem stated below concerns the status of its unproven inputs, and these accompanying observations are not part of its completion boundary.

The open question is the status of the inputs. Later work settled the hypotheses only in restricted regimes. In renormalized perturbation theory (an expansion in powers of a small coupling constant), Zimmermann (1973) proved the short-distance expansion and constructed the composite operators as normal products (renormalized composite operators generalizing the Wick polynomials of free fields) order by order; Keller and Kopper (1993) rederived this by flow-equation (renormalization-group differential equation) methods; Hollands and Kopper (2012) and Holland, Hollands and Kopper (2015) then proved actual convergence of the OPE at each finite perturbative order in scalar theories; Fröb and Holland (2016) proved all-order existence of the OPE in Euclidean Yang-Mills theory (the non-Abelian gauge theory underlying quantum chromodynamics; convergence there remains open); and Fröb (preprint 2020, published 2021) extended the recursive construction to curved spacetimes. In conformal field theory (a theory invariant under spacetime conformal transformations, whose dilatation symmetry fixes the short-distance scaling), global operator expansions were obtained by Schroer, Swieca and Völkel (1975), convergence of the OPE on the vacuum sector was proven by Lüscher (1976) and Mack (1977), exponential convergence inside correlation functions of unitary (Hilbert-space) conformal field theories was proven by Pappadopulo, Rychkov, Espin and Rattazzi (2012), and Raymond, Tanimoto and Tener (2022), extended by Carpi, Raymond, Tanimoto and Tener (2024, published 2025), proved equivalences between the vertex-algebra (an algebraic structure axiomatizing the operator products of two-dimensional chiral, i.e. one-light-cone-coordinate, conformal field theories) and Wightman axiomatizations, within which the OPE exists as part of the algebraic structure. In the algebraic approach (which axiomatizes nets of local operator algebras rather than pointlike fields), Buchholz (1998) proposed deriving Wilson-Zimmermann-type expansions from phase-space conditions - bounds on the number of local degrees of freedom, related to nuclearity conditions - and Bostelmann (2005) proved the OPE as an asymptotic series and constructed normal products from such a condition, stating explicitly that the Wightman axioms appear too weak to ensure the expansion structure and that the needed additional conditions could not yet be connected to physical properties of the theory; Bostelmann, D'Antoni and Morsella (2008) developed the scaling-algebra framework for pointlike fields in this program. Parallel modern programs take the opposite logical direction: Hollands (2009) proposes associativity conditions on the OPE itself as the defining consistency conditions of a quantum field theory, and Nikolov (2021) formalizes OPE algebras as algebras over a symmetric operad (a system of composable operations encoding algebraic structure); both assume the expansion rather than derive it. Abdesselam (2020), connecting the OPE to the pointwise multiplication of random distributions, states that whether the OPE follows from the Wightman axioms "is still unclear" and poses as an open conjecture that any reasonable quantum field theory with a gapped dimension spectrum (only finitely many operator dimensions below any given bound) satisfies strong operator product bounds. The status of the OPE is reviewed by Hollands and Wald (2025).

Problem Statement

Within the Wightman framework - without assuming conformal symmetry, a small coupling constant, or any perturbative expansion - determine the axiomatic status of the Wilson-Zimmermann operator product expansion. Identify conditions on a Wightman quantum field theory, expressible in terms of its field content, energy-momentum spectrum, phase-space (local degree-of-freedom) structure, or other axiomatic data, that are sufficient for the ratio condition (2.15) and Hypotheses 1-3 of Wilson and Zimmermann (1972), so that the principal part expansion and the induced composite field operators exist with the stated remainder bounds; these conditions may be additional to the Wightman axioms, but must not be equivalent to, or merely assume, the ratio condition and Hypotheses 1-3, and must be satisfied by a class of theories rather than by a single example. In particular, determine whether the Wightman axioms alone already imply the hypotheses; a complete answer settles this question and, if the axioms alone do not suffice, supplies a Wightman theory satisfying all the Wightman axioms in which the expansion fails or additional conditions of the kind described above that are sufficient (or both). Partial answers restricted to perturbation theory or to conformal theories constitute the existing state of the art and do not by themselves close the problem.

References

1. Kenneth G. Wilson and Wolfhart Zimmermann, 'Operator product expansions and composite field operators in the general framework of quantum field theory', Communications in Mathematical Physics 24, 87-106 (1972). DOI: 10.1007/BF01878448, https://doi.org/10.1007/BF01878448
2. Kenneth G. Wilson, 'Non-Lagrangian models of current algebra', Physical Review 179, 1499-1512 (1969). DOI: 10.1103/PhysRev.179.1499, https://doi.org/10.1103/PhysRev.179.1499
3. Paul Otterson and Wolfhart Zimmermann, 'On the directional dependence of composite field operators', Communications in Mathematical Physics 24, 107-132 (1972). DOI: 10.1007/BF01878449, https://doi.org/10.1007/BF01878449
4. S. Schlieder and E. Seiler, 'Remarks concerning the connection between properties of the 4-point-function and the Wilson-Zimmermann expansion', Communications in Mathematical Physics 31, 137-159 (1973). DOI: 10.1007/BF01645741, https://doi.org/10.1007/BF01645741
5. Wolfhart Zimmermann, 'Normal products and the short distance expansion in the perturbation theory of renormalizable interactions', Annals of Physics 77, 570-601 (1973). DOI: 10.1016/0003-4916(73)90430-2, https://doi.org/10.1016/0003-4916(73)90430-2
6. P. Otterson, 'Direction dependence of composite field operators and dilatation-invariant Wightman functions', Il Nuovo Cimento A 18, 683-696 (1973). DOI: 10.1007/BF02727585, https://doi.org/10.1007/BF02727585
7. Klaus Baumann, 'On local field products in special Wightman theories', Communications in Mathematical Physics 43, 73-87 (1975). DOI: 10.1007/BF01609143, https://doi.org/10.1007/BF01609143
8. B. Schroer, J. A. Swieca and A. H. Völkel, 'Global operator expansions in conformally invariant relativistic quantum field theory', Physical Review D 11, 1509-1520 (1975). DOI: 10.1103/PhysRevD.11.1509, https://doi.org/10.1103/PhysRevD.11.1509
9. Oluwole Adetunji, 'Remarks on the Wilson-Zimmermann expansion and some properties of the m-point distribution', Communications in Mathematical Physics 48, 199-205 (1976). DOI: 10.1007/BF01617869, https://doi.org/10.1007/BF01617869
10. M. Lüscher, 'Operator product expansions on the vacuum in conformal quantum field theory in two spacetime dimensions', Communications in Mathematical Physics 50, 23-52 (1976). DOI: 10.1007/BF01608553, https://doi.org/10.1007/BF01608553
11. G. Mack, 'Convergence of operator product expansions on the vacuum in conformal invariant quantum field theory', Communications in Mathematical Physics 53, 155-184 (1977). DOI: 10.1007/BF01609130, https://doi.org/10.1007/BF01609130
12. G. Keller and C. Kopper, 'Perturbative renormalization of composite operators via flow equations II: Short distance expansion', Communications in Mathematical Physics 153, 245-276 (1993). DOI: 10.1007/BF02096643, https://doi.org/10.1007/BF02096643
13. Detlev Buchholz, 'Current trends in axiomatic quantum field theory', arXiv:hep-th/9811233 (1998), https://arxiv.org/abs/hep-th/9811233
14. Henning Bostelmann, 'Operator product expansions as a consequence of phase space properties', Journal of Mathematical Physics 46, 052301 (2005). DOI: 10.1063/1.2007567, https://doi.org/10.1063/1.2007567
15. Henning Bostelmann, Claudio D'Antoni and Gerardo Morsella, 'Scaling algebras and pointlike fields', Communications in Mathematical Physics 285, 763-798 (2008). DOI: 10.1007/s00220-008-0613-3, https://doi.org/10.1007/s00220-008-0613-3
16. Stefan Hollands, 'Axiomatic quantum field theory in terms of operator product expansions: General framework, and perturbation theory via Hochschild cohomology', Symmetry, Integrability and Geometry: Methods and Applications 5, 090 (2009). DOI: 10.3842/SIGMA.2009.090, https://doi.org/10.3842/SIGMA.2009.090
17. Stefan Hollands and Christoph Kopper, 'The operator product expansion converges in perturbative field theory', Communications in Mathematical Physics 313, 257-290 (2012). DOI: 10.1007/s00220-012-1457-4, https://doi.org/10.1007/s00220-012-1457-4
18. Duccio Pappadopulo, Slava Rychkov, Johnny Espin and Riccardo Rattazzi, 'Operator product expansion convergence in conformal field theory', Physical Review D 86, 105043 (2012). DOI: 10.1103/PhysRevD.86.105043, https://doi.org/10.1103/PhysRevD.86.105043
19. Jan Holland, Stefan Hollands and Christoph Kopper, 'The operator product expansion converges in massless phi(4)-theory in four dimensions', Communications in Mathematical Physics 342, 385-440 (2015). DOI: 10.1007/s00220-015-2486-6, https://doi.org/10.1007/s00220-015-2486-6
20. Markus B. Fröb and Jan Holland, 'All-order existence of and recursion relations for the operator product expansion in Yang-Mills theory', arXiv:1603.08012 (2016; latest version 2021), https://arxiv.org/abs/1603.08012
21. Abdelmalek Abdesselam, 'A second-quantized Kolmogorov-Chentsov theorem via the operator product expansion', Communications in Mathematical Physics 376, 555-608 (2020). DOI: 10.1007/s00220-019-03665-4, https://doi.org/10.1007/s00220-019-03665-4
22. Markus B. Fröb, 'Recursive construction of the operator product expansion in curved space', Journal of High Energy Physics 2021, article 195 (2021). DOI: 10.1007/JHEP02(2021)195, https://doi.org/10.1007/JHEP02(2021)195 (preprint arXiv:2007.15668, 2020, https://arxiv.org/abs/2007.15668)
23. Nikolay M. Nikolov, 'Semi-differential operators and the algebra of operator product expansion of quantum fields', Communications in Mathematical Physics 384, 201-244 (2021). DOI: 10.1007/s00220-021-04051-9, https://doi.org/10.1007/s00220-021-04051-9
24. Christopher Raymond, Yoh Tanimoto and James E. Tener, 'Unitary vertex algebras and Wightman conformal field theories', Communications in Mathematical Physics 395, 299-330 (2022). DOI: 10.1007/s00220-022-04431-9, https://doi.org/10.1007/s00220-022-04431-9
25. Sebastiano Carpi, Christopher Raymond, Yoh Tanimoto and James E. Tener, 'Non-unitary Wightman CFTs and non-unitary vertex algebras', Selecta Mathematica (New Series) 31, article 66 (2025). DOI: 10.1007/s00029-025-01063-4, https://doi.org/10.1007/s00029-025-01063-4 (preprint arXiv:2409.08454, 2024, https://arxiv.org/abs/2409.08454)
26. Stefan Hollands and Robert M. Wald, 'The operator product expansion in quantum field theory', in Encyclopedia of Mathematical Physics (Second Edition), Elsevier, pp. 382-391 (2025). DOI: 10.1016/B978-0-323-95703-8.00087-2, https://doi.org/10.1016/B978-0-323-95703-8.00087-2