Cluster decomposition theorem

In physics, the cluster decomposition theorem guarantees locality in quantum field theory. According to this theorem, 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 |Ω> 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 theorem only holds if the vacuum is a pure state. If the vacuum is degenerate^{[disambiguation needed ]} and we have a mixed state, the cluster decomposition theorem 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|a| where c is some coefficient and |a| is the length of the vector a for |a|>a₀.