Time-Ordered Products, Causal Wick Expansion, and Renormalization

Causal Wick expansion separates a composite time-ordered product into numerical distributions and Wick monomials. Causal factorization fixes the numerical kernels off all diagonals; scaling-degree extension supplies local diagonal terms; and locality, covariance, field independence, unitarity, and selected Ward identities constrain the remaining coefficients. A Wick expansion relative to one Hadamard function is only a coordinate choice: changing it requires the canonical local re-expansion.

Required background. Epstein–Glaser induction constructs products off the diagonal, and scaling-degree extension controls their finite local ambiguity. Helpful background. Causal factorization supplies ordered products, and positivity, spectrum, covariance, and locality hypotheses keep the normalization conditions distinct.

Causal Wick expansion

Choose a Hadamard two-point function $H$ for the free scalar field. It defines Wick powers $:\!\phi^k\!:_H$ and a star product. Time-ordered products of local Wick monomials have an expansion

$$T_n\bigl(:\!\phi^{k_1}\!:_H(x_1),\ldots, :\!\phi^{k_n}\!:_H(x_n)\bigr) =\sum_{\mathbf r}t_{\mathbf r}(x_1,\ldots,x_n) :\!\Phi_{\mathbf r}(x_1,\ldots,x_n)\!:_H.$$

The $t_{\mathbf r}$ are c-number distributions obtained from contractions; the Wick monomials retain the uncontracted fields. Off the diagonals, causal factorization and Wick’s theorem fix every $t_{\mathbf r}$. Renormalization extends these numerical distributions to coincident configurations. This separation is useful because wavefront and scaling estimates apply to $t_{\mathbf r}$, while algebraic identities act on the whole sum.

The normalization problem has several independent parts. Symmetry permutes insertions; causal factorization controls ordered supports; local covariance makes the assignment natural under isometric embeddings; field independence requires functional differentiation to commute with time ordering in its declared form; and the action Ward identity removes dependence on total divergences. Hollands and Wald classify the finite local covariant freedom under their axioms in Hollands and Wald 2001, Theorems 5.1–5.2, §§4–5 and construct products satisfying the axioms in Hollands and Wald 2002, §§3–4, pp. 318–341.

The construction proceeds by induction in the number of insertions and then in Wick degree. The causal step first fixes each numerical coefficient away from all relevant diagonals. Microlocal scaling gives an extension with the required wavefront bound. One then projects the finite diagonal freedom onto the subspace satisfying symmetry and covariance, and imposes field independence and the field equation recursively. Compatibility is a theorem under the stated scalar-field hypotheses; choosing every contraction coefficient independently would generally overdetermine these identities.

The φ⁴–φ² product at second order

On Minkowski space consider $:\!\phi^4\!:_H(x)$ and $:\!\phi^2\!:_H(y)$. Away from $x=y$, Wick expansion gives

$$\begin{aligned} T_2^0\bigl(:\!\phi^4\!:_H(x),:\!\phi^2\!:_H(y)\bigr) ={}&:\!\phi^4(x)\phi^2(y)\!:_H\\ &+8H_F(x,y):\!\phi^3(x)\phi(y)\!:_H\\ &+12H_F(x,y)^2:\!\phi^2(x)\!:_H. \end{aligned}$$

The coefficients are $\binom4k\binom2k k!$ for $k=0,1,2$. The $H_F$ term has scaling degree two and extends uniquely in four relative dimensions. The $H_F^2$ term has scaling degree four, so its extension has one scalar delta ambiguity. After smearing with $f(x)h(y)$, that ambiguity is a local term proportional to

$$\int f(x)h(x):\!\phi(x)^2\!:_H\,\mathrm d^4x.$$

Choose the extension once, subject to covariance and the normalization conditions. On causally ordered disjoint supports it restricts to the correct star product because the delta term has no support there. Functional differentiation gives

$$\frac{\delta}{\delta\phi(z)}T_2(A,B) =T_2\!\left(\frac{\delta A}{\delta\phi(z)},B\right) +T_2\!\left(A,\frac{\delta B}{\delta\phi(z)}\right)$$

when field independence is imposed. The displayed Wick coefficients satisfy this identity off the diagonal, and the local extension must be chosen to preserve it. This is the causal construction behind renormalized contact terms and operator products.

An independent scaling check finds dimensions six on both sides: the two insertions have total field dimension six after one point is integrated out, while $\delta^{(4)}:\!\phi^2\!:$ has dimension $4+2=6$. A derivative delta would exceed the scaling degree of the $H_F^2$ coefficient.

Unitarity provides a separate check. The anti-time-ordered products obtained from the formal inverse of $S$ must be the adjoints of the time-ordered products for real interactions. A diagonal coefficient that is allowed by power counting but has the wrong reality property violates this condition even though causal factorization remains intact. Thus scaling degree counts candidates; it does not certify a complete normalization prescription.

Changing the Hadamard function

If $H'=H+w$ with $w$ smooth, the two Wick coordinate systems are related by

$$\alpha_w=exp\!\left( \frac{\hbar}{2}\left\langle w, \frac{\delta^2}{\delta\phi^2}\right\rangle\right).$$

Locally covariant products obey the comparison relation $T_{H'}=\alpha_w\circ T_H\circ\alpha_w^{-1}$ on each argument. Smoothness of $w$ means this re-expansion creates finite local lower Wick powers, not new singular products.

Adversarial test. Replace $H$ by a state-dependent $H'$ but keep the old Wick coefficients and monomials without applying $\alpha_w$. Even $:\!\phi^2\!:$ shifts by a smooth coincidence term $w(x,x)1$. The resulting “time-ordered product” changes under a change of reference state and is not a natural locally covariant field. The strongest surviving object is a prescription tied explicitly to that state, not the claimed state-independent product.

Exercises

1. Contraction coefficients. Derive the factors $8$ and $12$.

Solution

For one contraction choose one of four fields at $x$ and one of two at $y$, giving $4\cdot2=8$. For two contractions choose two of four, both of two, and pair them in $2!$ ways: $\binom42\binom22 2!=12$.

2. Change of Wick square. Expand $\alpha_w(:\!\phi^2\!:_H)$.

Solution

Only the first two terms of the contraction exponential contribute. The result is $:\!\phi^2\!:_H+\hbar w(x,x)1$, with the sign determined by which direction defines $H'=H+w$. Applying the inverse map to the arguments restores reference independence.

References

• Hollands, Stefan, and Robert M. Wald. “Local Wick Polynomials and Time Ordered Products of Quantum Fields in Curved Spacetime.” Communications in Mathematical Physics 223 (2001): 289–326. DOI; Open preprint.
• Hollands, Stefan, and Robert M. Wald. “Existence of Local Covariant Time Ordered Products of Quantum Fields in Curved Spacetime.” Communications in Mathematical Physics 231 (2002): 309–345. DOI; Open preprint.