nLab Wick algebra

Redirected from "Wick polynomial".
Contents

Context

Algebraic Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

A Wick algebra is an algebra of quantum observables of free quantum fields.

In the quantum mechanics of harmonic oscillators or in quantum field theory of free fields on Minkowski spacetime one encounters linear operators {a k,a k *} kK\{a_k, a^\ast_k\}_{k \in K} that satisfy the canonical commutation relation [a i,a j *]=diag((c k)) ij[a_i, a^\ast_j] = diag((c_k))_{i j}. Then by a normal ordered polynomial or Wick polynomial (Wick 50) one means a polynomial, denoted :P::P:, which is obtained from a polynomial P((a k,a k *))P((a_k, a^\ast_k)) in these operators by ordering all “creation operators” a k *a_k^\ast to the left of all “annihiliation operators”. For example focusing on a single mode kk we have:

:a *:=a * :a:=a :a *a:=a *a :aa *:=a *a :aa *a:=a *aa etc. \array{ :a^\ast: = a^\ast \\ :a: = a \\ :a^\ast a: = a^\ast a \\ :a a^\ast: = a^\ast a \\ :a a^\ast a: = a^\ast a a \\ etc. } \,

The intuitive idea is that these operators span a Hilbert space \mathcal{H} of quantum states from a vacuum state |vac\vert vac \rangle \in \mathcal{H} characterized by the condition

a k|vac=0AAAfor allk a_k \vert vac \rangle = 0 \phantom{AAA} \text{for all} \,\, k

hence (if we think of a ka_k as acting by “removing a quantum in mode kk”) by the condition that it contains no quanta. So the normal ordered Wick polynomials represent the quantum observables with vanishing vacuum expectation value. In quantum field theory they model scattering processes where quanta enter a reaction process (the modes corresponding to the “annihilation” operators a ka_k) and other particles come out of the reaction (the modes corresponding to the “creation” operators a k *a^\ast_k).

The product of two Wick polynomials, computed in the ambient operator algebra and then re-expressed as a Wick polynomial, is given by computing the relevant sequence of commutators by Wick's lemma, for example

:a *a::a *a:=:a *a *aa:+:a *a:, {:a^\ast a:} \, {:a^\ast a:} = :a^\ast a^\ast a a: + \hbar \, :a^\ast a: \,,

where =[a,a *]\hbar = [a, a^\ast] is the value of the canonical commutator.

The associative algebra thus obtained is hence called the algebra of normal ordered operators or Wick polynomial algebra or just Wick algebra.

This plays a central role in perturbative quantum field theory, where the quantization of quantum observables of free fields is traditionally defined as the corresponding Wick algebra.

But the Wick algebra in quantum field theory may also be understood more systematically from first principles of quantization. It turns out that it is Moyal deformation quantization of the canonical Poisson bracket on the covariant phase space of the free field, which is the Peierls bracket modified to an almost Kähler structure by the 2-point function of a quasi-free Hadamard state (Dito 90, Dütsch-Fredenhagen 01).

In free field theory with Green hyperbolic equations of motion, the analog of the star product tensor (this equation)

π=i2ω 1+12g 1 \pi \;=\; \tfrac{i}{2}\omega^{-1} + \tfrac{1}{2}g^{-1}

is the Wightman propagator according to this equation

Δ H=i2Δ S+H. \Delta_H \;=\; \tfrac{i}{2}\Delta_S + H \,.

Understood in this form the construction directly generalizes to quantum field theory on curved spacetimes (Brunetti-Fredenhagen 95, Brunetti-Fredenhagen 00, Hollands-Wald 01).

Finally, the shift by the quasi-free Hadamard state, which is the very source of the “normal ordering”, was understood as an example of the almost-Kähler version of the quantization recipe of Fedosov deformation quantization (Collini 16). For more on this see at locally covariant perturbative quantum field theory.

\,

Definition

Traditionally the Wick algebra is regarded as an operator algebra acting on a Fock space. However, it is useful to realize the Wick algebra directly as an associative algebra structure on the space of microcausal polynomial observables. This “abstract” Wick algebra (meaning: not represented yet on a Hilbert space) we discuss in

That the abstract Wick algebra indeed has a faithful representation on Fock space is Wick's lemma.

Similarly there is the

The traditional notation for the operator products on the Fock space may be carried across the representation map to the abstract Wick algebra:

The abstract Wick algebra carries a canonical state on a star-algebra, whose 2-point function is just the Wightman propagator that the abstract Wick algebra structure is constructed from. This we discuss in

The only non-trivial part of the proof of the state-property (prop. ) below is positivity. This however is immediate from the representation on the Fock space, observing that under this identification the state is represented by the inner product of the Hilbert space (Dütsch 18, remark 2.20). From the point of view of algebraic quantum field theory, the Hilbert space-structure mainly just serves as a technical tool for establishing this positivity property.

Abstract Wick algebra

The abstract Wick algebra of a free field theory with Green hyperbolic differential equation is directly analogous to the star product-algebra induced by a finite dimensional Kähler vector space (this def.) under the following identification of the Wightman propagator with the Kähler space-structure:

Remark

(Wightman propagator as Kähler vector space-structure)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory whose Euler-Lagrange equation of motion is a Green hyperbolic differential equation. Then the corresponding Wightman propagator is analogous to the rank-2 tensor on a Kähler vector space as follows:

covariant phase space
of free Green hyperbolic
Lagrangian field theory
finite dimensional
Kähler vector space
space of field histories
Γ Σ(E)\Gamma_\Sigma(E)
2n\mathbb{R}^{2n}
symplectic form
τ Σ pΩ BFV\tau_{\Sigma_p} \Omega_{BFV}
Kähler form ω\omega
causal propagator Δ\Deltaω 1\omega^{-1}
Peierls-Poisson bracket
{A 1,A 2}=Δ a 1a 2(x 1,x 2)δA 1δΦ a 1(x 1)δA 2δΦ a 2(x 2)dvol Σ(x)\{A_1,A_2\} = \int \Delta^{a_1 a_2}(x_1,x_2) \frac{\delta A_1}{\delta \mathbf{\Phi}^{a_1}(x_1)} \frac{\delta A_2}{\delta \mathbf{\Phi}^{a_2}(x_2)} dvol_\Sigma(x)
Poisson bracket
Wightman propagator
Δ H=i2Δ+H\Delta_H = \tfrac{i}{2} \Delta + H
Hermitian form
π=i2ω 1+12g 1\pi = \tfrac{i}{2}\omega^{-1} + \tfrac{1}{2}g^{-1}

(Fredenhagen-Rejzner 15, section 3.6, Collini 16, table 2.1)

Definition

(microcausal polynomial observables) Let EfbE \overset{fb}{\to} be field bundle which is a vector bundle. An off-shell polynomial observable is a smooth function

A:Γ Σ(E) A \;\colon\; \Gamma_\Sigma(E) \longrightarrow \mathbb{C}

on the on-shell space of sections of the field bundle EfbΣE \overset{fb}{\to} \Sigma (space of field histories) which may be expressed as

A(Φ) =+α (0) =+ Σα a (1)(x)Φ a(x)dvol Σ(x) =+ Σ Σα a 1a 2 (2)(x 1,x 2)Φ a 1(x 1)Φ a 2(x 2)dvol Σ(x 1)dvol Σ(x 2) =+, \begin{aligned} A(\Phi) & = \phantom{+} \alpha^{(0)} \\ & \phantom{=} + \int_\Sigma \alpha^{(1)}_a(x) \Phi^a(x) \, dvol_\Sigma(x) \\ & \phantom{=} + \int_\Sigma \int_\Sigma \alpha^{(2)}_{a_1 a_2}(x_1, x_2) \Phi^{a_1}(x_1) \Phi^{a_2}(x_2) \,dvol_\Sigma(x_1) \, dvol_\Sigma(x_2) \\ & \phantom{=} + \cdots \,, \end{aligned}

where

α (k)Γ Σ k((E *) sym k) \alpha^{(k)} \in \Gamma'_{\Sigma^k}\left((E^\ast)^{\boxtimes^k_{sym}} \right)

is a compactly supported distribution of k variables on the kk-fold graded-symmetric external tensor product of vector bundles of the field bundle with itself.

Write

PolyObs(E)Obs(E) PolyObs(E) \hookrightarrow Obs(E)

for the subspace of off-shell polynomial observables onside all off-shell observables.

Let moreover (E,L)(E,\mathbf{L}) be a free Lagrangian field theory whose equations of motion are Green hyperbolic differential equations. Then an on-shell polynomial observable is the restriction of an off-shell polynomial observable along the inclusion of the on-shell space of field histories Γ Σ(E) δ ELL=0Γ Σ(E)\Gamma_{\Sigma}(E)_{\delta_{EL}\mathbf{L} = 0} \hookrightarrow \Gamma_\Sigma(E). Write

PolyObs(E,L)Obs(E,L) PolyObs(E,\mathbf{L}) \hookrightarrow Obs(E,\mathbf{L})

for the subspace of all on-shell polynomial observables inside all on-shell observables.

By this prop. restriction yields an isomorphism between polynomial on-shell observables and polynomial off-shell observables modulo the image of the differential operator PP:

PolyObs(E,L)restrictionPolyObs(E)/im(P). PolyObs(E,\mathbf{L}) \underoverset{\simeq}{\text{restriction}}{\longleftarrow} PolyObs(E)/im(P) \,.

Finally a polynomial observable is a microcausal observable if each coefficient α (k)\alpha^{(k)} as above has wave front set away from those points where the kk wave vectors are all in the future cone or all in the past cone. We write

PolyObs(E) mc PolyObs(E) PolyObs(E,L) mcPolyObs(E) mc/im(P) PolyObs(E,L) \array{ PolyObs(E)_{mc} &\hookrightarrow& PolyObs(E) \\ PolyObs(E,\mathbf{L})_{mc} \simeq PolyObs(E)_{mc}/im(P) &\hookrightarrow& PolyObs(E,\mathbf{L}) }

for the subspace of off-shell/on-shell microcausal observables inside all off-shell/on-shell polynomial observables.

Proposition

(Hadamard-Moyal star product on microcausal observablesabstract Wick algebra)

Let (E,L)(E,\mathbf{L}) a free Lagrangian field theory with Green hyperbolic equations of motion PΦ=0P \Phi = 0. Write Δ\Delta for the causal propagator and let

Δ H=i2Δ+H \Delta_H \;=\; \tfrac{i}{2}\Delta + H

be a corresponding Wightman propagator (Hadamard 2-point function).

Then the star product induced by Δ H\Delta_H

A HAprodexp( X 2Δ H ab(x 1,x 2)δδΦ a(x 1)δδΦ b(x 2)dvol g)(P 1P 2) A \star_H A \;\coloneqq\; prod \circ \exp\left( \int_{X^2} \hbar \Delta_H^{a b}(x_1, x_2) \frac{\delta}{\delta \mathbf{\Phi}^a(x_1)} \otimes \frac{\delta}{\delta \mathbf{\Phi}^b(x_2)} dvol_g \right) (P_1 \otimes P_2)

on off-shell microcausal observables A 1,A 2 mcA_1, A_2 \in \mathcal{F}_{mc} (def. ) is well defined in that the wave front sets involved in the products of distributions that appear in expanding out the exponential satisfy Hörmander's criterion.

Hence by the general properties of star products (this prop.) this yields a unital associative algebra structure on the space of formal power series in \hbar of off-shell microcausal observables

(PolyObs(E) mc[[]], H). \left( PolyObs(E)_{mc}[ [\hbar] ] \,,\, \star_H \right) \,.

This is the off-shell Wick algebra corresponding to the choice of Wightman propagator HH.

Moreover the image of PP is an ideal with respect to this algebra structure, so that it descends to the on-shell microcausal observables to yield the on-shell Wick algebra

(PolyObs(E,L) mc[[]], H). \left( PolyObs(E,\mathbf{L})_{mc}[ [ \hbar ] ] \,,\, \star_H \right) \,.

Finally, under complex conjugation () *(-)^\ast these are star algebras in that

(A 1 HA 2) *=A 2 * HA 1 *. \left( A_1 \star_H A_2 \right)^\ast = A_2^\ast \star_H A_1^\ast \,.

(Dito 90, Dütsch-Fredenhagen 00 Dütsch-Fredenhagen 01, Hirshfeld-Henselder 02, see Collini 16, p. 25-26)

Proof

By definition of the Wightman propagator (or else by this prop.), the wave front set of powers of Δ H\Delta_H has all cotangent wave vectors on the first variables in the closed future cone at the given base point (which itself is on the light cone)

and hence all those on the second variables in the closed past cone.

The first variables are integrated against those of A 1A_1 and the second against A 2A_2. By definition of microcausal observables (def. ), the wave front sets of A 1A_1 and A 2A_2 are disjoint from the subsets where all components are in the closed future cone or all components are in the closed past cone. Therefore the relevant sum of of the wave front covectors never vanishes and hence Hörmander's criterion for partial products of distributions of several variables (this prop.) is met and the star product is well defined.

It remains to see that the star product A 1 HA 2A_1 \star_H A_2 is itself again a microcausal observable. It is clear that it is again a polynomial observable and that it respects the ideal generated by the equations of motion. That it still satisfies the condition on the wave front set follows directly from the fact that the wave front set of a product of distributions is inside the fiberwise sum of elements of the factor wave front sets (this prop., ).

Finally the star algebra-structure follows via remark as in this prop..

Remark

(Wick algebra is formal deformation quantization of Poisson-Peierls algebra of observables)

Let (E,L)(E,\mathbf{L}) a free Lagrangian field theory with Green hyperbolic equations of motion PΦ=0P \Phi = 0 with causal propagator Δ\Delta and let Δ H=i2Δ+H\Delta_H \;=\; \tfrac{i}{2}\Delta + H be a corresponding Wightman propagator (Hadamard 2-point function).

Then the Wick algebra (PolyObs(E,L) mc[[]], H)\left( PolyObs(E,\mathbf{L})_{mc}[ [\hbar] ] \,,\, \star_H \right) from prop. is a formal deformation quantization of the Poisson algebra on the covariant phase space given by the on-shell polynomial observables equipped with the Poisson-Peierls bracket {,}:PolyObs(E,L) mcPolyObs(E,L) mcPolyObs(E,L) mc\{-,-\} \;\colon\; PolyObs(E,\mathbf{L})_{mc} \otimes PolyObs(E,\mathbf{L})_{mc} \to PolyObs(E,\mathbf{L})_{mc} in that for all A 1,A 2PolyObs(E,L) mcA_1, A_2 \in PolyObs(E,\mathbf{L})_{mc} we have

A 1 HA 2=A 1A 2mod A_1 \star_H A_2 \;=\; A_1 \cdot A_2 \;mod\; \hbar

and

A 1 HA 2A 2 HA 1=i{A 1,A 2}mod 2. A_1 \star_H A_2 - A_2 \star_H A_1 \;=\; i \hbar \{A_1, A_2\} \;mod\; \hbar^2 \,.

(Dito 90, Dütsch-Fredenhagen 01)

Proof

By prop. this is immediate from the general properties of the star product (this example).

Explicitly, consider, without restriction of generality, A 1=(α 1) a(x)Φ a(x)dvol Σ(x)A_1 = \int (\alpha_1)_a(x) \mathbf{\Phi}^a(x)\, dvol_\Sigma(x) and A 2=(α 2) a(x)Φ a(x)dvol Σ(x)A_2 = \int (\alpha_2)_a(x) \mathbf{\Phi}^a(x)\, dvol_\Sigma(x) be two linear observables. Then

A 1 HA 2 =A 1A 2+(i2Δ a 1a 2(x 1,x 2)+H a 1a 2(x 1,x 2))A 1Φ a 1(x 1)A 2Φ a 2(x 2)mod 2 =A 1A 2+((α 1) a 1(x 1)(i2Δ a 1a 2(x 1,x 2)+H a 1a 2(x 1,x 2))(α 2) a 2(x 2))mod 2 \begin{aligned} A_1 \star_H A_2 & = A_1 A_2 + \hbar \int \left( \tfrac{i}{2} \Delta^{a_1 a_2}(x_1, x_2) + H^{a_1 a_2}(x_1,x_2) \right) \frac{\partial A_1}{\partial \mathbf{\Phi}^{a_1}(x_1)} \frac{\partial A_2}{\partial \mathbf{\Phi}^{a_2}(x_2)} \;mod\; \hbar^2 \\ & = A_1 A_2 + \hbar \left( \int (\alpha_1)_{a_1}(x_1) \left( \tfrac{i}{2}\Delta^{a_1 a_2}(x_1, x_2) + H^{a_1 a_2}(x_1, x_2) \right) (\alpha_2)_{a_2}(x_2) \right) \;mod\; \hbar^2 \end{aligned}

Now since Δ\Delta is skew-symmetric while HH is symmetric is follows that

A 1 HA 2A 2 HA 1 =i((α 1) a 1(x 1)Δ a 1a 2(x 1,x 2)(α 2) a 2(x 2))mod 2 =i{A 1,A 2}. \begin{aligned} A_1 \star_H A_2 - A_2 \star_H A_1 & = i \hbar \left( \int (\alpha_1)_{a_1}(x_1) \Delta^{a_1 a_2}(x_1, x_2) (\alpha_2)_{a_2}(x_2) \right) \;mod\; \hbar^2 \\ & = i \hbar \, \left\{ A_1, A_2\right\} \end{aligned} \,.

