Pré-Publication, Document De Travail Année : 2026

Parametrized complexity of relations between multidimensional subshifts

Complexité paramétrée de relations entre les sous-shifts multidimensionnels

Résumé

We study the parametrized complexity of fundamental relations between multidimensional subshifts, such as equality, conjugacy, inclusion, and embedding, for subshifts of finite type (SFTs) and effective subshifts. We build on previous work of E. Jeandel and P. Vanier on the complexity of these relations as two-input problems, by fixing one subshift as parameter and taking the other subshift as input. We study the impact of various dynamical properties related to periodicity, minimality, finite type, etc. on the computational properties of the parameter subshift, which reveals interesting differences and asymmetries.

Among other notable results, we find choices of parameter that reach the maximum difficulty for each problem; we find nontrivial decidable problems for multidimensional SFT, where most properties are undecidable; and we find connections with recent work relating having computable language and being minimal for some property, showing in particular that this property may not always be chosen conjugacy-invariant.

Embedding__conjugacy_and_friends_with_a_fixed_subshift__ICALP_ (1).pdf (464.94 Ko) Télécharger le fichier

Dates et versions

hal-05499852 , version 1 (20-02-2026)

Identifiants

Citer

Nicanor Carrasco-Vargas, Benjamin Hellouin de Menibus, Rémi Pallen. Parametrized complexity of relations between multidimensional subshifts. 2026. ⟨hal-05499852⟩
45 Consultations
10 Téléchargements

Altmetric

Partager

  • More