Abstract:In this manuscript we study properties of multidimensional shifts. More precisely, we study the necessary and sufficient conditions for a shift to be sofic, i.e. the boundary between sofic shifts and effective ones. To this end, we use different versions of algorithmic complexity (a.k.a. Kolmogorov complexity). In the first part of the work we suggest new necessary conditions of soficness for multidimensional shift. These conditions are expressed in terms of Kolmogorov complexity with bounded ressources. We discuss several applications of this technique. In particular, we construct an example of a two-dimensional effective and non sofic shift that has a very low combinatorial complexity : the number of global admissible N x N patterns grows only polynomially in N. We also show that the technique developed by S.Kass and K.Madden is equivalent to a special case of our method. In the second part, we discuss properties of subshifts defined in terms of density of letters. More specifically, we study two-dimensional subshifts $S(\rho)$ in the binary alphabet (white and black cells) where a configuration is admissible if every pattern of size N x N contains at most $N^\rho$ black cells. We show that $S(^\rho)$ is sofic for every $\rho<1$. Moreover, all effectif subshifts of these shifts are also sofic. The proof of this result is principally based on the construction of a self-simulating point-fixed tile set, with several new ingredients: an ad hoc model of computation based on a non deterministic cellular automaton (which allows to implement efficiently massively parallel calculations) and some properties of flows in a specific type of planar graphs.

Coboundaries and eigenvalues of morphic subshifts

Geometrical representation of subshifts for primitive substitutions

Coboundaries and eigenvalues of finitary S-adic systems

Strong Birkhoff Ergodic Theorem for Subharmonic Functions with Irrational Shift and Its Application to Analytic Quasi-Periodic Cocycles

Algorithmic complexity and soficness of shifts in dimension two

Subshifts with leading sequences, uniformity of cocycles and spectra of Schreier graphs

Decidability of the isomorphism problem between multidimensional substitutive subshifts

Modulus of continuity for spectral measures of suspension flows over Salem type substitutions

The structure of low complexity subshifts

Homomorphisms from aperiodic subshifts to subshifts with the finite extension property

Uniform Convergence of Schrödinger Cocycles over Simple Toeplitz Subshift

Measure transfer and S -adic developments for subshifts

Periodicities in Cluster Algebras and Cluster Automorphism Groups

On the complexity of subshifts and infinite words

Almost automorphic subshifts with finiteness conditions for the boundary of the separating cover

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

An embedding theorem for multidimensional subshifts

Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type

Topological Mixing Properties of Rank-One Subshifts

On automorphism groups of low complexity subshifts

Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices