Computable F{\o}lner monotilings and a theorem of Brudno II
Abstract
A theorem of A.A. Brudno says that the Kolmogorov-Sinai entropy of a subshift X over with respect to an ergodic measure equals the asymptotic Kolmogorov complexity of almost every word in X. The purpose of this article is to extend this result to subshifts over computable groups that admit computable regular symmetric F{\o}lner monotilings, which we introduce in this work. These monotilings are a special type of computable F{\o}lner monotilings, which we defined earlier in order to extend the initial results of Brudno. For every , the groups and the groups of unipotent upper-triangular matrices of dimension with integer entries admit particularly nice computable regular symmetric F{\o}lner monotilings for which we can provide the required computing algorithms `explicitly'.
Keywords
Cite
@article{arxiv.1510.03833,
title = {Computable F{\o}lner monotilings and a theorem of Brudno II},
author = {Nikita Moriakov},
journal= {arXiv preprint arXiv:1510.03833},
year = {2015}
}
Comments
23 pages; corrections; draws heavily from arXiv:1509.07858