Cluster decomposition theorem

In physics, the cluster decomposition property is related to locality in quantum field theory. In a quantum field theory having this property, the vacuum expectation value of a product of many operators - each of them being either in region A or in region B where A and B are very separated - asymptotically equals the product of the expectation value of the product of the operators in A, times a similar factor from the region B. Consequently, sufficiently separated regions behave independently.

If A₁, ..., A_n are n operators each localized in a bounded region and $U(a)$ represents the unitary operator actively translating the Hilbert space by the vector a, then if we pick some subset of the n operators to translate,

$\lim_{|a|\rightarrow \infty}\langle\Omega|A'_1\cdots A'_n|\Omega\rangle-\langle\Omega|\prod_{\mbox{unshifted i}}A_i|\Omega\rangle \langle\Omega|\prod_{\mbox{shifted i}}U(a)A_i U^{-1}(a)|\Omega\rangle=0$

where $\vert \Omega \rangle$ is the vacuum state, and

$A'_i=\left\{\begin{matrix}A_i &\mbox{ if it is one of the unshifted operators}\\U(a)A_iU^{-1}(a) &\mbox{ if it is one of the shifted operators}\end{matrix}\right .$

provided a is a spacelike vector.

Expressed in terms of the connected correlation functions, it means if some of the arguments of the connected correlation function are shifted by large spacelike separations, the function goes to zero.

This property only holds if the vacuum is a pure state. If the vacuum is degenerate and we have a mixed state, the cluster decomposition property fails.

If the theory has a mass gap $m>0$, then there is a value a₀ beyond which the connected correlation function is absolutely bounded by $C e^{-m\vert a \vert }$ where $C$ is some coefficient and $\vert a \vert$ is the length of the vector $a$ for $\vert a \vert > a_0$.