Proof of non-soficity for multidimensional subshifts
Andrei Romashchenko
LIRMM, CNRS, Montpellier
http://www.lirmm.fr/~romashchen/
Date(s) : 04/02/2020 iCal
11h00 - 12h00
In symbolic dynamics, the following three classes of subshifts play an important role: subshifts of finite type, sofic shifts, and effective shifts, which are nested inside each other. The boundaries between these classes are pretty well understood in dimension 1, but the multidimensional subshifts are more elusive.
In this talk, we focus on the borderline between sofic and effective but not sofic subshifts, and discuss techniques suitable to prove that some specific explicitly given subshift is not sofic. We argue that Kolmogorov complexity is a helpful tool in these proofs.
Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories