On the automorphism group of minimal -adic subshifts of finite alphabet rank

2021 ◽  
pp. 1-23
Author(s):  
BASTIÁN ESPINOZA ◽  
ALEJANDRO MAASS

Abstract It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $\mathbb {Z}$ [Cyr and Kra. The automorphism group of a shift of linear growth: beyond transitivity. Forum Math. Sigma3 (2015), e5; Donoso et al. On automorphism groups of low complexity subshifts. Ergod. Th. & Dynam. Sys.36(1) (2016), 64–95]. In this article we extend this result to a broader class proving that the automorphism group of a minimal $\mathcal {S}$ -adic subshift of finite alphabet rank is virtually $\mathbb {Z}$ . The proof is based on a fine combinatorial analysis of the asymptotic classes in this type of subshifts, which we prove are a finite number.

2015 ◽  
Vol 3 ◽  
Author(s):  
VAN CYR ◽  
BRYNA KRA

For a finite alphabet ${\mathcal{A}}$ and shift $X\subseteq {\mathcal{A}}^{\mathbb{Z}}$ whose factor complexity function grows at most linearly, we study the algebraic properties of the automorphism group $\text{Aut}(X)$. For such systems, we show that every finitely generated subgroup of $\text{Aut}(X)$ is virtually $\mathbb{Z}^{d}$, in contrast to the behavior when the complexity function grows more quickly. With additional dynamical assumptions we show more: if $X$ is transitive, then $\text{Aut}(X)$ is virtually $\mathbb{Z}$; if $X$ has dense aperiodic points, then $\text{Aut}(X)$ is virtually $\mathbb{Z}^{d}$. We also classify all finite groups that arise as the automorphism group of a shift.


2015 ◽  
Vol 36 (1) ◽  
pp. 64-95 ◽  
Author(s):  
SEBASTIÁN DONOSO ◽  
FABIEN DURAND ◽  
ALEJANDRO MAASS ◽  
SAMUEL PETITE

In this article, we study the automorphism group$\text{Aut}(X,{\it\sigma})$of subshifts$(X,{\it\sigma})$of low word complexity. In particular, we prove that$\text{Aut}(X,{\it\sigma})$is virtually$\mathbb{Z}$for aperiodic minimal subshifts and certain transitive subshifts with non-superlinear complexity. More precisely, the quotient of this group relative to the one generated by the shift map is a finite group. In addition, we show that any finite group can be obtained in this way. The class considered includes minimal subshifts induced by substitutions, linearly recurrent subshifts and even some subshifts which simultaneously exhibit non-superlinear and superpolynomial complexity along different subsequences. The main technique in this article relies on the study of classical relations among points used in topological dynamics, in particular, asymptotic pairs. Various examples that illustrate the technique developed in this article are provided. In particular, we prove that the group of automorphisms of a$d$-step nilsystem is nilpotent of order$d$and from there we produce minimal subshifts of arbitrarily large polynomial complexity whose automorphism groups are also virtually$\mathbb{Z}$.


1972 ◽  
Vol 24 (6) ◽  
pp. 1065-1069 ◽  
Author(s):  
Matthew Gould

By “algebra” we shall mean a finitary universal algebra, that is, a pair 〈A; F〉 where A and F are nonvoid sets and every element of F is a function, defined on A, of some finite number of variables. Armbrust and Schmidt showed in [1] that for any finite nonvoid set A, every group G of permutations of A is the automorphism group of an algebra defined on A and having only one operation, whose rank is the cardinality of A. In [6], Jónsson gave a necessary and sufficient condition for a given permutation group to be the automorphism group of an algebra, whereupon Plonka [8] modified Jonsson's condition to characterize the automorphism groups of algebras whose operations have ranks not exceeding a prescribed bound.


Author(s):  
Rong Ran ◽  
Hayoung Oh

AbstractSparse-aware (SA) detectors have attracted a lot attention due to its significant performance and low-complexity, in particular for large-scale multiple-input multiple-output (MIMO) systems. Similar to the conventional multiuser detectors, the nonlinear or compressive sensing based SA detectors provide the better performance but are not appropriate for the overdetermined multiuser MIMO systems in sense of power and time consumption. The linear SA detector provides a more elegant tradeoff between performance and complexity compared to the nonlinear ones. However, the major limitation of the linear SA detector is that, as the zero-forcing or minimum mean square error detector, it was derived by relaxing the finite-alphabet constraints, and therefore its performance is still sub-optimal. In this paper, we propose a novel SA detector, named single-dimensional search-based SA (SDSB-SA) detector, for overdetermined uplink MIMO systems. The proposed SDSB-SA detector adheres to the finite-alphabet constraints so that it outperforms the conventional linear SA detector, in particular, in high SNR regime. Meanwhile, the proposed detector follows a single-dimensional search manner, so it has a very low computational complexity which is feasible for light-ware Internet of Thing devices for ultra-reliable low-latency communication. Numerical results show that the the proposed SDSB-SA detector provides a relatively better tradeoff between the performance and complexity compared with several existing detectors.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Naomi Andrew

AbstractWe provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore, this paper generalises the work of N. Leder [Serre’s Property FA for automorphism groups of free products, preprint (2018), https://arxiv.org/abs/1810.06287v1]. for finite cyclic groups, as well as resolving the open case of that paper.


2006 ◽  
Vol 71 (1) ◽  
pp. 203-216 ◽  
Author(s):  
Ermek S. Nurkhaidarov

In this paper we study the automorphism groups of countable arithmetically saturated models of Peano Arithmetic. The automorphism groups of such structures form a rich class of permutation groups. When studying the automorphism group of a model, one is interested to what extent a model is recoverable from its automorphism group. Kossak-Schmerl [12] show that if M is a countable, arithmetically saturated model of Peano Arithmetic, then Aut(M) codes SSy(M). Using that result they prove:Let M1. M2 be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then SSy(M1) = SSy(M2).We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if some maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. That fact is used to show the main theorem:Let M1, M2be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then for every n < ωHere RT2n is Infinite Ramsey's Theorem stating that every 2-coloring of [ω]n has an infinite homogeneous set. Theorem 0.2 shows that for models of a false arithmetic the converse of Kossak-Schmerl Theorem 0.1 is not true. Using the results of Reverse Mathematics we obtain the following corollary:There exist four countable arithmetically saturated models of Peano Arithmetic such that they have the same standard system but their automorphism groups are pairwise non-isomorphic.


Author(s):  
Trevor Evans

The techniques developed in (9) are used here to study the properties of multiplicative systems generated by one element (monogenie systems). The results are of two kinds. First, we obtain fairly complete information about the automorphisms and endo-morphisms of free and finitely related loops. The automorphism group of the free monogenie loop is the infinite cyclic group, each automorphism being obtained by mapping the generator on one of its repeated inverses. A monogenie loop with a finite, non-empty set of relations has only a finite number of endomorphisms. These are obtained by mapping the generator on some of the components, or their repeated inverses, occurring in the relations. We use the same methods to solve the isomorphism problem for monogenie loops, i.e. we give a method for determining whether two finitely related monogenie loops are isomorphic. The decision method consists essentially of constructing all homomorphisms between two given finitely related monogenie loops.


2016 ◽  
Vol 59 (2) ◽  
pp. 346-353
Author(s):  
Steven Krantz

AbstractWe study and generalize a classical theoremof L. Bers that classifies domains up to biholomorphic equivalence in terms of the algebras of holomorphic functions on those domains. Then we develop applications of these results to the study of domains with noncompact automorphism group


2017 ◽  
Vol 82 (3) ◽  
pp. 1150-1179 ◽  
Author(s):  
TOMÁS IBARLUCÍA

AbstractWe study automorphism groups of randomizations of separable structures, with focus on the ℵ0-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the ℵ0-categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never ℵ0-categorical (except in basic cases).


2016 ◽  
Vol 38 (4) ◽  
pp. 1588-1600 ◽  
Author(s):  
VILLE SALO

We discuss the set of subgroups of the automorphism group of a full shift and submonoids of its endomorphism monoid. We prove closure under direct products in the monoid case and free products in the group case. We also show that the automorphism group of a full shift embeds in that of an uncountable sofic shift. Some undecidability results are obtained as corollaries.


Sign in / Sign up

Export Citation Format

Share Document