The right hand side is the integral kernel-expression for the Poisson-Peierls bracket, as shown in the second line.

Abstract time-ordered product

Definition

(time-ordered product on regular polynomial observables)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory over a Lorentzian spacetime and with Green-hyperbolic Euler-Lagrange differential equations; write Δ S=Δ +Δ \Delta_S = \Delta_+ - \Delta_- for the induced causal propagator. Let moreover Δ H=i2Δ S+H\Delta_H = \tfrac{i}{2}\Delta_S + H be a compatible Wightman propagator and write Δ F=i2(Δ ++Δ )+H\Delta_F = \tfrac{i}{2}(\Delta_+ + \Delta_-) + H for the induced Feynman propagator.

Then the time-ordered product on the space of off-shell regular polynomial observable PolyObs(E) regPolyObs(E)_{reg} is the star product induced by the Feynman propagator (via this prop.):

PolyObs(E) reg[[]]PolyObs(E) reg[[]] PolyObs(E) reg[[]] (A 1,A 2) A 1 FA 2 \array{ PolyObs(E)_{reg}[ [\hbar] ] \otimes PolyObs(E)_{reg}[ [\hbar] ] &\overset{}{\longrightarrow}& PolyObs(E)_{reg}[ [\hbar] ] \\ (A_1, A_2) &\mapsto& \phantom{\coloneqq} A_1 \star_F A_2 }

hence

A 1 FA 2(()())exp(Σ×ΣΔ F ab(x,y)δδΦ a(x)δδΦ b(y)dvol Σ(x)dvol Σ(y)) A_1 \star_F A_2 \; \coloneqq \; ((-)\cdot(-)) \circ \exp\left( \underset{\Sigma \times \Sigma}{\int} \Delta_F^{a b}(x,y) \frac{\delta}{\delta \mathbf{\Phi}^a(x)} \otimes \frac{\delta}{\delta \mathbf{\Phi}^b(y)} \, dvol_\Sigma(x) \, dvol_\Sigma(y) \right)

(Notice that this does not descend to the on-shell observables, since the Feynman propagator is not a solution to the homogeneous equations of motion.)

Proposition

(time-ordered product is indeed causally ordered Wick algebra product)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory over a Lorentzian spacetime and with Green-hyperbolic Euler-Lagrange differential equations; write Δ S=Δ +Δ \Delta_S = \Delta_+ - \Delta_- for the induced causal propagator. Let moreover Δ H=i2Δ S+H\Delta_H = \tfrac{i}{2}\Delta_S + H be a compatible Wightman propagator and write Δ F=i2(Δ ++Δ )+H\Delta_F = \tfrac{i}{2}(\Delta_+ + \Delta_-) + H for the induced Feynman propagator.

Then the time-ordered product on regular polynomial observables (def. ) is indeed a time-ordering of the Wick algebra product H\star_H in that for all pairs of regular polynomial observables

A 1,A 2PolyObs(E) reg[[]] A_1, A_2 \in PolyObs(E)_{reg}[ [\hbar] ]

with disjoint spacetime support we have

