Proof of non-soficity for multidimensional subshifts

Andrei Romashchenko
LIRMM, CNRS, Montpellier

Date(s) : 04/02/2020   iCal
11 h 00 min - 12 h 00 min

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.


Site Sud, Luminy, TPR2, Salle de Séminaire 304-306 (3ème étage)


Retour en haut 

Secured By miniOrange