Mixing properties of tree-shifts

The uncertainty of multidimensional shift spaces draws attracted attention of researchers. For example, the emptiness problem is undecidable; there exist aperiodic shifts of finite type; there is a nonempty shift of finite type exhibiting nonextensible local patterns. This paper investigates symbolic dynamics on Cayley trees and gives affirmative answers to the above questions in tree-shifts. Beyond that, with introducing block gluing tree-shift, a sufficient condition of exhibiting positive topological entropy is revealed.