On $g$-functions for subshifts

Wolfgang Krieger

DOI: https://doi.org/10.1214/074921706000000329

2006-08-10

Abstract:A necessary and sufficient condition is given for a subshift presentation to have a continuous $g$-function. An invariant necessary and sufficient condition is formulated for a subshift to posses a presentation that has a continuous $g$-function.

Dynamical Systems

What problem does this paper attempt to address?

Soficity of free extensions of effective subshifts

Sebastián Barbieri,Mathieu Sablik,Ville Salo

2024-09-13

Abstract:Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from $X$. We study the case of $G = H \times K$ for infinite and finitely generated groups $H$ and $K$: on the one hand we show that if $K$ is nonamenable and $H$ has decidable word problem, then the free extension to $G$ of any $H$-subshift which is effectively closed is a sofic $G$-subshift. On the other hand we prove that if both $H$ and $K$ are amenable, there are always $H$-subshifts which are effectively closed by patterns whose free extension to $G$ is non-sofic. We also present a few applications in the form of a new simulation theorem and a new class of groups which admit strongly aperiodic SFTs.

Dynamical Systems,Group Theory
Contractible subshifts

Leo Poirier,Ville Salo

2024-02-28

Abstract:We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only if it is a contractible SFT with a fixed point. For virtually polycyclic groups, contractibility implies dense periodic points. We introduce a ``homotopy theory'' framework for working with this notion, and ``contractibility'' is in fact simply an analog of the usual contractibility in algebraic topology. We also explore the symbolic dynamical analogs of homotopy equivalence and equiconnectedness of subshifts. Contractibility is implied by the map extension property of Meyerovitch, and among SFTs, it implies the finite extension property of Briceño, McGoff and Pavlov. We include thorough comparisons with these classes. We also encounter some new group-geometric notions, in particular a periodic variant of Gromov's asymptotic dimension of a group.

Dynamical Systems,Algebraic Topology,Group Theory
An embedding theorem for subshifts over amenable groups with the comparison property

ROBERT BLAND

DOI: https://doi.org/10.1017/etds.2024.21

2024-03-07

Ergodic Theory and Dynamical Systems

Abstract:We obtain the following embedding theorem for symbolic dynamical systems. Let G be a countable amenable group with the comparison property. Let X be a strongly aperiodic subshift over G. Let Y be a strongly irreducible shift of finite type over G that has no global period, meaning that the shift action is faithful on Y. If the topological entropy of X is strictly less than that of Y and Y contains at least one factor of X, then X embeds into Y. This result partially extends the classical result of Krieger when and the results of Lightwood when for . The proof relies on recent developments in the theory of tilings and quasi-tilings of amenable groups.

mathematics, applied
Aperiodic Subshifts of Finite Type on Groups

Emmanuel Jeandel

DOI: https://doi.org/10.48550/arXiv.1501.06831

2015-07-04

Abstract:In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists a computable obstruction for them to admit strongly aperiodic SFTs. $\bullet$ On the positive side, we build strongly aperiodic SFTs on some new classes of groups. We show in particular that some particular monster groups admits strongly aperiodic SFTs for trivial reasons. Then, for a large class of group $G$, we show how to build strongly aperiodic SFTs over $\mathbb{Z}\times G$. In particular, this is true for the free group with 2 generators, Thompson's groups $T$ and $V$, $PSL_2(\mathbb{Z})$ and any f.g. group of rational matrices which is bounded.

Group Theory,Discrete Mathematics,Dynamical Systems
Geometrical representation of subshifts for primitive substitutions

Paul Mercat

2023-09-20

Abstract:For any primitive substitution whose Perron eigenvalue is Pisot unit, we construct a domain exchange measurably conjugated to the subshift. And we give a condition for the subshift to be a finite extension of a torus translation. For the particular case of weakly irreducible Pisot substitution, we show that the subshift is either a finite extension of a torus translation, either a power of the subshift is weakly mixing. And we provide an algorithm to compute eigenvalues of the subshift associated to any primitive pseudo-unimodular substitution.

Dynamical Systems
Substitutional subshifts and growth of groups

Volodymyr Nekrashevych

DOI: https://doi.org/10.48550/arXiv.2008.04983

2020-08-12

Abstract:We show how to use symbolic dynamics of Schreier graphs to embed the Grigorchuk group into a simple torsion group of intermediate growth and to construct uncountably many growth types of simple torsion groups.

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

Rostislav Grigorchuk,Daniel Lenz,Tatiana Nagnibeda,Daniel Sell

DOI: https://doi.org/10.48550/arXiv.1906.01898

2019-06-05

Abstract:We introduce a class of subshifts governed by finitely many two-sided infinite words. We call these words leading sequences. We show that any locally constant cocycle over such a subshift is uniform. From this we obtain Cantor spectrum of Lebesgue measure zero for associated Jacobi operators if the subshift is aperiodic. Our class covers all simple Toeplitz subshifts as well as all Sturmian subshifts. We apply our results to the spectral theory of Schreier graphs for uncountable families of groups acting on rooted trees.

Dynamical Systems
Homomorphisms from aperiodic subshifts to subshifts with the finite extension property

Robert Bland,Kevin McGoff

2024-10-24

Abstract:Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $\phi : X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth, $X$ is aperiodic, and $Y$ has the finite extension property (FEP), then there exists a homomorphism $\phi : X \to Y$. By combining this theorem with a previous result of Bland, we obtain that if the same conditions hold, and if additionally the topological entropy of $X$ is less than the topological entropy of $Y$ and $Y$ has no global period, then $X$ embeds into $Y$. We also establish some facts about subshifts with the FEP that may be of independent interest.

Dynamical Systems
Ergodic optimization for continuous functions on non-Markov shifts

Mao Shinoda,Hiroki Takahasi,Kenichiro Yamamoto

2024-06-08

Abstract:Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. For a wide class of intrinsically ergodic subshifts over a finite alphabet, we show that the space of continuous functions on the shift space splits into two subsets: one is a $G_\delta$ dense set for which all maximizing measures have `relatively small' entropy; the other is contained in the closure of the set of functions having uncountably many, fully supported ergodic measures with `relatively large' entropy. This result considerably generalizes and unifies the results of Morris (2010) and Shinoda (2018), and applies to a wide class of intrinsically ergodic non-Markov symbolic dynamics without Bowen's specification property, including any transitive piecewise monotonic interval map, some coded shifts and multidimensional $\beta$-transformations. Along with these examples of application, we provide an example of an intrinsically ergodic subshift with positive obstruction entropy to specification.

Dynamical Systems
On $γ$-Semi-Continuous Functions

Sabir Hussain

DOI: https://doi.org/10.48550/arXiv.1103.3109

2011-03-16

Abstract:In this paper, we continue studying the properties of $\gamma$-semi-continuous and $\gamma$-semi-open functions introduced in [5].

General Topology
On a characterization of shifts of Haar distributions on compact open subgroups of a compact Abelian group

Gennadiy Feldman

2023-04-02

Abstract:Let X be a compact Abelian group. In the article we obtain a characterization of shifts of Haar distributions on compact open subgroups of the group X by the symmetry of the conditional distribution of one linear form of independent random variables taking values in X given another. Coefficients of the linear forms are topological automorphisms of the group X. This result can be viewed as an analogue for compact Abelian groups of the well-known Heyde theorem, where the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another.

Probability
Boundedness of G-Functions on Triebel-Lizorkin Spaces

Chunjie Zhang,Jiecheng Chen

DOI: https://doi.org/10.11650/twjm/1500405452

2009-01-01

Taiwanese Journal of Mathematics

