A de Finetti-type theorem with m-dependent states (Q1118788)

Certain translation invariant states on the infinite tensorproduct \(C^*\)-algebra \({\mathcal A}=\otimes^{\infty}_{i=1}{\mathcal B}_ i\) are considered. For \(m\in {\mathbb{Z}}^+\) a state \(\phi\) on \({\mathcal A}\) is m- dependent if \[ \phi (a_ 1\otimes a_ 2\otimes...\otimes a_{\ell})=\phi (a_ 1\otimes...\otimes a_ k)\phi (a_{k+m+1}\otimes...\otimes a_{\ell}) \] whenevwer \(\ell >k+m\) and \(a_{k+1}=a_{k+2}=...=a_{k+m}=I\). The closed convex hull of the stationary m-dependent states is characterized by a symmetry condition. The case of \(m=0\) corresponds to independence and the result reduces to a \(C^*\)-algebraic version, due to E. Størmer, of the classical de Finetti's theorem on exchangeable sequences.