A 1 FA 2={A 1 HA 2 | supp(A 1)supp(A 2) A 2 HA 1 | supp(A 2)supp(A 2). A_1 \star_F A_2 \;=\; \left\{ \array{ A_1 \star_H A_2 &\vert& supp(A_1) {\vee\!\!\!\wedge} supp(A_2) \\ A_2 \star_H A_1 &\vert& supp(A_2) {\vee\!\!\!\wedge} supp(A_2) } \right. \,.

Here S 1S 2S_1 {\vee\!\!\!\wedge} S_2 is the causal order relation (“S 1S_1 does not intersect the past cone of S 2S_2”). Beware that for general pairs (S 1,S2)(S_1, S-2) of subsets neither S 1S 2S_1 {\vee\!\!\!\wedge} S_2 nor S 2S 1S_2 {\vee\!\!\!\wedge} S_1.

Proof

Recall the following facts:

  1. the advanced and retarded propagators Δ ±\Delta_{\pm} by definition are supported in the future cone/past cone, respectively

    supp(Δ ±)V¯ ± supp(\Delta_{\pm}) \subset \overline{V}^{\pm}
  2. they turn into each other under exchange of their arguments (this cor.):

    Δ ±(y,x)=Δ (x,y). \Delta_\pm(y,x) = \Delta_{\mp}(x,y) \,.
  3. the real part HH of the Feynman propagator, which by definition is the real part of the Wightman propagator is symmetric (by definition or else by this prop.):

    H(x,y)=H(y,x) H(x,y) = H(y,x)

Using this we compute as follows:

(1)A 1Δ FA 2 =A 1i2(Δ ++Δ )+HA 2 ={A 1i2Δ ++HA 2 | supp(A 1)supp(A 2) A 1i2Δ +HA 2 | supp(A 2)supp(A 2) ={A 1i2Δ ++HA 2 | supp(A 1)supp(A 2) A 2i2Δ ++HA 1 | supp(A 2)supp(A 2) ={A 1i2(Δ +Δ )+HA 2 | supp(A 1)supp(A 2) A 2i2(Δ +Δ )+HA 1 | supp(A 2)supp(A 2) ={A 1Δ HA 2 | supp(A 1)supp(A 2) A 2Δ HA 1 | supp(A 2)supp(A 2) \begin{aligned} A_1 \underset{\Delta_{F}}{\star} A_2 \; & = A_1 \underset{\tfrac{i}{2}(\Delta_+ + \Delta_-) + H}{\star} A_2 \\ & = \left\{ \array{ A_1 \underset{\tfrac{i}{2}\Delta_+ + H}{\star} A_2 &\vert& supp(A_1) {\vee\!\!\!\wedge} supp(A_2) \\ A_1 \underset{\tfrac{i}{2}\Delta_- + H}{\star} A_2 &\vert& supp(A_2) {\vee\!\!\!\wedge} supp(A_2) } \right. \\ & = \left\{ \array{ A_1 \underset{\tfrac{i}{2}\Delta_+ + H}{\star} A_2 &\vert& supp(A_1) {\vee\!\!\!\wedge} supp(A_2) \\ A_2 \underset{\tfrac{i}{2}\Delta_+ + H}{\star} A_1 &\vert& supp(A_2) {\vee\!\!\!\wedge} supp(A_2) } \right. \\ & = \left\{ \array{ A_1 \underset{\tfrac{i}{2}(\Delta_+ - \Delta_-) + H}{\star} A_2 &\vert& supp(A_1) {\vee\!\!\!\wedge} supp(A_2) \\ A_2 \underset{\tfrac{i}{2}(\Delta_+ - \Delta_-) + H}{\star} A_1 &\vert& supp(A_2) {\vee\!\!\!\wedge} supp(A_2) } \right. \\ & = \left\{ \array{ A_1 \underset{\Delta_H}{\star} A_2 &\vert& supp(A_1) {\vee\!\!\!\wedge} supp(A_2) \\ A_2 \underset{\Delta_H}{\star} A_1 &\vert& supp(A_2) {\vee\!\!\!\wedge} supp(A_2) } \right. \end{aligned}
Proposition

(time-ordered product on regular polynomial observables isomorphic to pointwise product)

The time-ordered product on regular polynomial observables (def. ) is isomorphic to the pointwise product of observables (this def.) via the linear isomorphism

𝒯:PolyObs(E) reg[[]]PolyObs(E) reg[[]] \mathcal{T} \;\colon\; PolyObs(E)_{reg}[ [\hbar] ] \longrightarrow PolyObs(E)_{reg}[ [\hbar] ]

given by

(2)𝒯Aexp(12ΣΔ F(x,y) abδ 2δΦ a(x)δΦ b(y))A \mathcal{T}A \;\coloneqq\; \exp\left( \tfrac{1}{2} \hbar \underset{\Sigma}{\int} \Delta_F(x,y)^{a b} \frac{\delta^2}{\delta \mathbf{\Phi}^a(x) \delta \mathbf{\Phi}^b(y)} \right) A

in that

T(A 1A 2) A 1 FA 2 =𝒯(𝒯 1(A 1)𝒯 1(A 2)) \begin{aligned} T(A_1 A_2) & \coloneqq A_1 \star_{F} A_2 \\ & = \mathcal{T}( \mathcal{T}^{-1}(A_1) \cdot \mathcal{T}^{-1}(A_2) ) \end{aligned}

hence

PolyObs(E) reg[[]]PolyObs(E) reg[[]] ()() PolyObs(E) reg[[]] 𝒯𝒯 𝒯 PolyObs(E) reg[[]]PolyObs(E) reg[[]] () F() PolyObs(E) reg[[]] \array{ PolyObs(E)_{reg}[ [\hbar] ] \otimes PolyObs(E)_{reg}[ [\hbar] ] &\overset{(-)\cdot (-)}{\longrightarrow}& PolyObs(E)_{reg}[ [\hbar] ] \\ {}^{\mathllap{\mathcal{T} \otimes \mathcal{T}}}_\simeq\Big\downarrow && \downarrow^{\mathrlap{\mathcal{T}}}_\simeq \\ PolyObs(E)_{reg}[ [\hbar] ] \otimes PolyObs(E)_{reg}[ [\hbar] ] &\overset{(-) \star_F (-)}{\longrightarrow}& PolyObs(E)_{reg}[ [\hbar] ] }

(Brunetti-Dütsch-Fredenhagen 09, (12)-(13), Fredenhagen-Rejzner 11b, (14))

Proof

Since the Feynman propagator is symmetric (this prop.), the statement is a special case of this prop.).

Remark

(renormalization of time-ordered product)

The time-ordered product on regular polynomial observables from prop. extends to a product on polynomial local observables, then taking values in microcausal observables:

T:PolyLocObs(E) n[[]]PolyObs(E) mc[[]]. T \;\colon\; PolyLocObs(E)^{\otimes_n}[ [\hbar] ] \longrightarrow PolyObs(E)_{mc}[ [\hbar] ] \,.

This extension is not unique. A choice of such an extension, satisfying some evident compatibility conditions, is a choice of renormalization scheme for the given perturbative quantum field theory. Every such choice corresponds to a choice of perturbative S-matrix for the theory. This construction is called causal perturbation theory.

Operator product notation

Definition

(notation for operator product and normal-ordered product)

It is traditional to use the following alternative notation for the product structures on microcausal polynomial observables:

  1. The Wick algebra-product, hence the star product H\star_H for the Wightman propagator (def. ), is rewritten as plain juxtaposition:

    "operator product"AAAA 1A 2AAAAA 1 HA 1AAAAstar product of Wightman propagator. \text{"operator product"} \phantom{AAA} A_1 A_2 \phantom{AA} \coloneqq \phantom{AA} A_1 \star_H A_1 \phantom{AAAA} \array{ \text{star product of} \\ \text{Wightman propagator} } \,.
  2. The pointwise product of observables (this def.) A 1A 2A_1 \cdot A_2 is equivalently written as plain juxtaposition enclosed by colons:

    "normal-ordered product"AAAA:A 1A 2:AAAAA 1A 2AAAAAAapointwise productAAa \array{ \text{"normal-ordered} \\ \text{product"} } \phantom{AAAA} :A_1 A_2: \phantom{AA}\coloneqq\phantom{AA} A_1 \cdot A_2 \phantom{AAAA} \phantom{AAa}\text{pointwise product}\phantom{AAa}
  3. The time-ordered product, hence the star product for the Feynman propagator F\star_F (def. ) is equivalently written as plain juxtaposition prefixed by a “TT

    "time-ordered product"AAAAT(A 1A 2)AAAAA 1 FA 2AAAAstar product of Feynman propagator \array{ \text{"time-ordered} \\ \text{product"} } \phantom{AAAA} T(A_1 A_2) \phantom{AA}\coloneqq\phantom{AA} A_1 \star_F A_2 \phantom{AAAA} \array{ \text{star product of} \\ \text{Feynman propagator} }

Under representation of the Wick algebra on a Fock Hilbert space by linear operators the first product become the operator product, while the second becomes the operator poduct applied after suitable re-ordering, called “normal odering” of the factors.

Disregarding the Fock space-representation, which is faithful, we may still refer to these “abstract” products as the “operator product” and the “normal-ordered product”, respectively.

free field algebra of quantum observablesphysics terminologymaths terminology
1)supercommutative productAA:A 1A 2:\phantom{AA} :A_1 A_2:
normal ordered product
AAA 1A 2\phantom{AA} A_1 \cdot A_2
pointwise product of functionals
2)non-commutative product
(deformation induced by Poisson bracket)
AAA 1A 2\phantom{AA} A_1 A_2
operator product
AAA 1 HA 2\phantom{AA} A_1 \star_H A_2
star product for Wightman propagator
3)AAT(A 1A 2)\phantom{AA} T(A_1 A_2)
time-ordered product
AAA 1 FA 2\phantom{AA} A_1 \star_F A_2
star product for Feynman propagator
perturbative expansion
of 2) via 1)
Wick's lemma
Moyal product for Wightman propagator Δ H\Delta_H
A 1 HA 2= (()())exp((Δ H) ab(x,y)δδΦ a(x)δδΦ b(y))(A 1A 2) \begin{aligned} & A_1 \star_H A_2 = \\ & ((-)\cdot (-)) \circ \exp \left( \hbar \int (\Delta_H)^{ab}(x,y) \frac{\delta}{\delta \mathbf{\Phi}^a(x)} \otimes \frac{\delta}{\delta \mathbf{\Phi}^b(y)} \right)(A_1 \otimes A_2) \end{aligned}
perturbative expansion
of 3) via 1)
Feynman diagrams
Moyal product for Feynman propagator Δ F\Delta_F
A 1 FA 2= (()())exp((Δ F) ab(x,y)δδΦ a(x)δδΦ b(y))(A 1A 2) \begin{aligned} & A_1 \star_F A_2 = \\ & ((-)\cdot (-)) \circ \exp \left( \hbar \int (\Delta_F)^{ab}(x,y) \frac{\delta}{\delta \mathbf{\Phi}^a(x)} \otimes \frac{\delta}{\delta \mathbf{\Phi}^b(y)} \right)(A_1 \otimes A_2) \end{aligned}

Hadamard vacuum states

Proposition

(canonical vacuum states on abstract Wick algebra)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory with Green-hyperbolic Euler-Lagrange equations of motion; and let Δ H\Delta_H be a compatible Wightman propagator.

For

Φ 0Γ Σ(E) δ ELL=0 \Phi_0 \in \Gamma_\Sigma(E)_{\delta_{EL}\mathbf{L} = 0}

any on-shell field history (i.e. solving the equations of motion), consider the function from the Wick algebra to formal power series in \hbar with coefficients in the complex numbers which evaluates any microcausal polynomial observable on Φ 0\Phi_0

PolyObs(E,L) mc[[[]] Φ 0 [[]] A A(Φ 0) \array{ PolyObs(E,\mathbf{L})_{mc}[ [[\hbar] ] &\overset{\langle -\rangle_{\Phi_0}}{\longrightarrow}& \mathbb{C}[ [\hbar] ] \\ A &\mapsto& A(\Phi_0) }

Specifically for Φ 0=0\Phi_0 = 0 (which is a solution of the equations of motion by the assumption that (E,L)(E,\mathbf{L}) defines a free field theory) this is the function

PolyObs(E,L) mc[[[]] 0 [[]] A =α (0) =+Σα a (1)(x)Φ a(x)dvol Σ(x) =+} A(0)=α (0) \array{ PolyObs(E,\mathbf{L})_{mc}[ [[\hbar] ] &\overset{\langle -\rangle_0}{\longrightarrow}& \mathbb{C}[ [\hbar] ] \\ \left. \begin{aligned} A & = \alpha^{(0)} \\ & \phantom{=} + \underset{\Sigma}{\int} \alpha^{(1)}_a(x) \mathbf{\Phi}^a(x) \, dvol_\Sigma(x) \\ & \phantom{=} + \cdots \end{aligned} \right\} &\mapsto& A(0) = \alpha^{(0)} }

which sends each microcausal polynomial observable to its value A(Φ=0)A(\Phi = 0) on the zero field history, hence to the constant contribution α (0)\alpha^{(0)} in its polynomial expansion.

The function 0\langle -\rangle_0 is

  1. linear over [[]]\mathbb{C}[ [\hbar] ];

  2. real, in that for all APolyObs(E,L) mc[[]]A \in PolyObs(E,\mathbf{L})_{mc}[ [\hbar] ]

    A *=A * \langle A^\ast \rangle = \langle A \rangle^\ast
  3. positive, in that for every APolyObs(E,L) mc[[]]A \in PolyObs(E,\mathbf{L})_{mc}[ [\hbar] ] there exist a c A[[]]c_A \in \mathbb{C}[ [\hbar] ] such that

    A * HA Φ 0=c A *c A, \langle A^\ast \star_H A\rangle_{\Phi_0} = c_A^\ast \cdot c_A \,,
  4. normalized, in that

    1 H=1 \langle 1\rangle_H = 1

where () *(-)^\ast denotes componet-wise complex conjugation.

This means that 0\langle -\rangle_{0} is a states on the Wick star-algebra ((PolyObs(E,L)) mc[[]], H)\left( (PolyObs(E,\mathbf{L}))_{mc}[ [\hbar] ], \star_H\right) (prop. ). One says that

and generally

  • Φ 0\langle - \rangle_{\Phi_0} is called a coherent state.

(Dütsch 18, def. 2.12, remark 2.20, def. 5.28, exercise 5.30 and equations (5.178))

Proof

The properties of linearity, reality and normalization are obvious, what requires proof is positivity. This is proven by exhibiting a representation of the Wick algebra on a Fock Hilbert space (this algebra homomorphism is Wick's lemma), with formal powers in \hbar suitably taken care of, and showing that under this representation the function 0\langle -\rangle_0 is represented, degreewise in \hbar, by the inner product of the Hilbert space.

Example

(operator product of two linear observables)

Let

A iLinObs(E,L) mcPolyObs(E,L) mc A_i \in LinObs(E,\mathbf{L})_{mc} \hookrightarrow PolyObs(E,\mathbf{L})_{mc}

for i{1,2}i \in \{1,2\} be two linear microcausal observables represented by distributions which in generalized function-notation are given by

A i=(α i) a i(x i)Φ a i(x i)dvol Σ(x i). A_i \;=\; \int (\alpha_i)_{a_i}(x_i) \mathbf{\Phi}^{a_i}(x_i) \, dvol_\Sigma(x_i) \,.

Then their Hadamard-Moyal star product (prop. ) is the sum of their pointwise product with their value

(3)A 1 HA 2 0i(α 1) a 1(x 1)Δ H a 1a 2(x 1,x 2)(α 2) a 2(x 2)dvol Σ(x 1)dvol Σ(x 2) \langle A_1 \star_H A_2 \rangle_0 \;\coloneqq\; i \hbar \int \int (\alpha_1)_{a_1}(x_1) \Delta_H^{a_1 a_2}(x_1,x_2) (\alpha_2)_{a_2}(x_2) \,dvol_\Sigma(x_1) \,dvol_\Sigma(x_2)

in the Wightman propagator, which is the value of the Hadamard vacuum state from prop.

A 1 HA 2=A 1A 2+A 1 HA 2 0 A_1 \star_H A_2 \;=\; A_1 \cdot A_2 \;+\; \langle A_1 \star_H A_2 \rangle_0

In the operator product/normal-ordered product-notation of def. this reads

A 1A 2=:A 1A 2:+A 1A 2. A_1 A_2 \;=\; :A_1 A_2: \;+\; \langle A_1 A_2\rangle \,.
Example

(Weyl relations)

Let (E,L)(E,\mathbf{L}) a free Lagrangian field theory with Green hyperbolic equations of motion and with Wightman propagator Δ H\Delta_H.

Then for

A 1,A 2LinObs(E,L) mcPolyObs(E,L) mc A_1, A_2 \;\in\; LinObs(E,\mathbf{L})_{mc} \hookrightarrow PolyObs(E,\mathbf{L})_{mc}

two linear microcausal observables, the Hadamard-Moyal star product (def. ) of their exponentials exhibits the Weyl relations:

e A 1 He A 2=e A 1+A 2e A 1 HA 2 0 e^{A_1} \star_H e^{A_2} \;=\; e^{A_1 + A_2} \; e^{\langle A_1 \star_H A_2\rangle_0}

where on the right we have the exponential of the value of the Hadamard vacuum state (prop. ) as in example .

(e.g. Dütsch 18, exercise 2.3)

Example

(Wightman propagator is 2-point function in the Hadamard vacuum state)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory with Green-hyperbolic Euler-Lagrange equations of motion; and let Δ H\Delta_H be a compatible Wightman propagator.

With respect to the induced Hadamard vacuum state 0\langle - \rangle_0 from prop. , the Wightman propagator Δ H(x,y)\Delta_H(x,y) itself is the 2-point function, namely the distributional vacuum expectation value of the operator product of two field observables:

Φ a(x) HΦ b(y) 0=Φ(x)Φ(y)=0+Σ×Σδ(xx)Δ H ab(x,y)δ(yy)=Δ H ab(x,y) \left\langle \mathbf{\Phi}^a(x) \star_H \mathbf{\Phi}^b(y) \right\rangle_0 \;=\; \underset{ = 0 }{ \underbrace{ \left\langle \mathbf{\Phi}(x) \cdot \mathbf{\Phi}(y) \right\rangle }} + \underset{ = \hbar \Delta^{a b}_H(x,y) }{ \underbrace{ \left \langle \hbar \underset{\Sigma \times \Sigma}{\int} \delta(x-x') \Delta^{a b}_H(x,y) \delta(y-y') \right\rangle }}

by example .

Equivalently in the operator product-notation of def. this reads:

Φ a(x)Φ b(y) 0=Δ H(x,y). \left\langle \mathbf{\Phi}^a(x) \mathbf{\Phi}^b(y) \right\rangle_0 \;=\; \hbar \Delta_H(x,y) \,.

Similarly:

Example

(Feynman propagator is time-ordered 2-point function in the Hadamard vacuum state)

Let (E,L)(E,\mathbf{L}) be a free Lagrangian field theory with Green-hyperbolic Euler-Lagrange equations of motion; and let Δ H\Delta_H be a compatible Wightman propagator with induced Feynman propagator Δ F\Delta_F.

With respect to the induced Hadamard vacuum state 0\langle - \rangle_0 from prop. , the Feynman propagator Δ F(x,y)\Delta_F(x,y) itself is the time-ordered 2-point function, namely the distributional vacuum expectation value of the time-ordered product (def. ) of two field observables:

T(Φ a(x) FΦ b(y)) 0=Φ(x)Φ(y)=0+Σ×Σδ(xx)Δ F ab(x,y)δ(yy)=Δ H ab(x,y) \left\langle T\left( \mathbf{\Phi}^a(x) \star_F \mathbf{\Phi}^b(y) \right) \right\rangle_0 \;=\; \underset{ = 0 }{ \underbrace{ \left\langle \mathbf{\Phi}(x) \cdot \mathbf{\Phi}(y) \right\rangle }} + \underset{ = \hbar \Delta^{a b}_H(x,y) }{ \underbrace{ \left \langle \hbar \underset{\Sigma \times \Sigma}{\int} \delta(x-x') \Delta^{a b}_F(x,y) \delta(y-y') \right\rangle }}

analogous to example .

Equivalently in the operator product-notation of def. this reads:

T(Φ a(x)Φ b(y)) 0=Δ F(x,y). \left\langle T\left( \mathbf{\Phi}^a(x) \mathbf{\Phi}^b(y) \right) \right\rangle_0 \;=\; \hbar \Delta_F(x,y) \,.

propagators (i.e. integral kernels of Green functions)
for the wave operator and Klein-Gordon operator
on a globally hyperbolic spacetime such as Minkowski spacetime:

namesymbolwave front setas vacuum exp. value
of field operators
as a product of
field operators
causal propagatorΔ S =Δ +Δ \begin{aligned}\Delta_S & = \Delta_+ - \Delta_- \end{aligned}
A\phantom{A}\,\,\,-
iΔ S(x,y)= [Φ(x),Φ(y)]\begin{aligned} & i \hbar \, \Delta_S(x,y) = \\ & \left\langle \;\left[\mathbf{\Phi}(x),\mathbf{\Phi}(y)\right]\; \right\rangle \end{aligned} Peierls-Poisson bracket
advanced propagatorΔ +\Delta_+ iΔ +(x,y)= {[Φ(x),Φ(y)] | xy 0 | yx\begin{aligned} & i \hbar \, \Delta_+(x,y) = \\ & \left\{ \array{ \left\langle \; \left[ \mathbf{\Phi}(x),\mathbf{\Phi}(y) \right] \; \right\rangle &\vert& x \geq y \\ 0 &\vert& y \geq x } \right. \end{aligned} future part of
Peierls-Poisson bracket
retarded propagatorΔ \Delta_- iΔ (x,y)= {[Φ(x),Φ(y)] | yx 0 | xy\begin{aligned} & i \hbar \, \Delta_-(x,y) = \\ & \left\{ \array{ \left\langle \; \left[\mathbf{\Phi}(x),\mathbf{\Phi}(y) \right] \; \right\rangle &\vert& y \geq x \\ 0 &\vert& x \geq y } \right. \end{aligned}past part of
Peierls-Poisson bracket
Wightman propagatorΔ H =i2(Δ +Δ )+H =i2Δ S+H =Δ FiΔ \begin{aligned} \Delta_H &= \tfrac{i}{2}\left( \Delta_+ - \Delta_-\right) + H\\ & = \tfrac{i}{2}\Delta_S + H \\ & = \Delta_F - i \Delta_- \end{aligned} Δ H(x,y) =Φ(x)Φ(y) =:Φ(x)Φ(y):=0 =+[Φ ()(x),Φ (+)(y)]\begin{aligned} & \hbar \, \Delta_H(x,y) \\ & = \left\langle \; \mathbf{\Phi}(x) \mathbf{\Phi}(y) \; \right\rangle \\ & = \underset{ = 0 }{\underbrace{\left\langle \; : \mathbf{\Phi}(x) \mathbf{\Phi}(y) : \; \right\rangle}} \\ & \phantom{=} + \left\langle \; \left[ \mathbf{\Phi}^{(-)}(x), \mathbf{\Phi}^{(+)}(y) \right] \; \right\rangle \end{aligned} positive frequency of
Peierls-Poisson bracket,
Wick algebra-product,
2-point function
=\phantom{=} of vacuum state
=\phantom{=} or generally of
=\phantom{=} Hadamard state
Feynman propagatorΔ F =i2(Δ ++Δ )+H =iΔ D+H =Δ H+iΔ \begin{aligned}\Delta_F & = \tfrac{i}{2}\left( \Delta_+ + \Delta_- \right) + H \\ & = i \Delta_D + H \\ & = \Delta_H + i \Delta_- \end{aligned} Δ F(x,y) =T(Φ(x)Φ(y)) ={Φ(x)Φ(x) | xy Φ(y)Φ(x) | yx\begin{aligned} & \hbar \, \Delta_F(x,y) \\ & = \left\langle \; T\left( \; \mathbf{\Phi}(x)\mathbf{\Phi}(y) \;\right) \; \right\rangle \\ & = \left\{ \array{ \left\langle \; \mathbf{\Phi}(x)\mathbf{\Phi}(x) \; \right\rangle &\vert& x \geq y \\ \left\langle \; \mathbf{\Phi}(y) \mathbf{\Phi}(x) \; \right\rangle &\vert& y \geq x } \right.\end{aligned}time-ordered product

(see also Kocic‘s overview: pdf)

product in perturbative QFT\,\, induces
normal-ordered productWick algebra (free field quantum observables)
time-ordered productS-matrix (scattering amplitudes)
retarded productinteracting quantum observables

quantum probability theoryobservables and states

References

The construction goes back to

  • Gian-Carlo Wick, The evaluation of the collision matrix, Phys. Rev. 80, 268-272 (1950)

Its realization as the Moyal deformation quantization of the Peierls bracket shifted by a quasi-free Hadamard state is due to

  • Joseph Dito, Star-product approach to quantum field theory: The free scalar field. Letters in Mathematical Physics, 20(2):125–134, 1990 (spire)

further amplified in

and the generalization to quantum field theory on curved spacetime is discussed in

Review is in

Last revised on June 20, 2024 at 19:49:28. See the history of this page for a list of all contributions to it.