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 with very low block complexity: the number of globallyadmissible patterns of size grows only as a polynomial in . 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