English

Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts

Discrete Mathematics 2022-05-24 v9 Computational Complexity

Abstract

We suggest necessary conditions of soficness of multidimensional shifts formulated in termsof resource-bounded Kolmogorov complexity. Using this technique we provide examples ofeffective and non-sofic shifts on Z2\mathbb{Z}^2 with very low block complexity: the number of globallyadmissible patterns of size n×nn\times n grows only as a polynomial in nn. We also show that moreconventional proofs of non-soficness for multi-dimensional effective shifts can be expressed interms of Kolmogorov complexity with unbounded computational resources.

Keywords

Cite

@article{arxiv.1805.03929,
  title  = {Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts},
  author = {Julien Destombes and Andrei Romashchenko},
  journal= {arXiv preprint arXiv:1805.03929},
  year   = {2022}
}

Comments

32 pages, 16 figures; v9: minor revision in figures