Subshifts of finite type which have completely positive entropy (Q2430083)

A \(d\)-dimensional subshift of finite type is the topological \(\mathbb Z^d\)-action by shifts on a subset of \(A^{\mathbb Z^d}\) with \(A\) a finite alphabet defined by forbidding the appearance of a finite list of finite configurations in any location. This paper is a further insight into the enormous difference between the dynamical properties of these systems in the cases \(d=1\) and \(d>1\). For \(d=1\), the space is non-empty if and only if it has periodic points, under very weak topological mixing conditions there is a unique measure of maximal entropy, and if the maximal measure is mixing for the shift map then it is measurably isomorphic to a Bernoulli shift. The first property does not hold for \(d>1\), as may be seen for example in work of \textit{R. Berger} [Mem. Am. Math. Soc. 66, 72 p. (1966; Zbl 0199.30802)] and the second does not by work of \textit{R. Burton} and \textit{J. E. Steif} [Ergodic Theory Dyn. Syst. 14, No.2, 213--235 (1994; Zbl 0807.58023)]. Here the third property is shown to fail in the strongest possible way for \(d>1\): a set of domino tilings is exhibited with a measure of maximal entropy that has completely positive entropy but is not isomorphic to a \(d\)-dimensional Bernoulli shift.