A classical article by Misiurewicz and Ziemian (J. Lond. Math. Soc.40(2) (1989), 490–506) classifies the elements in Homeo$_{0}(\mathbf{T}^{2})$ by their rotation set $\unicode[STIX]{x1D70C}$, according to wether $\unicode[STIX]{x1D70C}$ is a point, a segment or a set with nonempty interior. A recent classification of nonwandering elements in Homeo$_{0}(\mathbf{T}^{2})$ by Koropecki and Tal was given in (Invent. Math.196 (2014), 339–381), according to the intrinsic underlying ambient space where the dynamics takes place: planar, annular and strictly toral maps. We study the link between these two classifications, showing that, even abroad the nonwandering setting, annular maps are characterized by rotation sets which are rational segments. Also, we obtain information on the sublinear diffusion of orbits in the—not very well understood—case that $\unicode[STIX]{x1D70C}$ has nonempty interior.

This paper is devoted to probabilistic cellular automata (PCAs) on N,Z or Z / nZ, depending on two neighbors with a general alphabet E (finite or infinite, discrete or not). We study the following question: under which conditions does a PCA possess a Markov chain as an invariant distribution? Previous results in the literature give some conditions on the transition matrix (for positive rate PCAs) when the alphabet E is finite. Here we obtain conditions on the transition kernel of a PCA with a general alphabet E. In particular, we show that the existence of an invariant Markov chain is equivalent to the existence of a solution to a cubic integral equation. One of the difficulties in passing from a finite alphabet to a general alphabet comes from the problem of measurability, and a large part of this work is devoted to clarifying these issues.

We prove that if $G_{P}$ is a finitely constrained group of binary rooted tree automorphisms (a group binary tree subshift of finite type) defined by an essential pattern group $P$ of pattern size $d$, $d\geq 2$, and if $G_{P}$ has maximal Hausdorff dimension (equal to $1-1/2^{d-1}$), then $G_{P}$ is not topologically finitely generated. We describe precisely all essential pattern groups $P$ that yield finitely constrained groups with maximal Hausdorff dimension. For a given size $d$, $d\geq 2$, there are exactly $2^{d-1}$ such pattern groups and they are all maximal in the group of automorphisms of the finite rooted regular tree of depth $d$.

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.

We provide a computation of the Čech cohomology of the pinwheel tiling using the Anderson–Putnam complex. A border-forcing version of the pinwheel tiling is produced that allows an explicit construction of the complex for the quotient of the continuous hull by the circle. The cohomology of the continuous hull is given using a spectral sequence argument of Barge, Diamond, Hunton and Sadun.

We introduce a family of infinite nonamenable discrete groups as an interpolation of the Higman–Thompson groups by using the topological full groups of the groupoids defined by $\beta $-expansions of real numbers. They are regarded as full groups of certain interpolated Cuntz algebras, and realized as groups of piecewise-linear functions on the unit interval in the real line if the $\beta $-expansion of $1$ is finite or ultimately periodic. We also classify them by a number-theoretical property of $\beta $.

A probabilistic cellular automaton (PCA) can be viewed as a Markov chain. The cells are updated synchronously and independently, according to a distribution depending on a finite neighborhood. We investigate the ergodicity of this Markov chain. A classical cellular automaton is a particular case of PCA. For a one-dimensional cellular automaton, we prove that ergodicity is equivalent to nilpotency, and is therefore undecidable. We then propose an efficient perfect sampling algorithm for the invariant measure of an ergodic PCA. Our algorithm does not assume any monotonicity property of the local rule. It is based on a bounding process which is shown to also be a PCA. Last, we focus on the PCA majority, whose asymptotic behavior is unknown, and perform numerical experiments using the perfect sampling procedure.

The class of $\lambda $-synchronizing subshifts generalizes the class of irreducible sofic shifts. A $\lambda $-synchronizing subshift can be presented by a certain $\lambda $-graph system, called the $\lambda $-synchronizing $\lambda $-graph system. The $\lambda $-synchronizing $\lambda $-graph system of a $\lambda $-synchronizing subshift can be regarded as an analogue of the Fischer cover of an irreducible sofic shift. We will study algebraic structure of the ${C}^{\ast } $-algebra associated with a $\lambda $-synchronizing $\lambda $-graph system and prove that the stable isomorphism class of the ${C}^{\ast } $-algebra with its Cartan subalgebra is invariant under flow equivalence of $\lambda $-synchronizing subshifts.