Abstract:We prove that the g-function operator g(phi), where 0 (x) = h (I x 1) Q (x) with Omega(x) = Omega(x') is an element of H-1(Sn-1) and h(s) satisfing certain continuity hypothesis, is bounded on Triebel-Lizorkin space F-p(alpha,q)(R-n) when 0 < a < 1 and 1 < p, q < infinity. In particular, we get that the Marcinkiewicz integral operator mu(Omega) with H-1-kernel is bounded on F-p(alpha,q).
On the complexity of subshifts and infinite words

Be'eri Greenfeld,Carlos Gustavo Moreira,Efim Zelmanov

2024-08-07

Abstract:We characterize the complexity functions of subshifts up to asymptotic equivalence. The complexity function of every aperiodic function is non-decreasing, submultiplicative and grows at least linearly. We prove that conversely, every function satisfying these conditions is asymptotically equivalent to the complexity function of a recurrent subshift, equivalently, a recurrent infinite word. Our construction is explicit, algorithmic in nature and is philosophically based on constructing certain 'Cantor sets of integers', whose 'gaps' correspond to blocks of zeros. We also prove that every non-decreasing submultiplicative function is asymptotically equivalent, up a linear error term, to the complexity function of a minimal subshift.

Dynamical Systems,Combinatorics,Rings and Algebras
On G-S-supplemented Subgroups of Finite Groups

Wenbin Guo,Fengyan Xie,Yi Lu

DOI: https://doi.org/10.1007/s11464-010-0006-8

2010-01-01

Frontiers of Mathematics in China

Abstract:A subgroup H of a group G is said to be g-s-supplemented in G if there exists a subgroup K of G such that HK⊴G and H ∩ K ⩽ H sG , where HsG is the largest s-permutable subgroup of G contained in H. By using this new concept, we establish some new criteria for a group G to be soluble.
Finitely presented condensed groups

Denis Osin

DOI: https://doi.org/10.1090/proc/16879

IF: 0.9709

2024-05-22

Proceedings of the American Mathematical Society

Abstract:Let G \mathcal {G} denote the space of finitely generated marked groups. For any finitely generated group G G , we construct a continuous, injective map f f from the space of subgroups S u b ( G ) Sub(G) to G \mathcal {G} that sends conjugate subgroups to isomorphic marked groups; in addition, if G G is finitely presented and H ≤ G H\le G is finitely generated, then f ( H ) f(H) is finitely presented. This result allows us to transfer various topological phenomena occurring in S u b ( G ) Sub(G) to G \mathcal {G} . In particular, we provide the first example of a finitely presented group whose isomorphism class in G \mathcal {G} has no isolated points.

mathematics, applied
Realizability of Subgroups by Subshifts of Finite Type

Nicolás Bitar

2024-06-06

Abstract:We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a finitely generated normal subgroup is realizable if and only if the quotient by the subgroup admits a strongly aperiodic SFT. We also show that if a subgroup is realizable, its subgroup membership problem must be decidable. The article also contains the introduction of periodically rigid groups, which are groups for which every weakly aperiodic subshift of finite type is strongly aperiodic. We conjecture that the only finitely generated periodically rigid groups are virtually $\mathbb{Z}$ groups and torsion-free virtually $\mathbb{Z}^2$ groups. Finally, we show virtually nilpotent and polycyclic groups satisfy the conjecture.

Dynamical Systems,Discrete Mathematics,Group Theory
Medvedev degrees of subshifts on groups

Sebastián Barbieri,Nicanor Carrasco-Vargas

2024-06-19

Abstract:The Medvedev degree of a subshift is a dynamical invariant of computable origin that can be used to compare the complexity of subshifts that contain only uncomputable configurations. We develop theory to describe how these degrees can be transferred from one group to another through algebraic and geometric relations, such as quotients, subgroups, translation-like actions and quasi-isometries. We use the aforementioned tools to study the possible values taken by this invariant on subshifts of finite type on some finitely generated groups. We obtain a full classification for some classes, such as virtually polycyclic groups and branch groups with decidable word problem. We also show that all groups which are quasi-isometric to the hyperbolic plane admit SFTs with nonzero Medvedev degree. Furthermore, we provide a classification of the degrees of sofic subshifts for several classes of groups.

Dynamical Systems,Group Theory,Logic
Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups

Jaime Gómez

2023-09-05

Abstract:For each countable residually finite group $G$, we present examples of irregular Toeplitz subshifts in $\{0,1\}^G$ that are topo-isomorphic extensions of its maximal equicontinuous factor. To achieve this, we first establish sufficient conditions for Toeplitz subshifts to have invariant probability measures as limit points of periodic invariant measures of $\{0,1\}^G$. Next, we demonstrate that the set of Toeplitz subshifts satisfying these conditions is non-empty. When the acting group $G$ is amenable, this construction provides non-regular extensions of totally disconnected metric compactifications of $G$ that are (Weyl) mean-quicontinuous dynamical systems.

Dynamical Systems
An embedding theorem for multidimensional subshifts

Tom Meyerovitch

2024-10-16

Abstract:Krieger's embedding theorem provides necessary and sufficient conditions for an arbitrary subshift to embed in a given topologically mixing $\mathbb{Z}$-subshift of finite type. For some $\mathbb{Z}^d$-subshifts of finite type, Lightwood characterized the \emph{aperiodic} subsystems. In the current paper we prove a new embedding theorem for a class of subshifts of finite type over any countable abelian group. Our main theorem provides necessary and sufficient conditions for an arbitrary subshift $X$ to embed inside a given subshift of finite type $Y$ that satisfies a certain condition. For the particular case of $\mathbb{Z}$-subshifts, our new theorem coincides with Krieger's theorem. In particular, our result gives the first complete characterization of the subsystems of the multidimensional full shift $Y= A^{\mathbb{Z}^d}$. The natural condition on the target subshift $Y$, introduced explicitly for the first time in the current paper, is called the map extension property. It was introduced implicitly by Mike Boyle in the early 1980's for $\mathbb{Z}$-subshifts, and is closely related to the notion of an absolute retract, introduced by Borsuk in the 1930's. A $\mathbb{Z}$-subshift has the map extension property if and only if it is a topologically mixing subshift of finite type. Over abelian groups, a subshift has the map extension property if and only if it is a contractible SFT as shown in work of Poirier and Salo. We also establish a new theorem regarding lower entropy factors of multidimensional subshifts, that extends Boyle's lower entropy factor theorem from the one-dimensional case.

Dynamical Systems

On $g$-functions for subshifts

Soficity of free extensions of effective subshifts

Contractible subshifts

An embedding theorem for subshifts over amenable groups with the comparison property

Aperiodic Subshifts of Finite Type on Groups

Geometrical representation of subshifts for primitive substitutions

Substitutional subshifts and growth of groups

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

Homomorphisms from aperiodic subshifts to subshifts with the finite extension property

Ergodic optimization for continuous functions on non-Markov shifts

On $γ$-Semi-Continuous Functions

On a characterization of shifts of Haar distributions on compact open subgroups of a compact Abelian group

Boundedness of G-Functions on Triebel-Lizorkin Spaces

On the complexity of subshifts and infinite words

On G-S-supplemented Subgroups of Finite Groups

Finitely presented condensed groups

Realizability of Subgroups by Subshifts of Finite Type

Medvedev degrees of subshifts on groups

Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups

An embedding theorem for multidimensional subshifts