LIPIcs.STACS.2020.14.pdf
- Filesize: 0.58 MB
- 12 pages
Document
Decidability and Periodicity of Low Complexity Tilings
Authors
Jarkko Kari 
,
Etienne Moutot
-
Part of:
Volume:
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Symposium on Theoretical Aspects of Computer Science (STACS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-03-04
File
Document Identifiers
Author Details
Cite AsGet BibTex
Jarkko Kari and Etienne Moutot. Decidability and Periodicity of Low Complexity Tilings. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 154, pp. 14:1-14:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.STACS.2020.14
https://doi.org/10.4230/LIPIcs.STACS.2020.14
Abstract
In this paper we study low-complexity colorings (or tilings) of the two-dimensional grid ℤ². A coloring is said to be of low complexity with respect to a rectangle if there exists m,n∈ℕ such that there are no more than mn different rectangular m× n patterns in it. Open since it was stated in 1997, Nivat’s conjecture states that such a coloring is necessarily periodic. Suppose we are given at most nm rectangular patterns of size n× m. If Nivat’s conjecture is true, one can only build periodic colorings out of these patterns - meaning that if the m× n rectangular patterns of the coloring are among these mn patterns, it must be periodic. The main contribution of this paper proves that there exists at least one periodic coloring build from these patterns. We use this result to investigate the tiling problem, also known as the domino problem, which is well known to be undecidable in its full generality. However, we show that it is decidable in the low-complexity setting. Finally, we use our result to show that Nivat’s conjecture holds for uniformly recurrent configurations. The results also extend to other convex shapes in place of the rectangle.
Subject Classification
ACM Subject Classification
- Mathematics of computing → Discrete mathematics
- Theory of computation → Computability
Keywords
- Nivat’s conjecture
- domino problem
- decidability
- low pattern complexity
- 2D subshifts
- symbolic dynamics
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
R. Berger. The Undecidability of the Domino Problem. Memoirs of the American Mathematical Society. American Mathematical Society, 1966.
- S. Bhattacharya. Periodicity and decidability of tilings of ℤ². ArXiv e-prints, February 2016. URL: http://arxiv.org/abs/1602.05738.
- George D. Birkhoff. Quelques théorèmes sur le mouvement des systèmes dynamiques. Bulletin de la Société Mathématique de France, 40:305-323, 1912. URL: https://doi.org/10.24033/bsmf.909.
- Mike Boyle and Douglas Lind. Expansive subdynamics. Transactions of the American Mathematical Society, 349(1):55-102, 1997. URL: http://www.jstor.org/stable/2155304.
- Julien Cassaigne. Subword complexity and periodicity in two or more dimensions. In Grzegorz Rozenberg and Wolfgang Thomas, editors, Developments in Language Theory. Foundations, Applications, and Perspectives. Aachen, Germany, 6-9 July 1999, pages 14-21. World Scientific, 1999. URL: https://doi.org/10.1142/9789812792464_0002.
-
T. Ceccherini-Silberstein and M. Coornaert. Cellular Automata and Groups. Springer Monographs in Mathematics. Springer Berlin Heidelberg, 2010.
- Van Cyr and Bryna Kra. Nonexpansive ℤ²-subdynamics and Nivat’s Conjecture. Transactions of the American Mathematical Society, 367(9):6487-6537, February 2015. URL: https://doi.org/10.1090/s0002-9947-2015-06391-0.
- Jarkko Kari and Etienne Moutot. Nivat’s conjecture and pattern complexity in algebraic subshifts. Theoretical Computer Science, 2019. URL: https://doi.org/10.1016/j.tcs.2018.12.029.
-
Jarkko Kari and Michal Szabados. An Algebraic Geometric Approach to Nivat’s Conjecture. In Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, and Bettina Speckmann, editors, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pages 273-285. Springer, 2015.
-
M. Nivat. Keynote address at the 25th anniversary of EATCS, during ICALP 1997, Bologna, 1997.
-
Michal Szabados. Nivat’s conjecture holds for sums of two periodic configurations. In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, and Jiří Wiedermann, editors, SOFSEM 2018: Theory and Practice of Computer Science, pages 539-551, Cham, 2018. Springer International Publishing.
- Mario Szegedy. Algorithms to tile the infinite grid with finite clusters. In 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pages 137-147. IEEE Computer Society, 1998. URL: https://doi.org/10.1109/SFCS.1998.743437.
- H. Wang. Proving theorems by pattern recognition - II. The Bell System Technical Journal, 40(1):1-41, 1961. URL: https://doi.org/10.1002/j.1538-7305.1961.tb03975.x.