We study recurrence and transience for Lévy processes induced by topological transformation groups acting on complete Riemannian manifolds. In particular the transience–recurrence dichotomy in terms of potential measures is established and transience is shown to be equivalent to the potential measure having finite mass on compact sets when the group acts transitively. It is known that all bi-invariant Lévy processes acting in irreducible Riemannian symmetric pairs of noncompact type are transient. We show that we also have ‘harmonic transience’, that is, local integrability of the inverse of the real part of the characteristic exponent which is associated to the process by means of Gangolli’s Lévy–Khinchine formula.

We consider a hybrid model, created by coupling a continuum and an agent-based model of infectious disease. The framework of the hybrid model provides a mechanism to study the spread of infection at both the individual and population levels. This approach captures the stochastic spatial heterogeneity at the individual level, which is directly related to deterministic population level properties. This facilitates the study of spatial aspects of the epidemic process. A spatial analysis, involving counting the number of infectious agents in equally sized bins, reveals when the spatial domain is nonhomogeneous.

There is an unfortunate error in Theorem 4.1 of our paper. However, the statement of the theorem remains true with a correct construction of adding a tail to enlarge the dynamical system.

The automorphisms of the canonical core UHF subalgebra ℱn of the Cuntz algebra 𝒪n do not necessarily extend to automorphisms of 𝒪n. Simple examples are discussed within the family of infinite tensor products of (inner) automorphisms of the matrix algebras Mn. In that case, necessary and sufficient conditions for the extension property are presented. Also addressed is the problem of extending to 𝒪n the automorphisms of the diagonal 𝒟n, which is a regular maximal abelian subalgebra with Cantor spectrum. In particular, it is shown that there exist product-type automorphisms of 𝒟n that do not extend to (possibly proper) endomorphisms of 𝒪n.

We completely determine the localized automorphisms of the Cuntz algebras corresponding to permutation matrices in Mn ⊗ Mn for n = 3 and n = 4. This result is obtained through a combination of general combinatorial techniques and large scale computer calculations. Our analysis proceeds according to the general scheme proposed in a previous paper, where we analysed in detail the case of using labelled rooted trees. We also discuss those proper endomorphisms of these Cuntz algebras which restrict to automorphisms of their respective diagonals. In the case of we compute the number of automorphisms of the diagonal induced by permutation matrices in M3 ⊗ M3 ⊗ M3.

We give a new very concrete description of the C*-envelope of the tensor algebra associated to a multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of such an algebra. We also show that when the space is compact the C*-envelope is simple if and only if the system is minimal.

It is well known that an orientation-preserving homeomorphism of the plane without fixed points has trivial dynamics; that is, its non-wandering set is empty and all the orbits diverge to infinity. However, orbits can diverge to infinity in many different ways (or not) giving rise to fundamental regions of divergence. Such a map is topologically equivalent to a plane translation if and only if it has only one fundamental region. We consider the conservative, orientation-preserving and fixed point free Hénon map and prove that it has only one fundamental region of divergence. Actually, we prove that there exists an area-preserving homeomorphism of the plane that conjugates this Hénon map to a translation.

A λ-graph system is a labeled Bratteli diagram with shift transformation. It is a generalization of finite labeled graphs and presents a subshift. In Doc. Math. 7 (2002) 1–30, the author constructed a C*-algebra O£ associated with a λ-graph system £ from a graph theoretic view-point. If a λ-graph system comes from a finite labeled graph, the algebra becomes a Cuntz-Krieger algebra. In this paper, we prove that there is a bijective correspondence between the lattice of all saturated hereditary subsets of £ and the lattice of all ideals of the algebra O£, under a certain condition on £ called (II). As a result, the class of the C*-algebras associated with λ-graph systems under condition (II) is closed under quotients by its ideals.