HOW DO TOPOLOGICAL ENTROPY AND FACTOR COMPLEXITY BEHAVE UNDER MONOID MORPHISMS AND FREE GROUP BASIS CHANGES ? - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

HOW DO TOPOLOGICAL ENTROPY AND FACTOR COMPLEXITY BEHAVE UNDER MONOID MORPHISMS AND FREE GROUP BASIS CHANGES ?

Martin Lustig
  • Fonction : Auteur
  • PersonId : 1002848

Résumé

For any non-erasing free monoid morphism $\sigma: \cal A^* \to \cal B^*$, and for any subshift $X \subset \cal A^\Z$ and its image subshift $Y = \sigma(X) \subset \cal B^\Z$, the associated complexity functions $p_X$ and $p_Y$ are shown to satisfy: there exist constants $c, d, C > 0$ such that $$c \cdot p_X(d \cdot n) \,\, \leq \,\, p_Y(n) \,\, \leq \,\, C \cdot p_X(n)$$ holds for all sufficiently large integers $n \in \N$, provided that $\sigma$ is recognizable in $X$. If $\sigma$ is in addition letter-to-letter, then $p_Y$ belongs to $\Theta(p_X)$ (and conversely). Otherwise, however, there are examples where $p_X$ is not in $\cal O(p_Y)$. It follows that in general the value $h_X$ of the topological entropy of $X$ is not preserved when applying a morphism $\sigma$ to $X$, even if $\sigma$ is recognizable in $X$. As a consequence, there is no meaningful way to define the topological entropy of a current on a free group $F_N$; only the distinction of currents $\mu$ with topological entropy $h_{\tiny\supp(\mu)} = 0$ and $h_{\tiny\supp(\mu)} > 0$ is well defined.
Fichier principal
Vignette du fichier
Lustig_Recognizable-morphisms-do-not-preserve-complexity_31_3_22.pdf (329.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03628412 , version 1 (02-04-2022)

Identifiants

  • HAL Id : hal-03628412 , version 1

Citer

Martin Lustig. HOW DO TOPOLOGICAL ENTROPY AND FACTOR COMPLEXITY BEHAVE UNDER MONOID MORPHISMS AND FREE GROUP BASIS CHANGES ?. 2022. ⟨hal-03628412⟩
74 Consultations
40 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More