Physics: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. Functional average of a number of field operator is called correlation function or correlator. So the spacelike asymptotic behaviour of truncated correlators consisting of field clusters determines how the strength of the correlations between the field degrees of freedom in these clusters changes as the distance between the clusters grows, and this behaviour is characterised by the cluster decomposition theorem. If [math]\displaystyle{ A_1,\dots,A_n }[/math] are [math]\displaystyle{ n }[/math] operators each localized in a bounded region and [math]\displaystyle{ U(a) }[/math] represents the unitary operator actively translating the Hilbert space by the vector [math]\displaystyle{ a }[/math], then if we pick some subset of the n operators to translate,

[math]\displaystyle{ \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 }[/math]

where [math]\displaystyle{ \vert \Omega \rangle }[/math] is the vacuum state, and

[math]\displaystyle{ A'_i=\left\{\begin{array}{cl} 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{array}\right . }[/math]

provided [math]\displaystyle{ a }[/math] 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 [math]\displaystyle{ m\gt 0 }[/math], then there is a value [math]\displaystyle{ a_0 }[/math] beyond which the connected correlation function is absolutely bounded by [math]\displaystyle{ C e^{-m\vert a \vert } }[/math] where [math]\displaystyle{ C }[/math] is some coefficient and [math]\displaystyle{ \vert a \vert }[/math] is the length of the vector [math]\displaystyle{ a }[/math] for [math]\displaystyle{ \vert a \vert \gt a_0 }[/math].