Finitely correlated pure states (Q1328282)

The authors consider an infinite tensor product algebra of the form \({\mathcal A}_ Z= \otimes_ Z{\mathcal A}\), where \(\mathcal A\) is the algebra \({\mathcal M}_ d\) of \(d\times d\) matrices. They study a \(w^*\)-dense subset of the translation invariant states, called finitely correlated states, which are constructed in terms of a finite-dimensional algebra \(\mathcal B\) and a completely positive map \(E: {\mathcal A}\otimes {\mathcal B}\to {\mathcal B}\). They show that a \(C^*\)-finitely correlated state (i.e. if \(\mathcal B\) is assumed to be a \(C^*\)-algebra) is pure if and only if it is extremal periodic and its entropy density vanish. For such a state the auxiliary objects \(\mathcal B\) and \(E\) are uniquely determined.