Deterministic Coloring of a Family of Complexes

• Published in: Journal of mathematical sciences (New York, N.Y.) N.Y.), 2023-09, Vol.275 (4), p.403-501
• Main Authors: Ivanov-Pogodaev, I A, Ya, Kanel-Belov A
• Format: Article
• Language: English
• Subjects: Algebra; Apexes; Dynamical systems; Graph theory; Mathematics; Mathematics and Statistics; Substitutes; Tiles; Tiling
• ISSN: 1072-3374; 1573-8795
• DOI: 10.1007/s10958-023-06691-9

In the famous works “Tilings, substitution systems and dynamical systems generated by them” by S. Mozes and “Matching rules and substitution tilings” by Ch. Goodman-Strauss, important properties of tiling on the plane connecting the language of substitution systems and local rules are investigated. In particular, it is proved that with almost any substitution system of tiles, it is possible to link a system of decorations and local rules to the boundaries of tiles in such a way that any tiling of the plane allowed by the rules will belong to the family generated by this substitution system. Geometric constructions based on tiling and geometric complexes of glued squares open up new opportunities for the study and construction of algebraic objects. An important property of tiling that allows them to be associated with algebraic objects is determinicity. For square tiles whose sides are painted in a finite number of colors, this property means that the colors of the two adjacent sides of each tile uniquely determine the colors of the other pair of sides. J. Kari and P. Papasoglu constructed a deterministic aperiodic set. Thus, the analogue of the theorems of Goodman-Strauss and Mozes with an additional determinicity condition is an important statement in the theory of aperiodic mosaics. We prove an analog of this statement for a specific fixed substitution system. But its arbitrariness allows us to hope for the possibility of improving the construction for the general case. This system is important when constructing an infinite finitely presented nilsemigroup, which solves the problem of L. N. Shevrin and M. V. Sapir. The work is also devoted to the construction of a family of geometric complexes and the introduction of coding of vertices and edges on them. For the resulting complex, both properties are fulfilled simultaneously: finiteness of the set of defining local rules and determinicity on paths of length 2 on minimal squares.